2000 search results - page 337 / 400 » Program Transformation and Proof Transformation |
134
click to vote
ACMMSP
2005
ACM
15 years 9 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...
143
Voted
UML
2005
Springer
15 years 8 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...
146
click to vote
CP
2004
Springer
15 years 8 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. ...
140
click to vote
ASAP
2003
IEEE
15 years 8 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...
149
click to vote
IMC
2003
ACM
15 years 8 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 ...