Search Sciweavers | Sciweavers

32

FSTTCS
2010
Springer

193views Software Engineering» more FSTTCS 2010»

Computationally Sound Abstraction and Verification of Secure Multi-Party Computations

13 years 5 months ago

ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...

Michael Backes, Matteo Maffei, Esfandiar Mohammadi

claim paper

Read More »

27

click to vote

CGA
1998

130views Computational Geometry» more CGA 1998»

Computer Vision for Interactive Computer Graphics

13 years 7 months ago

Download www.merl.com

William T. Freeman, David B. Anderson, Paul A. Bea...

claim paper

Read More »

28

click to vote

PPSN
2010
Springer

134views Distributed And Parallel Com...» more PPSN 2010»

Using Computational Intelligence to Identify Performance Bottlenecks in a Computer System

13 years 5 months ago

Download nexginrc.org

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

Faraz Ahmed, Farrukh Shahzad, Muddassar Farooq

claim paper

Read More »

29

click to vote

SIGSOFT
2010
ACM

141views Software Engineering» more SIGSOFT 2010»

Multiplicity computing: a vision of software engineering for next-generation computing platform applications

13 years 5 months ago

Download www.doc.ic.ac.uk

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...

Cristian Cadar, Peter Pietzuch, Alexander L. Wolf

claim paper

Read More »

12

click to vote

STOC
2004
ACM

94views Algorithms» more STOC 2004»

Completeness in two-party secure computation: a computational view

14 years 8 months ago

Download www.wisdom.weizmann.ac.il

Danny Harnik, Moni Naor, Omer Reingold, Alon Rosen

claim paper