257 search results - page 27 / 52 » A Concurrent Dynamic Task Graph |
TVCG
2008
13 years 9 months ago
2008
Systems biologists use interaction graphs to model the behavior of biological systems at the molecular level. In an iterative process, such biologists observe the reactions of livi...
EMSOFT
2005
Springer
14 years 3 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...
CIKM
2008
Springer
13 years 12 months ago
2008
Springer
In many application areas, for example in design or media production processes, several authors have to work cooperatively on the same project. Thereby, a frequently used data for...
IWMM
2004
Springer
14 years 3 months ago
2004
Springer
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...