Jayadev Misra  Home/Search
Context Related
| utexas.edu/users/psp/powerlist.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: utexas.edu/users/misra (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Many data parallel algorithms -- Fast Fourier Transform, Batcher's sorting networks and prefix-sum -- exhibit recursive structure. We propose a data structure, powerlist, that permits succinct descriptions of such algorithms, highlighting the roles of both parallelism and recursion. (Update)
Context of citations to this paper: More
...the algorithms and connection structures are rarely evident from these descriptions. A preliminary version of this paper appeared in [18]. This material is based in part upon work supported by the Texas Advanced Research Program under Grant No. 003658 219 and by the National...
Cited by: More
Recursive and parallel structures in multistage stochastic.. - Georg Ch Pflug (2002) (Correct)
A Transformational Approach which Combines Size Inference.. - Herrmann, Lengauer (2001) (Correct)
Practical Parallel Divide-and-Conquer Algorithms - Hardwick (1997) (Correct)
Similar documents (at the sentence level):
79.6%: Powerlist: A Structure for Parallel Recursion - Misra (1994) (Correct)
5.9%: Generating-Functions of Interconnection Networks - Jayadev Misra The (Correct)
Active bibliography (related documents): More All
0.4: Data Structures for Parallel Recursion - Kornerup (1997) (Correct)
0.2: Serializing Parallel Programs by Removing Redundant Computation - Ernst (1994) (Correct)
0.2: The Buried Binding and Dead Binding Problems of Lisp 1.5: Sources.. - Baker (1976) (Correct)
Similar documents based on text: More All
0.3: Odd-Even Sort in Powerlists - Kornerup (1996) (Correct)
0.3: Defthms About Zip and Tie: Reasoning About Powerlists in ACL2 - Gamboa (1997) (Correct)
0.3: Mapping a Functional Notation for Parallel Programs onto Hypercubes - Kornerup (1995) (Correct)
Related documents from co-citation: More All
11: Lectures on constructive functional programming (context) - Bird - 1988
9: Architecture independent massive parallelization of divide-and-conquer algorithm.. - Achatz, Schulte - 1995
9: Divacon: A parallel language for scientific computing based on divide-and-conque.. (context) - Mou - 1990
BibTeX entry: (Update)
J. Misra. Powerlist: A structure for parallel recursion (preliminary version). In A.W. Roscoe, editor, A Classical Mind : Essays in Honour of C.A.R. Hoare, pages 295--316. Prentice Hall International, 1994. http://citeseer.ist.psu.edu/misra94powerlist.html More
@article{ misra94powerlist,
author = "Jayadev Misra",
title = "Powerlist: {A} Structure for Parallel Recursion",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "16",
number = "6",
month = "November",
publisher = "ACM Press",
pages = "1737--1767",
year = "1994",
url = "citeseer.ist.psu.edu/misra94powerlist.html" }
Citations (may not include all citations):716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
322 Sorting networks and their applications (context) - Batcher - 1968
273 Can programming be liberated from the von Neumann style (context) - Backus - 1978
268 Parallel algorithms for shared memory machines (context) - Karp, Ramachandran - 1990
250 volume 3 of The Art of Computer Programming (context) - Knuth, Searching - 1973
206 Vector Models for Data-Parallel Computing (context) - Blelloch - 1990
206 An algorithm for the machine calculation of complex Fourier .. (context) - Cooley, Tukey - 1965
201 Parallel prefix computation (context) - Ladner, Fischer - 1980
166 NESL: A nested data-parallel language - Blelloch - 1993
138 Lectures on constructive functional programming (context) - Bird - 1989
124 The cube-connected cycles: A versatile network for parallel .. (context) - Preparata, Vuillemin - 1981
103 A Programming Language (context) - Iverson - 1962
85 Circuit design in Ruby (context) - Jones, Sheeran - 1990
40 Connection Machine Lisp: Fine-grained parallel symbolic proc.. (context) - Jr, Hillis - 1986
32 Powerlist: A structure for parallel recursion - Misra - 1994
30 Programmer's Manual (context) - McCarthy, Abrahams et al. - 1962
25 ACM SIGPLAN Notices (context) - Turner, of - 1986
14 Divacon: A parallel language for scientific computing based .. (context) - Mou - 1991
13 An algebraic model for divide-and-conquer algorithms and its.. (context) - Mou, Hudak - 1988
12 Automated reasoning about parallel algorithms using powerlis.. (context) - Kapur, Subramaniam - 1994
9 Verifying adder circuits using powerlists - Adams - 1994
8 Mapping Powerlists onto Hypercubes (context) - Kornerup - 1994
6 A divide-and-conquer method of solving tridiagonal systems o.. (context) - Wang, Mou - 1991
4 Personal communication (context) - Jr
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.utexas.edu/users/misra): More
A Discipline of Multiprogramming - Misra (1999) (Correct)
Strategies to Combat Software Piracy - Misra (1999) (Correct)
A walk over the shortest path: Dijkstra's Algorithm viewed as.. - Misra (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC