406 search results - page 24 / 82 » Exploring Legacy Systems using Types |
116
click to vote
VL
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper described a browsing system for movie database. The system, named ZASH, was designed and developed to explore the following features: (1) the use of multiple 2D planes ...
119
click to vote
ICMCS
1999
IEEE
15 years 6 months ago
1999
IEEE
We present a semi-automatic image-based modeling system to make 3-D models from photographs. The human operator intervenes only for simple and straightforward tasks. The design of...
100
click to vote
FLOPS
2010
Springer
15 years 9 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
120
click to vote
ISSS
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents a codesign approach which incorporates communication protocol selection as a design parameter within hardware/software partitioning. The presented approach tak...
121
click to vote
USENIX
2000
15 years 3 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, ...