331 search results - page 41 / 67 » HOLCF: Higher Order Logic of Computable Functions |
104
Voted
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
The goal of research in programming languages should be to develop languages that integrates the best of concepts and constructs from the various programming paradigms. We do not a...
122
Voted
DAC
2004
ACM
15 years 4 months ago
2004
ACM
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...
113
Voted
RSCTC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper, we discuss approximation spaces in a granular computing framework. Such approximation spaces generalise the approaches to concept approximation existing in...
71
Voted
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents an in-depth study of the theory and algorithms for the SPFD-based (Set of Pairs of Functions to be Distinguished) rewiring, and explores the flexibility in the...
FPGA
2004
ACM
15 years 5 months ago
2004
ACM
FPGAs normally operate at whatever clock rate is appropriate for the loaded configuration. When FPGAs are used as computational devices in a larger system, however, it is better ...