Sciweavers

3384 search results - page 228 / 677
» More Testable Properties
Sort
View
WIMOB
2008
IEEE
16 years 28 days ago
A Protocol for Pervasive Distributed Computing Reliability
Abstract—The adoption of new hardware and software architectures will make future generations of pervasive devices more flexible and extensible. Networks of computational nodes ...
Alberto Ferrante, Roberto Pompei, Anastasia Stulov...
DATE
2007
IEEE
101views Hardware» more  DATE 2007»
16 years 28 days ago
Polynomial-time subgraph enumeration for automated instruction set extension
This paper proposes a novel algorithm that, given a data-flow graph and an input/output constraint, enumerates all convex subgraphs under the given constraint in polynomial time ...
Paolo Bonzini, Laura Pozzi
HAPTICS
2007
IEEE
16 years 27 days ago
Time-Based Haptic Analysis of Protein Dynamics
We present a new approach for evaluating a protein’s simulated trajectory via time-based haptic feedback. Molecular-scale trajectories are highly dynamic and thus pose new deman...
Katrin Bidmon, Guido Reina, Fabian Bös, J&uum...
ICC
2007
IEEE
118views Communications» more  ICC 2007»
16 years 27 days ago
Critical Design Decisions for Cognitive Networks
— The idea of the cognitive network, drawn from previous research in cognitive radios and cross-layer design, is an attempt to address issues of complexity and scalability by all...
Ryan W. Thomas, Luiz A. DaSilva, Madhav V. Marathe...
ICCV
2007
IEEE
16 years 27 days ago
Automatic Camera Network Localization using Object Image Tracks
Camera networks are being used in more applications as different types of sensor networks are used to instrument large spaces. Here we show a method for localizing the cameras in ...
Marci Meingast, Songhwai Oh, Shankar Sastry