3256 search results - page 163 / 652 » Mixin-Based Programming in C |
109
click to vote
HCW
1998
IEEE
15 years 8 months ago
1998
IEEE
The heterogeneous parallel processing community has long been struggling to bring its approach to computation into the mainstream. One major impediment is that no popular programm...
111
click to vote
DDECS
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract-- Genetic Parallel Programming (GPP) evolves parallel programs for MIMD architectures with multiple arithmetic/logic processors (MAPs). This paper describes a tool intende...
117
click to vote
CSL
1995
Springer
15 years 7 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
164
click to vote
PPOPP
1991
ACM
15 years 7 months ago
1991
ACM
This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those ...
118
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...