9186 search results - page 305 / 1838 » A Module System for Scheme |
156
Voted
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
211
click to vote
EUROPAR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The Numerical Algorithms Group Ltd is currently participating in the European HPCN Fourth Framework project on Parallel Industrial NumErical Applications and Portable Lib...
175
click to vote
DRR
2010
15 years 9 months ago
2010
In this paper we present an OCR validation module, implemented for the System for Preservation of Electronic Resources (SPER) developed at the U.S. National Library of Medicine.1 ...
178
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
138
click to vote
AROBOTS
2006
15 years 6 months ago
2006
Abstract One of the most challenging issues for a selfsustaining robotic system is how to use its limited resources to accomplish a large variety of tasks. The scope of such tasks ...