4491 search results - page 556 / 899 » Algorithm Engineering |
153
click to vote
EMSOFT
2005
Springer
16 years 2 days ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
170
click to vote
EMSOFT
2005
Springer
16 years 2 days ago
2005
Springer
We study the problem of minimizing energy consumption in realtime embedded systems that execute variable workloads and are equipped with processors having dynamic voltage scaling ...
177
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
186
click to vote
FSMNLP
2005
Springer
16 years 2 days ago
2005
Springer
This paper describes the implementation and system details of Klex, a finite-state transducer lexicon for the Korean language, developed using XRCE’s Xerox Finite State Tool (XF...
158
click to vote
ICESS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...