1146 search results - page 82 / 230 » Applications of the TAMPR Transformation System |
147
click to vote
PDP
2003
IEEE
15 years 9 months ago
2003
IEEE
Over the last decade, a dramatic increase has been observed in the need for generating and organising data in the course of large parameter studies, performance analysis, and soft...
152
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
120
click to vote
JASIS
2010
15 years 2 months ago
2010
We present a novel approach to visually locate bodies of research within the sciences, both at each moment of time and dynamically. This article describes how this approach fits w...
150
click to vote
CASES
2006
ACM
15 years 7 months ago
2006
ACM
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
123
Voted
CADE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...