4520 search results - page 348 / 904 » Algebraic Techniques for Timed Systems |
178
click to vote
ENVSOFT
2007
15 years 7 months ago
2007
A number of spatial decision support systems (SDSSs) are already available for the systematic planning of conservation reserves. These existing systems offer varying levels of int...
173
Voted
PDIS
1993
IEEE
15 years 11 months ago
1993
IEEE
semantic knowledge all concurrent partitionedAbstract updates to an object must be treated as conflicting, andOptimistic replication is an important technique for merged manually b...
222
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
Operating systems are complex and their behavior depends on many factors. Source code, if available, does not directly help one to understand the OS's behavior, as the behavi...
223
Voted
ANCS
2005
ACM
16 years 1 months ago
2005
ACM
Task to resource mapping problems are encountered during (i) hardware-software co-design and (ii) performance optimization of Network Processor systems. The goal of the first pro...
257
click to vote
VLSID
2005
IEEE
16 years 8 months ago
2005
IEEE
Abstract--Power analysis early in the design cycle is critical for the design of lowpower systems. With the move to system-level specifications and design methodologies, there has ...