Sciweavers

1458 search results - page 101 / 292
» Extended Term Rewriting Systems
Sort
View
SIGMOD
2009
ACM
201views Database» more  SIGMOD 2009»
15 years 10 months ago
Cost based plan selection for xpath
We present a complete XPath cost-based optimization and execution framework and demonstrate its effectiveness and efficiency for a variety of queries and datasets. The framework i...
Haris Georgiadis, Minas Charalambides, Vasilis Vas...
IPSN
2007
Springer
15 years 4 months ago
Harbor: software-based memory protection for sensor nodes
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
Ram Kumar, Eddie Kohler, Mani B. Srivastava
ISSTA
2006
ACM
15 years 3 months ago
Subdomain testing of units and systems with state
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
Dick Hamlet
AUTOMATICA
2007
103views more  AUTOMATICA 2007»
14 years 10 months ago
Image based visual servo control for a class of aerial robotic systems
An image-based strategy for visual servo control of a class of dynamic systems is proposed. The class of systems considered includes dynamic models of unmanned aerial vehicles cap...
Tarek Hamel, Robert E. Mahony
ICS
2009
Tsinghua U.
15 years 4 months ago
Designing multi-socket systems using silicon photonics
Future single-board multi-socket systems may be unable to deliver the needed memory bandwidth electrically due to power limitations, which will hurt their ability to drive perform...
Scott Beamer, Krste Asanovic, Christopher Batten, ...