2452 search results - page 175 / 491 » On Reduction of Lagrange Systems |
206
Voted
WOLLIC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
151
Voted
IISWC
2008
IEEE
16 years 16 days ago
2008
IEEE
Heterogeneous multi-core processors are attractive for power efficient computing because of their ability to meet varied resource requirements of diverse applications in a workloa...
163
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
149
Voted
SC
2005
ACM
15 years 11 months ago
2005
ACM
For decades, the high-performance computing (HPC) community has focused on performance, where performance is defined as speed. To achieve better performance per compute node, mic...
174
click to vote
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...