Sciweavers

3745 search results - page 144 / 749
» Sonic: System Description
Sort
View
ACSD
2004
IEEE
102views Hardware» more  ACSD 2004»
15 years 10 months ago
Arrays and Contracts for the Specification and Analysis of Regular Systems
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...
Florence Maraninchi, Lionel Morel
DATE
1999
IEEE
115views Hardware» more  DATE 1999»
15 years 11 months ago
Case Study: System Model of Crane and Embedded Control
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...
Eduard Moser, Wolfgang Nebel
ANLP
1997
74views more  ANLP 1997»
15 years 7 months ago
An English to Turkish Machine Translation System Using Structural Mapping
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...
Cigdem Keyder Turhan
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
W4A
2010
ACM
15 years 4 months ago
Towards collaborative annotation for video accessibility
The ACAV project aims to explore how the accessibility of web videos can be improved by providing rich descriptions of video content in order to personalize the rendering of the c...
Pierre-Antoine Champin, Benoît Encelle, Nich...