462 search results - page 92 / 93 » Axioms for Real-Time Logics |
EMSOFT
2007
Springer
13 years 12 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
RTAS
2006
IEEE
13 years 11 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...
PADS
1999
ACM
13 years 10 months ago
1999
ACM
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
MOBICOM
1996
ACM
13 years 10 months ago
1996
ACM
The CPU is one of the major power consumers in a portable computer, and considerable power can be saved by turning off the CPU when it is not doing useful work. In Apple's Ma...
DAGSTUHL
2001
13 years 7 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...