2374 search results - page 112 / 475 » Automatic Generation of Model Translations |
140
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
134
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
145
click to vote
HICSS
1997
IEEE
15 years 8 months ago
1997
IEEE
We describe an environment to produce traces representing significant workloads for a shared-bus shared-memory multiprocessor used as a general-purpose multitasking machine, wher...
153
Voted
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
130
click to vote
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...