2777 search results - page 143 / 556 » Example centric programming |
88
Voted
ICFP
2008
ACM
16 years 18 days ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
102
click to vote
ICFP
2005
ACM
16 years 18 days ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
119
click to vote
PPOPP
2012
ACM
13 years 8 months ago
2012
ACM
Graphics processing units (GPUs) are powerful devices capable of rapid parallel computation. GPU programming, however, can be quite difficult, limiting its use to experienced prog...
94
Voted
SC
2009
ACM
15 years 7 months ago
2009
ACM
A proper understanding of communication patterns of parallel applications is important to optimize application performance and design better communication subsystems. Communicatio...