2485 search results - page 66 / 497 » Time Bounded Frequency Computations |
157
click to vote
PLDI
2010
ACM
16 years 3 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
141
click to vote
ISPDC
2003
IEEE
15 years 11 months ago
2003
IEEE
— This paper presents a new power management technique integrated into a multithreaded microcontroller with builtin real-time scheduling schemes. Power management is done by hard...
182
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
The energy usage of computer systems is becoming important, especially for portablebattery-operated applications and embedded systems. A significant reduction in the energy consum...
188
click to vote
CA
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents an adaptive technique to animate deformable bodies in real-time. In contrast to most previous work, we introduce a multi-resolution model that locally refines...
136
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
Gossiping is an information dissemination process in which each processor has a distinct item of information and has to collect all the items possessed by the other processors. In...