8555 search results - page 1415 / 1711 » Property Based Coordination |
157
click to vote
SSDBM
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract. State-of-the-art numerical solvers in Earth Sciences produce multi terabyte datasets per execution. Operating on increasingly larger datasets becomes challenging due to i...
157
click to vote
ASYNC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...
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...
167
click to vote
APN
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an e cient strategy for the analysis of Petri nets. The existing techniques for the symbolic ...
190
click to vote
DAWAK
1999
Springer
15 years 11 months ago
1999
Springer
Efficient index construction in multidimensional data spaces is important for many knowledge discovery algorithms, because construction times typically must be amortized by perform...