Sciweavers

5762 search results - page 864 / 1153
» R-tree: A Hardware Implementation
Sort
View
CVGIP
2000
89views more  CVGIP 2000»
15 years 6 months ago
3D Volume Rotation Using Shear Transformations
We presenta group of methods of decomposingan arbitrary 3D volume rotation into a sequenceof simple shear(i.e., regular shift) operations. We explore different types of shear oper...
Baoquan Chen, Arie E. Kaufman
JUCS
2000
102views more  JUCS 2000»
15 years 6 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
COMPUTER
1998
131views more  COMPUTER 1998»
15 years 6 months ago
Windows NT Clustering Service
ER ABSTRACTIONS ter service uses several abstractions— including resource, resource dependencies, and resource groups—to simplify both the cluster service itself and user-visib...
Rod Gamache, Rob Short, Mike Massa
INFORMS
1998
142views more  INFORMS 1998»
15 years 6 months ago
Distributed State Space Generation of Discrete-State Stochastic Models
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
Gianfranco Ciardo, Joshua Gluckman, David M. Nicol
SIAMCOMP
2002
98views more  SIAMCOMP 2002»
15 years 6 months ago
Self-Stabilizing Symmetry Breaking in Constant Space
abstract Alain Mayer Yoram Ofeky Rafail Ostrovskyz Moti Yungx We investigate the problem of self-stabilizing round-robin token management scheme on an anonymous bidirectional ring...
Alain J. Mayer, Rafail Ostrovsky, Yoram Ofek, Moti...