16702 search results - page 3235 / 3341 » Server operating systems |
147
click to vote
MOBIHOC
2004
ACM
16 years 4 months ago
2004
ACM
In the near future, the advent of large-scale networks of mobile agents autonomously performing long-term sensing and communication tasks will be upon us. However, using controlle...
165
Voted
MOBIHOC
2003
ACM
16 years 4 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...
122
click to vote
PPOPP
2010
ACM
16 years 1 months ago
2010
ACM
Chip multi-processors (CMPs) have become ubiquitous, while tools that ease concurrent programming have not. The promise of increased performance for all applications through ever ...
175
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
127
click to vote
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
— Power analysis attacks are a type of side-channel attacks that exploits the power consumption of computing devices to retrieve secret information. They are very effective in br...