4520 search results - page 222 / 904 » Algebraic Techniques for Timed Systems |
189
click to vote
EUC
2004
Springer
16 years 18 days ago
2004
Springer
We propose power-aware on-line task scheduling algorithms for mixed task sets which consist of both periodic and aperiodic tasks. The proposed algorithms utilize the execution beha...
210
click to vote
CC
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Scientists are increasingly using dynamic programming languages like Matlab for prototyping and implementation. Effectively compiling Matlab raises many challenges due t...
196
click to vote
CGO
2003
IEEE
16 years 15 days ago
2003
IEEE
Run-time code generation is a well-known technique for improving the efficiency of programs by exploiting dynamic information. Unfortunately, the difficulty of constructing run-...
182
click to vote
IPPS
2003
IEEE
16 years 14 days ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
199
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
A variety of applications are emerging to support streaming video from mobile devices. However, many tasks can benefit from streaming specific content rather than the full video f...