4520 search results - page 152 / 904 » Algebraic Techniques for Timed Systems |
195
click to vote
SIMPRA
1998
15 years 6 months ago
1998
Parallel discrete event simulation is a useful technique to improve performance of sequential discrete event simulation. We consider the Time Warp algorithm for asynchronous distr...
240
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
Replication is a well-know fault-tolerance technique, and several replication strategies exist (e.g. active, passive, and semi-active replication). To be used in hard real-time sy...
239
click to vote
CASES
2005
ACM
15 years 9 months ago
2005
ACM
Code compression is a field where compression ratios between compiler-generated code and subsequent compressed code are highly dependent on decisions made at compile time. Most op...
180
click to vote
ICMI
2003
Springer
16 years 7 days ago
2003
Springer
This paper describes techniques that allow users to collaborate on tablet computers that employ distributed sensing techniques to establish a privileged connection between devices...
224
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...