2355 search results - page 386 / 471 » Scheduling in the Z-Polyhedral Model |
160
click to vote
ICCD
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper deals with low-energy code generation for a highly optimized digital signal processor designed for mobile communication applications. We present a genetic algorithm bas...
141
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Operating systems were created to provide multiple tasks with access to scarce hardware resources like CPU, memory, or storage. Modern programmable hardware, however, may contain ...
167
click to vote
HRI
2009
ACM
16 years 29 days ago
2009
ACM
Simultaneous teleoperation of mobile, social robots presents unique challenges, combining the real-time demands of conversation with the prioritized scheduling of navigational tas...
171
click to vote
SAC
2009
ACM
16 years 29 days ago
2009
ACM
Parallel architectures are the way of the future, but are notoriously difficult to program. In addition to the low-level constructs they often present (e.g., locks, DMA, and non-...
144
click to vote
CCS
2009
ACM
16 years 29 days ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...