533 search results - page 14 / 107 » Protocol synthesis from timed and structured specifications |
115
Voted
ISORC
1998
IEEE
15 years 1 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
TSD
2005
Springer
15 years 2 months ago
2005
Springer
Transferring a structure from the visual modality to the aural one presents a difficult challenge. In this work we are experimenting with prosody modeling for the synthesized speec...
3DIM
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents a new approach for generation of superresolution stereoscopic and multi-view video from monocular video. Such multi-view video is used for instance with multi-...
EURODAC
1994
IEEE
15 years 1 months ago
1994
IEEE
The paper presents a synthesis approach for pipelinelike controller structures. These structures allow to implement a built-in self-test in two sessions without any extra test reg...
109
click to vote
DATE
1999
IEEE
15 years 1 months ago
1999
IEEE
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...