2477 search results - page 211 / 496 » First-Order Interactive Programming |
PLDI
1996
ACM
14 years 2 months ago
1996
ACM
Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduc...
ECOOP
1993
Springer
14 years 2 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
PADL
2000
Springer
14 years 1 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
ISMB
2000
13 years 11 months ago
2000
The repetitive structure of genomic DNA holds many secrets to be discovered. A systematic study of repetitive DNA on a genomic or inter-genomic scale requires extensive algorithmi...
JPDC
2006
13 years 10 months ago
2006
With the increasing availability of high-performance massively parallel computer systems, the prevalence of sophisticated scientific simulation has grown rapidly. The complexity o...