4520 search results - page 398 / 904 » Algebraic Techniques for Timed Systems |
208
click to vote
DILS
2006
Springer
15 years 11 months ago
2006
Springer
Life science researchers want biological information in their interest to become available to them as soon as possible. A monitoring system is a solution that relieves biologists f...
225
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
238
click to vote
CASES
2006
ACM
16 years 1 months ago
2006
ACM
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
189
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
190
click to vote
EMSOFT
2005
Springer
16 years 1 months ago
2005
Springer
We present AutoDVS, a dynamic voltage scaling (DVS) system for hand-held computers. Unlike extant DVS systems, AutoDVS distinguishes common, course-grain, program behavior and cou...