1146 search results - page 126 / 230 » Applications of the TAMPR Transformation System |
121
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
127
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
135
click to vote
GLVLSI
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper presents a satisfiability-based method for solving the board-level multiterminal net routing problem in Clos-Folded FPGA based logic emulation systems. The approach tran...
131
click to vote
PCM
2009
Springer
15 years 9 months ago
2009
Springer
Many presentations consisting of video, audio and slides are being recorded for wider dissemination purposes. Video slide alignment is necessary for efficient review and hence has ...
198
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...