2241 search results - page 412 / 449 » Performance Modeling and Evaluation of E-Business Systems |
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— A new distributed coordination algorithm for multi-vehicle systems is presented in this paper. The algorithm combines a particular choice of navigation function with Voronoi pa...
RTAS
2003
IEEE
14 years 27 days ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...
IPPS
2002
IEEE
14 years 16 days ago
2002
IEEE
Query scheduling plays an important role when systems are faced with limited resources and high workloads. It becomes even more relevant for servers applying multiple query optimi...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
The standard approach to speaker verification is to extract cepstral features from the speech spectrum and model them by generative or discriminative techniques. We propose a nov...
ENTCS
2008
13 years 7 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...