Joseph Tobin Buck  Home/Search
Context Related
| tco11.thomsoncsf....kenFlowThesis.ps.Z berkeley.edu/ptole...kenFlowThesis.ps.Z berkeley.edu/oldww...kenFlowThesis.ps.Z 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: tco11.thomsoncsf.fr/ptolemy/p... (more) From: berkeley.edu/ptolemy/papers/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This thesis presents an analytical model of the behavior of dataflow graphs with data-dependent control flow. In this model, the number of tokens produced or consumed by each actor is given as a symbolic function of the Boolean-valued tokens in the system. Several definitions of consistency are discussed and compared. Neces sary and sufficient conditions for bounded-length schedules, as well as sufficient conditions for determining whether a dataflow graph can be scheduled in bounded memory are ... (Update)
Cited by: More
Behavioral Level Guidance Using Property-Based Design.. - Lisa Marie Guerra (1996) (Correct)
System Design for DSP Applications in Transaction Level.. - Deb, Jantsch, Öberg (2004) (Correct)
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
Active bibliography (related documents): More All
1.4: The Token Flow Model - Buck, Lee (1992) (Correct)
1.0: Software Synthesis for DSP Using Ptolemy - Pino, Ha, Lee, Buck (1993) (Correct)
0.7: Hierarchical Static Scheduling Of Dataflow Graphs Onto Multiple.. - Pino, Lee (1995) (Correct)
Similar documents based on text: More All
0.4: Mapping Multiple Independent Synchronous Dataflow Graphs.. - Pino, Parks, Lee (1994) (Correct)
0.3: The Specification and Execution of Heterogeneous Synchronous.. - Edwards (1997) (Correct)
0.3: Semi-Static Dataflow - Preiss, Hamacher (1994) (Correct)
Related documents from co-citation: More All
42: Synchronous dataflow (context) - Lee, Messerschmitt - 1987
39: The semantics of a simple language for parallel programming (context) - Kahn - 1974
27: Software Synthesis from Dataflow Graphs (context) - Bhattacharyya, Murthy et al. - 1996
BibTeX entry: (Update)
J. T. Buck. Scheduling dynamic dataflow graphs with bounded memory using the Token Flow Model. Technical Report UCB/ERL 93/69, Ph.D dissertation, Dept. of EECS, UC Berkeley, Berkeley, CA 94720, U.S.A., 1993. http://citeseer.ist.psu.edu/buck93scheduling.html More
@techreport{ buck93scheduling,
author = "Joseph Tobin Buck",
title = "Scheduling Dynamic Dataflow Graphs with Bounded Memory Using the Token Flow Model",
number = "ERL-93-69",
pages = "154",
year = "1993",
url = "citeseer.ist.psu.edu/buck93scheduling.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1979
1575 Computer Architecture: A Quantitative Approach (context) - Hennessy, Patterson - 1990 ACM
480 The Program Dependence Graph and its Use in Optimization (context) - Ferrante, Ottenstein et al. - 1987
469 Object Oriented Design With Applications (context) - Booch - 1991 ACM
457 The ESTEREL Synchronous Programming Language: Design, Semant.. - Berry, Gonthier - 1992 DBLP
413 Petri Net Theory and the Modeling of Systems (context) - Peterson - 1981
302 The Semantics of a Simple Language For Parallel Programming (context) - Kahn - 1974
277 Ptolemy: A Framework for Simulating and Prototyping Heteroge.. - Buck, Ha et al. - 1993
273 Can programming be liberated from the von Neumann style? A f.. (context) - Backus - 1978 DBLP
235 The Synchronous Data Flow Programming Language LUSTRE - Halbwachs, Caspi et al. - 1991
210 Synchronous Data Flow (context) - Lee, Messerschmitt - 1987
200 Programming Languages for Distributed Computing Systems (context) - Bal, Steiner et al. - 1989 ACM DBLP
162 Petri Nets: Properties, Analysis, and Applications (context) - Murata - 1989
152 An Efficient Method of Computing Static Single Assignment Fo.. (context) - Cytron, Ferrante et al. - 1989 ACM DBLP
114 Fast Prototyping of Datapath -Intensive Architectures (context) - Rabaey, Chu et al. - 1991
112 Statecharts: A Visual Approach to Complex Systems (context) - Harel - 1987
107 Coroutines and Networks of Parallel Processes (context) - Kahn, MacQueen - 1977
105 Computability and Logic (context) - Boolos, Jeffrey - 1989
96 Parallel Sequencing and Assembly Line Problems (context) - Hu - 1961
89 SISAL: Streams and Iteration in a Single-Assignment Language.. (context) - McGraw, Allan et al. - 1983
82 Some Computer Organizations and Their Effectiveness (context) - Flynn - 1972
74 Data Flow Supercomputers (context) - Dennis - 1980
72 Hybrid Dynamical Systems Theory and the SIGNAL Language (context) - Benveniste, Le Guernic - 1990
71 Scheduling Dynamic Dataflow Graphs with Bounded Memory Using.. - Buck, Lee - 1993
71 First Version Data Flow Procedure Language (context) - Dennis - 1975
69 Executing a Program on the MIT Tagged-Token Dataflow Archite.. (context) - Arvind - 1990 ACM DBLP
65 Communicating Reactive Processes - Berry, Ramesh et al. - 1993
53 Implementation of a General Purpose Dataflow Multiprocessor (context) - Papadopoulos - 1988
52 Properties of a Model for Parallel Computation: Determinacy,.. (context) - Karp, Miller - 1966
46 The Manchester Prototype Dataflow Computer (context) - Gurd, Kirkham et al. - 1985
43 Software Synthesis for DSP Using Ptolemy - Pino, Ha et al. ACM
40 Proving Assertions about Parallel Programs (context) - Ashcroft - 1975 DBLP
40 Digital Communication (context) - Lee, Messerschmitt - 1988 ACM
35 A set of postulates for the foundation of logic (context) - Church - 1932
34 Optimum Vectorization of Scalable Synchronous Dataflow Graph.. (context) - Ritz, Pankert et al. - 1993
33 Scheduling Synchronous Dataflow Graphs for Efficient Iterati.. (context) - Bhattacharyya - 1991
33 Managing Parallelism and Resources in Scientific Dataflow Pr.. (context) - Culler - 1989
33 Scheduling Synchronous Dataflow Graphs for Efficient Looping (context) - Bhattacharyya, Lee - 1993
31 Scheduling of DSP Programs Onto Multiprocessors for Maximum .. (context) - Hoang, Rabaey - 1993
27 A Preliminary Architecture for a Basic Dataflow Processor (context) - Dennis, Misunas - 1975
27 Direct Synthesis of Optimized DSP Assembly Code from Signal .. (context) - Powell, Lee et al. - 1992
25 Dataflow Architectures (context) - Arvind - 1986 ACM
24 Multiprocessor Scheduling to Account for Interprocessor Comm.. (context) - Sih - 1991 ACM
21 Consistency in Dataflow Graphs (context) - Lee - 1991 ACM DBLP
19 The Semantic Elegance of Applicative Languages (context) - Turner - 1981
17 Evolution of Data-Flow Computers (context) - Arvind, Bic - 1991
17 Compile-time Scheduling and Assignment of Dataflow Program G.. (context) - Ha, Lee - 1991
17 Gabriel: A Design Environment for DSP (context) - Bier, Goei et al. - 1990
17 Multirate Signal Processing in Ptolemy (context) - Buck, Ha et al. - 1991
17 The Token Flow Model - Buck, Lee - 1992
14 Scheduling Strategies for Multiprocessor Real-Time DSP (context) - Lee, Ha - 1989
14 Conception, Evolution, and Application of Functional Program.. (context) - Hudak - 1989
11 A Brief History of Time: From the Big Bang to Black Holes (context) - Hawking - 1988
11 Multi-Thread Code Generation for Dataflow Architectures From.. (context) - Traub - 1991 ACM DBLP
11 Data-Flow to von Neumann: the SIGNAL Approach (context) - Le Guernic, Gautier - 1991
10 Static Scheduling of Data-Flow Programs for DSP (context) - Lee - 1991
9 The PFG Language: Visual Programming for Concurrent Computin.. (context) - Stotts - 1988
9 Code Generation for Multirate DSP Systems in Gabriel (context) - How - 1990
9 and Computation (context) - Denning, Dennis et al. - 1978
8 Thread-based Programming for the EM-4 Hybrid Dataflow Machin.. (context) - Sato, Kodama et al. - 1992 ACM DBLP
8 Hardware/Software Co-Design Using Ptolemy: A Case Study (context) - Kalavade, Lee - 1992
8 The USC Decoupled Multilevel Data-Flow Execution Model (context) - Evripidou, Gaudiot - 1991
8 Optimal automatic periodic multiprocessor scheduler for full.. (context) - Gelabert - 1993
8 Ptolemy: a Platform for Heterogeneous Simulation and Prototy.. (context) - Buck, Ha et al. - 1991
7 Decision Problems for Petri Nets and Vector Addition Systems (context) - Hack - 1974
7 Clocks in Dataflow Languages (context) - Caspi - 1992
7 Lucid, a Nonprocedural Language with Iteration (context) - Ashcroft, Wadge - 1977 ACM DBLP
7 Cyclo-Static Solutions: Optimal Multiprocessor Realizations .. (context) - Schwartz - 1986
7 The Evolution of `Static' Data-Flow Architecture (context) - Dennis - 1991
6 Ptolemy: a Mixed Paradigm Simulation/Prototyping Platform in.. - Buck, Ha et al. - 1991
5 Stream Languages and Data-Flow (context) - Skillicorn - 1991
5 Stream-Oriented Computation in Recursive Data Flow Schemas (context) - Weng - 1975
5 A Tool for Structured Functional Simulation (context) - Messerschmitt - 1984
5 Recurrences, Iteration, and Conditionals in Statically Sched.. (context) - Lee - 1988
4 A Straightforward Denotational Semantics for Non-Determinate.. (context) - Kosinski - 1978 ACM
4 Compile-Time Scheduling of Dataflow Program Graphs With Dyna.. (context) - Ha - 1992 ACM
4 The Architecture and System Method of DDM1: A Recursively St.. (context) - Davis - 1978
4 The EPSILON-2 hybrid dataflow architecture (context) - Grafe, Hoch - 1990
3 Prolog: A Relational Language and its Applications (context) - Malpas - 1987 ACM
3 Deadlocks in Petri Nets (context) - Commoner - 1972
3 Design of an Efficient Dataflow Architecture Without Dataflo.. (context) - Gao, Tio et al. - 1988
2 Efficient Demand-Driven Evaluation. Part (context) - Pingali - 1985
2 A Compiler Scheduling Framework for Minimizing Memory Requir.. - Bhattacharyya, Buck et al. - 1993
2 Data-Flow/Event Graphs (context) - Whitcomb, Newton - 1992
2 Parallel Programming Schemata (context) - Karp, Miller - 1969
1 The Ptolemy Kernel: A Programmer's Guide to Ptolemy version .. (context) - Buck - 1993
1 SISAL Challenges Fortran (context) - Burns - 1992
1 The Program Dependence 161 Web: A Representation Supporting .. (context) - Ballance, Maccabe et al. - 1990
1 Massachusetts Institute of Technology Press (context) - Kluge, of et al. - 1992
1 On Array Partitioning in PODS (context) - Bic, Nagel et al. - 1991
1 ASSYNT: Efficient Assembly Code Generation for DSP's Startin.. (context) - Desmet, Genin - 1993
1 Id Nouveau (context) - Nikhil, Pingali
1 Well-Behaved Dataflow Programs 166 for DSP Computation (context) - Gao, Govindarajan et al. - 1992
1 SISAL 2.0 Reference Manual (context) - Bohm, Oldehoeft et al. - 1991
1 The Paradigms of Programming (Turing Award Lecture (context) - Floyd - 1979
1 Static Scheduling of Synchronous DataFlow 169 Graphs for Dig.. (context) - Lee, Messerschmitt - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://tco11.thomson-csf.fr/ptolemy/papers/): More
Scheduling Dynamic Dataflow Graphs With Bounded Memory Using The .. - Buck, Lee (1993) (Correct)
Ptolemy: A Mixed-Paradigm Simulation/Prototyping Platform .. - Buck, Ha, Lee.. (1991) (Correct)
An Infrastructure for Numeric Precision Control in the Ptolemy.. - Seehyun Kim (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