Sciweavers

4463 search results - page 642 / 893
» computer 2000
Sort
View
SIGGRAPH
2000
ACM
15 years 8 months ago
Out-of-core simplification of large polygonal models
We present an algorithm for out-of-core simplification of large polygonal datasets that are too complex to fit in main memory. The algorithm extends the vertex clustering scheme o...
Peter Lindstrom
SPIN
2000
Springer
15 years 8 months ago
Using Runtime Analysis to Guide Model Checking of Java Programs
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
Klaus Havelund
ICNP
2000
IEEE
15 years 9 months ago
Convergent Multi-Path Routing
We present a protocol for maintaining multiple paths to each destination in a network of processes. For each destination, each process in the network maintains a set of neighbors ...
Jorge Arturo Cobb
IPPS
2000
IEEE
15 years 9 months ago
ClusterNet: An Object-Oriented Cluster Network
Abstract. Parallel processing is based on utilizing a group of processors to efficiently solve large problems faster than is possible on a single processor. To accomplish this, the...
Raymond Hoare
ACMDIS
2000
ACM
15 years 9 months ago
Bridge for Buttons - A GUI Design Methodology Applied in Non-GUI Consumer Product Design
This paper describes the experience gained in the case study of adapting the Bridge, a GUI design method to the design of non-GUI interactive consumer products. An industrial desi...
Simo Säde, Katja Battarbee