Search results for "OPL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Sheng Sun, Larry McMurchie, Carl Sechen	A High-Performance 64-bit Adder Implemented in Output Prediction Logic.	ARVLSI	2001	DBLP DOI BibTeX RDF
90	Christopher Alm, Ruben Wolf, Joachim Posegga	The OPL Access Control Policy Language.	TrustBus	2009	DBLP DOI BibTeX RDF
81	Larry McMurchie, Su Kio, Gin Yee, Tyler Thorp, Carl Sechen	Output Prediction Logic: A High-Performance CMOS Design Technique.	ICCD	2000	DBLP DOI BibTeX RDF
81	Stephen H. Muggleton, Christopher H. Bryant	Theory Completion Using Inverse Entailment.	ILP	2000	DBLP DOI BibTeX RDF
61	Pierre Flener, Brahim Hnich, Zeynep Kiziltan	Compiling High-Level Type Constructors in Constraint Programming.	PADL	2001	DBLP DOI BibTeX RDF
61	Christos A. Yfoulis, A. Muir, Peter E. Wellstead, N. B. O. L. Pettit	Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design.	HSCC	1999	DBLP DOI BibTeX RDF
54	Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli	Evaluating ASP and Commercial Solvers on the CSPLib.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Declarative constraint modelling, Problem reformulation, Experimental evaluation among solvers, OPL, Constraint programming, Answer Set Programming
40	Hakem Beitollahi, Geert Deconinck	An overlay protection layer against Denial-of-Service attacks.	IPDPS	2008	DBLP DOI BibTeX RDF
40	Jie Hu, Xianzhong Xie, Xing Xu	Performance Analysis of Power Allocation with QoS Constraints in BLAST System.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
40	Armagan Tarim, Suresh Manandhar, Toby Walsh	Stochastic Constraint Programming: A Scenario-Based Approach.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Constraint satisfaction, Constraint programming, Reasoning under uncertainty
40	Xinyu Guo, Carl Sechen	High Speed Redundant Adder and Divider in Output Prediction Logic.	ISVLSI	2005	DBLP DOI BibTeX RDF
40	Marco Cadoli, Toni Mancini	Exploiting Functional Dependencies in Declarative Problem Specifications.	JELIA	2004	DBLP DOI BibTeX RDF
34	Christopher Alm, Roland Illig	Translating High-Level Authorization Constraints to XACML.	SERVICES	2010	DBLP DOI BibTeX RDF	OPL, RBAC, Translation, XACML, Separation of Duty
30	Ana Carolina Almeida, Daniel Schwabe, Sérgio Lifschitz, Maria Luiza Machado Campos	CM-OPL: An Ontology Pattern Language for Configuration Management Task.	ONTOBRAS	2018	DBLP BibTeX RDF
30	Glaice Kelly da Silva Quirino, Monalessa Perini Barcellos, Ricardo de Almeida Falbo	OPL-ML: A Modeling Language for Representing Ontology Pattern Languages.	ER Workshops	2017	DBLP DOI BibTeX RDF
30	Priti Parikh, Jie Zheng 0001, Flora J. Logan-Klumpler, Christian J. Stoeckert Jr., Christos Louis, Pantelis Topalis, Anna V. Protasio, Amit P. Sheth, Mark Carrington, Matthew Berriman, Satya Sanket Sahoo	The Ontology for Parasite Lifecycle (OPL): towards a consistent vocabulary of lifecycle stages in parasitic organisms.	J. Biomed. Semant.	2012	DBLP DOI BibTeX RDF
30	Angela Abell	The New OPL Sourcebook: A Guide for Solo and Small Libraries (3rd ed.).	Program	2007	DBLP DOI BibTeX RDF
30	Necmeddin Tanriöver, E. Medetogullari	Comment on Inventory policy for products with price and time-dependent demands(J Opl Res Soc (2005) 56, 870-873).	J. Oper. Res. Soc.	2006	DBLP DOI BibTeX RDF
30	Pascal Van Hentenryck	Constraint and Integer Programming in OPL.	INFORMS J. Comput.	2002	DBLP DOI BibTeX RDF
30	J. N. Floyer	Comment on Johnston (2000): Commentary on Burgin and Wild (1967): Stock control - experience and usable theory. J Opl Res Soc 51: 1111.	J. Oper. Res. Soc.	2001	DBLP DOI BibTeX RDF
30	Suresh K. Goyal	Optimal production stopping and restarting times for an EOQ model with deteriorating items. A commentary on Yan and Cheng (1998). J Opl Res Soc 49: 1288-1295.	J. Oper. Res. Soc.	2001	DBLP DOI BibTeX RDF
30	Mohamad Y. Jaber, Maurice Bonney	A comment on Zhou YW and Lau H-S (1998). Optimal production lot sizing model considering the bounded learning case and shortages backordered. J Opl Res Soc 49: 1206-1211.	J. Oper. Res. Soc.	2001	DBLP DOI BibTeX RDF
30	I. Munro	A contibution to the Ormerod/Jackson debate. J Opl Res Soc 51: 882-886JORS wars: a step into no mans land.	J. Oper. Res. Soc.	2001	DBLP DOI BibTeX RDF
30	S.-P. Wang	A note on Chang H-J and Dye C-Y (1999). An EOQ model for deteriorating items with time varying demand and partial backlogging. J Opl Res Soc 50: 1176-1182.	J. Oper. Res. Soc.	2001	DBLP DOI BibTeX RDF
30	R. Ganeshan	A comment on: Geetha K K and Archary K K (2000)Are more suppliers better?: generalizing the Guo and Ganeshan procedure. J Opl Res Soc 51: 1179-1183.	J. Oper. Res. Soc.	2001	DBLP DOI BibTeX RDF
30	S. Sinha	A comment on Anandalingam (1988). A mathematical programming model of decentralized multi-level systems. J Opl Res Soc 39: 1021-1033.	J. Oper. Res. Soc.	2001	DBLP DOI BibTeX RDF
30	Christiane Bracchi, Christophe Gefflot, Frederic Paulin	Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio.	WLPE	2001	DBLP BibTeX RDF
30	Pascal Van Hentenryck, Laurent Perron, Jean-Francois Puget	Search and strategies in OPL.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	search, combinatorial optimization, constraint programming, modeling languages
30	Graham Rand	'The solution of massive generalized set partitioning problems in aircrew rostering' D M Ryan (1992). J. Opl Res Soc 43(5): 459-467.	J. Oper. Res. Soc.	2000	DBLP DOI BibTeX RDF
30	C. J. L. Yewlett	A Commentary on: Stringer J (1967) Operational research for "multi-organisations" Opl Res Q., 18: 105-120.	J. Oper. Res. Soc.	2000	DBLP DOI BibTeX RDF
30	Pascal Van Hentenryck	A Preview of OPL.	PACPL	2000	DBLP BibTeX RDF
30	Pascal Van Hentenryck, Laurent Michel	OPL Script: Composing and Controlling Models.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
30	Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin	Constraint Programming in OPL.	PPDP	1999	DBLP DOI BibTeX RDF
30	Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie	Combinatorial Optimization in OPL Studio.	EPIA	1999	DBLP DOI BibTeX RDF
20	Sergio Greco, Cristian Molinaro, Irina Trubitsyna	Implementation and Experimentation of the Logic Language NP Datalog.	DEXA	2006	DBLP DOI BibTeX RDF
20	Sergio Greco, Irina Trubitsyna, Ester Zumpano	NP Datalog: A Logic Language for NP Search and Optimization Queries.	IDEAS	2005	DBLP DOI BibTeX RDF
20	Sheng Sun, Yi Han, Xinyu Guo, Kian Haur Chong, Larry McMurchie, Carl Sechen	409ps 4.7 FO4 64b Adder Based on Output Prediction Logic in 0.18um CMOS.	ISVLSI	2005	DBLP DOI BibTeX RDF
20	Garret Swart, Benjamin Aziz, Simon N. Foley, John Herbert	Trading Off Security in a Service Oriented Architecture.	DBSec	2005	DBLP DOI BibTeX RDF
20	Toni Mancini, Marco Cadoli	Detecting and Breaking Symmetries by Reasoning on Problem Specifications.	SARA	2005	DBLP DOI BibTeX RDF
20	Marc R. C. van Dongen	Computing the Frequency of Partial Orders.	CP	2004	DBLP DOI BibTeX RDF