1202 search results - page 63 / 241 » Sortings for Reactive Systems |
118
Voted
EACL
1989
ACL Anthology
15 years 5 months ago
1989
ACL Anthology
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing grammatical objects. We discuss the strategy of u...
256
click to vote
Book
"LATEX is a typesetting system that is very suitable for producing scientific
and mathematical documents of high typographical quality. It is also
suitable for producing all...
119
click to vote
RSP
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper analyzes the performance of two different real-time operating systems. Therefore, we used a real benchmark embedded system design with fast external reaction times of a...
101
click to vote
ACSD
2004
IEEE
15 years 7 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
140
click to vote
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...