Sciweavers

29046 search results - page 60 / 5810
» Computable Models
Sort
View
IJFCS
2010
92views more  IJFCS 2010»
14 years 9 months ago
Collapsing the Hierarchy of Parallel Computational Models
We investigate the computational power of parallel models with directed reconfigurable buses and with shared memory. Based on feasibility considerations present in the literature,...
Stefan D. Bruda, Yuanqiao Zhang
ISVC
2010
Springer
14 years 9 months ago
Computer-Assisted Creation of 3D Models of Freeway Interchanges
Abstract. Several existing procedural modeling systems are able to generate large 3D models of cities. However, none of these systems can automatically create 3D models of freeways...
Soon Tee Teoh
CODES
1998
IEEE
15 years 4 months ago
Combining multiple models of computation for scheduling and allocation
Many applications include a variety off unctions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design pr...
Dirk Ziegenbein, Rolf Ernst, Kai Richter, Jür...
101
Voted
DEXA
1998
Springer
90views Database» more  DEXA 1998»
15 years 4 months ago
On the Correctness of a Transaction Model for Mobile Computing
We discuss and prove the correctness of a transaction model for mobile computing. In our transaction model, we incorporate a prewrite operation (before a write) which does not upda...
Sanjay Kumar Madria, Bharat K. Bhargava
SI3D
1999
ACM
15 years 4 months ago
Computing bounding volume hierarchies using model simplification
This paper presents a framework that uses the outputs of model simplification to guide the construction of bounding volume hierarchies for use in, for example, collision detection...
Tiow Seng Tan, Ket-Fah Chong, Kok-Lim Low