Sciweavers

27756 search results - page 5138 / 5552
» Process Query Systems
Sort
View
CVPR
2004
IEEE
15 years 8 months ago
Camera Calibration from a Single Night Sky Image
We present a simple and universal camera calibration method. Instead of extensive setups we are exploiting the accurate angular positions of fixed stars. High precision is achieve...
Andreas Klaus, Joachim Bauer, Konrad F. Karner, Pi...
141
Voted
DATE
2004
IEEE
129views Hardware» more  DATE 2004»
15 years 8 months ago
Modeling Shared Resource Contention Using a Hybrid Simulation/Analytical Approach
Future Systems-on-Chips will include multiple heterogeneous processing units, with complex data-dependent shared resource access patterns dictating the performance of a design. Cu...
Alex Bobrek, Joshua J. Pieper, Jeffrey E. Nelson, ...
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 8 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
130
Voted
DEXA
2004
Springer
112views Database» more  DEXA 2004»
15 years 8 months ago
Efficient Algorithms for Multi-file Caching
Multi-File Caching issues arise in applications where a set of jobs are processed and each job requests one or more input files. A given job can only be started if all its input fi...
Ekow J. Otoo, Doron Rotem, Sridhar Seshadri
CCGRID
2006
IEEE
15 years 8 months ago
Compilation of XSLT into Dataflow Graphs for Web Service Composition
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...
Peter M. Kelly, Paul D. Coddington, Andrew L. Wend...
« Prev « First page 5138 / 5552 Last » Next »