230 search results - page 20 / 46 » Completing Herbelin's Programme |
ICLP
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...
CODES
2002
IEEE
14 years 1 months ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...
EH
2002
IEEE
14 years 1 months ago
2002
IEEE
In this article, we present the BioWall, a giant reconfigurable computing tissue developed to implement machines according to the principles of our Embryonics (embryonic electroni...
DFT
1999
IEEE
14 years 23 days ago
1999
IEEE
The inherent redundancy and in-the-field reconfiguration capabilities of field programmable gate arrays (FPGAs) provide alternatives to integrated circuit redundancy-based fault r...
ICPP
1996
IEEE
14 years 18 days ago
1996
IEEE
A primary problem in the performance measurement of high-level parallel programming languages is to map lowlevel events to high-level programming constructs. We discuss several as...