3656 search results - page 304 / 732 » Parallel programming in Split-C |
183
click to vote
APLAS
2005
ACM
16 years 6 days ago
2005
ACM
This paper presents a novel method to construct a dynamic single assignment (DSA) form of array-intensive, pointer-free C programs (or in any other procedural language). A program ...
276
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
196
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
167
click to vote
FCCM
2000
IEEE
15 years 11 months ago
2000
IEEE
Hardware compilation techniques which use highlevel programming languages to describe and synthesize hardware are gaining popularity. They are especially useful for reconfigurable...
164
Voted
JAR
2008
15 years 6 months ago
2008
This article describes the formal verification of a compilation algorithm that transforms parallel moves (parallel assignments between variables) into a semanticallyequivalent sequ...