2231 search results - page 150 / 447 » Alternation as a programming paradigm |
150
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access will result in a definite cache hit or miss. This unpredictabilit...
131
click to vote
HPCA
2006
IEEE
16 years 4 months ago
2006
IEEE
Transactional memory (TM) provides an easy-to-use and high-performance parallel programming model for the upcoming chip-multiprocessor systems. Several researchers have proposed a...
143
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
125
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
174
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncom...