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 |