1027 search results - page 173 / 206 » Callgraph properties of executables |
239
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
231
Voted
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...
133
click to vote
STOC
2004
ACM
16 years 4 months ago
2004
ACM
We show how to securely realize any multi-party functionality in a way that preserves security under an a-priori bounded number of concurrent executions, regardless of the number ...
215
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
Modern scientific applications consume massive volumes of data produced by computer simulations. Such applications require new data management capabilities in order to scale to te...
213
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
A windowed query operator breaks a data stream into possibly overlapping subsets of data and computes results over each. Many stream systems can evaluate window aggregate queries....