549 search results - page 45 / 110 » On the Reading of Tables of Contents |
142
click to vote
SPAA
2009
ACM
16 years 2 months ago
2009
ACM
Thread-level speculation (TLS) is a technique that allows parts of a sequential program to be executed in parallel. TLS ensures the parallel program's behaviour remains true ...
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
ract bigraphs lack RPOs 57 6 Sorting 59 6.1 Place sorting and CCS 59 6.2 Link sorting, arithmetic nets and Petri nets 64 6.3 The impact of sorting 69 Part II : Motion 71 7 Reaction...
118
Voted
AC
2000
Springer
15 years 6 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
HOPL
1993
15 years 6 months ago
1993
The programming language, Prolog, was born of a project aimed not at producing a programming language but at processing natural languages; in this case, French. The project gave r...
MM
1995
ACM
15 years 5 months ago
1995
ACM
We discuss the application of multimedia in scientific design, and describe a multi-user distributed and collaborative scientific manipulation environment, SHASTRA, implemented on...