4520 search results - page 82 / 904 » Algebraic Techniques for Timed Systems |
102
click to vote
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
This poster describes our recently developed real-time projector-camera system for interaction with Chinese Inkand-Wash Cartoons. We implement a real-time interactive water simula...
CHI
1997
ACM
15 years 6 months ago
1997
ACM
This paper presents a set of techniques for supporting autonomous collaboration—collaboration where participants work independently for periods, and then join together to integr...
145
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where all blocks fire at all times. Here, we extend this ...
112
click to vote
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
99
Voted
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...