Sciweavers

595 search results - page 100 / 119
» Lightweight Static Capabilities
Sort
View
POPL
2005
ACM
14 years 8 months ago
Mutatis mutandis: safe and predictable dynamic software updating
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman,...
ICCD
2008
IEEE
165views Hardware» more  ICCD 2008»
14 years 4 months ago
Analysis and minimization of practical energy in 45nm subthreshold logic circuits
Abstract— Over the last decade, the design of ultra-lowpower digital circuits in subthreshold regime has been driven by the quest for minimum energy per operation. In this contri...
David Bol, Renaud Ambroise, Denis Flandre, Jean-Di...
ISCA
2009
IEEE
199views Hardware» more  ISCA 2009»
14 years 2 months ago
SigRace: signature-based data race detection
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
Abdullah Muzahid, Darío Suárez Graci...
ICRA
2008
IEEE
178views Robotics» more  ICRA 2008»
14 years 2 months ago
Surface based wireless power transmission and bidirectional communication for autonomous robot swarms
—We introduce an inexpensive, low complexity power surface system capable of simultaneously providing wireless power and bidirectional communication from a surface to multiple mo...
Travis Deyle, Matthew S. Reynolds
LCTRTS
2007
Springer
14 years 1 months ago
Generalizing parametric timing analysis
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
Joel Coffman, Christopher A. Healy, Frank Mueller,...