7820 search results - page 257 / 1564 » Formalization of Time and Space |
177
click to vote
FORMATS
2004
Springer
16 years 19 days ago
2004
Springer
In a former paper, we defined a new semantics for timed automata, the Almost ASAP semantics, which is parameterized by ∆ to cope with the reaction delay of the controller. We sh...
202
click to vote
CGO
2007
IEEE
16 years 1 months ago
2007
IEEE
Emerging microprocessors offer unprecedented parallel computing capabilities and deeper memory hierarchies, increasing the importance of loop transformations in optimizing compile...
208
click to vote
ICVGIP
2008
15 years 8 months ago
2008
We present a non-photo realistic, real-time painterly rendering technique for terrains. The painterly appearance and the impression of terrains is created by effectively rendering...
184
click to vote
FORMATS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
137
click to vote
IFIP
1993
Springer
15 years 11 months ago
1993
Springer
An advanced Self-Timed Reduced Instruction Set Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified functionally at the various ...