7694 search results - page 1191 / 1539 » An Implementation of an Applicative File System |
190
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
The rapid revolution in microprocessor chip architecture due to multicore technology is presenting unprecedented challenges to the application developers as well as system softwar...
228
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
172
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
345
click to vote
EUROPKI
2009
Springer
15 years 4 months ago
2009
Springer
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many cryptographic applications such as identification schemes, group signatures, and secure mult...
178
click to vote
CLUSTER
2009
IEEE
16 years 1 months ago
2009
IEEE
—Parallel netCDF (PnetCDF) is a popular library used in many scientific applications to store scientific datasets. It provides high-performance parallel I/O while maintaining ...