9186 search results - page 143 / 1838 » A Module System for Scheme |
FDL
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
ISMAR
2003
IEEE
14 years 3 months ago
2003
IEEE
We present a six degrees of freedom tracking system, which is wireless and scalable concerning the tracking volume and the number of devices being tracked. This is achieved by the...
CAINE
2006
13 years 11 months ago
2006
This paper presents the conception, the design and a prototype of a virtual reality system for learning and maintenance training of Hydroelectric Generating Unit (HGU). The system...
ICSM
1999
IEEE
14 years 2 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
CCS
2004
ACM
14 years 3 months ago
2004
ACM
This paper describes the direct anonymous attestation scheme (DAA). This scheme was adopted by the Trusted Computing Group as the method for remote authentication of a hardware mo...