Search results for "synchronous dataflow"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Claus Traulsen, Reinhard von Hanxleden	Reactive parallel processing for synchronous dataflow.	SAC	2010	DBLP DOI BibTeX RDF	Scade, reactive processors, synchronous languages, parallel execution, synchronous dataflow, Lustre
3	Marc Geilen	Reduction techniques for synchronous dataflow graphs.	DAC	2009	DBLP DOI BibTeX RDF	synchronous dataflow graphs, model-based design, reduction techniques
3	Weichen Liu, Zonghua Gu, Jiang Xu, Yu Wang 0002, Mingxuan Yuan	An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	scheduling, optimization, model checking, memory management, synchronous dataflow
3	Chia-Jui Hsu, José Luis Pino, Shuvra S. Bhattacharyya	Multithreaded simulation for synchronous dataflow graphs.	DAC	2008	DBLP DOI BibTeX RDF	multithreaded simulation, scheduling, synchronous dataflow
3	Chia-Jui Hsu, Ming-Yung Ko, Shuvra S. Bhattacharyya, Suren Ramasubbu, José Luis Pino	Efficient simulation of critical synchronous dataflow graphs.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	simulation, Scheduling, synchronous dataflow
3	Sander Stuijk, Marc Geilen, Twan Basten	Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs.	DAC	2006	DBLP DOI BibTeX RDF	optimization, throughput, buffering, synchronous dataflow
3	Chia-Jui Hsu, Suren Ramasubbu, Ming-Yung Ko, José Luis Pino, Shuvra S. Bhattacharyya	Efficient simulation of critical synchronous dataflow graphs.	DAC	2006	DBLP DOI BibTeX RDF	simulation, scheduling, synchronous dataflow
3	Marc Geilen, Twan Basten, Sander Stuijk	Minimising buffer requirements of synchronous dataflow graphs with model checking.	DAC	2005	DBLP DOI BibTeX RDF	optimization, model-checking, buffering, synchronous dataflow
3	Hyunok Oh, Nikil D. Dutt, Soonhoi Ha	Single appearance schedule with dynamic loop count for minimum data buffer from synchronous dataflow graphs.	CASES	2005	DBLP DOI BibTeX RDF	automatic code synthesis, dynamic loop count, single appearance schedule, memory optimization, synchronous dataflow
3	Hyunok Oh, Nikil D. Dutt, Soonhoi Ha	Shift buffering technique for automatic code synthesis from synchronous dataflow graphs.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	automatic code synthesis, modulo buffering, shift buffering, buffer management, synchronous dataflow
3	Praveen K. Murthy, Shuvra S. Bhattacharyya	Buffer merging - a powerful technique for reducing memory requirements of synchronous dataflow specifications.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	DSP and embedded systems, array lifetime, block diagram compiler, buffer overlaying, lifetime analysis, design methodology, graph coloring, dataflow, memory optimization, Synchronous dataflow, path covering
3	Jean-Louis Colaço, Marc Pouzet	Type-based initialization analysis of a synchronous dataflow language.	STTT	2004	DBLP DOI BibTeX RDF	Synchronous dataflow languages, Type systems with subtyping, Program analysis, Lustre
3	Udayan Kanade	Performance of Work Conserving Schedulers and Scheduling of Some Synchronous Dataflow Graphs.	ICPADS	2004	DBLP DOI BibTeX RDF	online scheduling algorithms, synchronous dataflow graphs, performance analysis of parallel systems, real time systems, Parallel job scheduling
3	Sunghyun Lee, Kiyoung Choi, Sungjoo Yoo	An intra-task dynamic voltage scaling method for SoC design with hierarchical FSM and synchronous dataflow model.	ISLPED	2002	DBLP DOI BibTeX RDF	variable supply voltage, low power, finite state machine, dynamic voltage scaling, formal model, synchronous dataflow
3	Chanik Park, JaeWoong Chung, Soonhoi Ha	Extended Synchronous Dataflow for Efficient DSP System Prototyping. (PDF / PS)	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	DSP system prototyping, Synchronous Dataflow
3	Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee	Optimized software synthesis for synchronous dataflow.	ASAP	1997	DBLP DOI BibTeX RDF	optimized software synthesis, programmable digital signal processors, off-chip memory, real-time systems, digital signal processing, synchronous dataflow, graphical programs
2	Nan Guan, Zonghua Gu, Wang Yi, Ge Yu	Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs.	ASP-DAC	2009	DBLP DOI BibTeX RDF
2	Lothar Thiele, Nikolay Stoimenov	Modular performance analysis of cyclic dataflow graphs.	EMSOFT	2009	DBLP DOI BibTeX RDF	dioid algebras, real-time systems, synchronous dataflow, marked graphs, real-time calculus
2	Sander Stuijk, Marc Geilen, Twan Basten	Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
2	Gwenaël Delaval, Alain Girault, Marc Pouzet	A type system for the automatic distribution of higher-order synchronous dataflow programs.	LCTES	2008	DBLP DOI BibTeX RDF	distribution, functional programming, type systems, synchronous programming
2	Hyunok Oh	Constant Rate Dataflow Model with Intermediate Ports for Efficient Code Synthesis with Top-Down Design and Dynamic Behavior.	ISQED	2008	DBLP DOI BibTeX RDF	intermediate ports, t op down design, model of computation, synchronous dataflow, dynamic behavior
2	Hui Xue Zhao, Laurent George, Serge Midonnet, Stephan Tassart, Ivan Bourmeyster	Minimizing Latency and Data Memory Requirement for Real-time Chain-Structured Synchronous Dataflow.	SIES	2007	DBLP DOI BibTeX RDF
2	Hyunok Oh, Nikil Dutt, Soonhoi Ha	Memory optimal single appearance schedule with dynamic loop count for synchronous dataflow graphs.	ASP-DAC	2006	DBLP DOI BibTeX RDF
2	Dirk Stichling, Natascha Esau, Bernd Kleinjohann, Lisa Kleinjohann	Real-Time Camera Tracking for Mobile Devices: The VisiTrack System.	Real-Time Systems	2006	DBLP DOI BibTeX RDF	camera tracking, synchronous dataflow graphs, computer vision, real-time, augmented reality, robotics, SDF
2	Janis Sermulins, William Thies, Rodric M. Rabbah, Saman P. Amarasinghe	Cache aware optimization of stream programs.	LCTES	2005	DBLP DOI BibTeX RDF	cache, embedded, fusion, cache optimizations, synchronous dataflow, stream programing, StreamIt
2	William Thies, Michal Karczmarek, Janis Sermulins, Rodric M. Rabbah, Saman P. Amarasinghe	Teleport messaging for distributed stream programs.	PPOPP	2005	DBLP DOI BibTeX RDF	embedded, digital signal processing, dependence analysis, synchronous dataflow, StreamIt, event handling
2	Jakob Carlström, Thomas Boden	Synchronous Dataflow Architecture for Network Processors.	IEEE Micro	2004	DBLP DOI BibTeX RDF
2	Dag Björklund	Efficient code synthesis from synchronous dataflow graphs.	MEMOCODE	2004	DBLP DOI BibTeX RDF
2	Vinu Vijay Kumar, Rashi Verma, John Lach, Joanne Bechta Dugan	A Markov Reward Model for Reliable Synchronous Dataflow System Design.	DSN	2004	DBLP DOI BibTeX RDF
2	Peter Green, Salah Essa	Integrating the Synchronous Dataflow Model with UML.	DATE	2004	DBLP DOI BibTeX RDF
2	Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl	Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language.	ICFEM	2003	DBLP DOI BibTeX RDF
2	Michal Karczmarek, William Thies, Saman P. Amarasinghe	Phased scheduling of stream programs.	LCTES	2003	DBLP DOI BibTeX RDF	cyclo-static dataflow, phased scheduling, DSP, buffer size, synchronous dataflow, stream programming, code size, StreamIt
2	Hyunuk Jung, Kangnyoung Lee, Soonhoi Ha	Efficient hardware controller synthesis for synchronous dataflow graph in system level design.	IEEE Trans. VLSI Syst.	2002	DBLP DOI BibTeX RDF
2	Sunghyun Lee, Sungjoo Yoo, Kiyoung Choi	Reconfigurable SoC design with hierarchical FSM and synchronous dataflow model.	CODES	2002	DBLP DOI BibTeX RDF
2	Martyn Edwards, Peter Green	The Implementation of Synchronous Dataflow Graphs Using Reconfigurable Hardware.	FPL	2000	DBLP DOI BibTeX RDF
2	Hyunuk Jung, Kangnyoung Lee, Soonhoi Ha	Efficient Hardware Controller Synthesis for Synchronous Dataflow Graph in System Level Design.	ISSS	2000	DBLP DOI BibTeX RDF
2	Praveen K. Murthy, Shuvra S. Bhattacharyya	Shared Memory Implementations of Synchronous Dataflow Specifications.	DATE	2000	DBLP DOI BibTeX RDF
2	Praveen K. Murthy, Shuvra S. Bhattacharyya	A Buffer Merging Technique for Reducing Memory Requirements of Synchronous Dataflow Specifications. (PDF / PS)	ISSS	1999	DBLP DOI BibTeX RDF
2	Shuvra S. Bhattacharyya, Edward A. Lee	Scheduling synchronous dataflow graphs for efficient looping.	VLSI Signal Processing	1993	DBLP DOI BibTeX RDF
2	Edward A. Lee	Consistency in Dataflow Graphs.	IEEE Trans. Parallel Distrib. Syst.	1991	DBLP DOI BibTeX RDF	synchronous dataflow graphs, dataflow graphsemantics, token-flow model, graphtheory, programming languages, deadlock, programming theory, consistency checks, dataflow graphs, dataflow graph
1	Daniel Thiele, Rolf Ernst	Optimizing performance analysis for synchronous dataflow graphs with shared resources.	DATE	2012	DBLP BibTeX RDF
1	Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal	Modeling static-order schedules in synchronous dataflow graphs.	DATE	2012	DBLP BibTeX RDF
1	Chia-Jui Hsu, José Luis Pino, Shuvra S. Bhattacharyya	Multithreaded Simulation for Synchronous Dataflow Graphs.	ACM Trans. Design Autom. Electr. Syst.	2011	DBLP DOI BibTeX RDF
1	Tae-ho Shin, Hyunok Oh, Soonhoi Ha	Minimizing buffer requirements for throughput constrained parallel execution of synchronous dataflow graph.	ASP-DAC	2011	DBLP DOI BibTeX RDF
1	Marc Geilen	Synchronous dataflow scenarios.	ACM Trans. Embedded Comput. Syst.	2010	DBLP DOI BibTeX RDF
1	Hojin Kee, Shuvra S. Bhattacharyya, Jacob Kornerup	Efficient static buffering to guarantee throughput-optimal FPGA implementation of synchronous dataflow graphs.	ICSAMOS	2010	DBLP DOI BibTeX RDF
1	Hojin Kee, Shuvra S. Bhattacharyya, Ian Wong, Yong Rao	FPGA-based design and implementation of the 3GPP-LTE physical layer using parameterized synchronous dataflow techniques.	ICASSP	2010	DBLP DOI BibTeX RDF
1	Hsiang-Huang Wu, Hojin Kee, Nimish Sane, William Plishker, Shuvra S. Bhattacharyya	Rapid prototyping for digital signal processing systems using Parameterized Synchronous Dataflow graphs.	International Symposium on Rapid System Prototyping	2010	DBLP DOI BibTeX RDF
1	Marc Geilen, Sander Stuijk	Worst-case performance analysis of synchronous dataflow scenarios.	CODES+ISSS	2010	DBLP DOI BibTeX RDF
1	Chia-Jui Hsu, José Luis Pino, Fei-Jiang Hu	A mixed-mode vector-based dataflow approach for modeling and simulating LTE physical layer.	DAC	2010	DBLP DOI BibTeX RDF	LTE physical layer, mixed-mode dataflow
1	Weichen Liu, Zonghua Gu, Jiang Xu	Efficient Software Synthesis for Dynamic Single Appearance Scheduling of Synchronous Dataflow.	Embedded Systems Letters	2009	DBLP DOI BibTeX RDF
1	Hui Xue Zhao, Laurent George, Ivan Bourmeyster, Stephan Tassart, Laurent Said	Real-Time Chain-Structured Synchronous Dataflow: Latency and Data Memory Requirement Formal Determination.	ICAS	2009	DBLP DOI BibTeX RDF
1	Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal	Exploring trade-offs between performance and resource requirements for synchronous dataflow graphs.	ESTImedia	2009	DBLP DOI BibTeX RDF
1	William Thies, Steven Hall, Saman P. Amarasinghe	Manipulating lossless video in the compressed domain.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	LZ77, Lempel-Ziv, video editing, lossless compression, synchronous dataflow, compressed domain, stream programming, streamit
1	Weichen Liu, Mingxuan Yuan, Xiuqiang He, Zonghua Gu, Xue Liu	Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization.	IEEE Real-Time Systems Symposium	2008	DBLP DOI BibTeX RDF
1	Yongjin Ahn, Keesung Han, Ganghee Lee, Hyunjik Song, Jun-hee Yoo, Kiyoung Choi, Xingguang Feng	SoCDAL: System-on-chip design AcceLerator.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	application-to-architecture mapping, static hardware/software estimation, simulation, scheduling, specification, design-space exploration, worst-case execution time, Codesign, transaction-level model, synchronous dataflow, multiprocessor system-on-chip, process networks
1	George Giorgidze, Henrik Nilsson	Switched-On Yampa.	PADL	2008	DBLP DOI BibTeX RDF	synchronous dataflow languages, hybrid systems, computer music, Functional Reactive Programming
1	Zhonglei Wang, Wolfgang Haberl, Stefan Kugele, Michael Tautschnig	Automatic generation of systemc models from component-based designs for early design validation and performance analysis.	WOSP	2008	DBLP DOI BibTeX RDF	cola, simulation, code generation, systemc
1	Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal	Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs.	DAC	2007	DBLP DOI BibTeX RDF
1	Seongnam Kwon, Choonseung Lee, Soonhoi Ha	Data-Parallel Code Generation from Synchronous Dataflow Specification of Multimedia Applications.	ESTImedia	2007	DBLP DOI BibTeX RDF
1	Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattacharyya	Beyond single-appearance schedules: Efficient DSP software synthesis using nested procedure calls.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	block diagram compiler, hierarchical graph decomposition, procedural implementation, embedded systems, design methodology, memory optimization, Synchronous dataflow
1	Simon Schliecker, Steffen Stein, Rolf Ernst	Performance analysis of complex systems by integration of dataflow graphs and compositional performance analysis.	DATE	2007	DBLP DOI BibTeX RDF
1	Jiwon Hahn, Pai H. Chou	Buffer optimization and dispatching scheme for embedded systems with behavioral transparency.	EMSOFT	2007	DBLP DOI BibTeX RDF	behavioral transparency, model of computation, runtime system, memory optimization, component software, buffer allocation
1	Nikolaos D. Liveris, Chuan Lin, J. Wang, Hai Zhou, Prithviraj Banerjee	Retiming for Synchronous Data Flow Graphs.	ASP-DAC	2007	DBLP DOI BibTeX RDF	cycle length, synchronous data flow graphs, retiming
1	Manish Kushwaha, Isaac Amundson, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits	OASiS: A Programming Framework for Service-Oriented Sensor Networks.	COMSWARE	2007	DBLP DOI BibTeX RDF
1	Anjali Joshi, Mats Per Erik Heimdahl	Behavioral Fault Modeling for Model-based Safety Analysis.	HASE	2007	DBLP DOI BibTeX RDF
1	Bart D. Theelen	A Performance Analysis Tool for Scenario-Aware Streaming Applications.	QEST	2007	DBLP DOI BibTeX RDF
1	Wensheng Tang, Shaogang Wang, Dan Wu, Wangqiu Kuang	A SWP Specification for Sequential Image Processing Algorithms.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF	SWP, SWFGcode selection, image-processing, pattern matching
1	Jan Romberg	Synthesis of distributed systems from synchronous dataflow programs.		2006	RDF
1	Grégoire Hamon	Synchronous Dataflow Pattern Matching.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet	Mixing signals and modes in synchronous data-flow systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	mode automata, compilation, synchronous, languages
1	Sander Stuijk, Marc Geilen, Twan Basten	SDF3: SDF For Free.	ACSD	2006	DBLP DOI BibTeX RDF
1	Ivan Radojevic, Zoran A. Salcic, Partha S. Roop	Design of Heterogeneous Embedded Systems Using DFCharts Model of Computation.	VLSI Design	2006	DBLP DOI BibTeX RDF
1	Sitij Agrawal, William Thies, Saman P. Amarasinghe	Optimizing stream programs using linear state space analysis.	CASES	2005	DBLP DOI BibTeX RDF	linear state space systems, embedded, synchronous dataflow, stream programing, streamit
1	Henrik Nilsson	Dynamic optimization for functional reactive programming using generalized algebraic data types.	ICFP	2005	DBLP DOI BibTeX RDF	DSEL, FRP, Yampa, synchronous dataflow languages, functional programming, domain-specific languages, Haskell, reactive programming, GADT, combinator library, arrows
1	Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu	Programming by sketching for bit-streaming programs.	PLDI	2005	DBLP DOI BibTeX RDF	domain specific compiler, domain specific language, sketching, synchronous dataflow, stream programming, StreamIt
1	Alain Vachoux, Christoph Grimm, Karsten Einwich	Extending SystemC to support mixed discrete-continuous system modeling and simulation.	ISCAS	2005	DBLP DOI BibTeX RDF
1	Walter Maydl	A novel component model for the synchronous dataflow paradigm.	IASTED Conf. on Software Engineering	2004	DBLP BibTeX RDF
1	Hyunok Oh, Soonhoi Ha	Fractional Rate Dataflow Model for Efficient Code Synthesis.	VLSI Signal Processing	2004	DBLP DOI BibTeX RDF	synchronous dataflow (SDF), multimedia, memory optimization, code synthesis
1	Jan Romberg, Andreas Bauer 0002	Loose synchronization of event-triggered networks for distribution of synchronous programs.	EMSOFT	2004	DBLP DOI BibTeX RDF	scheduling, embedded software, synchronous languages, AutoFocus, code distribution
1	Alan G. Strelzoff	Functional Programming for Reconfigurable Computing.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Shuvra S. Bhattacharyya, Praveen K. Murthy	The CBP Parameter: A Module Characterization Approach for DSP Software Optimization.	VLSI Signal Processing	2004	DBLP DOI BibTeX RDF	array lifetime, block diagram compilers, buffer overlaying, lifetime analysis, embedded systems, design methodology, graph coloring, dataflow
1	Henrik Nilsson	Functional automatic differentiation with dirac impulses.	ICFP	2003	DBLP DOI BibTeX RDF	Dirac impulses, FRP, distribution theory, synchronous dataflow languages, functional programming, haskell, modeling languages, automatic differentiation, hybrid modeling
1	Johnson S. Kin, José Luis Pino	Multithreaded Synchronous Data Flow Simulation.	DATE	2003	DBLP DOI BibTeX RDF
1	Lewis B. Baumstark Jr., Murat Guler, Linda M. Wills	Extracting an Explicitly Data-Parallel Representation of Image-Processing Programs.	WCRE	2003	DBLP DOI BibTeX RDF	pattern-recognition, parallelization, program transformation, SIMD, program representation
1	Chanik Park, Jaewoong Jung, Soonhoi Ha	Extended Synchronous Dataflow for Efficient DSP System Prototyping.	Design Autom. for Emb. Sys.	2002	DBLP DOI BibTeX RDF
1	Praveen K. Murthy, Edward A. Lee	Multidimensional synchronous dataflow.	IEEE Transactions on Signal Processing	2002	DBLP DOI BibTeX RDF
1	Dana N. Xu, Siau-Cheng Khoo	Compiling real time functional reactive programming.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	partial evaluation, reactive system, tupling
1	Ramaswamy Govindarajan, Guang R. Gao, Palash Desai	Minimizing Buffer Requirements under Rate-Optimal Schedule in Regular Dataflow Networks.	VLSI Signal Processing	2002	DBLP DOI BibTeX RDF	buffer minimization, Digital Signal Processing (DSP) computation, Multi-Rate Software Pipelining, Regular Stream Flow Graphs, software pipelining, dataflow graphs
1	Kyoungseok Rha, Kiyoung Choi	Area-efficient buffer binding based on a novel two-port FIFO structure.	CODES	2001	DBLP DOI BibTeX RDF	buffer binding, buffer sharing, scheduling, SDF
1	Praveen K. Murthy, Shuvra S. Bhattacharyya	Shared buffer implementations of signal processing systems usinglifetime analysis techniques.	IEEE Trans. on CAD of Integrated Circuits and Systems	2001	DBLP DOI BibTeX RDF
1	Karsten Strehl, Lothar Thiele, Matthias Gries, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich	FunState-an internal design representation for codesign.	IEEE Trans. VLSI Syst.	2001	DBLP DOI BibTeX RDF
1	Chanik Park, Soonhoi Ha	Hardware Synthesis from SPDF Representation for Multimedia Applications.	ISSS	2000	DBLP DOI BibTeX RDF
1	Wonyong Sung, Soonhoi Ha	Memory efficient software synthesis with mixed coding style from dataflow graphs.	IEEE Trans. VLSI Syst.	2000	DBLP DOI BibTeX RDF
1	Eckart Zitzler, Jürgen Teich, Shuvra S. Bhattacharyya	Evolutionary algorithms for the synthesis of embedded software.	IEEE Trans. VLSI Syst.	2000	DBLP DOI BibTeX RDF
1	Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee	Synthesis of Embedded Software from Synchronous Dataflow Specifications.	VLSI Signal Processing	1999	DBLP DOI BibTeX RDF
1	Lothar Thiele, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich	FunState - an internal design representation for codesign.	ICCAD	1999	DBLP BibTeX RDF
1	Bilung Lee, Edward A. Lee	Hierarchical Concurrent Finite State Machines in Ptolemy.	ACSD	1998	DBLP DOI BibTeX RDF	concurrency, finite state machine, heterogeneity, hierarchy
1	Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee	Joint Minimization of Code and Data for Synchronous Dataflow Programs.	Formal Methods in System Design	1997	DBLP DOI BibTeX RDF
1	Guilhem de Wailly	Lambda-Flow: A Parallel Functional Synchronous Dataflow Language.	ICFP	1997	DBLP DOI BibTeX RDF