2977 search results - page 349 / 596 » Programming Environments for Novices |
115
click to vote
SAC
2010
ACM
15 years 9 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...
133
Voted
ASPLOS
2009
ACM
15 years 9 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...
126
click to vote
PPPJ
2009
ACM
15 years 9 months ago
2009
ACM
Continuations, or ’the rest of the computation’, are a concept that is most often used in the context of functional and dynamic programming languages. Implementations of such ...
133
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Ubiquitous computing and service-oriented computing enable the development of a new trend of applications that can opportunely interact with services discovered in the surrounding...
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...