3724 search results - page 332 / 745 » Timed regular expressions |
155
click to vote
TIME
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
178
click to vote
ER
1998
Springer
15 years 11 months ago
1998
Springer
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...
210
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
176
click to vote
PLANX
2008
15 years 8 months ago
2008
Motivated by previous work on XML stream processing, we noticed that programmers need concurrency to save space, especially in a lazy language. User-controllable concurrency provi...
165
click to vote
JLP
2008
15 years 6 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...