24554 search results - page 4711 / 4911 » Dependable distributed systems |
183
click to vote
ASPLOS
2006
ACM
16 years 14 days ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
181
click to vote
DAC
2006
ACM
16 years 14 days ago
2006
ACM
duce system weight and volume, increase operating lifetime, The recent explosion in capability of embedded and portable decrease maintenance costs, and open new frontiers for inele...
154
click to vote
ISSTA
2006
ACM
16 years 13 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
183
click to vote
SASN
2006
ACM
16 years 13 days ago
2006
ACM
In a large sensor network, in-network data aggregation, i.e., combining partial results at intermediate nodes during message routing, significantly reduces the amount of communic...
170
click to vote
SENSYS
2006
ACM
16 years 13 days ago
2006
ACM
Most sensor network research and software design has been guided by an architectural principle that permits multi-node data fusion on small-form-factor, resource-poor nodes, or mo...