2864 search results - page 495 / 573 » Constraint Programming in OPL |
QEST
2006
IEEE
14 years 2 months ago
2006
IEEE
One of the fundamental decisions in content networks is how the information about the existing contents is deployed and accessed. In particular, in many content network architectu...
ASPDAC
2006
ACM
14 years 2 months ago
2006
ACM
Recent research results have seen the application of parallelizing techniques to high-level synthesis. In particular, the effect of speculative code transformations on mixed contr...
MM
2006
ACM
14 years 2 months ago
2006
ACM
Through a defined research process we designed objects that behave and respond in specific ways and are part of a networked system that emphasizes autonomous and flocking behavior...
SAC
2006
ACM
14 years 2 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
ACSD
2005
IEEE
14 years 2 months ago
2005
IEEE
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...