5015 search results - page 767 / 1003 » Model Checking a Path |
149
click to vote
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
181
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
The Metaverse project aims to develop technology for low-cost, high-resolution networked immersive display environments that can be used for distributed collaboration, exploration...
164
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a new algorithm and technique for rendering triangular surfaces in pen-and-ink edge-based strokes. Our technique integrates two very important illustration str...
164
click to vote
DFT
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we analyze the performance of a mixed built-in-self-test (BiST) for RF IC digital transceivers, where a baseband processor can be used both as a test pattern generat...
190
click to vote
KONVENS
2000
15 years 10 months ago
2000
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...