7694 search results - page 326 / 1539 » An Implementation of an Applicative File System |
147
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization description that specifies how t...
192
click to vote
PVM
2010
Springer
15 years 5 months ago
2010
Springer
With the ever-increasing numbers of cores per node on HPC systems, applications are increasingly using threads to exploit the shared memory within a node, combined with MPI across ...
160
click to vote
WEBNET
2000
15 years 8 months ago
2000
Dinopolis is at the moment the most universal and extendable application framework available. It is fully written in Java and fully compliant to today's application standards...
157
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
190
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...