17789 search results - page 407 / 3558 » Exceptional Use Cases |
145
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
As commodity microprocessors and networks reach performance levels comparable to those used in massively parallel processors, clusters of symmetric multiprocessors are starting to...
208
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
178
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
157
click to vote
RTSS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper we describe our experiments on a realtime system design, focusing on design alternatives such as scheduling jitter, sensor-to-output latency, intertask communication...
193
click to vote
VISUALIZATION
1994
IEEE
15 years 11 months ago
1994
IEEE
Augmented reality systems with see-through headmounted displays have been used primarily for applications that are possible with today's computational capabilities. We explor...