4616 search results - page 454 / 924 » Extreme Components Analysis |
189
click to vote
SIES
2009
IEEE
16 years 1 months ago
2009
IEEE
—The performance estimation of complex multi-processor systems-on-chip (MPSoC) in a reasonable amount of time and with a good accuracy becomes more and more challenging due to th...
187
click to vote
CAIP
2009
Springer
16 years 1 months ago
2009
Springer
A probabilistic framework for vision based volumetric reconstruction and marker free tracking of hand and face volumes is presented, which exclusively relies on off-the-shelf hardw...
172
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
185
click to vote
CDVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Large-scale scientific investigation often includes collaborative data exploration among geographically distributed researchers. The tools used for this exploration typi...
226
click to vote
Publication
Supercomputers and clouds both strive to make a large number of
computing cores available for computation. More recently, similar objectives such as low-power, manageability at sc...