570 search results - page 40 / 114 » Robustness and Implementability of Timed Automata |
199
click to vote
SIGADA
2007
Springer
15 years 9 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
115
Voted
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
117
click to vote
ISLPED
1997
ACM
15 years 8 months ago
1997
ACM
In this paper1 we propose a novel approach to synthesis for low power under tight timing constraints. Starting from a mapped netlist, we apply a powerful generalized matching algo...
ITC
2000
IEEE
15 years 8 months ago
2000
IEEE
An area efficient and robust integrated test core for mixed-signal circuits is described. The core consists of a completely digital implementation, except for a simple reconstructi...
115
click to vote
SCP
1998
15 years 3 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...