2138 search results - page 379 / 428 » Logical Step-Indexed Logical Relations |
119
click to vote
ICDAR
1999
IEEE
15 years 8 months ago
1999
IEEE
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...
133
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Marshaling is the process through which structured values are serialized into a stream of bytes; demarshaling converts this stream of bytes back to structured values. Most often, ...
109
click to vote
ISCA
1999
IEEE
15 years 8 months ago
1999
IEEE
Several ILP limit studies indicate the presence of considerable ILP across dynamically far-apart instructions in program execution. This paper proposes a hardware mechanism, dynam...
149
click to vote
SSDBM
1999
IEEE
15 years 8 months ago
1999
IEEE
Conducting bioinformatic analyses involves biologists in expressing requests over a range of highly heterogeneous information sources and software tools. Such activities are labor...
136
click to vote
FOSSACS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...