12452 search results - page 2424 / 2491 » An exploration of program as language |
163
click to vote
CC
2009
Springer
16 years 28 days ago
2009
Springer
Software systems typically exploit only a small fraction of the realizable performance from the underlying microprocessors. While there has been much work on hardware-aware optimiz...
171
click to vote
KBSE
2009
IEEE
16 years 26 days ago
2009
IEEE
—The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CP...
130
click to vote
IPPS
2009
IEEE
16 years 23 days ago
2009
IEEE
In this paper we investigate feedback-directed dynamic selection between different implementations of atomic blocks. We initially execute atomic blocks using STM with optimistic c...
188
click to vote
AGS
2009
Springer
16 years 22 days ago
2009
Springer
We propose a novel approach to intelligent tutoring gaming simulations designed for both educational and inquiry purposes in complex multi-actor systems such as infrastructures or...
190
click to vote
CALCO
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...