Search results for "flow"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Rajesh Ramadoss, Michael L. Bushnell	Test generation for mixed-signal devices using signal flow graphs.	VLSI Design	1996	DBLP DOI BibTeX RDF	mixed-signal devices, reverse simulation approach, component tolerances, analog input sinusoids, test generation results, analog backtrace method, high-order analog circuits, fault diagnosis, test generation, integrated circuit testing, automatic testing, circuit analysis computing, mixed analogue-digital integrated circuits, signal flow graphs, signal flow graphs, nonlinear circuits
20	Lisa K. Forssell, Scott D. Cohen	Using Line Integral Convolution for Flow Visualization: Curvilinear Grids, Variable-Speed Animation, and Unsteady Flows.	IEEE Trans. Vis. Comput. Graph.	1995	DBLP DOI BibTeX RDF	flow animation, Flow visualization, vector field visualization, line integral convolution, curvilinear grids, unsteady flows
20	Ken Kennedy, Nenad Nedeljkovic	Combining dependence and data-flow analyses to optimize communication.	IPPS	1995	DBLP DOI BibTeX RDF	data-flow analyses, regular communication, data-flow analysis method, overlapping communication, performance, compilers, dependence, program compilers, distributed memory systems, parallel languages, communication overhead, communication optimizations, distributed-memory machines, data-parallel languages
20	Jayesh Siddhiwala, Liang-Fang Chao	Scheduling conditional data-flow graphs with resource sharing.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	conditional data-flow graphs, resource sharing algorithm, pipeline scheduling algorithms, loop constructs, condition vector, dynamic resource sharing, rotation scheduling technique, parallel algorithms, data structures, data structure, resource allocation, high level synthesis, high level synthesis, processor scheduling, pipeline processing, data flow graphs, loop pipelining, conditional branches
20	Rajiv Gupta 0001, Mary Lou Soffa	Priority based data flow testing.	ICSM	1995	DBLP DOI BibTeX RDF	priority based data flow testing, def-use pairs, program change, software testing, software maintenance, software maintenance, software development, statistical analysis, program testing, regression testing, data flow analysis, error, test case generation, program diagnostics
20	Prathima Agrawal, Antony Ng	Computing Network Flow on a Multiple Processor Pipeline.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	multiple processor pipeline, Goldberg-Tarjan algorithm, network graph, six processors, distributed algorithms, graph theory, network flow, pipeline processing, parallel implementations, performance estimates, maximum flow, partitioned algorithm, message-passing multicomputer
20	Elaine J. Weyuker	More Experience with Data Flow Testing.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	Rapps-Weyuker data flow testing criteria, tester variability, cost assessment, data adequacy, software testing, fault detection, program testing, software cost estimation, data flow testing, numerical programs
20	Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel	Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	data-flow language LUSTRE, synchronous data-flow language, critical real-time systems, ergonomy, dataflow approach, traditional description tools, verification tool LESAR, critical properties, real-time systems, parallel programming, program verification, program verification, parallel languages, verification methods, formal design
20	Elaine J. Weyuker	The Cost of Data Flow Testing: An Empirical Study.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	test data adequacy criteria, data-flow information, theoretical complexity analysis, software testing criteria, parallel programming, empirical study, program testing, cost, data flow testing
20	Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil	A Formal Evaluation of Data Flow Path Selection Criteria.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	formal evaluation, data flow path selection criteria, data-flow relationships, subsumption hierarchy, syntactic information, infeasible-path problem, software engineering, flowcharting
20	Siriphong Lawphongpanich	Simplicial Decomposition.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Carathéodory theorem, first order Taylor series expansion, Frank-Wolfe algorithm, Inner linearization, Master problem, Node-arc incidence matrix, Nonlinear dynamic network flow problem, Nonlinear multicommodity flow problems, Nonlinear single commodity network flow problem, Polyhedral set, Positive definite matrix, Pseudoconvexity, P-simplex, regularized Frank-Wolfe algorithm, Regularized subproblem, Restricted simplicial decomposition, Simplicial decomposition, Subproblem, Superlinear convergent rate, Traffic assignment problem, Side constraints, Linear program, Rank, Globally optimal, Convex hull, Nonlinear programming, Nonlinear program, Dimension, Column generation, Shortest path problem, Polyhedron, Restriction, Simplex algorithm, Extreme point, Dantzig-Wolfe decomposition, Convex combinations
20	Guy Even, Joseph Naor, Leonid Zosin	An 8-Approximation Algorithm for the Subset Feedback Vertex Set Problem.	FOCS	1996	DBLP DOI BibTeX RDF	8-approximation algorithm, subset feedback vertex set problem, minimum weight, special vertices, logarithmic approximation factor, relaxed multi-commodity flow, multi-terminal flow, computational complexity, NP-Complete problems, undirected graph, multi-commodity flow, vertex weights
20	Pravin M. Vaidya	Speeding-Up Linear Programming Using Fast Matrix Multiplication (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	flow with losses, linear programming, time complexity, multicommodity flow, minimum-cost flow, fast matrix multiplication
19	Martin Hoefer 0001, Lars Olbrich, Alexander Skopalik	Doing Good with Spam Is Hard.	SAGT	2009	DBLP DOI BibTeX RDF
19	Mehdi Mhalla, Simon Perdrix	Finding Optimal Flows Efficiently.	ICALP (1)	2008	DBLP DOI BibTeX RDF
19	Idris A. Rai, Guillaume Urvoy-Keller, Mary K. Vernon, Ernst W. Biersack	Performance analysis of LAS-based scheduling disciplines in a packet switched network.	SIGMETRICS	2004	DBLP DOI BibTeX RDF	FCFS and LAS models, LAS-based scheduling and models, simulations, scheduling, models validation, service differentiation
19	Laurent Perrussel, Pierre-Jean Charrel	Inconsistent Requirements: An Argumentation View.	ICTAI	2001	DBLP DOI BibTeX RDF	> Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
19	Bettina Klinz, Gerhard J. Woeginger	One, Two, Three, Many, or: Complexity Aspects of Dynamic Network Flows with Dedicated Arcs.	WG	1996	DBLP DOI BibTeX RDF
19	Cornelia Fermüller, Yiannis Aloimonos	Qualitative egomotion.	Int. J. Comput. Vis.	1995	DBLP DOI BibTeX RDF
19	Colin McDiarmid, Bruce A. Reed, Alexander Schrijver, F. Bruce Shepherd	Non-Interfering Network Flows.	SWAT	1992	DBLP DOI BibTeX RDF
19	Kelly I. Morrison	GRASP: an executable specification language for Ada tasking.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada, GRASP
19	Fernando Garcia Bermudez, Ronald S. Fearing	Optical flow on a flapping wing robot.	IROS	2009	DBLP DOI BibTeX RDF
19	Yusuke Kameda, Naoya Ohnishi, Atsushi Imiya, Tomoya Sakai 0002	Optical Flow Computation from an Asynchronised Multiresolution Image Sequence.	ISVC (1)	2009	DBLP DOI BibTeX RDF
19	Yang-Shan Tong, Chia-Wei Lin, Sao-Jie Chen	An automatic optical-simulation-based lithography hotspot fix flow for post-route optimization.	ISPD	2009	DBLP DOI BibTeX RDF	routing, opc, lithography, hotspot
19	Koji Kashu, Yusuke Kameda, Atsushi Imiya, Tomoya Sakai 0002, Yoshihiko Mochizuki	Computing the Local Continuity Order of Optical Flow Using Fractional Variational Method.	EMMCVPR	2009	DBLP DOI BibTeX RDF
19	Andreas Wedel, Annemarie Meißner, Clemens Rabe, Uwe Franke, Daniel Cremers	Detection and Segmentation of Independently Moving Objects from Dense Scene Flow.	EMMCVPR	2009	DBLP DOI BibTeX RDF
19	Wei-Chang Yeh	The Extension of Universal Generating Function Method to Search for All One-to-Many d -Minimal Paths of Acyclic Multi-State-Arc Flow-Conservation Networks.	IEEE Trans. Reliab.	2008	DBLP DOI BibTeX RDF
19	Miao Jin, Junho Kim, Feng Luo 0002, Xianfeng Gu	Discrete Surface Ricci Flow.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
19	Julien Lefèvre, Sylvain Baillet	Optical Flow and Advection on 2-Riemannian Manifolds: A Common Framework.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Hyperbolic equations, Approximation of surfaces and contours, Time-varying imagery, Global optimization, Finite element methods, Partial Differential Equations, Biology and genetics, Data and knowledge visualization, Feature extraction or construction, Elliptic equations
19	Tomoya Enokido, Makoto Takizawa 0001	Preventing Illegal Information Flow Based on Role-Based Access Control Model.	NBiS	2008	DBLP DOI BibTeX RDF
19	Maren Martens, S. Thomas McCormick	A Polynomial Algorithm for Weighted Abstract Flow.	IPCO	2008	DBLP DOI BibTeX RDF
19	Renjie Li, Songyu Yu	Confidence based optical flow algorithm for high reliability.	ICASSP	2008	DBLP DOI BibTeX RDF
19	Li Chen, Issei Fujishiro	Optimizing Parallel Performance of Streamline Visualization for Large Distributed Flow Datasets.	PacificVis	2008	DBLP DOI BibTeX RDF
19	Dave King 0002, Trent Jaeger, Somesh Jha, Sanjit A. Seshia	Effective blame for information-flow violations.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF
19	Frances Perry, David Walker	Reasoning about Control Flow in the Presence of Transient Faults.	SAS	2008	DBLP DOI BibTeX RDF
19	Kurt Schneider	Supporting Experience and Information Flow in Software Projects.	PROFES	2008	DBLP DOI BibTeX RDF
19	Jiaxiu Pan, Sanjuan Kang, Yujuan Liang, Yu Xue	Study Effects of Maximum Velocity and Delay Probability on Mixed Traffic Flow.	FSKD (3)	2008	DBLP DOI BibTeX RDF
19	Sándor P. Fekete, Alexander Hall, Ekkehard Köhler, Alexander Kröller	The Maximum Energy-Constrained Dynamic Flow Problem.	SWAT	2008	DBLP DOI BibTeX RDF
19	Zhanquan Sun, Yinglong Wang, Jingshan Pan	Short-term traffic flow forecasting based on clustering and feature selection.	IJCNN	2008	DBLP DOI BibTeX RDF
19	Baruch Awerbuch, Rohit Khandekar	Stateless Near Optimal Flow Control with Poly-logarithmic Convergence.	LATIN	2008	DBLP DOI BibTeX RDF
19	Yiwei Thomas Hou, Yi Shi 0001	Variable Bit Rate Flow Routing in Wireless Sensor Networks.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
19	Ta-Chung Tsai, Alejandro Russo, John Hughes 0001	A Library for Secure Multi-threaded Information Flow in Haskell.	CSF	2007	DBLP DOI BibTeX RDF
19	Lei Shi 0002, Gao Xia, Bin Liu 0001	Performance Guarantees for Flow-Mapping Parallel Packet Switch.	IPCCC	2007	DBLP DOI BibTeX RDF
19	Guang Cheng 0001, Yongning Tang, Wei Ding 0001	A Double-Sampling and Hold Based Approach for Accurate and Efficient Network Flow Monitoring.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Measurement, Internet Traffic, Sampling Methods
19	Yanxia Wu, Guochang Gu, Shaobin Huang, Jun Ni	Control Flow Checking Algorithm using Soft-based Intra-/Inter-block Assigned-Signature.	IMSCCS	2007	DBLP DOI BibTeX RDF
19	Pavan Balaji, Sitha Bhagvat, Dhabaleswar K. Panda 0001, Rajeev Thakur, William Gropp	Advanced Flow-control Mechanisms for the Sockets Direct Protocol over InfiniBand.	ICPP	2007	DBLP DOI BibTeX RDF
19	Pascale Fung, Grace Ngai	One story, one flow: Hidden Markov Story Models for multilingual multidocument summarization.	ACM Trans. Speech Lang. Process.	2006	DBLP DOI BibTeX RDF	Multilingual document summarization, hidden Markov models
19	Doan Huy Cuong, Dipnarayan Guha, Jun Kyun Choi	Flow based Forwarding Scheme in Mobile Ipv6 Networks to Support for Realtime Services.	NOMS	2006	DBLP DOI BibTeX RDF
19	Xiao-Yuan Wang, Hai-hong Liu, Zhi-Ping Liu	Short-Time Traffic Flow Forecasting Based on Projection Pursuit Auto-Regression.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
19	Bin-sheng Liu, Yi-jun Li, Hai-tao Yang, Xue-sheng Sui, Dong-feng Niu	Research on Forecasting Model in Short Term Traffic Flow Based on Data Mining Technology.	ISDA (1)	2006	DBLP DOI BibTeX RDF
19	Hussein Fareed, Mostafa A. Bassiouni	Adaptive object cache pre-fetching scheme based on object flow.	IPCCC	2005	DBLP DOI BibTeX RDF
19	Xin-She Yang 0001	Pulsating Flow and Platelet Aggregation.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
19	Xinwen Fu, Ye Zhu 0001, Bryan Graham, Riccardo Bettati, Wei Zhao 0001	On Flow Marking Attacks in Wireless Anonymous Communication Networks.	ICDCS	2005	DBLP DOI BibTeX RDF
19	Rui Li 0053, Stan Sclaroff	Multi-Scale 3D Scene Flow from Binocular Stereo Sequences.	WACV/MOTION	2005	DBLP DOI BibTeX RDF
19	Qian-Mu Li, Man-Wu Xu, Hong Zhang 0021, Fengyu Liu	Neural Network Based Flow Forecast and Diagnosis.	CIS (2)	2005	DBLP DOI BibTeX RDF
19	Ana L. Milanova, Barbara G. Ryder	Annotated Inclusion Constraints for Precise Flow Analysis.	ICSM	2005	DBLP DOI BibTeX RDF
19	Shan Huaning, Zhiquan Wang, Wang Jue, Wang Pingli	Comparison and analysis of the Lyapunov exponents of blood flow signal of healthy and stenotic artery.	ICARCV	2004	DBLP DOI BibTeX RDF
19	Fang Hao, Murali S. Kodialam, T. V. Lakshman	ACCEL-RATE: a faster mechanism for memory efficient per-flow traffic estimation.	SIGMETRICS	2004	DBLP DOI BibTeX RDF
19	Chris McCarthy, Nick Barnes	Comparison of Temporal Filters for Optical Flow Estimation in Continuous Mobile Robot Navigation.	ISER	2004	DBLP DOI BibTeX RDF
19	Yoshinori Kitatsuji, Katsuyuki Yamazaki	A Distributed Real-Time Tool for IP-Flow Measurement.	SAINT	2004	DBLP DOI BibTeX RDF
19	Hung-Jung Cho, Yuh-Ting Wu	Modeling and simulation of motorcycle traffic flow.	SMC (7)	2004	DBLP DOI BibTeX RDF
19	Dali Wang, Joseph E. Flaherty, Kenneth E. Jansen, Mark S. Shepherd	Investigation of Turbulent Melt Flow in a Crystal Growth System.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
19	In Hwa Lee, Sung-Jo Kim	A QoS Improvement Scheme for Real-Time Traffic Using IPv6 Flow Labels.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
19	Chisa Takano, Masaki Aida	Diffusion-Type Autonomous Decentralized Flow Control for Open Networks.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
19	Björn Decker 0002, Daniel Kästner	Reconstructing Control Flow from Predicated Assembly Code.	SCOPES	2003	DBLP DOI BibTeX RDF
19	Alexander E. Voiskounsky, Olga V. Smyslova	Flow in Computer Hacking: A Model.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
19	Alex Povitsky, Tinghui Zheng, Georgios H. Vatistas	Effect of Vortex Profile on Sound Generation in a Non-uniform Flow.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
19	Liangyin Yu, Charles R. Dyer	Observer motion estimation and control from optical flow.	ICIP (2)	2001	DBLP DOI BibTeX RDF
19	Jakob Rehof, Manuel Fähndrich	Type-base flow analysis: from polymorphic subtyping to CFL-reachability.	POPL	2001	DBLP DOI BibTeX RDF
19	Eduard Mehofer, Bernhard Scholz	A Novel Probabilistic Data Flow Framework.	CC	2001	DBLP DOI BibTeX RDF
19	Kawal S. Rhode, Gareth Ennew, Tryphon Lambrou, Alexander M. Seifalian, David J. Hawkes	In-Vitro Validation of a Novel Model-Based Approach to the Measurement of Arterial Blood Flow Waveforms from Dynamic Digital X-ray Images.	MICCAI	2001	DBLP DOI BibTeX RDF
19	Rainer Koster, Andrew P. Black, Jie Huang 0040, Jonathan Walpole, Calton Pu	Thread Transparency in Information Flow Middleware.	Middleware	2001	DBLP DOI BibTeX RDF
19	Enso Ikonen, P. Heikkinen	Modelling of Pulp Flow Rate with Variable Consistency.	Neural Comput. Appl.	2000	DBLP DOI BibTeX RDF
19	John L. Barron, Hagen Spies	The Fusion of Image and Range Flow.	Theoretical Foundations of Computer Vision	2000	DBLP DOI BibTeX RDF
19	Dominique Béréziat, Isabelle Herlin, Laurent Younes	A Generalized Optical Flow Constraint and its Physical Interpretation.	CVPR	2000	DBLP DOI BibTeX RDF
19	Eduard Mehofer, Bernhard Scholz	Probabilistic data flow system with two-edge profiling.	Dynamo	2000	DBLP DOI BibTeX RDF
19	Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu	Object-Based Data Flow Testing of Web Applications.	APAQS	2000	DBLP DOI BibTeX RDF
19	Simonjit Dutta, Manoj Franklin	Control Flow Prediction Schemes for Wide-Issue Superscalar Processors.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Block-level prediction, multiple-issue processors, multiple-branch prediction, tree-level prediction, speculative execution, trace cache, instruction-level parallelism (ILP)
19	Atanas Rountev, Barbara G. Ryder, William Landi	Data-Flow Analysis of Program Fragments.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
19	Hiroki Hayashi, Mineichi Kudo, Jun Toyama, Masaru Shimbo	Estimation of velocity vectors from a video stream using discontinuity of optical flow.	KES	1999	DBLP DOI BibTeX RDF
19	Sungdo Moon, Mary W. Hall	Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization.	PPoPP	1999	DBLP DOI BibTeX RDF
19	Rebecca Hasti, Susan Horwitz	Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis.	PLDI	1998	DBLP DOI BibTeX RDF
19	Abdel-Halim Smai, Lars-Erik Thorelli	Distance-Based Flow Control in Wormhole Networks.	PCRCW	1997	DBLP DOI BibTeX RDF
19	Christian Mossin	Higher-Order Value Flow Graphs.	PLILP	1997	DBLP DOI BibTeX RDF	polyvariance, efficiency, program analysis, type system, polymorphism, recursive types
19	J. Michael Ashley	The Effectiveness of Flow Analysis for Inlining.	ICFP	1997	DBLP DOI BibTeX RDF
19	Alberto Del Bimbo, Paolo Nesi, Jorge L. C. Sanz	Optical flow computation using extended constraints.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
19	Chih-Ming Chang, Shih-Lien Lu	Design of a static MIMD data flow processor using micropipelines.	IEEE Trans. Very Large Scale Integr. Syst.	1995	DBLP DOI BibTeX RDF
19	Cüneyt M. Özveren, Robert J. Simcoe, George Varghese	Reliable and Efficient Hop-by-Hop Flow Control.	SIGCOMM	1994	DBLP DOI BibTeX RDF
19	Pieter van der Wolf, K. Olav ten Bosch, Alfred van der Hoeven	An enhanced flow model for constraint handling in hierarchical multi-view design environments.	ICCAD	1994	DBLP DOI BibTeX RDF
19	Amir A. Amini	A Scalar Function Formulation for Optical Flow.	ECCV (1)	1994	DBLP DOI BibTeX RDF
19	Minami Miyauchi, Masatoshi Seki, Akira Watanabe, Arata Miyauchi	Interpretation of Optical Flow Through Complex Neural Network.	IWANN	1993	DBLP DOI BibTeX RDF
19	Dhananjay M. Dhamdhere, Uday P. Khedker	Complexity of Bidirectional Data Flow Analysis.	POPL	1993	DBLP DOI BibTeX RDF
19	Farhad Shahrokhi, David W. Matula	The Maximum Concurrent Flow Problem	J. ACM	1990	DBLP DOI BibTeX RDF
19	Narayan C. Debnath	A Study of Control Flow and Data Dependency Interface (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
19	Thomas J. Marlowe, Barbara G. Ryder	An Efficient Hybrid Algorithm for Incremental Data Flow Analysis.	POPL	1990	DBLP DOI BibTeX RDF
19	Peter Nitezki	Exploiting Data Parallelism in Signal Processing on a Data Flow Machine.	ISCA	1989	DBLP DOI BibTeX RDF
19	Thomas L. Sterling, D. Scott Wills, Ellery Y. Chan	Tokenless static data flow using associative templates.	SC	1988	DBLP DOI BibTeX RDF
19	Taewoon Kim 0001, Hyuk Lim, Chaegwon Lim	Exploiting multi-flow diversity for mitigating intra-flow interference in wireless mesh networks.	CoNEXT	2008	DBLP DOI BibTeX RDF
19	Christoph S. Garbe	Fluid Flow Estimation Through Integration of Physical Flow Configurations.	DAGM-Symposium	2007	DBLP DOI BibTeX RDF
19	Pubudu N. Pathirana, Allan E. K. Lim, John Carminati, Malin Premaratne	Simultaneous estimation of optical flow and object state: A modified approach to optical flow calculation.	ICNSC	2007	DBLP DOI BibTeX RDF