Sciweavers

1990 search results - page 268 / 398
» Optimizing the Instruction Cache Performance of the Operatin...
Sort
View
ICRA
2003
IEEE
101views Robotics» more  ICRA 2003»
15 years 9 months ago
Proprioceptive Control for a Robotic Vehicle over Geometric Obstacles
In this paper we describe a software system built to coordinate an autonomous vehicle with variable configuration ability operating in rough terrain conditions. The paper describe...
Kenneth J. Waldron, Ronald C. Arkin, Douglas Bakku...
IPSN
2005
Springer
15 years 10 months ago
Perpetual environmentally powered sensor networks
— Environmental energy is an attractive power source for low power wireless sensor networks. We present Prometheus, a system that intelligently manages energy transfer for perpet...
Xiaofan Jiang, Joseph Polastre, David E. Culler
GLOBECOM
2006
IEEE
15 years 10 months ago
Bayesian Data Fusion for Asynchronous DS-CDMA Sensor Networks in Rayleigh Fading
Abstract— In this paper, we propose asynchronous non-orthogonal communication between distributed sensors and a data fusion center via asynchronous direct-sequence code-division ...
Justin S. Dyer, Balasubramaniam Natarajan, Sudharm...
TCAD
2008
101views more  TCAD 2008»
15 years 4 months ago
Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
Ilya Wagner, Valeria Bertacco, Todd M. Austin
ICCD
2000
IEEE
119views Hardware» more  ICCD 2000»
15 years 8 months ago
Source-Level Transformations for Improved Formal Verification
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
Brian D. Winters, Alan J. Hu