8109 search results - page 1376 / 1622 » A Model of Component-Based Programming |
138
click to vote
CC
2009
Springer
15 years 11 months 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...
165
click to vote
ICST
2009
IEEE
15 years 11 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
140
click to vote
IEEEPACT
2009
IEEE
15 years 11 months ago
2009
IEEE
Increasing demand for performance and efficiency has driven the computer industry toward multicore systems. These systems have become the industry standard in almost all segments...
123
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Transactional Memory aims to provide a programming model that makes parallel programming easier. Hardware implementations of transactional memory (HTM) suffer from fewer overhead...
167
click to vote
CALCO
2009
Springer
15 years 11 months 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 ...