Sciweavers

1940 search results - page 220 / 388
» The Dynamic Logic of Permission
Sort
View
TMC
2012
13 years 9 months ago
E-MiLi: Energy-Minimizing Idle Listening in Wireless Networks
WiFi interface is known to be a primary energy consumer in mobile devices, and idle listening (IL) is the dominant source of energy consumption in WiFi. Most existing protocols, s...
Xinyu Zhang, Kang G. Shin
DAC
2001
ACM
16 years 7 months ago
A True Single-Phase 8-bit Adiabatic Multiplier
This paper presents the design and evaluation of an 8-bit adiabatic multiplier. Both the multiplier core and its built-in self-test logic have been designed using a true single-ph...
Suhwan Kim, Conrad H. Ziesler, Marios C. Papaefthy...
MICCAI
2008
Springer
16 years 7 months ago
Spatial Weighed Element Based FEM Incorporating a Priori Information on Bioluminescence Tomography
Bioluminescence tomography (BLT) is a promising imaging technique which may dynamically and real-timely detect the molecular and cellular activity at the whole-body level in small ...
Jin Shi, Jie Tian, Min Xu, Wei Yang
TACAS
2009
Springer
122views Algorithms» more  TACAS 2009»
16 years 1 months ago
Test Input Generation for Programs with Pointers
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
Dries Vanoverberghe, Nikolai Tillmann, Frank Piess...
ICRA
2006
IEEE
154views Robotics» more  ICRA 2006»
16 years 20 days ago
Qualitative Vision-based Mobile Robot Navigation
— We present a novel, simple algorithm for mobile robot navigation. Using a teach-replay approach, the robot is manually led along a desired path in a teaching phase, then the ro...
Zhichao Chen, Stanley T. Birchfield