4520 search results - page 412 / 904 » Algebraic Techniques for Timed Systems |
205
click to vote
USENIX
1994
15 years 9 months ago
1994
With the advent and subsequent popularity of portable computers, power management of system components has become an important issue. Current portable computers implement a number...
295
click to vote
POPL
2008
ACM
16 years 8 months ago
2008
ACM
We show that the reachability problem for recursive state machines (or equivalently, pushdown systems), believed for long to have cubic worst-case complexity, can be solved in sli...
198
click to vote
CA
2002
IEEE
16 years 17 days ago
2002
IEEE
We describe techniques used to create animations of song. Modification to a text-to-audiovisual-speech system have been made to take extra information contained the timing and fr...
220
click to vote
CODES
2006
IEEE
16 years 1 months ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...
189
click to vote
CASES
2006
ACM
15 years 11 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...