Sciweavers

2167 search results - page 62 / 434
» On the need for statistical timing analysis
Sort
View
ECRTS
2007
IEEE
15 years 3 months ago
Statistical QoS Guarantee and Energy-Efficiency in Web Server Clusters
In this paper we study the soft real-time web cluster architecture needed to support e-commerce and related applications. Our testbed is based on an industry standard, which defin...
Luciano Bertini, Julius C. B. Leite, Daniel Moss&e...
ICMCS
2005
IEEE
109views Multimedia» more  ICMCS 2005»
15 years 5 months ago
Real-Time and Distributed AV Content Analysis System for Consumer Electronics Networks
The ever-increasing complexity of generic MultimediaContent-Analysis-based (MCA) solutions, their processing power demanding nature and the need to prototype and assess solutions ...
Jan Nesvadba, Pedro Fonseca, Alexander Sinitsyn, F...
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 4 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
CGI
2009
IEEE
15 years 3 months ago
Visual analytics of time dependent 2D point clouds
Two dimensional point data can be considered one of the most basic, yet one of the most ubiquitous data types arising in a wide variety of applications. The basic scatter plot app...
Tatiana von Landesberger, Sebastian Bremm, Peyman ...
ICRA
2009
IEEE
150views Robotics» more  ICRA 2009»
15 years 6 months ago
Analytic error variance predictions for planar vehicles
— Path planning algorithms that incorporate risk and uncertainty need to be able to predict the evolution of pathfollowing error statistics for each candidate plan. We present an...
Matthew Greytak, Franz Hover