Sciweavers

2864 search results - page 436 / 573
» Constraint Programming in OPL
Sort
View
LICS
1992
IEEE
14 years 1 months ago
Asynchronous Communication in Process Algebra
d Abstract) Frank S. de Boer, Jan Willem Klopyz , Catuscia Palamidessiyx We study the paradigm of asynchronous process communication, as contrasted with the synchronous communicat...
Frank S. de Boer, Jan Willem Klop, Catuscia Palami...
OOPSLA
1990
Springer
14 years 1 months ago
A Framework for Visualizing Object-Oriented Systems
This paper describes a new approach to visualizing program systems within the object-oriented paradigm. This approach is based on a TEX-like notation which has been extended and g...
Volker Haarslev, Ralf Möller
SIGMOD
1989
ACM
103views Database» more  SIGMOD 1989»
14 years 1 months ago
ODE (Object Database and Environment): The Language and the Data Model
ODE is a database system and environment based on the object paradigm. It offers one integrated data model for both database and general purpose manipulation. The database is defi...
Rakesh Agrawal, Narain H. Gehani
COMPSAC
2009
IEEE
14 years 27 days ago
GUI-Based Testing of Boundary Overflow Vulnerability
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
Tugkan Tuglular, Can A. Muftuoglu, Özgür...
ICCAD
2007
IEEE
134views Hardware» more  ICCAD 2007»
14 years 25 days ago
Efficient decoupling capacitance budgeting considering operation and process variations
This paper solves the variation-aware on-chip decoupling capacitance (decap) budgeting problem. Unlike previous work assuming the worst-case current load, we develop a novel stocha...
Yiyu Shi, Jinjun Xiong, Chunchen Liu, Lei He