3387 search results - page 195 / 678 » Model-Checking for Real-Time Systems |
210
Voted
ISMS
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...
216
click to vote
RTSS
2003
IEEE
16 years 7 days ago
2003
IEEE
Scheduling disk requests with service guarantees has to bring the demand to meet guarantees in line with the need to optimize disk utilization. This paper presents the design, imp...
167
click to vote
ICCS
2003
Springer
16 years 5 days ago
2003
Springer
Tele-immersion is a new medium that enables a user to share a virtual space with remote participants, by creating the illusion that users at geographically dispersed locations resi...
168
click to vote
ICCD
1992
IEEE
15 years 11 months ago
1992
IEEE
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
209
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...