10666 search results - page 1419 / 2134 » Quantum programming languages |
207
click to vote
ICFP
2002
ACM
16 years 7 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
176
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
230
click to vote
SOSP
2009
ACM
16 years 4 months ago
2009
ACM
Data-intensive applications are increasingly designed to execute on large computing clusters. Grouped aggregation is a core primitive of many distributed programming models, and i...
193
Voted
ESSOS
2010
Springer
16 years 4 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...
192
click to vote
ASPLOS
2009
ACM
16 years 2 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...