Search results for "dataflow"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Yangyi Sui, Lili Pang 0001, Jun Lin, Xiaotuo Zhang	Dataflow Visual Programming Language Debugger Supported by Fisheye View.	ICYCS	2008	DBLP DOI BibTeX RDF
19	Frank Hannig, Holger Ruckdeschel, Hritam Dutta, Jürgen Teich	PARO: Synthesis of Hardware Accelerators for Multi-Dimensional Dataflow-Intensive Applications.	ARC	2008	DBLP DOI BibTeX RDF
19	Natalia Kwasnikowska, Jan Van den Bussche	Mapping the NRC Dataflow Model to the Open Provenance Model.	IPAW	2008	DBLP DOI BibTeX RDF
19	Arno Moonen, Marco Bekooij, René van den Berg, Jef L. van Meerbergen	Practical and Accurate Throughput Analysis with the Cyclo Static Dataflow Model.	MASCOTS	2007	DBLP DOI BibTeX RDF
19	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
19	Victor V. Toporkov	Dataflow Analysis of Distributed Programs Using Generalized Marked Nets.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
19	Jiho Chu, Youngsun Han, Seon Wook Kim	A Dataflow Analysis for Mode Set Optimization in DSP Instruction Sets.	CIT	2007	DBLP DOI BibTeX RDF
19	Sven-Ole Voigt, Thomas Teufel	Dynamically reconfigurable dataflow architecture for high-performance digital signal processing on multi-FPGA platforms.	FPL	2007	DBLP DOI BibTeX RDF
19	Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche	A Formal Model of Dataflow Repositories.	DILS	2007	DBLP DOI BibTeX RDF
19	Hui Xue Zhao, Laurent George 0001, 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
19	Zonghua Gu 0001, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He 0001, Qingxu Deng, Ge Yu 0001	Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking.	RTSS	2007	DBLP DOI BibTeX RDF
19	Tao Li 0008, Xiaoming Zhang, Zhigang Sun	DynaNP - A Coarse-grain Dataflow Network Processor Architecture with Dynamic Configurable Processing Path.	SNPD (3)	2007	DBLP DOI BibTeX RDF
19	Seongnam Kwon, Choonseung Lee, Soonhoi Ha	Data-Parallel Code Generation from Synchronous Dataflow Specification of Multimedia Applications.	ESTIMedia	2007	DBLP DOI BibTeX RDF
19	Avraham Leff, James T. Rayfield	Relational Blocks: A Visual Dataflow Language for Relational Web-Applications.	VL/HCC	2007	DBLP DOI BibTeX RDF
19	Michael Freeman	Evaluating Dataflow and Pipelined Vector Processing Architectures for FPGA Co-processors.	DSD	2006	DBLP DOI BibTeX RDF
19	Hyeyoung Hwang, Taewook Oh, Hyunuk Jung, Soonhoi Ha	Conversion of reference C code to dataflow model: H.264 encoder case study.	ASP-DAC	2006	DBLP DOI BibTeX RDF
19	Hai-Chen Wang, Chung-Kwong Yuen	Exploiting dataflow to extract Java instruction level parallelism on a tag-based multi-issue semi in-order (TMSI) processor.	IPDPS	2006	DBLP DOI BibTeX RDF
19	Lewis Benton Baumstark Jr., Linda M. Wills	Multidimensional Dataflow-based Parallelization for Multimedia Instruction Set Extensions.	ICPP Workshops	2006	DBLP DOI BibTeX RDF
19	Ed F. Deprettere, Todor P. Stefanov, Shuvra S. Bhattacharyya, Mainak Sen	Affine Nested Loop Programs and their Binary Parameterized Dataflow Graph Counterparts.	ASAP	2006	DBLP DOI BibTeX RDF
19	Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers	Automated soundness proofs for dataflow analyses and transformations via local rules.	POPL	2005	DBLP DOI BibTeX RDF	automated correctness proofs, compiler optimization
19	Guangyu Chen, Mahmut T. Kandemir	Dataflow analysis for energy-efficient scratch-pad memory management.	ISLPED	2005	DBLP DOI BibTeX RDF	scratch pad memory (SPM), compiler, data flow analysis
19	Dolev Dotan, Ron Y. Pinter	HyperFlow: An Integrated Visual Query and Dataflow Language for End-User Information Analysis.	VL/HCC	2005	DBLP DOI BibTeX RDF
19	Zhiyong Ye, Huajun Chen, Zhaohui Wu 0001	Dart-Dataflow: Towards Communicating Data Semantics in Sensor Grid.	GCC	2005	DBLP DOI BibTeX RDF
19	Jakob Carlström, Thomas Boden	Synchronous Dataflow Architecture for Network Processors.	IEEE Micro	2004	DBLP DOI BibTeX RDF
19	John McAllister, Roger F. Woods, Richard L. Walke	Embedded Context Aware Hardware Component Generation for Dataflow System Exploration.	SAMOS	2004	DBLP DOI BibTeX RDF
19	Dag Björklund	Efficient code synthesis from synchronous dataflow graphs.	MEMOCODE	2004	DBLP DOI BibTeX RDF
19	Nicolas Juillerat, Béat Hirsbrunner	FOOD: An Agent-Oriented Dataflow Model.	ICAISC	2004	DBLP DOI BibTeX RDF
19	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
19	Euiseok Kim, Hiroshi Saito, Jeong-Gun Lee, Dong-Ik Lee, Hiroshi Nakamura, Takashi Nanya	Distributed Synchronous Control Units for Dataflow Graphs under Allocation of Telescopic Arithmetic Units.	DATE	2003	DBLP DOI BibTeX RDF
19	Hidehiko Masuhara, Kazunori Kawauchi	Dataflow Pointcut in Aspect-Oriented Programming.	APLAS	2003	DBLP DOI BibTeX RDF
19	Mário P. Véstias, Horácio C. Neto	DALI: A Methodology for the Co-Design of Dataflow Applications on Hardware/Software Architectures.	SBCCI	2003	DBLP DOI BibTeX RDF
19	Thomas W. Reps, Stefan Schwoon, Somesh Jha	Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis.	SAS	2003	DBLP DOI BibTeX RDF
19	Yan Jin, Robert Esser, Charles Lakos, Jörn W. Janneck	Modular Analysis of Dataflow Process Networks.	FASE	2003	DBLP DOI BibTeX RDF
19	Hyunuk Jung, Kangnyoung Lee, Soonhoi Ha	Efficient hardware controller synthesis for synchronous dataflow graph in system level design.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
19	Sorin Lerner, David Grove, Craig Chambers	Composing dataflow analyses and transformations.	POPL	2002	DBLP DOI BibTeX RDF
19	Sunghyun Lee, Sungjoo Yoo, Kiyoung Choi	Reconfigurable SoC design with hierarchical FSM and synchronous dataflow model.	CODES	2002	DBLP DOI BibTeX RDF
19	Soonhoi Ha, Sungchan Kim, Chan-Eun Rhee, Hyunguk Jung, Youngmin Yi, Dohyung Kim 0007	Virtual Synchronization for Fast Distributed Cosimulation of Dataflow Task Graphs.	ISSS	2002	DBLP DOI BibTeX RDF	time accurate simulation, virtual synchronization, distributed simulation, cosimulation
19	Erik Ruf	Improving the Precision of Equality-Based Dataflow Analyses.	SAS	2002	DBLP DOI BibTeX RDF
19	Per Bjuréus, Axel Jantsch	Modeling of mixed control and dataflow systems in MASCOT.	IEEE Trans. Very Large Scale Integr. Syst.	2001	DBLP DOI BibTeX RDF
19	Karl Meinke, L. J. Steggles	Correctness of dataflow and systolic algorithms using algebras of streams.	Acta Informatica	2001	DBLP DOI BibTeX RDF
19	Mehul A. Shah, Samuel Madden 0001, Michael J. Franklin, Joseph M. Hellerstein	Java Support for Data-Intensive Systems: Experiences Building the Telegraph Dataflow System.	SIGMOD Rec.	2001	DBLP DOI BibTeX RDF
19	Victor V. Toporkov	Satisfiability of Dataflow Models of Distributed Programs.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF
19	Paolo Maresca, Angela Guercio, Timothy Arndt, Pasquale Donadio	Transformation Dataflow in Multimedia Software Engineering Using TAO_XML: A Component-Based Approach.	MDIC	2001	DBLP DOI BibTeX RDF
19	Karam S. Chatha, Ranga Vemuri	MAGELLAN: multiway hardware-software partitioning and scheduling for latency minimization of hierarchical control-dataflow task graphs.	CODES	2001	DBLP DOI BibTeX RDF
19	Wolfgang Schreiner	Manager-Worker Parallelism versus Dataflow in a Distributed Computer Algebra System.	PaCT	2001	DBLP DOI BibTeX RDF
19	Euiseok Kim, Dong-Ik Lee	A new resource constrained asynchronous scheduling method through transformation of dataflow graphs.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
19	Wonyong Sung, Soonhoi Ha	Memory efficient software synthesis with mixed coding style from dataflow graphs.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
19	Robert Muth, Saumya K. Debray	On the Complexity of Flow-Sensitive Dataflow Analyses.	POPL	2000	DBLP DOI BibTeX RDF
19	Martyn Edwards, Peter Green 0001	The Implementation of Synchronous Dataflow Graphs Using Reconfigurable Hardware.	FPL	2000	DBLP DOI BibTeX RDF
19	Hyunuk Jung, Kangnyoung Lee, Soonhoi Ha	Efficient Hardware Controller Synthesis for Synchronous Dataflow Graph in System Level Design.	ISSS	2000	DBLP DOI BibTeX RDF
19	Gerd Vandersteen, Piet Wambacq, Yves Rolain, Petr Dobrovolný, Stéphane Donnay, Marc Engels, Ivo Bolsens	A methodology for efficient high-level dataflow simulation of mixed-signal front-ends of digital telecom transceivers.	DAC	2000	DBLP DOI BibTeX RDF
19	Paul Lieverse, Ed F. Deprettere, Bart Kienhuis, Erwin A. de Kock	A Clustering Approach to Explore Grain-Sizes in the Definition of Processing Elements in Dataflow Architectures.	J. VLSI Signal Process.	1999	DBLP DOI BibTeX RDF
19	Frank Wietek	Modelling Multidimensional Data in a Dataflow-Based Visual Data Analysis Environment.	CAiSE	1999	DBLP DOI BibTeX RDF
19	Alexandru C. Telea	Combining Object Orientation and Dataflow Modelling in the Vission Simulation System.	TOOLS (29)	1999	DBLP DOI BibTeX RDF
19	Gilles Trombettoni	A Polynomial Time Local Propagation Algorithm for General Dataflow Constraint Problems.	CP	1998	DBLP DOI BibTeX RDF
19	Eugene W. Stark	Fibrational Semantics of Dataflow Networks.	CONCUR	1998	DBLP DOI BibTeX RDF
19	Wan-Teh Chang, Soonhoi Ha, Edward A. Lee	Heterogeneous Simulation - Mixing Discrete-Event Models with Dataflow.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
19	Albert Benveniste, Paul Le Guernic, Pascal Aubry	Compositionality in Dataflow Synchronous Languages: Specification and Code Generation.	COMPOS	1997	DBLP DOI BibTeX RDF	desynchronisation, modularity, code generation, synchronous languages, separate compilation
19	Pascal Raymond	Recognizing Regular Expressions by Means of Dataflow Networks.	ICALP	1996	DBLP DOI BibTeX RDF
19	Ketil Stølen	Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness.	ESOP	1996	DBLP DOI BibTeX RDF
19	Anne Mulkers, William H. Winsborough, Maurice Bruynooghe	Live-Structure Dataflow Analysis for Prolog.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	compile-time garbage collection, Prolog, Prolog, program analysis, abstract interpretation, liveness
19	John Thornley	Integrating Parallel Dataflow Programming with the Ada Tasking Model.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
19	Joseph T. Buck	A dynamic dataflow model suitable for efficient mixed hardware and software implementations of DSP applications.	CODES	1994	DBLP DOI BibTeX RDF
19	Johann Rost	"D2R": A Dynamic Dataflow Representation for Task Scheduling.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF
19	Shuvra S. Bhattacharyya, Edward A. Lee	Scheduling synchronous dataflow graphs for efficient looping.	J. VLSI Signal Process.	1993	DBLP DOI BibTeX RDF
19	Saumya K. Debray	Efficient Dataflow Analysis of Logic Programs.	J. ACM	1992	DBLP DOI BibTeX RDF	PROLOG, program analysis
19	Boyan Bonchev, Miroslav Iliev	A Hybrid Dataflow Architecture with Multiple Tokens.	CONPAR	1992	DBLP DOI BibTeX RDF
19	Prakash Panangaden, Vasant Shanbhogue, Eugene W. Stark	Stability and Sequentiality in Dataflow Networks.	ICALP	1990	DBLP DOI BibTeX RDF
19	Josef Scheichenzuber, Werner Grass, Ulrich Lauther, Sabine März	Global Hardware Synthesis from Behavioral Dataflow Descriptions.	DAC	1990	DBLP DOI BibTeX RDF
19	Joost N. Kok	An Iterative Metric Fully Abstract Semantics for Nondeterministic Dataflow (Extended Abstract).	MFCS	1989	DBLP DOI BibTeX RDF
19	Yasuhiro Inagami, John F. Foley	The specification of a new Manchester Dataflow machine.	ICS	1989	DBLP DOI BibTeX RDF
19	Richard Banach	Dataflow Analysis if Term Graph Rewriting Systems.	PARLE (2)	1989	DBLP DOI BibTeX RDF
19	Anton Gunzinger, Severin Mathis, Walter Guggenbühl	The SYnchronous DAtaflow MAchine: Architecture and Performance.	PARLE (1)	1989	DBLP DOI BibTeX RDF
19	V. Gerald Grafe, George S. Davidson, Jamie E. Hoch, V. P. Holmes	The Epsilon Dataflow Processor.	ISCA	1989	DBLP DOI BibTeX RDF
19	Ian Kaplan	Programming the Loral LDF 100 Dataflow Machine.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
19	Kevin D. Jones	A Formal Semantics for a DataFlow Machine - Using VDM.	VDM Europe	1987	DBLP DOI BibTeX RDF
19	Xuan Pham	Dataflow representation in a network database.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF
19	Forbes J. Burkowski	Instruction set design issues relating to a static dataflow computer.	ISCA	1982	DBLP BibTeX RDF
15	George Tzanetakis	Music analysis, retrieval and synthesis of audio signals MARSYAS.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	music information retrieval, sound analysis
15	Ghislain Roquier, Matthieu Wipliez, Mickaël Raulet, Jean-François Nezan, Olivier Déforges	Software synthesis of CAL actors for the MPEG reconfigurable Video Coding framework.	ICIP	2008	DBLP DOI BibTeX RDF
15	Ryan Newton, Lewis Girod, Michael B. Craig, Samuel Madden 0001, J. Gregory Morrisett	Design and evaluation of a compiler for embedded stream programs.	LCTES	2008	DBLP DOI BibTeX RDF	stream processing language, sensor networks
15	Antonio Carlos Schneider Beck, Mateus B. Rutzig, Georgi Gaydadjiev, Luigi Carro	Transparent Reconfigurable Acceleration for Heterogeneous Embedded Applications.	DATE	2008	DBLP DOI BibTeX RDF
15	Sankalita Saha, Jason Schlessman, Sebastian Puthenpurayil, Shuvra S. Bhattacharyya, Wayne H. Wolf	An Optimized Message Passing Framework for Parallel Implementation of Signal Processing Applications.	DATE	2008	DBLP DOI BibTeX RDF
15	Min Li 0001, Bruno Bougard, Weiyu Xu, David Novo, Liesbet Van der Perre, Francky Catthoor	Optimizing Near-ML MIMO Detector for SDR Baseband on Parallel Programmable Architectures.	DATE	2008	DBLP DOI BibTeX RDF
15	Pierre Salverda, Craig B. Zilles	Fundamental performance constraints in horizontal fusion of in-order cores.	HPCA	2008	DBLP DOI BibTeX RDF
15	John Plaice, Blanca Mancilla, Gabriel Ditu, William W. Wadge	Sequential Demand-Driven Evaluation of Eager TransLucid.	COMPSAC	2008	DBLP DOI BibTeX RDF
15	David Abramson 0001, Colin Enticott, Ilkay Altintas	Nimrod/K: towards massively parallel dynamic grid workflows.	SC	2008	DBLP DOI BibTeX RDF
15	Armand Navabi, Xiangyu Zhang 0001, Suresh Jagannathan	Quasi-static scheduling for safe futures.	PPoPP	2008	DBLP DOI BibTeX RDF	concurrency control, future, static program analysis
15	Anne H. H. Ngu, Shawn Bowers, Nicholas Haasch, Timothy M. McPhillips, Terence Critchlow	Flexible Scientific Workflow Modeling Using Frames, Templates, and Dynamic Embedding.	SSDBM	2008	DBLP DOI BibTeX RDF
15	Xingchen Chu, Krishna Nadiminti, Chao Jin, Srikumar Venugopal, Rajkumar Buyya	Aneka: Next-Generation Enterprise Grid Platform for e-Science and e-Business Applications.	eScience	2007	DBLP DOI BibTeX RDF
15	Ricardo S. Ferreira 0001, Alisson Garcia, Tiago Teixeira, João M. P. Cardoso	A Polynomial Placement Algorithm for Data Driven Coarse-Grained Reconfigurable Architectures.	ISVLSI	2007	DBLP DOI BibTeX RDF
15	Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz	Automated generation of layout and control for quantum circuits.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	ion trap, CAD, control, quantum computing, layout
15	Shigeru Kusakabe, Mitsuhiro Aono, Masaaki Izumi, Satoshi Amamiya, Yoshinari Nomura, Hideo Taniguchi, Makoto Amamiya	Scalability of continuation-based fine-grained multithreading in handling multiple I/O requests on FUCE.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	fine-grained multithreading, operating systems, I/O
15	Maciej J. Ciesielski, Priyank Kalla, Serkan Askar	Taylor Expansion Diagrams: A Canonical Representation for Verification of Data Flow Designs.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Register transfer level—design aids, arithmetic and logic structures—verification, symbolic and algebraic manipulation, verification
15	John Regehr, Usit Duongsaa	Deriving abstract transfer functions for analyzing embedded software.	LCTES	2006	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, embedded software, transfer functions
15	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	A fixpoint calculus for local and global program flows.	POPL	2006	DBLP DOI BibTeX RDF	infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
15	Youngsoo Kim, William W. Edmonson	H.264 Video Decoder Design: Beyond RTL Design Implementation.	SiPS	2006	DBLP DOI BibTeX RDF
15	Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit	Path Optimization in Programs and Its Application to Debugging.	ESOP	2006	DBLP DOI BibTeX RDF
15	Vipin Swarup, Len Seligman, Arnon Rosenthal	A Data Sharing Agreement Framework.	ICISS	2006	DBLP DOI BibTeX RDF
15	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