Sciweavers

7429 search results - page 48 / 1486
» Embedded System Update
Sort
View
NETWORK
2006
83views more  NETWORK 2006»
14 years 9 months ago
A new model for updating software in wireless sensor networks
Wireless Sensor Networks (WSNs) are expected to be deployed for long periods of time, and the nodes are likely to need software updates during their lifetime, both for bug fixes a...
Stephen Brown, Cormac J. Sreenan
CSREAPSC
2006
14 years 11 months ago
A Real Time Scheduling Method for Embedded Multimedia Applications
Byoungchul Ahn, Ji-Hoon Kim, Dong Ha Lee, Sang Hoo...
AMAST
2008
Springer
14 years 11 months ago
Constant Complements, Reversibility and Universal View Updates
The algebraic specification of information systems (including
Michael Johnson, Robert D. Rosebrugh
ENTCS
2006
146views more  ENTCS 2006»
14 years 9 months ago
Strong Update, Disposal, and Encapsulation in Bunched Typing
We present a bunched intermediate language for strong (type-changing) update and disposal of first-order references. In contrast to other substructural type systems, the additive ...
Josh Berdine, Peter W. O'Hearn
JTRES
2009
ACM
15 years 4 months ago
CDx: a family of real-time Java benchmarks
Tomás Kalibera, Jeff Hagelberg, Filip Pizlo...