549 search results - page 45 / 110 » On the Reading of Tables of Contents |
SPAA
2009
ACM
14 years 9 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
14 years 1 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...
AC
2000
Springer
14 years 1 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
14 years 1 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
14 years 15 days 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...