2343 search results - page 319 / 469 » Structure and Interpretation of Computer Programs |
129
click to vote
SOFSEM
2010
Springer
16 years 2 months ago
2010
Springer
Programmers rely on programming idioms, design patterns, and workaround techniques to make up for missing programming language support. Evolving languages often address frequently ...
139
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
156
click to vote
ASPLOS
2009
ACM
15 years 12 months ago
2009
ACM
This paper presents a performance analysis of an accelerated 2-D rigid image registration implementation that employs the Compute Unified Device Architecture (CUDA) programming e...
140
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
141
click to vote
PODC
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we initiate the study of the approximability of the facility location problem in a distributed setting. In particular, we explore a trade-off between the amount of...