263 search results - page 15 / 53 » An Extensible Type System for Component-Based Design |
122
click to vote
PERCOM
2006
ACM
16 years 2 months ago
2006
ACM
This paper presents Cantag, an open source software toolkit for building Marker-based Vision (MBV) systems that can identify and accurately locate printed markers in three dimensi...
123
click to vote
USENIX
2000
15 years 4 months ago
2000
Language-basedextensible systems, such as Java Virtual Machines and SPIN, use type safety to provide memory safety in a single address space. By using software to provide safety, ...
118
click to vote
USS
2004
15 years 4 months ago
2004
Window systems are the primary mediator of user input and output in modern computing systems. They are also a commonly used interprocess communication mechanism. As a result, they...
137
click to vote
DAC
1997
ACM
15 years 7 months ago
1997
ACM
The design process for xed-point implementations either in software or in hardware requires a bit-true speci cation of the algorithm in order to analyze quantization e ects on an...
127
click to vote
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...