3172 search results - page 601 / 635 » New developments of the Z-EDM algorithm |
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Abstract. Control systems for electrical microgrids rely ever more on heterogeneous off-the-shelf technology for hardware, software and networking among the intelligent electronic ...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
MOBIHOC
2003
ACM
14 years 7 months ago
2003
ACM
Wireless sensor networks (WSN) are event based systems that rely on the collective effort of several microsensor nodes. Reliable event detection at the sink is based on collective...
EUROSYS
2007
ACM
14 years 5 months ago
2007
ACM
Continuously running systems require kernel software updates applied to them without downtime. Facilitating fast reboots, or delaying an update may not be a suitable solution in m...
SOSP
2001
ACM
14 years 4 months ago
2001
ACM
We have developed a new approach for reliably multicasting timecritical data to heterogeneous clients over mesh-based overlay networks. To facilitate intelligent content pruning, ...