102291 search results - page 14 / 20459 » Computing |
150
click to vote
FSTTCS
2010
Springer
15 years 16 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...
CGA
1998
15 years 2 months ago
1998
140
click to vote
PPSN
2010
Springer
15 years 12 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
166
click to vote
SIGSOFT
2010
ACM
15 years 12 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...
STOC
2004
ACM
16 years 2 months ago
2004
ACM