1833 search results - page 199 / 367 » Mechanized Verification with Sharing |
200
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
Virtualization has been rapidly expanding its applications in numerous server and desktop environments to improve the utilization and manageability of physical systems. Such prolif...
162
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
We studied files stored by members of a work organization for patterns of social commonality. Discovering identical or similar documents, applications, developer libraries, or oth...
168
click to vote
RECOMB
2007
Springer
16 years 6 months ago
2007
Springer
Learning the structure of a gene regulatory network from time-series gene expression data is a significant challenge. Most approaches proposed in the literature to date attempt to ...
188
click to vote
STOC
2007
ACM
16 years 6 months ago
2007
ACM
One of the main reasons of the recent success of peer to peer (P2P) file sharing systems such as BitTorrent is its built-in tit-for-tat mechanism. In this paper, we model the band...
149
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
Autonomous routing algorithms, such as BGP, are intended to reach a globally consistent set of routes after nodes iteratively and independently collect, process, and share network...