Sciweavers

1419 search results - page 211 / 284
» Power Droop Testing
Sort
View
PODS
1997
ACM
124views Database» more  PODS 1997»
15 years 4 months ago
Languages for Relational Databases over Interpreted Structures
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
Michael Benedikt, Leonid Libkin
ICCAD
1996
IEEE
112views Hardware» more  ICCAD 1996»
15 years 4 months ago
GRASP - a new search algorithm for satisfiability
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
João P. Marques Silva, Karem A. Sakallah
SRDS
1996
IEEE
15 years 4 months ago
A Transparent Light-Weight Group Service
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementationsof virtual synchrony usually require...
Luís Rodrigues, Katherine Guo, Antonio Sarg...
MOBICOM
1996
ACM
15 years 4 months ago
TCP Extensions for Space Communications
The space communication environment and mobile and wireless communication environments show many similarities when observed from the perspective of a transport protocol. Both type...
Robert C. Durst, Gregory J. Miller, Eric J. Travis
AMS
2007
Springer
229views Robotics» more  AMS 2007»
15 years 3 months ago
A Unified Robotic Software Architecture for Service Robotics and Networks of Smart Sensors
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
Daniel Westhoff, Jianwei Zhang