416 search results - page 21 / 84 » Software Code Generation for the RVC-CAL Language |
138
Voted
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
201
click to vote
POPL
2007
ACM
16 years 2 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
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...
146
click to vote
EUROMICRO
1999
IEEE
15 years 6 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
103
click to vote
DAC
1995
ACM
15 years 5 months ago
1995
ACM
— Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient i...