1378 search results - page 135 / 276 » The Tractability of Global Constraints |
150
click to vote
GI
2001
Springer
15 years 10 months ago
2001
Springer
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
147
click to vote
SIGGRAPH
1992
ACM
15 years 10 months ago
1992
ACM
A model for the dynamic simulation of flexible bodies subject to non-penetration constraints is presented. Flexible bodies are described in terms of global deformations of a rest ...
166
click to vote
DAC
1989
ACM
15 years 10 months ago
1989
ACM
- New algorithms for high-level synthesis are presented. The first performs scheduling under hardware resource constraints and improves on commonly used list scheduling techniques ...
189
click to vote
TSE
2011
15 years 1 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
194
click to vote
CISS
2010
IEEE
14 years 10 months ago
2010
IEEE
— AHNs are wireless networks operating without the benefits of network infrastructure (basestations) or centralized control. AHNs working with limited spectrum perform best when...