An Operational Semantics for Parallel Execution of Re-entrant PLEX (2005)

Cached

Download Links

by Johan Erikson

Active Bibliography

263 Relations in Concurrency – Glynn Winskel
226 A Taxonomy of Obfuscating Transformations – Christian Collberg, Clark Thomborson, Douglas Low - 1997
217 The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization – Lawrence Rauchwerger, David Padua - 1995
214 The problem with threads – Edward A. Lee - 2006
214 Dataflow Analysis of Array and Scalar References – Paul Feautrier - 1991
203 Improving Register Allocation for Subscripted Variables – David Callahan, Steve Carr, Ken Kennedy - 1990
196 Scanning Polyhedra with DO Loops – Corinne Ancourt, François Irigoin - 1991
172 The Multiflow Trace Scheduling Compiler – P. Geoffrey Lowney, Stefan M. Freudenberger, Thomas J. Karzes, W. D. Lichtenstein, Robert P. Nix, John S. O’donnell, John C. Ruttenberg - 1993
170 D.: Manufacturing cheap, resilient, and stealthy opaque constructs – Christian Collberg, I Clark, Thomborson Douglas Low - 1998