Sciweavers

1299 search results - page 231 / 260
» Challenges in Ubiquitous Data Management
Sort
View
ENTCS
2002
145views more  ENTCS 2002»
15 years 1 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
MR
2007
157views Robotics» more  MR 2007»
15 years 1 months ago
Electronic prognostics - A case study using global positioning system (GPS)
– Prognostic health management (PHM) of electronic systems presents challenges traditionally viewed as either insurmountable or otherwise not worth the cost of pursuit. Recent ch...
Douglas W. Brown, Patrick W. Kalgren, Carl S. Byin...
SIGMETRICS
2010
ACM
180views Hardware» more  SIGMETRICS 2010»
14 years 12 months ago
Route oracle: where have all the packets gone?
Many network-management problems in large backbone networks need the answer to a seemingly simple question: where does a given IP packet, entering the network at a particular plac...
Yaping Zhu, Jennifer Rexford, Subhabrata Sen, Aman...
HAPTICS
2010
IEEE
14 years 11 months ago
A New Coupling Scheme for Haptic Rendering of Rigid Bodies Interactions Based on a Haptic Sub-world Using a Contact Graph
Interactions with virtual worlds using the sense of touch, called haptic rendering, have natural applications in many domains such as health or industry. For an accurate and realis...
Loeiz Glondu, Maud Marchal, Georges Dumont
IPPS
2010
IEEE
14 years 11 months ago
A GPU-inspired soft processor for high-throughput acceleration
There is building interest in using FPGAs as accelerators for high-performance computing, but existing systems for programming them are so far inadequate. In this paper we propose...
Jeffrey Kingyens, J. Gregory Steffan