Sciweavers

1010 search results - page 90 / 202
» An architecture to support cooperating mobile embedded syste...
Sort
View
LCTRTS
2004
Springer
14 years 2 months ago
Spinach: a liberty-based simulator for programmable network interface architectures
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
Paul Willmann, Michael Brogioli, Vijay S. Pai
CAV
2007
Springer
127views Hardware» more  CAV 2007»
14 years 3 months ago
CVC3
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...
Clark Barrett, Cesare Tinelli
SIGOPSE
2000
ACM
14 years 1 months ago
A system architecture for pervasive computing
Pervasive computing, with its focus on users and their tasks rather than on computing devices and technology, provides an attractive vision for the future of computing. But, while...
Robert Grimm, Thomas E. Anderson, Brian N. Bershad...
CORR
2010
Springer
89views Education» more  CORR 2010»
13 years 9 months ago
Power optimized programmable embedded controller
Now a days, power has become a primary consideration in hardware design, and is critical in computer systems especially for portable devices with high performance and more functio...
M. Kamaraju, K. Lal Kishore, A. V. N. Tilak
C5
2010
IEEE
14 years 2 months ago
Overseer: A Mobile Context-Aware Collaboration and Task Management System for Disaster Response
Efficient collaboration and task management is challenging in distributed, dynamically-formed organizations such as ad hoc disaster response teams. Ineffective collaboration may r...
Faisal B. Luqman, Martin L. Griss