1202 search results - page 80 / 241 » Sortings for Reactive Systems |
153
click to vote
MST
2002
15 years 3 months ago
2002
External sorting--the process of sorting a file that is too large to fit into the computer's internal memory and must be stored externally on disks--is a fundamental subroutin...
135
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— We present a high-level language for programming modular robotic systems, based on locally distributed predicates (LDP), which are distributed conditions that hold for a connec...
131
click to vote
SFM
2004
Springer
15 years 9 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
130
click to vote
CASES
2001
ACM
15 years 7 months ago
2001
ACM
Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is rema...
109
click to vote
PTS
2004
15 years 5 months ago
2004
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...