4305 search results - page 184 / 861 » The Test of Time |
186
click to vote
ICCS
2007
Springer
16 years 21 days ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
202
click to vote
ADAEUROPE
2006
Springer
16 years 16 days ago
2006
Springer
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...
158
click to vote
ECRTS
1999
IEEE
15 years 11 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
155
click to vote
ISPAN
1997
IEEE
15 years 10 months ago
1997
IEEE
Loop unrolling is one of the most promising parallelization techniques, because the nature of programs causes most of the processing time to be spent in their loops. Unrolling not...
150
click to vote
ISLPED
1997
ACM
15 years 10 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...