Sciweavers

7 search results - page 1 / 2
» Compiled and Synthesized UML, a practical Approach for Codes...
Sort
View
65
Voted
FDL
2005
IEEE
15 years 4 months ago
Compiled and Synthesized UML, a practical Approach for Codesign
C. Berhouzoz, Francois Corthay, Thomas Sterren, R....
ASPLOS
2006
ACM
15 years 4 months ago
Combinatorial sketching for finite programs
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
Armando Solar-Lezama, Liviu Tancau, Rastislav Bod&...
82
Voted
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
15 years 4 months ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...
88
Voted
CODES
2007
IEEE
15 years 5 months ago
Thread warping: a framework for dynamic synthesis of thread accelerators
We present a dynamic optimization technique, thread warping, that uses a single processor on a multiprocessor system to dynamically synthesize threads into custom accelerator circ...
Greg Stitt, Frank Vahid
80
Voted
ASAP
2007
IEEE
112views Hardware» more  ASAP 2007»
15 years 20 days ago
Scheduling Register-Allocated Codes in User-Guided High-Level Synthesis
In high-level synthesis, as for compilers, an important question is when register assignment should take place. Unlike compilers for which the processor architecture is given, syn...
Alain Darte, C. Quinson