102291 search results - page 14 / 20459 » Computing |
147
click to vote
FSTTCS
2010
Springer
15 years 5 days ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
96
Voted
CGA
1998
15 years 1 months ago
1998
137
click to vote
PPSN
2010
Springer
15 years 2 days ago
2010
Springer
System administrators have to analyze a number of system parameters to identify performance bottlenecks in a system. The major contribution of this paper is a utility
161
click to vote
SIGSOFT
2010
ACM
15 years 1 days ago
2010
ACM
New technologies have recently emerged to challenge the very nature of computing: multicore processors, virtualized operating systems and networks, and data-center clouds. One can...
63
Voted
STOC
2004
ACM
16 years 2 months ago
2004
ACM