947 search results - page 44 / 190 » Analysis of Techniques to Improve Protocol Processing Latenc... |
107
click to vote
ENTCS
2002
15 years 1 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
110
click to vote
ICMI
2003
Springer
15 years 6 months ago
2003
Springer
Multimodal interfaces are designed with a focus on flexibility, although very few currently are capable of adapting to major sources of user, task, or environmental variation. The...
123
click to vote
IEAAIE
1998
Springer
15 years 5 months ago
1998
Springer
This paper presents a method I for tracking and segmenting vehicles in a traffic scene. The approach is based on a frame to frame segmentation followed by a tracking process. As op...
ICS
2005
Tsinghua U.
15 years 6 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
122
click to vote
DEBS
2008
ACM
15 years 3 months ago
2008
ACM
A significant number of emerging on-line data analysis applications require the processing of data streams, large amounts of data that get updated continuously, to generate output...