5326 search results - page 715 / 1066 » On what we can ensure |
140
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
In this paper, we augment existing techniques for simulating flexible objects to include models for crack initiation and propagation in three-dimensional volumes. By analyzing th...
178
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
174
click to vote
ICDE
1998
IEEE
15 years 11 months ago
1998
IEEE
Consider a database that represents the location of moving objects, such as taxi-cabs (typical query: retrieve the cabs that are currently within 1 mile of 33 Michigan Ave., Chica...
181
click to vote
LICS
1996
IEEE
15 years 11 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
270
click to vote
ASPLOS
1996
ACM
15 years 11 months ago
1996
ACM
This paper describes the synchronization and communication primitives of the Cray T3E multiprocessor, a shared memory system scalable to 2048 processors. We discuss what we have l...