4666 search results - page 164 / 934 » Equations on Timed Languages |
147
click to vote
ISQED
2005
IEEE
15 years 11 months ago
2005
IEEE
Precise chip-level timing requires careful modeling of the interaction between logic drivers and interconnect. Existing static-timing analysis methodologies generate models for dr...
141
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
We present a new parallel repartitioning algorithm for adaptive finite-element meshes that significantly reduces the amount of data that needs to move between processors in orde...
124
click to vote
ICRA
1995
IEEE
15 years 9 months ago
1995
IEEE
The control of nonholonomic and underactuated systems with symmetry is illustrated by the problem of controlling a bicycle. We derive a controller which, using steering and rear-w...
186
click to vote
CASES
2005
ACM
15 years 7 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
142
click to vote
CC
2010
Springer
16 years 10 days ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...