205 search results - page 12 / 41 » Logic optimization and code generation for embedded control ... |
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
121
click to vote
ESTIMEDIA
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...
120
click to vote
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
123
click to vote
CASES
2007
ACM
15 years 3 months ago
2007
ACM
Dynamic binary translation (DBT) has been used to achieve numerous goals (e.g., better performance) for general-purpose computers. Recently, DBT has also attracted attention for e...
APLAS
2003
ACM
15 years 5 months ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...