2817 search results - page 311 / 564 » An Architecture for Emergent Semantics |
169
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Parallel NFS (pNFS) is touted as an emergent standard protocol for parallel I/O access in various storage environments. Several pNFS prototypes have been implemented for initial v...
182
click to vote
VEE
2006
ACM
16 years 18 days ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
210
click to vote
IANDC
2011
15 years 1 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
203
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
243
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...