Sciweavers

7124 search results - page 113 / 1425
» Programming Languages and Operating Systems
Sort
View
POS
1998
Springer
15 years 2 months ago
Lumberjack: A Log-Structured Persistent Object Store
Lumberjack is a log-structured persistent object store intended for use with conventional operating systems such as Unix. The design draws together facets of previous work, in par...
David Hulse, Alan Dearle
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
15 years 4 months ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh
PLDI
2000
ACM
15 years 2 months ago
Safety checking of machine code
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
Zhichen Xu, Barton P. Miller, Thomas W. Reps