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