A scenario-aware data flow model for combined long-run average and worst-case performance analysis
暂无分享,去创建一个
Sander Stuijk | Twan Basten | Marc Geilen | Jeroen Voeten | Bart D. Theelen | Stefan Valentin Gheorghita | T. Basten | S. Stuijk | M. Geilen | B. Theelen | J. Voeten | S. Gheorghita
[1] Gilles Kahn,et al. The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.
[2] J. T. Buck. Static scheduling and code generation from dynamic dataflow graphs with integer-valued control streams , 1994, Proceedings of 1994 28th Asilomar Conference on Signals, Systems and Computers.
[3] Shuvra S. Bhattacharyya,et al. Parameterized dataflow modeling of DSP systems , 2000, 2000 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.00CH37100).
[4] Leonard Kleinrock,et al. Theory, Volume 1, Queueing Systems , 1975 .
[5] Bd Bart Theelen,et al. Performance Modelling for System-Level Design. Tutorial. , 2005 .
[6] J. Hillston. Compositional Markovian Modelling Using a Process Algebra , 1995 .
[7] Nancy A. Lynch,et al. A Proof of the Kahn Principle for Input/Output Automata , 1989, Inf. Comput..
[8] Marco Ajmone Marsan,et al. A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems , 1983, SIGMETRICS '83.
[9] Shuvra S. Bhattacharyya,et al. Parameterized dataflow modeling for DSP systems , 2001, IEEE Trans. Signal Process..
[10] Heinrich Meyr,et al. High level software synthesis for signal processing systems , 1992, [1992] Proceedings of the International Conference on Application Specific Array Processors.
[11] Cyrus Derman,et al. Finite State Markovian Decision Processes , 1970 .
[12] W. D. Ray,et al. Stochastic Models: An Algorithmic Approach , 1995 .
[13] Edward A. Lee,et al. Scheduling dynamic dataflow graphs with bounded memory using the token flow model , 1993, 1993 IEEE International Conference on Acoustics, Speech, and Signal Processing.
[14] E.A. Lee,et al. Synchronous data flow , 1987, Proceedings of the IEEE.
[15] Kai Lai Chung,et al. Markov Chains with Stationary Transition Probabilities , 1961 .
[16] Sander Stuijk,et al. Throughput Analysis of Synchronous Data Flow Graphs , 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).
[17] Rudy Lauwereins,et al. Cyclo-static data flow , 1995, 1995 International Conference on Acoustics, Speech, and Signal Processing.
[18] Marco Ajmone Marsan,et al. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.
[19] Guang R. Gao,et al. Well-behaved dataflow programs for DSP computation , 1992, [Proceedings] ICASSP-92: 1992 IEEE International Conference on Acoustics, Speech, and Signal Processing.
[20] Michael K. Molloy. Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.
[21] Roberto Gorrieri,et al. A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time , 1998, Theor. Comput. Sci..
[22] Shuvra S. Bhattacharyya,et al. Embedded Multiprocessors: Scheduling and Synchronization , 2000 .
[23] R. Karp,et al. Properties of a model for parallel computations: determinacy , 1966 .
[24] Roberto Segala,et al. Modeling and verification of randomized distributed real-time systems , 1996 .
[25] S. Wittevrongel,et al. Queueing Systems , 2019, Introduction to Stochastic Processes and Simulation.
[26] Leonard Kleinrock,et al. Queueing Systems: Volume I-Theory , 1975 .
[27] Jeroen Voeten,et al. Performance evaluation with temporal rewards , 2002, Perform. Evaluation.
[28] A. A. Crane,et al. An introduction to the regenerative method for simulation analysis , 1977 .