2607 search results - page 499 / 522 » On the Architecture of System Verification Environments |
137
Voted
OSDI
1996
ACM
15 years 3 months ago
1996
ACM
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtu...
110
click to vote
MOBICOM
2010
ACM
15 years 2 months ago
2010
ACM
In this work, we study physical-layer identification of passive UHF RFID tags. We collect signals from a population of 70 tags using a purpose-built reader and we analyze time dom...
146
Voted
PERCOM
2008
ACM
15 years 1 months ago
2008
ACM
Integrating p2p services in multi-hop ad hoc networks is today a hot topic. General multi-hop , and pervasive systems in particular, can greatly benefit from high-level middleware...
104
Voted
INFSOF
2007
15 years 1 months ago
2007
Creating and maintaining software systems is a knowledge intensive task. One needs to have a good understanding of the application domain, the problem to solve and all its require...
121
click to vote
SIGMETRICS
2011
ACM
14 years 4 months ago
2011
ACM
Recent work on BitTorrent swarms has demonstrated that a bandwidth bottleneck at the seed can lead to the underutilization of the aggregate swarm capacity. Bandwidth underutilizat...