Sciweavers

634 search results - page 17 / 127
» Modeling Parallel System Workloads with Temporal Locality
Sort
View
CC
2008
Springer
193views System Software» more  CC 2008»
13 years 10 months ago
Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...
Uday Bondhugula, Muthu Manikandan Baskaran, Sriram...
ICRA
2007
IEEE
125views Robotics» more  ICRA 2007»
14 years 2 months ago
Mirror Localization for a Catadioptric Imaging System by Projecting Parallel Lights
Abstract— This paper describes a method of mirror localization to calibrate a catadioptric imaging system. Even though the calibration of a catadioptric system includes the estim...
Ryusuke Sagawa, Nobuya Aoki, Yasuhiro Mukaigawa, T...
ACCV
2007
Springer
14 years 2 months ago
Mirror Localization for Catadioptric Imaging System by Observing Parallel Light Pairs
This paper describes a method of mirror localization to calibrate a catadioptric imaging system. While the calibration of a catadioptric system includes the estimation of various p...
Ryusuke Sagawa, Nobuya Aoki, Yasushi Yagi
ICDE
1999
IEEE
113views Database» more  ICDE 1999»
14 years 9 months ago
Parallel Algorithms for Computing Temporal Aggregates
The ability to model the temporal dimension is essential to many applications. Furthermore, the rate of increase in database size and response time requirements has outpaced advan...
Jose Alvin G. Gendrano, Bruce C. Huang, Jim M. Rod...
CONCUR
1989
Springer
13 years 12 months ago
Using the Temporal Logic RDL for Design Specifications
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter