268 search results - page 49 / 54 » Software Design and Architecture The once and future focus o... |
DAC
2002
ACM
14 years 9 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
UIST
2006
ACM
14 years 1 months ago
2006
ACM
With the availability of affordable new desktop fabrication techniques such as 3D printing and laser cutting, physical models are used increasingly often during the architectural ...
ICAS
2006
IEEE
14 years 2 months ago
2006
IEEE
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
IDEAL
2005
Springer
14 years 1 months ago
2005
Springer
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
CODES
2006
IEEE
14 years 2 months ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...