229 search results - page 6 / 46 » Value-sensitive automatic code specialization for embedded s... |
CODES
2000
IEEE
15 years 1 months ago
2000
IEEE
This paperpresents the Compaantool that automatically transforms a nestedloopprogram written in Matlab into a processnetwork speciļ¬cation. The processnetworkmodelof computationļ...
PEPM
1992
ACM
15 years 1 months ago
1992
ACM
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...
LCTRTS
2004
Springer
15 years 2 months ago
2004
Springer
We present a polynomial upper bound for ļ¬attening of UML statecharts. An eļ¬cient ļ¬attening technique is derived and implemented in SCOPEāa code generator targeting constra...
CODES
2003
IEEE
15 years 2 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
ITNG
2010
IEEE
15 years 2 months ago
2010
IEEE
Supporting the varied software feature requirements of multiple variants of a software product-line while promoting reuse forces product line engineers to use general-purpose, fea...