581 search results - page 85 / 117 » In case you missed it |
ASPDAC
2004
ACM
14 years 1 months ago
2004
ACM
- Each year tens of billions of Dollars are wasted by the microelectronics industry because of missed deadlines and delayed design projects. These delays are partially due to desig...
CSMR
2004
IEEE
14 years 1 months ago
2004
IEEE
1 As systems evolve and their structure decays, maintainers need accurate and automatic identification of the design problems. Current approaches for automatic detection of design...
ECRTS
2004
IEEE
14 years 1 months ago
2004
IEEE
Many real-time systems need to maintain fresh views which are derived from shared data that are distributed among multiple sites. When a base data item changes, all derived views ...
EUROPAR
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Definitions for the uniform representation of d-dimensional matrices serially in Morton-order (or Z-order) support both their use with cartesian indices, and their divide...
STACS
2000
Springer
14 years 1 months ago
2000
Springer
Motivated by description logics, we investigate what happens to the complexity of modal satisfiability problems if we only allow formulas built from literals, , 3, and 2. Previous...