Sciweavers

3979 search results - page 457 / 796
» Wild control operators
Sort
View
IROS
2007
IEEE
162views Robotics» more  IROS 2007»
16 years 1 months ago
Comparative evaluation of robotic software integration systems: A case study
— One might expect that after nearly 50 years of research in robot manipulation and mobile robotics the architectural design of robot systems has converged to a small set of best...
Azamat Shakhimardanov, Erwin Prassler
ISCAS
2007
IEEE
113views Hardware» more  ISCAS 2007»
16 years 1 months ago
A Low Power 4-bit Interleaved Burst Sampling ADC for Sub-GHz Impulse UWB Radio
Abstract—This paper presents a low power 4-bit ADC for subGHz Ultra Wideband (UWB) receivers. The power efficiency is achieved by taking advantage of the low duty cycle feature o...
Xiaodong Zhang, Magdy Bayoumi
BTW
2007
Springer
121views Database» more  BTW 2007»
16 years 29 days ago
Algorithms for merged indexes
B-tree and index into two layers of abstraction. In addition, this paper provides algorithms for (i) concurrency control and recovery including locking of individual keys and of co...
Goetz Graefe
CC
2007
Springer
16 years 29 days ago
A Declarative Framework for Analysis and Optimization
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...
Henry Falconer, Paul H. J. Kelly, David M. Ingram,...
CCS
2007
ACM
16 years 29 days ago
Specifying and analyzing security automata using CSP-OZ
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
David A. Basin, Ernst-Rüdiger Olderog, Paul E...