1052 search results - page 30 / 211 » The Regular Real-Time Languages |
144
Voted
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
130
click to vote
FORMATS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
120
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
135
Voted
ISORC
2000
IEEE
15 years 7 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
124
Voted
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Ultrasound has become a useful tool for speech scientists studying mechanisms of language sound production. State-of-the-art methods for extracting tongue contours from ultrasound...