1146 search results - page 41 / 230 » Applications of the TAMPR Transformation System |
160
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...
139
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Context-aware systems offer entirely new opportunities for application developers and for end users by gathering context information and adapting systems behavior accordingly. Sev...
118
click to vote
WCRE
2000
IEEE
15 years 7 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
128
click to vote
CA
2002
IEEE
15 years 8 months ago
2002
IEEE
In augmented reality applications, tracking and registration of both cameras and objects is required because, to combine real and rendered scenes, we must project synthetic models...
122
click to vote
SLOGICA
2002
15 years 3 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...