3718 search results - page 133 / 744 » IMPS: System Description |
102
click to vote
ACSD
2004
IEEE
15 years 8 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...
123
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
A case study of a crane is defined for the evaluation of system description languages. The plant (car and load) is given as a fourth-order linear system. The embedded control incl...
113
click to vote
ANLP
1997
15 years 5 months ago
1997
This paper describes the design and implementation of an English-Turkish machine translation (MT) system developed as a part of the TU-Language project supported by a NATO Science...
152
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
168
click to vote
NFM
2011
14 years 11 months ago
2011
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...