385 search results - page 62 / 77 » Verified Code Generation for Embedded Systems |
133
Voted
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...
108
Voted
VLSID
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract Code optimization for digital signal processors DSPs has been identi ed as an important new topic in system-level design of embedded systems. Both DSP processors and algor...
GPCE
2009
Springer
15 years 6 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
115
click to vote
JIRS
2007
15 years 1 months ago
2007
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...
111
click to vote
AGTIVE
2003
Springer
15 years 7 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...