495 search results - page 81 / 99 » A Compiler for the Smart Space |
181
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
219
click to vote
LCTRTS
2001
Springer
15 years 10 months ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...
172
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
180
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
Dynamic binary translators (DBT) have recently attracted much attention for embedded systems. The effective implementation of DBT in these systems is challenging due to tight cons...
164
click to vote
PADL
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...