2370 search results - page 188 / 474 » The Characterization of Data-Accumulating Algorithms |
101
Voted
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
With the term flexibility, we introduce a new design dimension of an embedded system that quantitatively characterizes its feasibility in implementing not only one, but possibly ...
109
click to vote
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...
118
click to vote
ECRTS
2002
IEEE
15 years 8 months ago
2002
IEEE
—Each processor in a uniform multiprocessor machine is characterized by a speed or computing capacity, with the interpretation that a job executing on a processor with speed s fo...
136
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, the safety control problem for a class of hybrid systems with disturbance inputs and imperfect continuous state information is considered. Under the assumption t...
110
click to vote
ISAAC
2001
Springer
15 years 8 months ago
2001
Springer
A discrete pushdown timed automaton is a pushdown machine with integer-valued clocks. It has been shown recently that the binary reachability of a discrete pushdown timed automaton...