The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for flow with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1955-1959 (15) 1960-1963 (20) 1964-1966 (21) 1967-1968 (20) 1969-1970 (18) 1971 (17) 1972 (23) 1973 (25) 1974 (24) 1975 (25) 1976 (44) 1977 (41) 1978 (50) 1979 (57) 1980 (73) 1981 (89) 1982 (102) 1983 (76) 1984 (81) 1985 (114) 1986 (119) 1987 (136) 1988 (234) 1989 (191) 1990 (264) 1991 (221) 1992 (297) 1993 (353) 1994 (391) 1995 (472) 1996 (478) 1997 (626) 1998 (631) 1999 (742) 2000 (951) 2001 (1017) 2002 (1201) 2003 (1488) 2004 (2024) 2005 (2344) 2006 (2647) 2007 (2912) 2008 (2903) 2009 (2522) 2010 (1659) 2011 (1744) 2012 (1790) 2013 (1945) 2014 (1979) 2015 (2035) 2016 (2225) 2017 (2355) 2018 (2658) 2019 (3089) 2020 (3239) 2021 (3235) 2022 (3411) 2023 (3575) 2024 (820)
Publication types (Num. hits)
article(28467) book(35) data(45) incollection(301) inproceedings(32308) phdthesis(698) proceedings(4)
Venues (Conferences, Journals, ...)
CoRR(4393) J. Comput. Phys.(810) IEEE Access(772) Sensors(601) Appl. Math. Comput.(449) J. Vis.(348) DAC(326) Comput. Math. Appl.(322) CVPR(312) IEEE Trans. Comput. Aided Des....(303) DATE(285) ACC(271) EMBC(269) Eur. J. Oper. Res.(269) CDC(267) IEEE Trans. Intell. Transp. Sy...(262) More (+10 of total 6037)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 22789 occurrences of 7526 keywords

