Sciweavers

586 search results - page 69 / 118
» Witnessing side effects
Sort
View
SCAM
2008
IEEE
15 years 4 months ago
Automatic Determination of May/Must Set Usage in Data-Flow Analysis
Data-flow analysis is a common technique to gather program information for use in transformations such as register allocation, dead-code elimination, common subexpression elimina...
Andrew Stone, Michelle Strout, Shweta Behere
IROS
2007
IEEE
85views Robotics» more  IROS 2007»
15 years 4 months ago
Electrostatic latching for inter-module adhesion, power transfer, and communication in modular robots
— A simple and robust inter-module latch is possibly the most important component of a modular robotic system. This paper describes a latch based on electric fields and capaciti...
Mustafa Emre Karagozler, Jason Campbell, Gary K. F...
ICCS
2007
Springer
15 years 4 months ago
Implementing Virtual Buffer for Electric Power Grids
The electric power grid is a vital network for every aspect of our life. The lack of buffer between generation and consumption makes the power grid unstable and fragile. While larg...
Rong Gao, Lefteri H. Tsoukalas
INFOCOM
2006
IEEE
15 years 3 months ago
On Hybrid Collision Control for IEEE 802.11 Ad-Hoc Networks
— We present in this work a new mechanism based on an innovative hybrid approach for traffic and collision control in wireless ad hoc networks. We combine the well known equatio...
Hicham Khalife
CGO
2003
IEEE
15 years 3 months ago
Predicate-Aware Scheduling: A Technique for Reducing Resource Constraints
Predicated execution enables the removal of branches wherein segments of branching code are converted into straight-line segments of conditional operations. An important, but gene...
Mikhail Smelyanskiy, Scott A. Mahlke, Edward S. Da...