29082 search results - page 5486 / 5817 » The Time-Triggered Model of Computation |
220
click to vote
SIGMETRICS
2006
ACM
16 years 21 days ago
2006
ACM
Understanding and managing the response time of web services is of key importance as dependence on the World Wide Web continues to grow. We present Remote Latency-based Management...
166
click to vote
ICDM
2005
IEEE
16 years 10 days ago
2005
IEEE
The most suitable method for the automated classification of protein structures remains an open problem in computational biology. In order to classify a protein structure with an...
205
Voted
KBSE
2005
IEEE
16 years 9 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
217
click to vote
WACV
2005
IEEE
16 years 9 days ago
2005
IEEE
— This paper describes a new method to improve inertial navigation using feature-based constraints from one or more video cameras. The proposed method lengthens the period of tim...
282
click to vote
ISLPED
2005
ACM
16 years 9 days ago
2005
ACM
In this paper, we take the idea of application-level processing on disks to one level further, and focus on an architecture, called Cluster of Active Disks (CAD), where the storag...