689 search results - page 18 / 138 » The multithreaded version of FORM |
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper describes our early experiences with a preproduction Cray XMT system that implements a scalable shared memory architecture with hardware support for multithreading. Unl...
CSL
2002
Springer
13 years 7 months ago
2002
Springer
Abstract. Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped -calculus and G
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
In this paper, a new anisotropic diffusion noise filtering technique is proposed. The technique has two specific features: it is designed for vector-valued images in general and f...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
DILS
2009
Springer
14 years 2 months ago
2009
Springer
Increasingly, biological data is being shared over the deep web. Many biological queries can only be answered by successively searching a number of distinct web-sites. This paper i...