1099 search results - page 24 / 220 » A Parallel Programming Style and Its Algebra of Programs |
128
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
118
click to vote
COREGRID
2007
Springer
15 years 8 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
129
click to vote
PADL
2004
Springer
15 years 7 months ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
216
Voted
MICRO
2012
IEEE
13 years 5 months ago
2012
IEEE
This article presents a general algorithm for transforming sequential imperative programs into parallel data-flow programs. Our algorithm operates on a program dependence graph i...
104
Voted
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...