33 search results - page 5 / 7 » Verification by Parallelization of Parametric Code |
124
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
139
click to vote
POPL
2010
ACM
16 years 1 days ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
134
click to vote
ASAP
2003
IEEE
15 years 8 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...
133
Voted
ISCA
2002
IEEE
15 years 2 months ago
2002
IEEE
Traditional vector architectures have shown to be very effective for regular codes where the compiler can detect data-level parallelism. However, this SIMD parallelism is also pre...
149
Voted
LCTRTS
2010
Springer
15 years 16 days ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...