Sciweavers

2517 search results - page 256 / 504
» Specifying Weak Sets
Sort
View
190
Voted
PPDP
1999
Springer
15 years 11 months ago
Constraint Programming in OPL
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the rst modeling language to combine high-level algebraic and set notations f...
Pascal Van Hentenryck, Laurent Michel, Laurent Per...
LCTRTS
1998
Springer
15 years 11 months ago
Using UML for Modeling Complex Real-Time Systems
The embedded real-time software systems encountered in applications such as telecommunications, aerospace, and defense typically tend to be large and extremely complex. It is cruc...
Bran Selic
ICPADS
1996
IEEE
15 years 10 months ago
Transactional programming for distributed agent systems
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
V. K. Murthy
VTS
1996
IEEE
76views Hardware» more  VTS 1996»
15 years 10 months ago
Test point insertion based on path tracing
This paper presents an innovative method for inserting test points in the circuit-under-test to obtain complete fault coverage for a specified set of test patterns. Rather than us...
Nur A. Touba, Edward J. McCluskey
ISER
1997
Springer
91views Robotics» more  ISER 1997»
15 years 10 months ago
Extracting Robotic Part-mating Programs from Operator Interaction with a Simulated Environment
We describe an integrated system for programming part-mating and contact tasks using simulation. A principal goal of this work is to make robotic programming easy and intuitive fo...
John E. Lloyd, Dinesh K. Pai