1974 search results - page 157 / 395 » A Library System for Small-Scale Library |
125
click to vote
GRID
2006
Springer
15 years 2 months ago
2006
Springer
Abstract-- Shared temporary storage space is often the constraining resource for clusters that serve as execution nodes in wide-area distributed systems. At least one large nationa...
139
click to vote
CODES
2001
IEEE
15 years 5 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
207
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
158
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...