136 search results - page 19 / 28 » A Provably Correct Compiler Generator |
355
Voted
DAC
2012
ACM
13 years 5 months ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
168
click to vote
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
134
click to vote
ICS
1995
Tsinghua U.
15 years 7 months ago
1995
Tsinghua U.
In this paper we give a new run–time technique for finding an optimal parallel execution schedule for a partially parallel loop, i.e., a loop whose parallelization requires syn...
134
click to vote
CBSE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
151
Voted
PADL
2012
Springer
13 years 11 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...