|
|
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 |
18 | Hitomi Tamura, Kenji Kawahara, Yuji Oie |
Performance Analysis of Flow Loss Probability and Link Utilization in MPLS Networks for Traffic Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN 2002, Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing, 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002, Proceedings, pp. 168-180, 2002, Springer, 3-540-00195-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002), 22-25 September 2002, Warsaw, Poland, pp. 27-32, 2002, IEEE Computer Society, 0-7695-1730-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 7-9 January 2002, San Diego, CA, USA, pp. 139-146, 2002, IEEE Computer Society, 0-7695-1576-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerical Methods and Application ![In: Numerical Methods and Applications, 5th International Conference, NMA 2002, Borovets, Bulgaria, August 20-24, 2002, Revised Papers, pp. 174-181, 2002, Springer, 3-540-00608-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001, pp. 52-61, 2001, IEEE Computer Society, 0-7695-1189-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAMP ![In: Fifth International Workshop on Computer Architectures for Machine Perception (CAMP 2000), September 11-13, 2000, Padova, Italy, pp. 117-121, 2000, IEEE Computer Society, 0-7695-0740-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCS, Vol. 2 ![In: IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume II, pp. 622-627, 1999, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(1), pp. 166-207, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
polyvariance, flow analysis, inlining, run-time checks |
18 | Jens Palsberg |
Equality-based flow analysis versus recursive types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(6), pp. 1251-1264, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
type systems, flow analysis |
18 | Christophe P. Bernard |
Discrete Wavelet Analysis: A New Framework for Fast Optic Flow Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV'98, 5th European Conference on Computer Vision, Freiburg, Germany, June 2-6, 1998, Proceedings, Volume II, pp. 354-368, 1998, Springer, 3-540-64613-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(9), pp. 550-571, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 19(1), pp. 58-63, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 19(2), pp. 139-143, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 25(1), pp. 5-22, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 10(3), pp. 114-122, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientific Visualization ![In: Dagstuhl '97, Scientific Visualization, Dagstuhl, Germany, 9-13 June 1997, pp. 47-53, 1997, IEEE Computer Society, 0-7695-0505-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 9(3), pp. 130-137, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(3), pp. 584-613, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
game theory, flow control, fixed points, Nash equilibria |
18 | Nuno Vasconcelos, Andrew Lippman |
Spatiotemporal model-based optic flow estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 201-204, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 6th IEEE Visualization Conference, IEEE Vis 1995, Atlanta, GA, USA, October 29 - November 3, 1995, Proceedings, pp. 263-270, 1995, IEEE Computer Society Press, 0-8186-7187-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 6th IEEE Visualization Conference, IEEE Vis 1995, Atlanta, GA, USA, October 29 - November 3, 1995, Proceedings, pp. 329-335, 1995, IEEE Computer Society Press, 0-8186-7187-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 532-537, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 17(1-2), pp. 275-315, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(11), pp. 1133-1138, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 2(1-4), pp. 1-16, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(1), pp. 82-89, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX School/Symposium ![In: A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings, pp. 1-45, 1993, Springer, 3-540-58043-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 12(1-2), pp. 3-94, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(10), pp. 995-1013, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 13(11), pp. 1105-1114, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(5), pp. 477-489, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(10), pp. 1010-1027, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA, 1985., pp. 637-644, 1985, ACM, 0-8186-0635-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979, pp. 283-290, 1979, ACM Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Image Anal. ![In: Medical Image Anal. 92, pp. 103065, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.09395, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Carsten Thomassen |
Group flow, complex flow, unit vector flow, and the (2+ε)-flow conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 108, pp. 81-91, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 619-620, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIVS ![In: Advanced Concepts for Intelligent Vision Systems, 10th International Conference, ACIVS 2008, Juan-les-Pins, France, October 20-24, 2008. Proceedings, pp. 310-321, 2008, Springer, 978-3-540-88457-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, July 25-28, 2010, pp. 523-532, 2010, ACM, 978-1-4503-0055-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 31(1-2), pp. 99-125, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007, pp. 185-195, 2007, ACM, 978-1-59593-734-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR ![In: Image Analysis and Recognition, 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007, Proceedings, pp. 889-898, 2007, Springer, 978-3-540-74258-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 27(1-3), pp. 477-494, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 26-29 June 2006, Cagliari, Sardinia, Italy, pp. 536-540, 2006, IEEE Computer Society, 0-7695-2588-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASID ![In: Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, ASID 2006, San Jose, California, USA, October 21, 2006, pp. 42-51, 2006, ACM, 1-59593-576-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN ![In: Information Networking, Networking Technologies for Broadband and Mobile Networks, International Conference ICOIN 2004, Busan, Korea, February 18-20, 2004, Revised Selected Papers, pp. 430-439, 2004, Springer, 3-540-23034-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 33(5), pp. 5-18, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
flow-level accounting, misbehaving flow detection, traffic policing |
18 | Martina Marré, Antonia Bertolino |
Using Spanning Sets for Coverage Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(11), pp. 974-984, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Qual. J. ![In: Softw. Qual. J. 10(2), pp. 149-167, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(11), pp. 1105-1125, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(9), pp. 849-871, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: 6th International Workshop on Groupware (CRIWG 2000), 18-20 October 2000, Madeira, Portugal, pp. 138-141, 2000, IEEE Computer Society, 0-7695-0828-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 40th Annual Symposium on Foundations of Computer Science, FOCS '99, 17-18 October, 1999, New York, NY, USA, pp. 568-578, 1999, IEEE Computer Society, 0-7695-0409-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 10th International Conference on VLSI Design (VLSI Design 1997), 4-7 January 1997, Hyderabad, India, pp. 257-260, 1997, IEEE Computer Society, 0-8186-7755-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), March 11-15, 1996, Friedrichshafen, Germany., pp. 260-, 1996, IEEE Computer Society, 0-8186-7355-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 4th International Symposium on High Performance Distributed Computing (HPDC '95), Washington, DC, USA, August 2-4, 1995., pp. 6-16, 1995, IEEE Computer Society, 0-8186-7088-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(6), pp. 584-593, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(11), pp. 1101-1113, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(6), pp. 569-580, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(3), pp. 281-293, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(3), pp. 314-326, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(8), pp. 1128-1144, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments (SDE) ![In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, Pennsylvania, USA, April 23-25, 1984, pp. 177-184, 1984, ACM, 0-89791-131-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 59(2), pp. 188-201, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IITSI ![In: Third International Symposium on Intelligent Information Technology and Security Informatics, IITSI 2010, Jinggangshan, China, April 2-4, 2010, pp. 344-349, 2010, IEEE Computer Society, 978-0-7695-4020-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICSyN ![In: Second International Conference on Computational Intelligence, Communication Systems and Networks, CICSyN 2010, Liverpool, UK, 28-30 July, 2010, pp. 232-237, 2010, IEEE Computer Society, 978-1-4244-7837-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 2009-2020, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2009, Chengdu, Sichuan, China, 10-12 August 2009, pp. 401-407, 2009, IEEE Computer Society, 978-0-7695-3747-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIIA (2) ![In: PACIIA 2008, Volume 2, 2008 IEEE Pacific-Asia Workshop on Computational Intelligence and Industrial Application, 19-20 December 2008, Wuhan, China, pp. 833-837, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 335, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 46(6), pp. 787-832, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 37th Annual Symposium on Foundations of Computer Science, FOCS '96, Burlington, Vermont, USA, 14-16 October, 1996, pp. 68-77, 1996, IEEE Computer Society, 0-8186-7594-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(2), pp. 129-140, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(12), pp. 885-899, 1994. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 459-468, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 449-458, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 438-448, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(1), pp. 118-121, 1991. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 31st Annual Symposium on Foundations of Computer Science, St. Louis, Missouri, USA, October 22-24, 1990, Volume II, pp. 726-737, 1990, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989, pp. 118-123, 1989, IEEE Computer Society, 0-8186-1982-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(8), pp. 946-966, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(7), pp. 779-787, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 35(3), pp. 229-244, 1986. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 33(4), pp. 351-356, 1984. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 29(11), pp. 971-977, 1980. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009, pp. 711-720, 2009, ACM, 978-1-60558-512-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPASS ![In: IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2008, April 20-22, 2008, Austin, Texas, USA, Proceedings, pp. 32-43, 2008, IEEE Computer Society, 978-1-4244-2232-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Yu Wang 0017, Shun-Zheng Yu |
Move Statistics-Based Traffic Classifiers Online. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (4) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 4: Embedded Programming / Database Technology / Neural Networks and Applications / Other Applications, December 12-14, 2008, Wuhan, China, pp. 721-725, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Claudia Kondermann, Rudolf Mester, Christoph S. Garbe |
A Statistical Confidence Measure for Optical Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (3) ![In: Computer Vision - ECCV 2008, 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part III, pp. 290-301, 2008, Springer, 978-3-540-88689-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Hall, Katharina Langkau, Martin Skutella |
An FPTAS for Quickest Multicommodity Flows with Inflow-Dependent Transit Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 47(3), pp. 299-321, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ganesh Sundaramoorthi, Anthony J. Yezzi |
Global Regularizing Flows With Topology Preservation for Active Contours and Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 16(3), pp. 803-812, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Leslie J. Flemming, Stephen A. Mascaro |
Control of a Scalable Matrix Vasoconstrictor Device for Wet Actuator Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 648-653, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Chaitanya Swamy |
The effectiveness of Stackelberg strategies and tolls for network congestion games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2007, New Orleans, Louisiana, USA, January 7-9, 2007, pp. 1133-1142, 2007, SIAM, 978-0-898716-24-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
17 | Hassen Saïdi |
Guarded models for intrusion detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLAS ![In: Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, June 14, 2007, pp. 85-94, 2007, ACM, 978-1-59593-711-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 16th International Conference on Computer Communications and Networks, IEEE ICCCN 2007, Turtle Bay Resort, Honolulu, Hawaii, USA, August 13-16, 2007, pp. 932-938, 2007, IEEE, 978-1-4244-1251-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | WenAn Tan, Song Li, Weiming Shen 0001 |
A Dynamic Evaluation Methodology for Enterprise Business Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China, pp. 1274-1279, 2006, IEEE, 1-4244-0165-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | WenAn Tan, Anqiong Tang, Weiming Shen 0001 |
A Simulation-Based Process Evaluation Approach to Enterprise Business Process Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Intelligent Computing, International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part I, pp. 953-963, 2006, Springer, 3-540-37271-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 24(4), pp. 457-467, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Leandros Tassiulas |
Invited Talk III Summary: Coordination and Resilience in Wireless Ad Hoc and Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAC ![In: Autonomic Communication, Second International IFIP Workshop, WAC 2005, Athens, Greece, October 2-5, 2005, Revised Selected Papers, pp. 283-285, 2005, Springer, 3-540-32992-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
|
|