837 search results - page 100 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
VLSID
2002
IEEE
14 years 9 months ago
2002
IEEE
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...
ASPDAC
2007
ACM
14 years 1 months ago
2007
ACM
Communication exploration has become a critical step during SoC design. Researchers in the CAD community have proposed fast and efficient techniques for comprehensive design space ...
DAGSTUHL
2006
13 years 10 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
DATE
1999
IEEE
14 years 1 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
PODS
2008
ACM
14 years 9 months ago
2008
ACM
In the study of data exchange one usually assumes an openworld semantics, making it possible to extend instances of target schemas. An alternative closed-world semantics only move...