30 search results - page 5 / 6 » spin 2000 |
ICSE
2000
IEEE-ACM
13 years 8 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
CI
2000
13 years 5 months ago
2000
This paper discusses a fundamental problem in natural language generation: how to organize the content of a text in a coherent and natural way. In this research, we set out to det...
CA
2000
IEEE
13 years 9 months ago
2000
IEEE
We propose the use of high-degree resampling filters for improved temporal antialiasing, or as the result is often called, motion blur. Without temporal antialiasing, strange eff...
TPHOL
2000
IEEE
13 years 9 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
FMSP
2000
ACM
13 years 9 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...