1532 search results - page 208 / 307 » An analysis of additivity in OLAP systems |
164
click to vote
EMSOFT
2007
Springer
16 years 14 days ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
160
click to vote
FMCO
2007
Springer
16 years 14 days ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
192
click to vote
CVPR
2009
IEEE
16 years 14 days ago
2009
IEEE
We present a catadioptric projector analogous to a catadioptric camera by combining a commodity digital projector with additional optical units. We show that, by using specially sh...
155
click to vote
COMPSAC
2006
IEEE
16 years 11 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
158
click to vote
HICSS
2006
IEEE
16 years 11 days ago
2006
IEEE
In this manuscript we develop a conceptual understanding of how key risk factors associated with Information Technology development projects are magnified or multiplied when deali...