487 search results - page 46 / 98 » A Compiled Implementation of Normalization by Evaluation |
132
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
153
Voted
CASES
2004
ACM
15 years 9 months ago
2004
ACM
Recognizing speech, gestures, and visual features are important interface capabilities for future embedded mobile systems. Unfortunately, the real-time performance requirements of...
128
click to vote
SENSYS
2004
ACM
15 years 9 months ago
2004
ACM
We propose a new configuration language, component and service library, and compiler that make it easier to develop efficient sensor network applications. Our goal is the constr...
118
click to vote
CC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...