Search results for "dataflow"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Xiuguo Zhang, Weishi Zhang	CCML: A Novel Service Composition Language.	IAT Workshops	2006	DBLP DOI BibTeX RDF
15	Xiuguo Zhang, Yingjun Zhang	CCM: A Cooperative Computation Model of Services.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF
15	Vipin Swarup, Len Seligman, Arnon Rosenthal	Specifying Data Sharing Agreements.	POLICY	2006	DBLP DOI BibTeX RDF
15	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
15	Brian D. Wilson, Gerald Manipon, Dominic Mazzoni, Benyang Tang, Tom Yunck	A Demonstration of the SciFlo Grid Workflow Engine.	SSDBM	2006	DBLP DOI BibTeX RDF
15	Michael F. Ringenburg, Dan Grossman	Preventing format-string attacks via automatic and efficient dynamic checking.	CCS	2005	DBLP DOI BibTeX RDF	dynamic checking, format-string attacks, white-lists, static analysis
15	Stephen A. Edwards, Olivier Tardieu	Deterministic receptive processes are Kahn processes.	MEMOCODE	2005	DBLP DOI BibTeX RDF
15	Akash Lal, Thomas W. Reps, Gogul Balakrishnan	Extended Weighted Pushdown Systems.	CAV	2005	DBLP DOI BibTeX RDF
15	Peter M. Kelly, Paul D. Coddington, Andrew L. Wendelborn	Distributed, Parallel Web Service Orchestration Using XSLT.	e-Science	2005	DBLP DOI BibTeX RDF
15	José Bins, Thor List, Robert B. Fisher, David Tweed	An Intelligent and Task-Independent Controller for Video Sequence Analysis.	CAMP	2005	DBLP DOI BibTeX RDF	Video sequences analysis, Computer Vision, Intelligent controller, Image Understanding
15	Shawn Bowers, Bertram Ludäscher	Actor-Oriented Design of Scientific Workflows.	ER	2005	DBLP DOI BibTeX RDF
15	David Minor, Shmuel Rippa	GRAPE - An Industrial Distributed System for Computer Vision.	IPDPS	2005	DBLP DOI BibTeX RDF
15	Slobodan Matic, Thomas A. Henzinger	Trading End-to-End Latency for Composability.	RTSS	2005	DBLP DOI BibTeX RDF
15	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	The open verifier framework for foundational verifiers.	TLDI	2005	DBLP DOI BibTeX RDF	language-based security, proof-carrying code, typed assembly language
15	A. Petrov, Tudor Murgan, Peter Zipf, Manfred Glesner	Functional modeling techniques for a wireless LAN OFDM transceiver.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
15	Xiuguo Zhang, Weishi Zhang, Jinyu Shi	A KPN Based Cooperative Composition Model of Services.	GCC	2005	DBLP DOI BibTeX RDF
15	Brian Fahs, Todd M. Rafacz, Sanjay J. Patel, Steven S. Lumetta	Continuous Optimization.	ISCA	2005	DBLP DOI BibTeX RDF
15	Walter Maydl	Design Accompanying Analysis of Component-Based Embedded Software.	CBSE	2004	DBLP DOI BibTeX RDF
15	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
15	Ravishankar Rao, Sarma B. K. Vrudhula	Energy optimization for a two-device data flow chain.	ICCAD	2004	DBLP DOI BibTeX RDF
15	Kees A. Vissers	Programming models and architectures for FPGA platforms.	CASES	2004	DBLP DOI BibTeX RDF
15	Dragan Havelka, Christian Schulte 0001, Per Brand, Seif Haridi	Thread-Based Mobility in Oz.	MOZ	2004	DBLP DOI BibTeX RDF
15	David A. Basin, Stefan Friedrich 0001, Marek Gawkowski	Bytecode Verification by Model Checking.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	model checking, static analysis, type safety, bytecode verification
15	Vijayshankar Raman, Amol Deshpande, Joseph M. Hellerstein	Using State Modules for Adaptive Query Processing.	ICDE	2003	DBLP DOI BibTeX RDF
15	Kazuaki Ishizaki, Mikio Takeuchi, Kiyokuni Kawachiya, Toshio Suganuma, Osamu Gohda, Tatsushi Inagaki, Akira Koseki, Kazunori Ogata, Motohiro Kawahito, Toshiaki Yasue, Takeshi Ogasawara, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani	Effectiveness of cross-platform optimizations for a java just-in-time compiler.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, optimization, just-in-time compiler
15	Guenter Gerwig, Holger Wetter, Eric M. Schwarz, Juergen Haess	High Performance Floating-Point Unit with 116 Bit Wide Divider.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
15	Michael L. Chu, Kevin Fan, Scott A. Mahlke	Region-based hierarchical operation partitioning for multicluster processors.	PLDI	2003	DBLP DOI BibTeX RDF	multicluster processor, operation partitioning, clustering, instruction-level parallelism, instruction scheduling, region-based compilation
15	Yuanqing Guo, Gerard J. M. Smit, Hajo Broersma, Michèl A. J. Rosien, Paul M. Heysters	Mapping Applications to a Coarse Grain Reconfigurable System.	Asia-Pacific Computer Systems Architecture Conference	2003	DBLP DOI BibTeX RDF
15	Tobias Mayr 0001, Philippe Bonnet, Johannes Gehrke, Praveen Seshadri	Leveraging Non-Uniform Resources for Parallel Query Processing.	CCGRID	2003	DBLP DOI BibTeX RDF
15	Sonny Tham, John Morris	Cilk vs MPI: Comparing two very different parallel programming styles.	ICPP	2003	DBLP DOI BibTeX RDF	MPI, networks of workstations, Cilk
15	J. Gregory Morrisett	Analysis issues for cyclone.	PASTE	2002	DBLP DOI BibTeX RDF
15	Nick Savoiu, Sandeep K. Shukla, Rajesh K. Gupta 0001	Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation.	DATE	2002	DBLP DOI BibTeX RDF
15	Michael Codish, Harald Søndergaard	Meta-circular Abstract Interpretation in Prolog.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
15	Walter Maydl, Bernhard Sick, Werner Grass	Towards a Specification Technique for Component-Based Measurement and Control Software for Embedded Systems.	EUROMICRO	2002	DBLP DOI BibTeX RDF
15	Thomas P. Jensen, Fausto Spoto	Class Analysis of Object-Oriented Programs through Abstract Interpretation.	FoSSaCS	2001	DBLP DOI BibTeX RDF	semantics, Abstract interpretation, object-oriented languages, domain theory, class analysis
15	Klaus Schneider 0001	Embedding Imperative Synchronous Languages in Interactive Theorem Provers.	ACSD	2001	DBLP DOI BibTeX RDF
15	Praveen K. Murthy, Etan G. Cohen, Steve Rowland	System canvas: a new design environment for embedded DSP and telecommunication systems.	CODES	2001	DBLP DOI BibTeX RDF
15	Marek Tudruj, Lukasz Masko	An Architecture and Task Scheduling Algorithm for Systems Based on Dynamically Reconfigurable Shared Memory Clusters.	IWCC	2001	DBLP DOI BibTeX RDF
15	Marek Tudruj, Lukasz Masko	A Parallel System Architecture Based on Dynamically Configurable Shared Memory Clusters.	PPAM	2001	DBLP DOI BibTeX RDF
15	Marek Tudruj, Lukasz Masko	Task Scheduling for Dynamically Configurable Multiple SMP Clusters Based on Extended DSC Approach.	PPAM	2001	DBLP DOI BibTeX RDF
15	Eckart Zitzler, Jürgen Teich, Shuvra S. Bhattacharyya	Evolutionary algorithms for the synthesis of embedded software.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
15	Oskar Mencer, Heiko Hübert, Martin Morf, Michael J. Flynn	StReAm: Object-Oriented Programming of Stream Architectures Using PAM-Blox.	FPL	2000	DBLP DOI BibTeX RDF
15	Joseph Buck, Radha Vaidyanathan	Heterogeneous modeling and simulation of embedded systems in El Greco.	CODES	2000	DBLP DOI BibTeX RDF
15	Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka	Efficient logic variables for distributed computing.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	Mozart, distributed algorithms, Oz
15	Alexander B. Godlevsky, Martin Gazák, Ladislav Hluchý	Parallelizing of Sequential Annotated Programs in PVM Environment.	PVM/MPI	1999	DBLP DOI BibTeX RDF
15	Alexander B. Godlevsky, Martin Gazák, Ladislav Hluchý	Parallelizing of Seqential Programs on the Basis of Pipeline and Speculative Features of the Operators.	PaCT	1999	DBLP DOI BibTeX RDF
15	Rolf Ernst, Kees A. Vissers, Pieter van der Wolf, Gert-Jan van Rootselaar	System level design and debug of high-performance embedded media systems (tutorial).	ICCAD	1999	DBLP BibTeX RDF
15	Sundararajan Sriram, Edward A. Lee	Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors.	J. VLSI Signal Process.	1997	DBLP DOI BibTeX RDF
15	Rachid Helaihel, Kunle Olukotun	Java as a specification language for hardware-software systems.	ICCAD	1997	DBLP DOI BibTeX RDF	java, Java, specification languages, hardware-software co-design
15	Shigeru Kusakabe, Taku Nagai, Kentaro Inenaga, Makoto Amamiya	Reducing Overhead in Implementing Fine-grain Parallel Data-structures of a Data onOff-the-shelf Distributed-memory Parallel Computers.	HICSS (1)	1997	DBLP DOI BibTeX RDF
15	Stuart F. Oberman, Michael J. Flynn	A Variable Latency Pipelined Floating-Point Adder.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
15	Rajesh Bordawekar, Alok N. Choudhary, J. Ramanujam	A Framework for Integrated Communication and I/O Placement.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
15	Vugranam C. Sreedhar, Guang R. Gao	A Linear Time Algorithm for Placing phi-nodes.	POPL	1995	DBLP DOI BibTeX RDF
15	Johann Rost, Franz-Josef Markus, Li Yan-Hua	"Agency Scheduling" A Model for Dynamic Task Scheduling.	Euro-Par	1995	DBLP DOI BibTeX RDF
15	Richard Johnson, Keshav Pingali	Dependence-Based Program Analysis.	PLDI	1993	DBLP DOI BibTeX RDF
15	Mehdi T. Harandi, Hing-Yan Lee	A Support Envimnment for Knowledge-Based Software Design.	SEKE	1992	DBLP DOI BibTeX RDF
15	Alexander Moshe Rabinovich	Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract).	ICALP	1992	DBLP DOI BibTeX RDF
15	Ramón D. Acosta	PProto: An environment for prototyping parallel programs.	J. Syst. Integr.	1991	DBLP DOI BibTeX RDF	computer-aided software engineering (CASE), software/hardware architectures, parallel processing, parallel programming, rapid prototyping, visual programming
15	Susumu Yamasaki	Extraction of Functional from Logic Program.	PLILP	1991	DBLP DOI BibTeX RDF
15	George S. Davidson	TWIST-TOP: Transputers with I-Stores Test Out Processor.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	OCCAM
15	Guang R. Gao, Herbert H. J. Hum, Yue-Bong Wong	An Efficient Scheme for Fine-Grain Software Pipelining.	CONPAR	1990	DBLP DOI BibTeX RDF
15	Krishna M. Kavi, S. R. Kuthalam, Akshay K. Deshpande	A decomposition approach for analysis of parallel processing systems.	SPDP	1990	DBLP DOI BibTeX RDF
15	John M. A. Roy, Mark Nagel, Lubomir Bic	Partitioning declarative programs into communicating processes.	SC	1990	DBLP DOI BibTeX RDF
15	Victor N. Kasyanov	Annotated Program Transformations.	FSTTCS	1989	DBLP DOI BibTeX RDF
15	Prakash Panangaden	McCarthy's Amb Cannot Implement Fair Merge.	FSTTCS	1988	DBLP DOI BibTeX RDF
13	Huy T. Vo, João Luiz Dihl Comba, Berk Geveci, Cláudio T. Silva	Streaming-Enabled Parallel Data Flow Framework in the Visualization ToolKit.	Comput. Sci. Eng.	2011	DBLP DOI BibTeX RDF	Parallel dataflow, visualization pipeline, streaming, multithreaded, VTK
13	Michael Agun, Shawn Bowers	Approaches for Implementing Persistent Queues within Data-Intensive Scientific Workflows.	SERVICES	2011	DBLP DOI BibTeX RDF	Actor-Oriented Modeling, Scientific Workflows, Dataflow, Pipeline Parallelism
13	Cindy Rubio-González, Ben Liblit	Expect the unexpected: error code mismatches between documentation and the real world.	PASTE	2010	DBLP DOI BibTeX RDF	interprocedural dataflow analysis, manual pages, weighted pushdown systems, static program analysis
13	Arquimedes Canedo, Takeo Yoshizawa, Hideaki Komatsu	Automatic parallelization of simulink applications.	CGO	2010	DBLP DOI BibTeX RDF	coarse grain dataflow, equation-level parallelism, compilers, multi-core, automatic parallelization, simulink, strands
13	Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich	Verifying event-driven programs using ramified frame properties.	TLDI	2010	DBLP DOI BibTeX RDF	frame rule, ramification problem, subject-observer, dataflow, separation logic, functional reactive programming
13	Tao Yu, Baoyao Zhou, Qinghu Li, Rui Liu, Weihong Wang, Cheng Chang	The design of distributed real-time video analytic system.	CloudDB@CIKM	2009	DBLP DOI BibTeX RDF	multi-databases, uima, real-time, scalability, interoperability, integration, distributed, video surveillance, dataflow, analytic
13	Qiming Chen, Meichun Hsu, Rui Liu, Tao Yu, Qinghu Li, Weihong Wang	Operational BI platform for video analytics.	MEDES	2009	DBLP DOI BibTeX RDF	query dataflow process, relation valued function, model management, user defined function
13	Nomair A. Naeem, Ondrej Lhoták	Efficient alias set analysis using SSA form.	ISMM	2009	DBLP DOI BibTeX RDF	live variables, shape analysis, dominance, pointer analysis, dataflow analysis, alias analysis, static single assignment form
13	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
13	Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau	Error propagation analysis for file systems.	PLDI	2009	DBLP DOI BibTeX RDF	copy constant propagation, interprocedural dataflow analysis, weighted pushdown systems, binary decision diagrams, static program analysis
13	Tristan Ravitch, Steve Jackson 0002, Eric Aderhold, Ben Liblit	Automatic generation of library bindings using static analysis.	PLDI	2009	DBLP DOI BibTeX RDF	ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces
13	Silvian Calman, Jianwen Zhu	Increasing the Scope and Resolution of Interprocedural Static Single Assignment.	SAS	2009	DBLP DOI BibTeX RDF	dataflow, constant propagation, SSA, interprocedural
13	Alexander Fell, Mythri Alle, Keshavan Varadarajan, Prasenjit Biswas, Saptarsi Das, Jugantor Chetia, S. K. Nandy 0001, Ranjani Narayan	Streaming FFT on REDEFINE-v2: an application-architecture design space exploration.	CASES	2009	DBLP DOI BibTeX RDF	application synthesis, custom instruction extension, dataflow software pipeline, honeycomb, polymorphic asic, runtime reconfiguration, router, NOC
13	Alexander Rasmussen, Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi	Improving the responsiveness of internet services with automatic cache placement.	EuroSys	2009	DBLP DOI BibTeX RDF	simulation, optimization, caching, cloud computing, internet services, dataflow model
13	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
13	Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis	Efficient Intensional Implementation for Lazy Functional Languages.	Math. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Implementation of functional languages, dataflow computation, intensional logic
13	Sébastien Labbé 0002, Jean-Pierre Gallois	Slicing communicating automata specifications: polynomial algorithms for model reduction.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Communicating automata, Specifications, Static analysis, Slicing, Dataflow analysis, Model reduction, Polynomial algorithms
13	Michael Furr, Jeffrey S. Foster	Checking type safety of foreign function calls.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface
13	George Giorgidze, Henrik Nilsson	Switched-On Yampa.	PADL	2008	DBLP DOI BibTeX RDF	synchronous dataflow languages, hybrid systems, computer music, Functional Reactive Programming
13	Stephen Neuendorffer, Kees A. Vissers	Streaming Systems in FPGAs.	SAMOS	2008	DBLP DOI BibTeX RDF	digital convergence, FPGAs, dataflow
13	Calin Glitia, Pierre Boulet	High Level Loop Transformations for Systematic Signal Processing Embedded Applications.	SAMOS	2008	DBLP DOI BibTeX RDF	Multidimensional Dataflow, optimizations, loop transformations
13	Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony	WOOL: A Workflow Programming Language.	eScience	2008	DBLP DOI BibTeX RDF	workflow, programming languages, dataflow
13	Thomas D. LaToza	Answering control flow questions about code.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	empirical study, program comprehension, dataflow analysis
13	Greta Yorsh, Eran Yahav, Satish Chandra 0001	Generating precise and concise procedure summaries.	POPL	2008	DBLP DOI BibTeX RDF	micro-transformers, relational analysis, symbolic summary, typestate verification, composition, summarization, aliasing, dataflow analysis
13	Christopher Olston, Benjamin C. Reed, Utkarsh Srivastava, Ravi Kumar 0001, Andrew Tomkins	Pig latin: a not-so-foreign language for data processing.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	pig latin, dataflow language
13	Bruno Dufour, Barbara G. Ryder, Gary Sevitsky	A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	framework-intensive applications, Java, performance, program understanding, dataflow analysis, escape analysis
13	Jeffrey R. Diamond, Behnam Robatmili, Stephen W. Keckler, Robert A. van de Geijn, Kazushige Goto, Doug Burger	High performance dense linear algebra on a spatially distributed processor.	PPoPP	2008	DBLP DOI BibTeX RDF	gotoblas, grid processors, hybrid dataflow, matrix multiply, tile based architecture, instruction level parallelism, on-chip networks, dense linear algebra
13	Jun-Hee Mun, Shung Han Cho, Sangjin Hong	Flexible Controller Design and Its Application for Concurrent Execution of Buffer Centric Dataflows.	J. VLSI Signal Process.	2007	DBLP DOI BibTeX RDF	flexible controller design, buffer centric dataflow, reconfigurable architecture
13	Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof	Termination analysis of logic programs through combination of type-based norms.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	program analysis, Abstract interpretation, dataflow analysis, termination analysis, global analysis, groundness analysis
13	Carsten Gremzow	Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design.	SCSC	2007	DBLP BibTeX RDF	hardware/software co-synthesis, instruction set architecture simulation, quantitative dataflow analysis, profiling, coarse-grained parallelism, LLVM
13	Seung Chan Lim, Sandi Lowe, Jeremy Koempel	Application of Visual Programming to Web Mash Up Development.	HCI (1)	2007	DBLP DOI BibTeX RDF	Rapid Prototyping, Visual Programming, End-User Programming, JavaScript, Dataflow Architecture
13	Subhajit Roy 0001, Y. N. Srikant	Partial Flow Sensitivity.	HiPC	2007	DBLP DOI BibTeX RDF	compilers, compiler optimizations, dataflow analysis, points-to analysis
13	Emiliano Dolif, Michele Lombardi 0001, Martino Ruggiero, Michela Milano, Luca Benini	Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip.	EMSOFT	2007	DBLP DOI BibTeX RDF	multimedia dataflow streaming, scheduling, allocation
13	Bruno Dufour, Barbara G. Ryder, Gary Sevitsky	Blended analysis for performance understanding of framework-based applications.	ISSTA	2007	DBLP DOI BibTeX RDF	framework-intensive applications, program understandingperfor-mance, java, dataflow analysis, escape analysis
13	Asad Awan, Suresh Jagannathan, Ananth Grama	Macroprogramming heterogeneous sensor networks using cosmos.	EuroSys	2007	DBLP DOI BibTeX RDF	wireless sensor networks, heterogeneous networks, dataflow, macroprogramming