Sciweavers

1702 search results - page 173 / 341
» Doomed program points
Sort
View
FOCS
2005
IEEE
15 years 11 months ago
On the Impossibility of Obfuscation with Auxiliary Input
Barak et al. formalized the notion of obfuscation, and showed that there exist (contrived) classes of functions that cannot be obfuscated. In contrast, Canetti and Wee showed how ...
Shafi Goldwasser, Yael Tauman Kalai
179
Voted
HIPEAC
2005
Springer
15 years 11 months ago
Garbage Collection Hints
This paper shows that Appel-style garbage collectors often make suboptimal decisions both in terms of when and how to collect. We argue that garbage collection should be done when ...
Dries Buytaert, Kris Venstermans, Lieven Eeckhout,...
ACMSE
2004
ACM
15 years 11 months ago
E-R modeler: a database modeling toolkit for Eclipse
Eclipse is a Java integrated development environment (IDE) and tool integration platform that offers numerous extension points for customization through a plug-in architecture. Th...
Song Zhou, Chuanxi Xu, Hui Wu, Jing Zhang, Yuehua ...
EUROGP
2004
Springer
105views Optimization» more  EUROGP 2004»
15 years 11 months ago
Evolved Matrix Operations for Post-processing Protein Secondary Structure Predictions
Predicting the three-dimensional structure of proteins is a hard problem, so many have opted instead to predict the secondary structural state (usually helix, strand or coil) of e...
Varun Aggarwal, Robert M. MacCallum
INFOCOM
2002
IEEE
15 years 11 months ago
TCP Network Calculus: The case of large delay-bandwidth product
Abstract— We present in this paper an analytical model for the calculation of network load and drop probabilities in a TCP/IP network with general topology. First we formulate ou...
Eitan Altman, Konstantin Avrachenkov, Chadi Baraka...