438 search results - page 78 / 88 » Microcode with Embedded Timing Constraints |
CASES
2006
ACM
15 years 3 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
CODES
2005
IEEE
15 years 3 months ago
2005
IEEE
Nested loops are the most critical sections in many scientific and Digital Signal Processing (DSP) applications. It is important to study effective and efficient transformation ...
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
— When navigating in an unknown environment for the first time, a natural behavior consists in memorizing some key views along the performed path, in order to use these referenc...
EPIA
2005
Springer
15 years 3 months ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
ISLPED
2003
ACM
15 years 2 months ago
2003
ACM
We propose a novel power-aware task scheduling algorithm for DVS-enabled real-time multiprocessor systems. Unlike the existing algorithms, the proposed DVS algorithm can handle co...