4520 search results - page 519 / 904 » Algebraic Techniques for Timed Systems |
191
click to vote
CHI
2008
ACM
16 years 8 months ago
2008
ACM
Because most animation tools are complex and timeconsuming to learn and use, most animations today are created by experts. To help novices create a wide range of animations quickl...
192
click to vote
STOC
2005
ACM
16 years 8 months ago
2005
ACM
We show that every weighted connected graph G contains as a subgraph a spanning tree into which the edges of G can be embedded with average stretch O log2 n log log n . Moreover, w...
199
click to vote
ICCAD
2006
IEEE
16 years 4 months ago
2006
IEEE
We present a dynamic voltage scaling (DVS) technique that minimizes system-wide energy consumption for both periodic and sporadic tasks. It is known that a system consists of proc...
201
click to vote
ICCAD
2003
IEEE
16 years 4 months ago
2003
IEEE
– Many embedded system designs usually impose (hard) read-time constraints on tasks. Thus, computing a tight upper bound of the worst case execution time (WCET) of a software is ...
212
click to vote
AINA
2007
IEEE
16 years 2 months ago
2007
IEEE
With the near ubiquity of mobile phones, people are reachable almost anywhere and at any time. At the same time we see an increasing need for people to limit their interactions on...