2000 search results - page 337 / 400 » Program Transformation and Proof Transformation |
164
click to vote
ACMMSP
2005
ACM
15 years 11 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...
184
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
175
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
This paper considers the problem of transforming a resource feasible, fixed-times schedule into a partial order schedule (POS) to enhance its robustness and stability properties. ...
164
click to vote
ASAP
2003
IEEE
15 years 11 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...
189
click to vote
IMC
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, we consider the problem of how to represent the locations of Internet hosts in a Cartesian coordinate system to facilitate estimate of the network distance between ...