Search results for "flow"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Hitomi Tamura, Kenji Kawahara, Yuji Oie	Performance Analysis of Flow Loss Probability and Link Utilization in MPLS Networks for Traffic Engineering.	ASIAN	2002	DBLP DOI BibTeX RDF	M/M/c/c queueing system, flow loss probability, performance analysis, Traffic Engineering, MPLS, link utilization
18	Fayez Chayab, Lev Kirischian, Lucas Szajek	Architecture-to-Task Optimization System (ATOS) for Parallel Multi-Mode Data-Flow Architectures on a Base of a Partially Reconfigurable Computing Platform.	PARELEC	2002	DBLP DOI BibTeX RDF	data-flow applications, optimization, FPGA, Parallel architecture, DFG, partial reconfiguration, automated synthesis
18	Keiji Izaki, Katsuya Tanaka, Makoto Takizawa 0001	Timed Information Flow among Objects Based on Role Concept.	WORDS	2002	DBLP DOI BibTeX RDF	Informaiton flow control, Security, Access control
18	Willy Dörfler, Oleg Iliev, Dimitar Stoyanov, Daniela Vassileva	On a Multigrid Adaptive Refinement Solver for Saturated Non-Newtonian Flow in Porous Media.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF	nonlinear multigrid, non-Newtonian flow in porous media, adaptive refinement
18	Darren C. Atkinson, William G. Griswold	Implementation Techniques for Efficient Data-Flow Analysis of Large Programs.	ICSM	2001	DBLP DOI BibTeX RDF	program understanding, program slicing, data-flow analysis
18	Silvio P. Sabatini, Paolo Cavalleri, Fabio Solari, Giacomo M. Bisio	Recovering 3-D Egomotion Parameters from Optic Flow: From Structural Principles to Analog Architectures.	CAMP	2000	DBLP DOI BibTeX RDF	egomotion parameters, heading direction, undulatory spatiotemporal patterns, retinal reference frame, image sequences, optic flow, differential analysis
18	Sheau-Ru Tong, Sho-Chi Lee	An Efficient Flow Control Plan for End-to-End Delivery of Pre-Stored Compressed Videos.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF	variable-bit-rate traffic transmission, Video-on-demand, buffer management, flow control, Traffic smoothing
18	Andrew K. Wright, Suresh Jagannathan	Polymorphic Splitting: An Effective Polyvariant Flow Analysis.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	polyvariance, flow analysis, inlining, run-time checks
18	Jens Palsberg	Equality-based flow analysis versus recursive types.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	type systems, flow analysis
18	Christophe P. Bernard	Discrete Wavelet Analysis: A New Framework for Fast Optic Flow Computation.	ECCV (2)	1998	DBLP DOI BibTeX RDF	Analytic wavelets, Discrete wavelets, Optic flow, Image compression, Illumination
18	Riccardo Focardi, Roberto Gorrieri	The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Tools and techniques, network protocol verification, access controls, program verification, information flow controls
18	Hiroki Nogawa, Yoshikazu Nakajima, Yoshinobu Sato, Shinichi Tamura	Acquisition of Symbolic Description from Flow Fields: A New Approach Based on a Fluid Model.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	Rankine's vortex, fluid model, physics-based vision, flow field, Symbolic description
18	Joseph Weber, Jitendra Malik	Rigid Body Segmentation and Shape Description from Dense Optical Flow Under Weak Perspective.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	scene partitioning problem, Optical flow, motion segmentation, fundamental matrix, epipolar constraint, shape from motion
18	Jonathan W. Brandt	Improved Accuracy in Gradient-Based Optical Flow Estimation.	Int. J. Comput. Vis.	1997	DBLP DOI BibTeX RDF	optical flow
18	Gabriella Convertino, Ettore Stella, Antonella Branca, Arcangelo Distante	Optic flow estimation by a Hopfield neural network using geometrical constraints.	Mach. Vis. Appl.	1997	DBLP DOI BibTeX RDF	Trajectory geometric constraints, Optical flow, Hopfield neural network, Features Matching
18	Wim C. de Leeuw, Robert van Liere	Spotting Structure in Complex Time Dependent Flow.	Scientific Visualization	1997	DBLP DOI BibTeX RDF	interactive scientific visualization, climate modeling, high performance computing, flow visualization, direct numerical simulation
18	José Santos-Victor, Giulio Sandini	Uncalibrated obstacle detection using normal flow.	Mach. Vis. Appl.	1996	DBLP DOI BibTeX RDF	Affine motion, Mobile robots, Robot vision, Obstacle detection, Normal flow
18	Yannis A. Korilis, Aurel A. Lazar	On the Existence of Equilibria in Noncooperative Optimal Flow Control.	J. ACM	1995	DBLP DOI BibTeX RDF	game theory, flow control, fixed points, Nash equilibria
18	Nuno Vasconcelos, Andrew Lippman	Spatiotemporal model-based optic flow estimation.	ICIP	1995	DBLP DOI BibTeX RDF	spatiotemporal model based estimation, spatiotemporal model based algorithm, spatiotemporal motion model, quadratic constraint, affine constraint, space constraint, delayed decision process, classification, motion estimation, delays, interpolation, interpolation, data compression, image sequences, parameter estimation, video coding, video stream, image classification, time constraint, video compression, least squares approximations, correlation methods, temporal coherence, least squares fit, video frames, image correlation, optic flow estimation, interactive access
18	Greg Abram, Lloyd Treinish	An Extended Data-Flow Architecture for Data Analysis and Visualization.	IEEE Visualization	1995	DBLP DOI BibTeX RDF	visual programming, data-flow, visualization systems, graph analysis
18	Barry G. Becker, Nelson L. Max, David A. Lane	Unsteady Flow Volumes.	IEEE Visualization	1995	DBLP DOI BibTeX RDF	unsteady, streakline, visualization, flow, vector field
18	Yatin Vasant Hoskote, Dinos Moundanos, Jacob A. Abraham	Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors.	ICCD	1995	DBLP DOI BibTeX RDF	control flow machine, verification vectors, formal verification, logic testing, digital simulation, circuit analysis computing, design verification, functional specification
18	Andreas Brandt 0001, Manfred Brandt	On the distribution of the number of packets in the fluid flow approximation of packet arrival streams.	Queueing Syst. Theory Appl.	1994	DBLP DOI BibTeX RDF	Fluid flow approximation, Markov modulated rate processes, counting process, asymptotical normality, complex integration, numerical integration, bursty traffic, superposition
18	Atul K. Chhabra, Timothy A. Grogan	On Poisson Solvers and Semi-Direct Methods for Computing Area Based Optical Flow.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	semi-direct methods, area based optical flow, iterative application, Dirichlet boundary conditions, velocity vectors, image sequences, convergence, iterative methods, smoothness, convergence of numerical methods, Poisson solvers
18	Thomas Ball	What's In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow.	LOPLAS	1993	DBLP DOI BibTeX RDF	regions, control-flow graph, control dependence
18	Masanobu Yamamoto, Pierre Boulanger, J.-Angelo Beraldin, Marc Rioux	Direct Estimation of Range Flow on Deformable Shape From a Video Rate Range Camera.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	deformable shape range flow estimation, video rate range camera, space displacement vector field, motion constraints, intensity image sequences, motion estimation, motion estimation, image sequences, parameter estimation, parameter estimation, linear equations, video cameras
18	Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs	Data-Flow Synchronous Languages.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	synchrony vs. asynchrony, real-time, concurrency, data-flow, reactive
18	Yves Dallery, Stanley B. Gershwin	Manufacturing flow line systems: a review of models and analytical results.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	Manufacturing flow line systems, modelling, performance, evaluation, failures, blocking, analytical methods, approximate analysis, exact analysis
18	Gem-Sun Jason Young, Rama Chellappa	Statistical Analysis of Inherent Ambiguities in Recovering 3-D Motion from a Noisy Flow Field.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	inherent ambiguities, optical flow field, Cramer-Rao lower bound, image processing, image processing, statistical analysis, statistical model, optical information processing, field of view, feature points, surface orientation, aperture, 3D motion recovery
18	M. A. Snyder	On the Mathematical Foundations of Smoothness Constraints for the Determination of Optical Flow and for Surface Reconstruction.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	gradient-based methods, minimization technique, grey-level image intensity function, Cartesian coordinate system, weight matrix, computer vision, computer vision, optical flow, surface reconstruction, minimisation, smoothness constraints, positive definite
18	Gilad Adiv	Inherent Ambiguities in Recovering 3-D Motion and Structure from a Noisy Flow Field.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	optical flow information, computer vision, computer vision, parameter estimation, dynamic scene analysis, structure recovery, 3D motion recovery
18	Brian G. Schunck	Image Flow Segmentation and Estimation by Constraint Line Clustering.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	line clustering, image flow velocity field, smoothing algorithm, pattern recognition, segmentation, statistical analysis, computerised picture processing, computerised picture processing, computerised pattern recognition, surface reconstruction, statistical test
18	V. Ashok, Roger L. Costello, P. Sadayappan	Modeling switch-level simulation using data flow.	DAC	1985	DBLP DOI BibTeX RDF	data-driven computation, switch-level simulation, distributed processing, data-flow
18	Richard P. Reitman, Gregory R. Andrews	Certifying Information Flow Properties of Programs: An Axiomatic Approach.	POPL	1979	DBLP DOI BibTeX RDF	policy certification, concurrency, synchronization, computer security, information flow, proof rules, program validation
18	Thara Nallamothu, Maurice Pradella, Michael Markl 0001, Philip Greenland, Rod S. Passman, Mohammed S. M. ElBaz	Robust and fast stochastic 4D flow vector-field signature technique for quantifying composite flow dynamics from 4D flow MRI: Application to left atrial flow in atrial fibrillation.	Medical Image Anal.	2024	DBLP DOI BibTeX RDF
18	Zhiwei Wei, Su Ding, Yang Wang, Yuanben Zhang, Wenjia Xu	From river flow to spatial flow: flow map via river flow directions assignment algorithm.	CoRR	2021	DBLP BibTeX RDF
18	Carsten Thomassen	Group flow, complex flow, unit vector flow, and the (2+ε)-flow conjecture.	J. Comb. Theory, Ser. B	2014	DBLP DOI BibTeX RDF
18	Chen-Ling Chou, Anca M. Miron, Radu Marculescu	Find your flow: increasing flow experience by designing "human" embedded systems.	DAC	2010	DBLP DOI BibTeX RDF	flow experience, embedded systems, user satisfaction
18	Hugo Franco, Álvaro Perea, Eduardo Romero 0001, Daniel Rodríguez	Fluid Flow Measurement in Thermographic Video Sequences by Wavelet-Multiresolution Optical Flow Estimation.	ACIVS	2008	DBLP DOI BibTeX RDF	Connection Coefficients, Termographic Video, Optical Flow
18	Saeed Alaei, Ravi Kumar 0001, Azarakhsh Malekian, Erik Vee	Balanced allocation with succinct representation.	KDD	2010	DBLP DOI BibTeX RDF	balanced allocation, convex flow, maximum flow
18	Jeong-Mo Hong, Tamar Shinar, Myungjoo Kang, Ronald Fedkiw	On Boundary Condition Capturing for Multiphase Interfaces.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	Multiphase flow, interfaces, two-phase flow
18	Bin Xin 0001, Xiangyu Zhang 0001	Efficient online detection of dynamic control dependence.	ISSTA	2007	DBLP DOI BibTeX RDF	dynamic control dependence, dynamic information flow, dynamic post-dominance, irregular control flow, dynamic program slicing
18	Pascal Fallavollita, Farida Cheriet	Robust Coronary Artery Tracking from Fluoroscopic Image Sequences.	ICIAR	2007	DBLP DOI BibTeX RDF	Coronary Artery Tracking, Pyramidal Optical Flow, Image Segmentation, Gradient Vector Flow
18	Yulong Xing, Chi-Wang Shu	High-Order Well-Balanced Finite Difference WENO Schemes for a Class of Hyperbolic Systems with Source Terms.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	Hyperbolic balance laws, source term, elastic wave equation, chemosensitive movement, nozzle flow, conservation laws, shallow water equation, two phase flow, high-order accuracy, WENO scheme
18	Mohamed Maiza, Hamid Hentous, Abdenour Labed	An Efficient Heuristic for Scheduling a Flowshop to Minimize the Makespan Criterion.	ISCC	2006	DBLP DOI BibTeX RDF	extended flow, Scheduling, Branch and bound, marking, flow-shop
18	Mihai Budiu, Úlfar Erlingsson, Martín Abadi	Architectural support for software-based protection.	ASID	2006	DBLP DOI BibTeX RDF	control-flow integrity, software fault isolation, security, control-flow graph, hardware support, memory protection, binary rewriting
18	Ashraf Uddin Ahmed, S. Sakashita, Zixue Cheng, Senro Saito	Quality of Service for the Zone on the Internet.	ICOIN	2004	DBLP DOI BibTeX RDF	Ryuki, Autonomous Systems (AS), Packet Flow, Quality of Service (QoS), Traffic Monitoring, Flow Modeling
18	Chen-Nee Chuah, Lakshminarayanan Subramanian, Randy H. Katz	DCAP: detecting misbehaving flows via collaborative aggregate policing.	Comput. Commun. Rev.	2003	DBLP DOI BibTeX RDF	flow-level accounting, misbehaving flow detection, traffic policing
18	Martina Marré, Antonia Bertolino	Using Spanning Sets for Coverage Testing.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	ddgraph, spanning sets, data flow, Control flow, subsumption, coverage criteria
18	Boris I. Cogan, Elena A. Shalfeeva	A Generalized Structural Model of Structured Programs for Software Metrics Definition.	Softw. Qual. J.	2002	DBLP DOI BibTeX RDF	language-oriented approach, measuring language model, measuring program model, structural program model, program unit model, information flow graph, software metric, Software measurement, software model, structured program, control flow graph
18	Thomas Fahringer, Bernhard Scholz	A Unified Symbolic Evaluation Framework for Parallelizing Compilers.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	program context, data-flow and control-flow analysis, symbolic dependence testing, compiler optimizations, parallelizing compilers, parallel systems, Symbolic analysis, symbolic evaluation
18	Saurabh Sinha, Mary Jean Harrold	Analysis and Testing of Programs with Exception Handling Constructs.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	control dependence analysis, Exception handling, program slicing, data flow analysis, structural testing, control flow analysis
18	Ilia Bider, Maxim Khomyakov	Is It Possible to Make Workflow Management Systems Flexible? Dynamical Systems Approach to Business Processes.	CRIWG	2000	DBLP DOI BibTeX RDF	dynamical systems approach, WFMS, flow of work, office processes, state flow, state-oriented presentation, flexibility problem, valid state, business processes, workflow management systems, workflow management software, execution control
18	Jon M. Kleinberg, Yuval Rabani, Éva Tardos	Fairness in Routing and Load Balancing.	FOCS	1999	DBLP DOI BibTeX RDF	load balancing, Network routing, bandwidth allocation, maximum flow, max-min fairness, unsplittable flow
18	Gab Joong Jeong, Kyoung Hwan Kwon, Moon Key Lee, Seung Han An	A Scalable Memory System Design.	VLSI Design	1997	DBLP DOI BibTeX RDF	scalable memory system, pipeline technique, systolic data flow, sub-memory blocks, partial binary tree structure, multidirectional data flow, chip size, 4 kbit, 0.8 micron, 5.1 ns, 3.5 mm, throughput, latency, memory architecture, memory architecture, CMOS technology, communication channel, access time, operating speed, clock speed
18	Miroslav Svéda	Embedded system design: a case study.	ECBS	1996	DBLP DOI BibTeX RDF	pumps, embedded distributed systems, dispenser control, local time concept, system-wide global clock, environment specification, system functional specification, logical structure description, petrol pumping station, explosion danger, uncontrolled petrol flow, real-time systems, formal specification, prototyping, distributed processing, controller, implementation, systems analysis, synchronisation, flow control, safety critical system, clocks, distributed control, software prototyping, safety-critical software, embedded system design, counter, control system CAD
18	Panayotis Skordos	Parallel Simulation of Subsonic Fluid Dynamics on a Cluster of Workstations.	HPDC	1995	DBLP DOI BibTeX RDF	subsonic flow, subsonic fluid dynamics, local-interaction methods, coarse-grain decompositions, HP-Apollo workstations, explicit finite differences, digital simulation, parallel simulation, workstations, physics computing, cluster of workstations, fluid dynamics, lattice Boltzmann method, flow simulation
18	Mary Jean Harrold, Brian A. Malloy	A Unified Interprocedural Program Representation for a Maintenance Environment.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	unified interprocedural graph, unified interprocedural program representation, software maintenance, software maintenance, program understanding, data dependence, programming theory, data flow, edges, control flow, nodes, control dependence, access time, storage space
18	Zhenyu Wu, Richard M. Leahy	An Optimal Graph Theoretic Approach to Data Clustering: Theory and Its Application to Image Segmentation.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	optimal graph theoretic approach, undirected adjacency graph, arc capacities, mutually exclusive subgraphs, largest inter-subgraph maximum flow minimization, flow and cut equivalent tree partitioning, subgraph condensation, partially equivalent tree, region boundary location, closed edge contours, pattern recognition, image segmentation, image segmentation, graph theory, data clustering, minimax techniques
18	Chii-Ren Tsai, Virgil D. Gligor, C. Sekar Chandersekaran	On the Identification of Covert Storage Channels in Secure Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	covert storage channels, Secure Xenix kernel, visible/alterable kernel variables, language code, sharing relationships, nondiscretionary access rules, false flow violations, kernel locations, audit code, time-delay variables, covert-channel handling, software engineering, identification, security of data, source code, operating systems (computers), secure systems, information-flow analysis, implementation languages
18	Jean-Luc Gaudiot, Andrew Sohn	Data-Driven Parallel Production Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	parallel production systems, data-flow principles, high programmability, data-driven principles, RETE match algorithm, actor set, program graph design, tagged data-flow computer, deterministic simulation, artificial intelligence production systems, parallel programming, parallel architectures, expert systems, symbolic computations, symbol manipulation, multiprocessor architecture, numerical computations, multiprocessor environment, data-driven architectures
18	Tadao Murata, Boris Shenker, Sol M. Shatz	Detection of Ada Static Deadlocks Using Petri Net Invariants.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow
18	Stephen S. Yau, Robin A. Nicholl, Jeffrey J. P. Tsai, Sying-Syang Liu	An Integrated Life-Cycle Model for Software Maintenance.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	integrated life-cycle model, graph rewriting rules, data structure, data structures, graph theory, graph theory, software maintenance, software tools, software tools, programming environments, programming environments, software reliability, data flow, control flow, software life cycle, semantic properties
18	Karl J. Ottenstein, Linda M. Ottenstein	The Program Dependence Graph in a Software Development Environment.	Software Development Environments (SDE)	1984	DBLP DOI BibTeX RDF	Internal program representation, Debugging, Interpreter, Program slice, Data flow, Control flow, Code optimization, Software complexity metrics
18	Orlando Moreira, Twan Basten, Marc Geilen, Sander Stuijk	Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	single-rate data flow, homogeneous synchronous data flow, buffer minimization, Scheduling, throughput optimization
18	Liang Xu, Yuanyuan Sun	Research on the Knowledge Flow in Supply Chain Based on the Core Enterprise.	IITSI	2010	DBLP DOI BibTeX RDF	core enterprise, supply chain, work flow, knowledge flow
18	Michael T. Todinov	A Discrete-Event Solver for Repairable Flow Networks with Complex Topology.	CICSyN	2010	DBLP DOI BibTeX RDF	repairable flow networks, overlapping failures, maximising flow, component, discrete-event simulator
18	Ravindra K. Ahuja, Thomas L. Magnanti, James B. Orlin	Maximum Flow Problem.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Minimum cut problem, Augmenting path algorithm, Preflow-push algorithm, Max-flow min-cut theorem, Network, Maximum flow problem
18	Ali Jafari, Hosein Shafiei, Baharan Mirzasoleiman, Ghodrat Sepidnam	Utility Proportional Optimization Flow Control for Overlay Multicast.	ISPA	2009	DBLP DOI BibTeX RDF	Optimization Flow Control, Utility Proportional Flow Control, Duality Theorem, Resource Allocation, Overlay Multicast, Iterative Algorithm
18	Yingying Su, Wanshan Wang, Jianrong Wang, Shuang Liang, Junming Hou	Flow Management of Process Planning Based on Workflow.	PACIIA (2)	2008	DBLP DOI BibTeX RDF	Fuzzy timed Petri nets, Workflow, Flow modeling, Flow management
18	Shih-Chien Chou	Information Flow Control among Objects: Taking Foreign Objects into Control.	HICSS	2003	DBLP DOI BibTeX RDF	security, Information flow, information flow control
18	Frank Thomson Leighton, Satish Rao	Multicommodity max-flow min-cut theorems and their use in designing approximation algorithms.	J. ACM	1999	DBLP DOI BibTeX RDF	muticommocity flow, routing, approximation algorithms, graph partitioning, divide and conquer, VLSI layout, maximum flow, minimum cut, graph bisection
18	Jon M. Kleinberg	Single-Source Unsplittable Flow.	FOCS	1996	DBLP DOI BibTeX RDF	max-flow min-cut, scheduling, load balancing, generalization, NP-hard, unsplittable flow, machine scheduling, capacity constraints
18	Michael A. Schuette, John Paul Shen	Exploiting Instruction-Level Parallelism for Integrated Control-Flow Monitoring.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	control-flow monitoring, machine parallelism, idle resources, Multiflow TRACE 14/300 processor, TRACE 14/300, available resource-driven control-flow monitoring, parallel architectures, fault tolerant computing, error detection, instruction-level parallelism, concurrent error detection
18	Antonia Bertolino, Martina Marré	Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program branch testing, program flowgraph, program inputs, ddgraph, graph theoretic principles, arc trees, unconstrained arcs, implied tree, recursive iteration, software analysis tool, automated testing tool, software tools, program testing, flexibility, trees (mathematics), dominance, program diagnostics, control flow analysis, simplicity, implication, program control structures, flow graphs, dominator tree, selection strategy, infeasible paths, software testing tool, path covers
18	Baruch Awerbuch, Frank Thomson Leighton	A Simple Local-Control Approximation Algorithm for Multicommodity Flow	FOCS	1993	DBLP DOI BibTeX RDF	DIMACS generator, local-control approximation algorithm, polynomial time flow algorithms, centralized decision making, distributed network, multicommodity flow
18	Harold N. Gabow	A Framework for Cost-scaling Algorithms for Submodular Flow Problems	FOCS	1993	DBLP DOI BibTeX RDF	cost-scaling algorithms, submodular flow problems, dijoin, edge-connectivity orientation, k-edge-connected orientation, minimum-cost k-edge-connected orientation, integer linear programming, vertices, vertex weights, minimum-cost network flow
18	Tomasz Radzik	Faster Algorithms for the Generalized Network Flow Problem	FOCS	1993	DBLP DOI BibTeX RDF	faster algorithms, generalized network flow problem, gain factors, approximate generalized flow problem, linear programming, capacities, approximation scheme
18	Bruno Codenotti, Roberto Tamassia	A Network Flow Approach to the Reconfiguration of VLSI Arrays.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	network flow approach, VLSI arrays, faulty cells, network flow model, functional cells, fault-free array, Manhattan model, VLSI, reconfiguration, systolic arrays, fault location
18	Philip N. Klein, Ajit Agrawal, R. Ravi 0001, Satish Rao	Approximation through Multicommodity Flow	FOCS	1990	DBLP DOI BibTeX RDF	minimum deletion, max-flow-min-cut theorem, approximation algorithms, multicommodity flow
18	Joseph Cheriyan, Torben Hagerup	A Randomized Maximum-Flow Algorithm	FOCS	1989	DBLP DOI BibTeX RDF	dynamic trees data structure, randomized maximum-flow algorithm, prudent linking excess diminishing, negligible probability, maximum flow excess, PLED algorithm, parameter, worst case, vertex
18	Yi-Hsiu Wei, Jean-Luc Gaudiot	Demand-Driven Interpretation of FP Programs on a Data-Flow Multiprocessor.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	data-flow multiprocessor, demand-driven evaluation system, list-structure language systems, functional language FP, lazy programs, DFP, demand-driven FP, FP-DFP transformation rules, partial-function-value evaluation, run-time interpretation, parallel programming, graph theory, multiprocessing systems, data-flow graphs, program interpreters
18	Beverly A. Sanders	An Asynchronous, Distributed Flow Control Algorithm for Rate Allocation in Computer Networks.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	asynchronous flow control, distributed flow control algorithm, virtual circuit routing, gradient hill-climbing algorithm, control packets, optimization, distributed processing, computer networks, computer networks, rate allocation
18	Lalit M. Patnaik, R. Govindarajan, N. S. Ramadoss	Design and Performance Evaluation of EXMAN: An EXtended MANchester Data Flow Computer.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	Computer graphics algorithms, Manchester data: flow computer, performance evaluation, discrete event simulation, data flow computers
18	Ashok K. Agrawala, Edward G. Coffman Jr., M. R. Garey, Satish K. Tripathi	A Stochastic Optimization Algorithm Minimizing Expected Flow Times on Uniform Processors.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	uniform processor systems, Consider a set of processors P1, ..., Pm differing only in speed and a set of jobs with exponentially distributed execution times, The rate parameter for the ith processor is given by ?i, 1 =i = m, where we assume the processors are ordered so that ?1 = ?2 = ... = ?m. The problem is to sequence the jobs nonpreemptively so as to minimize expected total flow time (sum of finishing times). We defin, Mean flow time minimization, stochastic optimization, stochastic scheduling, routing problems
18	Wesley W. Chu, Michael Yih-Chung Shen	Hierarchical Routing and Flow Control Policy (HRFC) for Packet Switched Networks.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	hierarchical routing and flow control policy, HRFC, primary route, routing, computer network, flow control, packet switched network, distributed routing, Alternative route
17	Anand Ranganathan, Anton Riabov, Octavian Udrea	Mashup-based information retrieval for domain experts.	CIKM	2009	DBLP DOI BibTeX RDF	planning, composition, patterns, tags, flows
17	Derek L. Schuff, Yung Ryn Choe, Vijay S. Pai	Conservative vs. Optimistic Parallelization of Stateful Network Intrusion Detection.	ISPASS	2008	DBLP DOI BibTeX RDF
17	Yu Wang 0017, Shun-Zheng Yu	Move Statistics-Based Traffic Classifiers Online.	CSSE (4)	2008	DBLP DOI BibTeX RDF
17	Claudia Kondermann, Rudolf Mester, Christoph S. Garbe	A Statistical Confidence Measure for Optical Flows.	ECCV (3)	2008	DBLP DOI BibTeX RDF
17	Alexander Hall, Katharina Langkau, Martin Skutella	An FPTAS for Quickest Multicommodity Flows with Inflow-Dependent Transit Times.	Algorithmica	2007	DBLP DOI BibTeX RDF
17	Ganesh Sundaramoorthi, Anthony J. Yezzi	Global Regularizing Flows With Topology Preservation for Active Contours and Polygons.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
17	Leslie J. Flemming, Stephen A. Mascaro	Control of a Scalable Matrix Vasoconstrictor Device for Wet Actuator Arrays.	ICRA	2007	DBLP DOI BibTeX RDF
17	Chaitanya Swamy	The effectiveness of Stackelberg strategies and tolls for network congestion games.	SODA	2007	DBLP BibTeX RDF
17	Hassen Saïdi	Guarded models for intrusion detection.	PLAS	2007	DBLP DOI BibTeX RDF	intrusion detection, static analysis, dynamic analysis, invariant generation
17	Jorge Arturo Cobb, Zhe Xu 0001	Work-Conserving Fair-Aggregation Across Multiple Core Networks.	ICCCN	2007	DBLP DOI BibTeX RDF
17	WenAn Tan, Song Li, Weiming Shen 0001	A Dynamic Evaluation Methodology for Enterprise Business Process.	CSCWD	2006	DBLP DOI BibTeX RDF
17	WenAn Tan, Anqiong Tang, Weiming Shen 0001	A Simulation-Based Process Evaluation Approach to Enterprise Business Process Intelligence.	ICIC (1)	2006	DBLP DOI BibTeX RDF
17	Juan R. Cebral, Marcelo Adrián Castro, Sunil Appanaboyina, Christopher M. Putman, Daniel Millan, Alejandro F. Frangi	Efficient pipeline for image-based patient-specific analysis of cerebral aneurysm hemodynamics: technique and sensitivity.	IEEE Trans. Medical Imaging	2005	DBLP DOI BibTeX RDF
17	Leandros Tassiulas	Invited Talk III Summary: Coordination and Resilience in Wireless Ad Hoc and Sensor Networks.	WAC	2005	DBLP DOI BibTeX RDF