Sciweavers

2951 search results - page 414 / 591
» Trustable Task Processing Systems
Sort
View
IPPS
2008
IEEE
16 years 27 days ago
Accurately measuring collective operations at massive scale
Accurate, reproducible and comparable measurement of collective operations is a complicated task. Although Different measurement schemes are implemented in wellknown benchmarks, m...
Torsten Hoefler, Timo Schneider, Andrew Lumsdaine
RTSS
2008
IEEE
16 years 26 days ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian
AH
2008
Springer
16 years 26 days ago
Assisting in Reuse of Adaptive Hypermedia Creator's Models
The design of Adaptive Hypermedia is a difficult task which can be made easier if generic systems and AH creators’ models are reused. We address this design problem in the settin...
Nadjet Zemirline, Yolaine Bourda, Chantal Reynaud,...
ICDE
2007
IEEE
172views Database» more  ICDE 2007»
16 years 24 days ago
A New Data Cube for Integrating Data Mining and OLAP
Recently there is much need of discovering useful knowledge from massive log-data which are generated by Webbased information systems. Such log-data have multiple attributes about...
Tadashi Ohmori, Masahide Naruse, Mamoru Hoshi
IROS
2007
IEEE
162views Robotics» more  IROS 2007»
16 years 24 days ago
Online object search with a humanoid robot
— This paper presents an object active visual search behavior in a 3D environment performed by a HRP-2 humanoid robot. The search is formalized as an optimization problem in whic...
François Saïdi, Olivier Stasse, Kazuhi...