2231 search results - page 103 / 447 » Alternation as a programming paradigm |
101
click to vote
ICFP
2005
ACM
15 years 12 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
With the increasing trend of microprocessor manufacturers to rely on parallelism to increase their products’ performance, there is an associated increasing need for simple techn...
123
click to vote
CLUSTER
2011
IEEE
13 years 11 months ago
2011
IEEE
Using multi-GPU systems, including GPU clusters, is gaining popularity in scientific computing. However, when using multiple GPUs concurrently, the conventional data parallel GPU...
128
click to vote
ADAEUROPE
2010
Springer
15 years 4 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
HASE
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...