614 search results - page 86 / 123 » A Variable Rate Execution Model |
ISLPED
2004
ACM
15 years 6 months ago
2004
ACM
Mobile, battery-powered devices such as personal digital assistants and web-enabled mobile phones have successfully emerged as new access points to the world’s digital infrastru...
MOVEP
2000
15 years 4 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...
112
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Bushfire BLOCKS is a modular, distributed, agent-based simulation for exploring and informing bushfire response strategies. Separate independent modules capture the fire spread, e...
106
click to vote
PPPJ
2006
ACM
15 years 7 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
135
click to vote
CUZA
2002
15 years 1 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...