619 search results - page 10 / 124 » The Design and Implementation of a Certifying Compiler |
133
Voted
ASIAN
2004
Springer
15 years 9 months ago
2004
Springer
Designing custom solutions has been central to meeting a range of stringent and specialized needs of embedded computing, along such dimensions as physical size, power consumption, ...
123
Voted
CASES
2006
ACM
15 years 7 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
113
Voted
TOSEM
2002
15 years 3 months ago
2002
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). In this paper, we...
134
Voted
CSSE
2008
IEEE
15 years 10 months ago
2008
IEEE
: The technology of virtual machines is widely applied in many fields, such as code transplanting, cross-platform computing, and hardware simulation. The main purpose is to simulat...
139
Voted
HOLOMAS
2009
Springer
15 years 8 months ago
2009
Springer
The method of IEC 61499 compliant device implementation with the National Instruments LabVIEW is proposed. The work focuses on these aspects of the tasks of the event generation an...