Data Parallel Programming: A Survey and a Proposal for a New Model (1993)

View PDF

Download Links

by Per Hammarlund , Per Hammarlundy , Björn Lisper , Bjorn Lisper
Citations:5 - 0 self

Active Bibliography

652 Connectionism and cognitive architecture: A critical analysis – J A Fodor, Z W Pylyshyn - 1988
499 Locally weighted learning – Christopher G. Atkeson, Andrew W. Moore , Stefan Schaal - 1997
859 The Temporal Logic of Actions – Leslie Lamport - 1993
562 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
579 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
591 Dynamically discovering likely program invariants to support program evolution – M Ernst, J Cockrell, W Griswold, D Notkin - 1998
488 Efficient dispersal of information for security, load balancing, and fault tolerance – Michael Rabin - 1989
486 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
456 Concurrent Constraint Programming – Vijay A. Saraswat, Martin Rinard - 1993