Results
Found 61860 publication records. Showing 61858 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
19Nick G. Duffield, Carsten Lund, Mikkel Thorup Estimating flow distributions from sampled flow statistics. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF measurement, TCP/IP, maximum likelihood estimation, packet sampling, sampling methods, measurement errors, IP flows
19Nick G. Duffield, Carsten Lund, Mikkel Thorup Estimating flow distributions from sampled flow statistics. Search on Bibsonomy SIGCOMM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF maximum likelihood estimation, packet sampling, IP flows
19Jean-Francois Bergeretti, Bernard Carré Information-Flow and Data-Flow Analysis of while-Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
18Salvador Cavadini Secure slices of insecure programs. Search on Bibsonomy AsiaCCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF information flow, program slicing, non-interference, program dependences
18Tobias Schafhitzel, Eduardo Tejada, Daniel Weiskopf, Thomas Ertl Point-based stream surfaces and path surfaces. Search on Bibsonomy Graphics Interface The full citation details ... 2007 DBLP  DOI  BibTeX  RDF path surfaces, point-based surfaces, stream surfaces, flow visualization, line integral convolution, GPU methods
18Lorina Dascal, Guy Rosman, Ron Kimmel Efficient Beltrami Filtering of Color Images Via Vector Extrapolation. Search on Bibsonomy SSVM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Color processing, geometric heat flow, Laplace???Beltrami operator
18Andrés Bruhn, Joachim Weickert, Timo Kohlberger, Christoph Schnörr A Multigrid Platform for Real-Time Motion Computation with Discontinuity-Preserving Variational Methods. Search on Bibsonomy Int. J. Comput. Vis. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF optic flow, partial differential equations, variational methods, multigrid methods
18Janice Warner, Vijayalakshmi Atluri Inter-instance authorization constraints for secure workflow management. Search on Bibsonomy SACMAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF security, work flow, authorization constraints
18Trent Jaeger, Reiner Sailer, Umesh Shankar PRIMA: policy-reduced integrity measurement architecture. Search on Bibsonomy SACMAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Clark-Wilson Lite integrity, information flow, remote attestation
18Chadi Barakat, Gianluca Iannaccone, Christophe Diot Ranking flows from sampled traffic. Search on Bibsonomy CoNEXT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF largest flow detection and ranking, validation with real traces, performance evaluation, packet sampling
18Christoph S. Garbe, Hagen Spies, Bernd Jähne Mixed OLS-TLS for the Estimation of Dynamic Processes with a Linear Source Term. Search on Bibsonomy DAGM-Symposium The full citation details ... 2002 DBLP  DOI  BibTeX  RDF brightness change, parameter estimation, optical flow, least squares, dynamic processes
18Zhiyuan Li 0001, Junjie Gu, Gyungho Lee Interprocedural Analysis Based on Guarded Array Regions. Search on Bibsonomy Compiler Optimizations for Scalable Parallel Systems Languages The full citation details ... 2001 DBLP  DOI  BibTeX  RDF array data flow analysis, array privatization, guarded array regions, Parallelizing compilers, interprocedural analysis, symbolic analysis
18Florian Martin 0001 PAG - An Efficient Program Analyzer Generator. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Specification and generation of analyzers, Abstract interpretation, Data flow analysis, Interprocedural analysis, Compiler construction
18Michael J. Black, Yaser Yacoob, Allan D. Jepson, David J. Fleet Learning Parameterized Models of Image Motion. Search on Bibsonomy CVPR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF eigenspace methods, non-rigid and articulated motion, learning, Optical flow, motion discontinuities
18Richard Johnson, Michael S. Schlansker Analysis Techniques for Predicated Code. Search on Bibsonomy MICRO The full citation details ... 1996 DBLP  DOI  BibTeX  RDF boolean operand, graph-based data structure, predicated code, program analysis tools, run-time value, compiler optimization, instruction-level parallelism, data flow analysis, compiler analysis
18Johan Janssen, Henk Corporaal Controlled Node Splitting. Search on Bibsonomy CC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF compilation, instruction level parallelism, reducibility, control flow graphs, node splitting, irreducibility
18Antonella Branca, Arcangelo Distante, Henry Ellingworth Parallel motion computing on the MasPar MP-2 machine. Search on Bibsonomy IPPS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF MasPar MP-2 machine, parallel motion computing, qualitative information, optical flow calculation, visible moving surfaces, 3D instantaneous point velocities, 2D projection, real-time speeds, real-time systems, parallel computers, motion estimation, image sequences, parallel machines, neural nets, computational time, dynamic scene, SIMD machine, visual motion, image plane
18Jeremy Jacob A Uniform Presentation of Confidentiality Properties. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF confidentiality properties, information-flow properties, probabilistic security properties, security of data, composability, security property
18Ryan Beaumont, Kiran Bhaganagar, Bruce Segee, Ozer Badak Using fuzzy logic for morphological classification of IVUS-based plaques in diseased coronary artery in the context of flow-dynamics. Search on Bibsonomy Soft Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Stenosis, Classification, Fuzzy logic, Fluid dynamics, Flow simulation, Coronary artery
18Shihuan Liu, Lei Ying 0001, R. Srikant 0001 Scheduling in multichannel wireless networks with flow-level dynamics. Search on Bibsonomy SIGMETRICS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF flow-level dynamics, multichannel downlink network, wireless scheduling
18Christian Lipski, Christian Linz, Marcus A. Magnor Belief propagation optical flow for high-resolution image morphing. Search on Bibsonomy SIGGRAPH Posters The full citation details ... 2010 DBLP  DOI  BibTeX  RDF 2D morphing & warping, optical flow, belief propagation
18Aleksander Madry Faster approximation schemes for fractional multicommodity flow problems via dynamic graph algorithms. Search on Bibsonomy STOC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dynamic graph algorithms, multicommodity flow problems
18Minsik Cho, Haoxing Ren, Hua Xiang 0001, Ruchir Puri History-based VLSI legalization using network flow. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF VLSI, placement, network flow, legalization
18Jason Oberg, Wei Hu 0008, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner Theoretical analysis of gate level information flow tracking. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hardware security, Boolean logic, information flow tracking
18Philippe Grosse, Yves Durand, Paul Feautrier Methods for power optimization in SOC-based data flow systems. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF 4G base-band modem, data-driven SOC, synchronous data-flow graph, Power optimization
18JinGang Xie, QingPing Tan, GuoRong Cao Modeling and Analyzing Web Service Behavior with Regular Flow Nets. Search on Bibsonomy WISM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF regular flow net, symbolic coverability tree, Web service behavior
18Ranieri Baraglia, Carlos Castillo 0001, Debora Donato, Franco Maria Nardini, Raffaele Perego 0001, Fabrizio Silvestri Aging effects on query flow graphs for query suggestion. Search on Bibsonomy CIKM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF effectiveness in query recommendations, query flow graph, topic drift, query suggestion, aging effects
18SungBok Park, Ha Sung Hwang Understanding Online Game Addiction: Connection between Presence and Flow. Search on Bibsonomy HCI (4) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Addiction, Virtual Reality, Presence, Online Game, Flow
18Irene Rüngeler, Michael Tüxen, Erwin P. Rathgeb Congestion and Flow Control in the Context of the Message-Oriented Protocol SCTP. Search on Bibsonomy Networking The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Message Orientation, Congestion Control, Flow Control, SCTP
18Jeff Waters, James Eitelberg, Ritesh Patel, Marion G. Ceruti Investigation of information flow in hierarchical organizations using agent-based modeling. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF intelligent agents, information flow, organizational structure
18Jan Midtgaard, Thomas P. Jensen Control-flow analysis of function calls and returns by abstract interpretation. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis
18Lijun Mei, W. K. Chan 0001, T. H. Tse Data flow testing of service choreography. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF web services, software testing, service composition, orchestration, choreography, data flow testing
18Franz-Josef Brandenburg, Mao-cheng Cai Shortest Path and Maximum Flow Problems in Networks with Additive Losses and Gains. Search on Bibsonomy FAW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF extended networks, lossy and gainy arcs, max-flow, unit-loss networks, shortest path, NP-hard
18Limin Jia 0001, Steve Zdancewic Encoding information flow in Aura. Search on Bibsonomy PLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF access control, information flow control, declassification, security type system, authorization logic
18Indrajit Roy 0001, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel Laminar: practical fine-grained decentralized information flow control. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF security region, operating systems, java virtual machine, information flow control
18Zheshu Ma, Ali Turan, Shengmin Guo Practical Numerical Simulations of Two-Phase Flow and Heat Transfer Phenomena in a Thermosyphon for Design and Development. Search on Bibsonomy ICCS (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF IPSA algorithm, thermosyphon, numerical simulation, two-phase flow
18Chao-Kuei Hsieh, Shang-Hong Lai, Yung-Chang Chen Integrated Expression-Invariant Face Recognition with Constrained Optical Flow. Search on Bibsonomy PSIVT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF constrained optical flow, expression normalization, Face recognition, expression recognition
18Mohit Tiwari, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood Complete information flow tracking from the gates up. Search on Bibsonomy ASPLOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF provably sound, gate level, information flow tracking
18Martin Mevissen, Kosuke Yokoyama, Nobuki Takayama Solutions of polynomial systems derived from the steady cavity flow problem. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF finite difference discretization, polynomial optimization, semidefinite programming relaxation, steady cavity flow problem, sparsity
18Eric Torng, Jason McCullough SRPT optimally utilizes faster machines to minimize flow time. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF scheduling, parallel machines, resource augmentation, flow time, SRPT
18Massimiliano Caramia, Antonino Sgalambro An exact approach for the maximum concurrent k -splittable flow problem. Search on Bibsonomy Optim. Lett. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF k-splittable flow, Multicommodity, Throughput, Branch and bound, Mixed integer programming
18Linda Hermer-Vazquez Tracing 'driver' versus 'modulator' information flow throughout large-scale, task-related neural circuitry. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Directed coherence, Action potentials, Local field potentials, Information flow, Granger causality
18Douglas S. Altner, Özlem Ergun Rapidly Solving an Online Sequence of Maximum Flow Problems with Extensions to Computing Robust Minimum Cuts. Search on Bibsonomy CPAIOR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Reoptimization, Robust Minimum Cut, Maximum Flow
18Ezutah Udoncy Olugu, Kuan Yew Wong Simulation Study on Lens Manufacturing Process Flow. Search on Bibsonomy Asia International Conference on Modelling and Simulation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Process flow, Discrete event simulation, Performance measures, Productivity, assembly line
18Ming-bao Pang, Guo-guang He Chaos Rapid Recognition of Traffic Flow by Using Rough Set Neural Network. Search on Bibsonomy ISIP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF rough set neural network, recognition, intelligent transportation system, chaos, traffic flow
18Marek H. Zaluski, Martin J. Moe Analytical element method for modeling of groundwater flow in anisotropic aquifer. Search on Bibsonomy SpringSim The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MLAEM, analytical element, anisotropic aquifer, groundwater flow modeling
18Rujuan Liu, Guilan Dai, Changjun Hu, Chongchong Zhao A Verification Method for Temporal Consistency of Service Flow. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Verification of WS Flow, Annotated OWL_S, Time Ontology, Model Checking
18Shan He, Cheng Hu, Guojie Song, Kunqing Xie, Yizhou Sun Real-Time Short-Term Traffic Flow Forecasting Based on Process Neural Network. Search on Bibsonomy ISNN (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Process neural network, Short-time traffic flow forecasting, Traffic engineering
18Sebastian Fischer 0001, Herbert Kuchen Data-flow testing of declarative programs. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF data flow, code coverage, curry
18Boyoung Rhee, Sungchol Cho, Sunyoung Han, Chun-Hyon Chang, Jung-Guk Kim QoS-Adaptive Router Based on Per-Flow Management over NGN. Search on Bibsonomy SEUS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF NGN(Next Generation Network), QoS, Resource Management, Bandwidth, Data Flow, Service Level, User Level
18Huan Dong, Adar Pelah, Jonathan Cameron, Joan Lasenby The perceptual influences on gait transition of step parameters and optic flow in virtual environment locomotion simulators. Search on Bibsonomy APGV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF step frequency, walk-run transition, virtual environments, perception, optic flow, locomotion, gait
18Daniel Pineo, Colin Ware Neural modeling of flow rendering effectiveness. Search on Bibsonomy APGV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF contour perception, perceptual theory, visualization, flow visualization, visual cortex
18Zofia Matusiewicz, Krzysztof Pancerz Rough Set Flow Graphs and Max - * Fuzzy Relation Equations in State Prediction Problems. Search on Bibsonomy RSCTC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF rough sets, prediction, fuzzy relations, flow graphs
18Jonathan Billington, Smit Saboo An investigation of credit-based flow control protocols. Search on Bibsonomy SimuTools The full citation details ... 2008 DBLP  DOI  BibTeX  RDF exhaustive simulation, flow control, coloured petri nets
18Tomoya Enokido, Makoto Takizawa 0001 Synchronization of Transactions to Prevent Illegal Information Flow in a Role-Based Access Control Model. Search on Bibsonomy AINA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Rrole-based access control, Confinement problem, Information Flow
18Andrew Cain, Tsong Yueh Chen, Doug D. Grant, Fei-Ching Kuo, Jean-Guy Schneider An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper). Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Meta-level Programming, Object-Oriented Programs, Program Instrumentation, Dynamic Data Flow Analysis
18Petros Efstathopoulos, Eddie Kohler Manageable fine-grained information flow. Search on Bibsonomy EuroSys The full citation details ... 2008 DBLP  DOI  BibTeX  RDF decentralized information flow control, debugging, labels, policy language
18Olatunji Ruwase, Phillip B. Gibbons, Todd C. Mowry, Vijaya Ramachandran, Shimin Chen, Michael Kozuch, Michael P. Ryan Parallelizing dynamic information flow tracking. Search on Bibsonomy SPAA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic information flow tracking (dift), log-based monitoring, parallel algorithm, taint analysis, program monitoring
18Antoine Boutet, Benoit Le Texier, Julien Montavont, Nicolas Montavont, Guillaume Schreiner Advantages of flow bindings: an embedded mobile network use case. Search on Bibsonomy TRIDENTCOM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF IPv6 mobility, NEMO basic support, flow bindings, next generation wireless network testbeds, embedded applications
18Christoph Garth, Florian Gerhardt, Xavier Tricoche, Hans Hagen Efficient Computation and Visualization of Coherent Structures in Fluid Flow Applications. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF flow visualization, feature detection, 3D vector field visualization
18Y. V. S. S. Sanyasiraju, V. Manjula Fourth-Order Semi-Compact Scheme for Flow Past a Rotating and Translating Cylinder. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF semi-compact, rotating cylinder, Higher order, incompressible flow
18Alexander E. Voiskounsky A Cross-Cultural Study of Flow Experience in the IT Environment: The Beginning. Search on Bibsonomy HCI (15) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Optimal Experience, Interaction, Information Technologies, Culture, Online Games, Flow, Multy-Player Games, MUD, Cross-Cultural Study
18Matthew Might Logic-flow analysis of higher-order programs. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF LFA, abstract counting, abstract garbage collection, environment analysis, gamma-CFA first-order logic, logic-flow analysis, static analysis, theorem proving, lambda calculus, CPS
18Lijuan Xie, Huanwen Chen, Guangrong Xie Artificial Potential Field Based Path Planning for Mobile Robots Using Virtual Water-Flow Method. Search on Bibsonomy ICIC (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF virtual water-flow, mobile robot, path planning, Intelligent control, artificial potential field
18Antonio Fernández-Caballero 0001, Rafael Pérez Jiménez, Miguel Angel Fernández, María T. López Comparison of Accumulative Computation with Traditional Optical Flow. Search on Bibsonomy KES (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Accumulative computation method, Optical flow, Image difference
18Aaron P. Hurst, Alan Mishchenko, Robert K. Brayton Fast Minimum-Register Retiming via Binary Maximum-Flow. Search on Bibsonomy FMCAD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Sequential Verification, Retiming, Maximum Flow, State Minimization
18Nicholas F. Maxemchuk, Congzhou Zhou A Macro Model of Frequently Changing Mobile Networks to Perform Flow and Access Control. Search on Bibsonomy Mob. Networks Appl. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF macro-model, mobile ad hoc networks, access control, flow control
18Kui Wu 0001, Janelle J. Harms Performance Study of Proactive Flow Handoff for Mobile Ad Hoc Networks. Search on Bibsonomy Wirel. Networks The full citation details ... 2006 DBLP  DOI  BibTeX  RDF proactive flow handoff, performance, routing, Mobile Ad Hoc Networks
18Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea A flow-based approach for variant parametric types. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF variant parametric types, constraints, genericity, subtyping, flow analysis
18Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee 0001 A logic for information flow in object-oriented programs. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF information flow, confidentiality, aliasing
18Roshan G. Ragel, Sri Parameswaran Hardware assisted pre-emptive control flow checking for embedded processors to improve reliability. Search on Bibsonomy CODES+ISSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF embedded processor reliability, hardware/software technique, micro-instruction routines, preemptive fault detection, reliable processors, control flow checking
18D. Kebbal Automatic Flow Analysis Using Symbolic Execution and Path Enumeration. Search on Bibsonomy ICPP Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF static WCET analysis, automatic parametric flow analysis, block-based symbolic execution, path enumeration, hard real-time systems
18Yoshiaki Harada, Koji Okamura, Takashi Chiyonobu, Youngseok Lee 0002 Analyzing Correlation Between Flow Data and AS Paths in BGP Routing. Search on Bibsonomy ISPA Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Flow Data, BGP, AS
18Oleg Iliev, Daniela Vasileva On a Local Refinement Solver for Coupled Flow in Plain and Porous Media. Search on Bibsonomy Numerical Methods and Applications The full citation details ... 2006 DBLP  DOI  BibTeX  RDF oil filter, coupled flow in plain and porous media, Brinkman, numerical simulation, local refinement, Navier-Stokes
18Tae-Jin Nam, Rae-Hong Park, Jae-Ho Yun Optical Flow Based Frame Interpolation of Ultrasound Images. Search on Bibsonomy ICIAR (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF real-time 3-D, Optical flow, image enhancement, ultrasound image, frame rate up-conversion
18Wes Masri, Andy Podgurski Using dynamic information flow analysis to detect attacks against applications. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dynamic information flow analysis, intrusion detection, Computer security, program dependences, observation-based testing
18Antonio Pullini, Federico Angiolini, Davide Bertozzi, Luca Benini Fault tolerance overhead in network-on-chip flow control schemes. Search on Bibsonomy SBCCI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fault tolerance, network on chip, error correction, flow control
18Yongjie Zhang 0001, Chandrajit L. Bajaj, Guoliang Xu Surface Smoothing and Quality Improvement of Quadrilateral/Hexahedral Meshes with Geometric Flow. Search on Bibsonomy IMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF quadrilateral/hexahedral mesh, geometric flow, feature preservation, quality improvement, surface smoothing
18Ke Li, Zi-Niu Wu Nonet-Cartesian Grid Method for Shock Flow Computations. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Nonet-Cartesian grid, Cartesian grid, inviscid flow, boundary condition, shock wave, anisotropic
18Adam Smyk, Marek Tudruj Program Implementation Based on Macro Data Flow Paradigm with RDMA Communication Support. Search on Bibsonomy ISPDC/HeteroPar The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Macro Data Flow analysis, Remote DMA, MPI, FDTD
18Roderick Chapman, Adrian Hilton 0002 Enforcing security and safety models with an information flow analysis tool. Search on Bibsonomy SIGAda The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Bell-LaPadula, Dolev-Yao, SPARK Ada, security, Ada, safety, information flow
18Xiaofang Zhang, Michal Young, John Howard Eli Fiskio-Lasseter Refining code-design mapping with flow analysis. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF constraint propagation, flow analysis, architecture recovery
18Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet Towards a higher-order synchronous data-flow language. Search on Bibsonomy EMSOFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Kahn processes, stream functions, synchronous data-flow programming language, functional programming, type system, dynamic reconfiguration
18Xavier Tricoche, Christoph Garth, Gordon L. Kindlmann, Eduard Deines, Gerik Scheuermann, Markus Rütten, Charles D. Hansen Visualization of Intricate Flow Structures for Vortex Breakdown Analysis. Search on Bibsonomy IEEE Visualization The full citation details ... 2004 DBLP  DOI  BibTeX  RDF vortex analysis, parametric topology, volume rendering, flow visualization, cutting planes
18Xiaotong Zhuang, Tao Zhang 0037, Hsien-Hsin S. Lee, Santosh Pande Hardware assisted control flow obfuscation for embedded processors. Search on Bibsonomy CASES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF obfuscation, control flow graph
18Antonio García Dopico, Miguel V. Correia 0002, Jorge A. Santos, Luis M. Nunes Distributed Computation of Optical Flow. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Distributed Computing, Optical Flow
18X. S. Yang, R. W. Lewis, H. Zhang Computational Modelling of Pulsating Biological Flow. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Biological flow, stenosis, finite element analysis
18John L. Barron Experience with 3D Optical Flow on Gated MRI Cardiac Datasets. Search on Bibsonomy CRV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Least Squares/Regularized 3D Optical Flow, Gated MRI Cardiac Datasets
18Manfred Widera Flow graphs for testing sequential Erlang programs. Search on Bibsonomy Erlang Workshop The full citation details ... 2004 DBLP  DOI  BibTeX  RDF test coverage, flow graphs
18Antonio García Dopico, Miguel V. Correia 0002, Jorge A. Santos, Luis M. Nunes Parallel Computation of Optical Flow. Search on Bibsonomy ICIAR (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Distributed Computing, Optical Flow
18Einar Heiberg, Tino Ebbers, Lars Wigström, Matts Karlsson Three-Dimensional Flow Characterization Using Vector Pattern Matching. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Flow topology, vortex identification, feature detection, noise sensitivity
18Adar A. Kalir, Subhash C. Sarin Constructing Near Optimal Schedules for the Flow-Shop Lot Streaming Problem with Sublot-Attached Setups. Search on Bibsonomy J. Comb. Optim. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF lot streaming, optimization, flow-shop
18Derek Rayside, Marin Litoiu, Margaret-Anne D. Storey, Casey Best, Robert Lintern Visualizing Flow Diagrams in WebSphere Studio Using SHriMP Views. Search on Bibsonomy Inf. Syst. Frontiers The full citation details ... 2003 DBLP  DOI  BibTeX  RDF software engineering, integration, software visualization, system modeling, MOF, XMI, flow diagrams
18Wonjoon Choi, Kia Bazargan Hierarchical Global Floorplacement Using Simulated Annealing and Network Flow Area Migration. Search on Bibsonomy DATE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF floorplacement, global placement, area migration, Design, Algorithms, simulated annealing, Management, Floorplanning, network flow, hierarchical, Placement and routing
18David Coudert, Hervé Rivano, Xavier Roche A Combinatorial Approximation Algorithm for the Multicommodity Flow Problem. Search on Bibsonomy WAOA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF combinatorial approximation, Multicommodity flow, incremental algorithm, dynamic shortest paths
18A. P. Sakis Meliopoulos, Sun Wook Kang, George J. Cokkinides, Roger Dougal Animation and Visualization of Spot Prices via Quadratized Power Flow Analysis. Search on Bibsonomy HICSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Spot Prices, visualization, animation, linear program, power flow
18Nguyen Thanh Binh 0002, Michel Delaunay, Chantal Robach Testability Analysis Applied to Embedded Data-flow Software. Search on Bibsonomy QSIC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Data-flow Software, Software Measurement, Testability Analysis
18Chung-Ming Huang, Tz-Heng Hsu, Chi-Kuang Chang A proxy-based adaptive flow control scheme for media streaming. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF internet, multimedia, flow control, proxy, QOS, broadband, layering
18John L. Barron, Wang Kay Jacky Ngai, Hagen Spies Quantitative Depth Recovery from Time-Varying Optical Flow in a Kalman Filter Framework. Search on Bibsonomy Theoretical Foundations of Computer Vision The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Depth from Optical Flow, 3D Camera Motion, Quantitative Error Analysis, Kalman Filter, Depth Map
18Robert S. lramee Interactive 3D flow visualization using a streamrunner. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2002 DBLP  DOI  BibTeX  RDF 3D flow visualization, streamrunner, interaction, occlusion, streamlines, 3D vector field visualization, visual complexity
Displaying result #601 - #700 of 61858 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license