2000 search results - page 241 / 400 » Program Transformation and Proof Transformation |
150
click to vote
SC
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...
147
click to vote
DNA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Self-assembly is a process in which basic units aggregate under attractive forces to form larger compound structures. Recent theoretical work has shown that pseudo-crysta...
157
click to vote
DANCE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we explore flexible name resolution as a way of supporting extensibility for wide-area distributed services. Our approach, called Active Names, maps names to a cha...
114
click to vote
HICSS
1998
IEEE
15 years 8 months ago
1998
IEEE
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...
128
click to vote
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
The conditional branch has long been considered an expensive operation. The relative cost of conditional branches has increased as recently designed machines are now relying on de...