Name
Abstract | ||
|---|---|---|
We develop an algebraic theory of threads, synchronous cooperation of threads and interaction of threads with Maurer machines, and investigate program parallelization using the resulting theory. Program parallelization underlies techniques for speeding up instruction processing on a computer that make use of the abilities of the computer to process instructions simultaneously in cases where the state changes involved do no influence each other. One of our findings is that a strong induction principle is needed when proving theorems about sufficient conditions for the correctness of program parallelizations. The induction principle introduced has brought us to construct a projective limit model for the theory developed. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1007/s00236-007-0057-9 | Information & Computation |
Keywords | Field | DocType |
operating system | Computer science,Automated theorem proving,Correctness,Inverse limit,Thread (computing),Theoretical computer science,Explicit multi-threading,Algebraic theory,Model theory,Process calculus | Journal |
Volume | Issue | ISSN |
44 | 7 | 0001-5903 |
Citations | PageRank | References |
26 | 0.93 | 27 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jan A. Bergstra | 1 | 1445 | 140.42 |
| Cornelis A. Middelburg | 2 | 487 | 49.21 |