3893 search results - page 243 / 779 » Execution Architectures and Compilation |
149
click to vote
DAC
1998
ACM
16 years 6 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
248
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
We describe the design and current status of our effort to implement the programming model of nested data parallelism into the Glasgow Haskell Compiler. We extended the original p...
128
click to vote
PPAM
2007
Springer
15 years 11 months ago
2007
Springer
There are several parallel programming models available for numerical computations at diļ¬erent levels of expressibility and ease of use. For the development of new domain speciļ¬...
206
click to vote
SCAM
2005
IEEE
15 years 11 months ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
135
click to vote
HPDC
1999
IEEE
15 years 9 months ago
1999
IEEE
RSD (Resource and Service Description) is a software architecture for specifying, registering and accessing resources and services in complex heterogeneous computing environments....