7103 search results - page 369 / 1421 » Program Generation and Components |
115
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we propose a dynamic code overlay technique of synchronous data-flow (SDF) –modeled program for low-end embedded systems which lack MMUsupport. With this technique...
117
click to vote
SAS
2005
Springer
15 years 9 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
124
click to vote
DISOPT
2008
15 years 4 months ago
2008
We introduce a general technique to create an extended formulation of a mixed-integer program. We classify the integer variables into blocks, each of which generates a finite set ...
122
Voted
RECONFIG
2008
IEEE
15 years 10 months ago
2008
IEEE
The growing trend towards adoption of flexible and heterogeneous, parallel computing architectures has increased the challenges faced by the programming community. We propose a me...
130
click to vote
CASES
2001
ACM
15 years 7 months ago
2001
ACM
Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is rema...