The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1973-1983 (16) 1984-1987 (23) 1988-1989 (17) 1990-1991 (25) 1992-1993 (33) 1994 (22) 1995 (24) 1996 (31) 1997 (21) 1998 (36) 1999 (39) 2000 (55) 2001 (60) 2002 (66) 2003 (101) 2004 (105) 2005 (137) 2006 (121) 2007 (123) 2008 (138) 2009 (106) 2010 (54) 2011 (50) 2012 (39) 2013 (45) 2014 (57) 2015 (40) 2016 (47) 2017 (41) 2018 (38) 2019 (59) 2020 (46) 2021 (49) 2022 (52) 2023 (48) 2024 (14)
Publication types (Num. hits)
article(576) incollection(9) inproceedings(1378) phdthesis(12) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1262 occurrences of 925 keywords

Results
Found 1978 publication records. Showing 1978 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
90Show-Jane Yen, Yue-Shi Lee, Chung-Wen Cho An Efficient Approach for the Maintenance of Path Traversal Patterns. Search on Bibsonomy EEE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
90Show-Jane Yen, Yue-Shi Lee An Incremental Updating Technique for Discovering Frequent Traversal Patterns. Search on Bibsonomy APWeb The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
86Rajesh Pendurkar, Abhijit Chatterjee, Craig A. Tovey Optimal single probe traversal algorithm for testing of MCM substrat. Search on Bibsonomy ICCD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF optimal single probe traversal algorithm, MCM substrate testing, single probe, MCM interconnects, total distance, terminal pad, interconnection net, tour construction, arbitrary insertion, shuffling techniques, total traversal cost, probe traversal time, electronics industry, semiconductor chips, traveling salesman problem, multichip modules, multichip modules
85Deling Ren, Martin Erwig A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. Search on Bibsonomy Haskell The full citation details ... 2006 DBLP  DOI  BibTeX  RDF traversal strategy, generic programming
83Lin Zhou, Ying Liu 0039, Jing Wang, Yong Shi 0001 Utility-Based Web Path Traversal Pattern Mining. Search on Bibsonomy ICDM Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
83Zhi Zheng 0007, Tony K. Y. Chan Traversal on DAG-based Multiresolution Mesh Hierarchy. Search on Bibsonomy CGIV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
76Andreas Müller 0003, Andreas Klenk, Georg Carle On the Applicability of Knowledge Based NAT-Traversal for Home Networks. Search on Bibsonomy Networking The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Field Test on NAT Behavior, NAT-Traversal
76Carlos D. Correa, Deborah Silver Dataset Traversal with Motion-Controlled Transfer Functions. Search on Bibsonomy IEEE Visualization The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Dataset traversal, volume manipulation, animation, transfer functions, illustrative visualization
76Mark van den Brand, Paul Klint, Jurgen J. Vinju Term rewriting with traversal functions. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Automated tree traversal, types, term rewriting
69Leyla Kazemi, Cyrus Shahabi, Mehdi Sharifzadeh, Luc Vincent Optimal traversal planning in road networks with navigational constraints. Search on Bibsonomy GIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF GIS applications, navigational constraints, traversal planning, road-network
69Michael Furman, Yossi Matias, Ely Porat LTS: The List-Traversal Synopses System. Search on Bibsonomy NGITS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF program rollback, list traversal, pebbling, hash chain, synopsis
69Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose CTL model checking based on forward state traversal. Search on Bibsonomy ICCAD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF state traversal, partitioned transition relation, model checking, formal verification, CTL
68Karl J. Lieberherr, Boaz Patt-Shamir, Doug Orleans Traversals of object structures: Specification and Efficient Implementation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Low of Demeter, adaptive programming, class graphs, strategy graphs, structure-shy software, Aspect-oriented programming, object graphs
62Jian Chih Ou, Chang-Hung Lee, Ming-Syan Chen Efficient algorithms for incremental Web log mining with dynamic thresholds. Search on Bibsonomy VLDB J. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Web mining path traversal pattern, Dynamic support threshold
61Markus Kaiser 0002, Ralf Lämmel An Isabelle/HOL-based model of stratego-like traversal strategies. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF generic functional programming, traversal strategies, domain specific languages, rewriting, isabelle/hol, software transformation, stratego
61Yida Wang 0008, Jiang-Ming Yang, Wei Lai, Rui Cai, Lei Zhang 0001, Wei-Ying Ma Exploring traversal strategy for web forum crawling. Search on Bibsonomy SIGIR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF forum crawler, traversal strategy, sitemap
61Ralf Lämmel, Joost Visser 0001 Typed Combinators for Generic Traversal. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF program transformation, Genericity, combinators, traversal
60David Meirion Hughes, Ik Soo Lim Kd-Jump: a Path-Preserving Stackless Traversal for Faster Isosurface Raytracing on GPUs. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
60Craig Dillabaugh, Meng He 0001, Anil Maheshwari Succinct and I/O Efficient Data Structures for Traversal in Trees. Search on Bibsonomy ISAAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
60Kevin Andrusky, Stephen Curial, José Nelson Amaral Tree-Traversal Orientation Analysis. Search on Bibsonomy LCPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
55Yefim Shuf, Manish Gupta 0002, Hubertus Franke, Andrew W. Appel, Jaswinder Pal Singh Creating and preserving locality of java applications at allocation and garbage collection times. Search on Bibsonomy OOPSLA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF heap traversal, locality based graph traversal, object co-allocation, prolific types, Java, locality, garbage collection, memory management, JVM, memory allocation, run-time systems, object placement
54John A. Tsakok Faster incoherent rays: Multi-BVH ray stream tracing. Search on Bibsonomy High Performance Graphics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MBVH, MBVH RS, QBVH, incoherent rays, ray traversal, real time, ray tracing, global illumination, path tracing
54Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer From Pre-Historic to Post-Modern Symbolic Model Checking. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF forward traversal, regular specifications, symbolic model checking, calculus
54Bowo Prasetyo, Iko Pramudiono, Katsumi Takahashi, Masaru Kitsuregawa Naviz : Website Navigational Behavior Visualizer. Search on Bibsonomy PAKDD The full citation details ... 2002 DBLP  DOI  BibTeX  RDF navigational behavior visualization, web traversal property, class-instance view, mobile internet user, sequential pattern mining
53Greg Stitt, Gaurav Chaudhari, James Coole Traversal caches: a first step towards FPGA acceleration of pointer-based data structures. Search on Bibsonomy CODES+ISSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF traversal cache, fpga, synthesis, hardware/software partitioning, pointers, cad
53Chang-Chien Chou, Yu-Kumg Chen, Shuo-Yan Chou Shortest Traversal Path of n Circles in Layered Manufacturing Applications. Search on Bibsonomy CGIV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF layered manufacturing, shortest traversal path, computational geometry
53Michael Szydlo Merkle Tree Traversal in Log Space and Time. Search on Bibsonomy EUROCRYPT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF authentication path, tail zipping, fractal traversal, binary tree, pebbling, Merkle tree, amortization
53Helger Lipmaa On Optimal Hash Tree Traversal for Interval Time-Stamping. Search on Bibsonomy ISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF interval time-stamping, Laplace's method for integrals, Analysis of algorithms, tree traversal, implementation complexity
53Daniel R. Fuhrmann Quadtree Traversal Algorithms for Pointer-Based and Depth-First Representations. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF depth-first representations, quadtree traversal algorithms, pointer-based representations, data structure, computerised picture processing, computerised pattern recognition, trees (mathematics), nodes, computerized pattern recognition, computerized picture processing, connected-component labeling
53Nadia Nedjah, Luiza de Macedo Mourelle Evolutionary Pattern Matching Using Genetic Programming. Search on Bibsonomy Genetic Systems Programming The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Igor B. Bourdonov Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot. Search on Bibsonomy Program. Comput. Softw. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Natalya Fridman Noy, Mark A. Musen Specifying Ontology Views by Traversal. Search on Bibsonomy ISWC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52David Taniar Forward vs. Reverse Traversal in Path Expression Query Processing. Search on Bibsonomy TOOLS (28) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Forward Traversals, Reverse Traversals, Object-Oriented Query Processing, Path Expression Queries and Performance Evaluation
52Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi Algorithms for approximate FSM traversal based on state space decomposition. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
48João Paulo Fernandes, João Saraiva Tools and libraries to model and manipulate circular programs. Search on Bibsonomy PEPM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF intermediate data structures, multiple traversal algorithms, traversal scheduling, circular programming
47Jeremy Gibbons, Geraint Jones The Under-Appreciated Unfold. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF anamorphism, co-induction, level-order, functional programing, unfold, fold, traversal, breadth-first, program calculation
47Calvin Ching-Yuen Chen, Sajal K. Das 0001 Parallel Breadth-First and Breadth-Depth Traversals of Generated Trees. Search on Bibsonomy ICCI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Linked list ranking, Breadth-depth search, Optimal speedup, Parallel algorithm, Breadth-first search, Tree traversal
46Sung-Ryul Kim Scalable Hash Chain Traversal for Mobile Devices. Search on Bibsonomy ICCSA (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF efficient hash chain traversal, secure hash, pebbles
46Yaron Sella On The Computation-Storage Trade-Offs of Hash Chain Traversal. Search on Bibsonomy Financial Cryptography The full citation details ... 2003 DBLP  DOI  BibTeX  RDF hash chain traversal, optimality, pebbles, Amortization
46Sung-Ryul Kim Improved Scalable Hash Chain Traversal. Search on Bibsonomy ACNS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF efficient hash chain traversal, secure hash, pebbles
46Sumant Tambe, Aniruddha S. Gokhale LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++. Search on Bibsonomy DSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
46Show-Jane Yen, Yue-Shi Lee An Efficient Data Mining Algorithm for Discovering Web Access Patterns. Search on Bibsonomy APWeb The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
45Peijie Huang, Wencheng Wang, Gang Yang 0007, Enhua Wu Traversal fields for ray tracing dynamic scenes. Search on Bibsonomy VRST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pre-computation, graphics processing units (GPU), ray tracing, dynamic scene
45Hua-Fu Li, Suh-Yin Lee, Man-Kwan Shan DSM-TKP: Mining Top-K Path Traversal Patterns over Web Click-Streams. Search on Bibsonomy Web Intelligence The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Igor B. Bourdonov Traversal of an Unknown Directed Graph by a Finite Robot. Search on Bibsonomy Program. Comput. Softw. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
45Sudhir Vallamkondu, Le Gruenwald Integrating Purchase Patterns and Traversal Patterns to Predict HTTP Requests in E-Commerce Sites. Search on Bibsonomy CEC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
45Sébastien Tixeuil On a Space-Optimal Distributed Traversal Algorithm. Search on Bibsonomy WSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
45Per-Åke Larson, Vinay Deshpande A File Structure Supporting Traversal Recursion. Search on Bibsonomy SIGMOD Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
45Hagit Attiya Constructing Efficient Election Algorithms from Efficient Traversal Algorithms. Search on Bibsonomy WDAG The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
39Runian Geng, Xiangjun Dong, He Jiang, Wenbo Xu 0001 WTSPMiner: Efficiently Mining Weighted Sequential Patterns from Directed Graph Traversals. Search on Bibsonomy ICIC (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF weighted directed graph, traversal pattern mining, weighted sequential pattern mining, data mining
39Runian Geng, Wenbo Xu 0001, Xiangjun Dong WTPMiner: Efficient Mining of Weighted Frequent Patterns Based on Graph Traversals. Search on Bibsonomy KSEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF WDG, Data mining, frequent patterns, traversal patterns
39Ralf Lämmel, Joost Visser 0001 A Strafunski Application Letter. Search on Bibsonomy PADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Strafunski, Generic traversal, External components, Program transformation, Program analysis, Functional programming, Language processing, Interchange formats
39Amit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli Reachability analysis using partitioned-ROBDDs. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ROBDD, Verification, Partitioning, Reachability, FSM, Symbolic, Sequential, Traversal
38Christiaan P. Gribble, Thiago Ize, Andrew E. Kensler, Ingo Wald, Steven G. Parker A Coherent Grid Traversal Approach to Visualizing Particle-Based Simulation Data. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Particle visualization, interactive ray tracing, coherent grid traversal, large and time-varying particle data sets
38Davide Bilò, Luca Forlizzi, Luciano Gualà, Guido Proietti Approximate Mechanisms for the Graphical TSP and Other Graph Traversal Problems. Search on Bibsonomy WINE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Graph Traversal Problems, Approximate Truthful Mechanisms, Algorithmic Mechanism Design, Selfish Agents
38H. Conrad Cunningham, Yi Liu 0001, Pallavi Tadepalli Framework design using function generalization: a binary tree traversal case study. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF frozen spot, hot spot, software framework, tree traversal, function generalization
38Hua-Fu Li, Suh-Yin Lee, Man-Kwan Shan On mining webclick streams for path traversal patterns. Search on Bibsonomy WWW (Alternate Track Papers & Posters) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF path traversal patterns, web-click streams, data stream mining
38Li-Jen Mao, Sheau-Dong Lang Parallel Algorithms for the Degree-Constrained Minimum Spanning Tree Problem Using Nearest-Neighbor Chains and the Heap-Traversal Technique. Search on Bibsonomy ICPP Workshops The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Parallel approximate algorithm, degree-constrained minimum spanning tree, nearest neighbor chain, heap traversal
38Peter Stephenson, Bruce E. Litow Making the DDA Run: Two-Dimensional Ray Traversal Using Runs and Runs of Runs. Search on Bibsonomy ACSC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF line digitisation, ray traversal, volume visualisation, ray tracing, Digital geometry
38Natalya Fridman Noy, Mark A. Musen Traversing Ontologies to Extract Views. Search on Bibsonomy Modular Ontologies The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
38Sanmin Liu, Hai Jin 0001, Xiaofei Liao, Hong Yao, Deze Zeng TCPBridge: A software approach to establish direct communications for NAT hosts. Search on Bibsonomy AICCSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Donniell E. Fishkind, Carey E. Priebe, Kendall E. Giles, L. N. Smith, Vural Aksakalli Disambiguation Protocols Based on Risk Simulation. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Yih-Chun Hu, Markus Jakobsson, Adrian Perrig Efficient Constructions for One-Way Hash Chains. Search on Bibsonomy ACNS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Seungryul Choi, Nicholas Kohout, Sumit Pamnani, Dongkeun Kim, Donald Yeung A general framework for prefetch scheduling in linked data structures and its application to multi-chain prefetching. Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF memory parallelism, pointer-chasing code, Data prefetching
38Ralf Lämmel, Eelco Visser, Joost Visser 0001 Strategic programming meets adaptive programming. Search on Bibsonomy AOSD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
38Yuan-Shin Hwang, Joel H. Saltz Identifying Parallelism in Programs with Cyclic Graphs. Search on Bibsonomy ICPP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
38Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer From Pre-historic to Post-modern Symbolic Model Checking. Search on Bibsonomy CAV The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
37Wen-Jiunn Liu, Kai-Ten Feng Greedy Routing with Anti-Void Traversal for Wireless Sensor Networks. Search on Bibsonomy IEEE Trans. Mob. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
37Genya Ishigami, Keiji Nagatani, Kazuya Yoshida Slope traversal experiments with slip compensation control for lunar/planetary exploration rover. Search on Bibsonomy ICRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Yinfei Pan, Ying Zhang, Kenneth Chiu Parsing XML Using Parallel Traversal of Streaming Trees. Search on Bibsonomy HiPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Osmar R. Zaïane, Mohammad El-Hajj Pattern lattice traversal by selective jumps. Search on Bibsonomy KDD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Dominik Stoffel, Markus Wedler, Peter Warkentin, Wolfgang Kunz Structural FSM traversal. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Peter Hui, Marcus Schaefer 0001 Paired Pointset Traversal. Search on Bibsonomy ISAAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Christian Stangier, Thomas Sidle Invariant Checking Combining Forward and Backward Traversal. Search on Bibsonomy FMCAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Michal Koucký 0001 Log-Space Constructible Universal Traversal Sequences for Cycles of Length O(n4.03). Search on Bibsonomy COCOON The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
37Michal Koucký 0001 Universal Traversal Sequences with Backtracking. Search on Bibsonomy CCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
37Fredrik Larsson, Paul Pettersson, Wang Yi 0001 On Memory-Block Traversal Problems in Model-Checking Timed-Systems. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Per Bjesse, Koen Claessen SAT-Based Verification without State Space Traversal. Search on Bibsonomy FMCAD The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Rajesh Pendurkar, Craig A. Tovey, Abhijit Chatterjee Single-probe traversal optimization for testing of MCM substrate interconnections. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
37Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich Enhancing FSM Traversal by Temporary Re-Encoding. Search on Bibsonomy ICCD The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Formal Verification, Computer-Aided Design
37Arnon Rosenthal, Sandra Heiler, Umeshwar Dayal, Frank Manola Traversal Recursion: A Practical Approach to Supporting Recursive Applications. Search on Bibsonomy SIGMOD Conference The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
31Xin Li NSIS-Based Firewall Detection in Mobile IPv6. Search on Bibsonomy ICN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Next Steps in Signaling (NSIS), Firewall Detection, Firewall Traversal, Mobile IPv6
31Oliver Haase, Wolfgang Reiser, Jürgen Wäsch STUNT Enhanced Java RMI. Search on Bibsonomy DAIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF STUNT, TCP hole punching, Java RMI, NAT traversal
31Jian Chih Ou, Chang-Hung Lee, Ming-Syan Chen Web log mining with adaptive support thresholds. Search on Bibsonomy WWW (Special interest tracks and posters) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF path traversal pattern, web mining, Markov model
31Robert St. Amant, Thomas E. Horton, Frank E. Ritter Model-based evaluation of cell phone menu interaction. Search on Bibsonomy CHI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF menu traversal, evaluation, cognitive modeling, mobile telephones
31Oleg Kiselyov, Shriram Krishnamurthi SXSLT: Manipulation Language for XML. Search on Bibsonomy PADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF SXML, XML, Scheme, XSLT, tree traversal
31Oleg Kiselyov A Better XML Parser through Functional Programming. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF tree fold, Haskell, Scheme, traversal, XML parsing
31Milos Srámek, Arie E. Kaufman Fast Ray-Tracing of Rectilinear Volume Data Using Distance Transforms. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF macro region, voxel traversal, subvoxel precision, volume rendering, Volume visualization, distance transforms, volume graphics, speed up techniques
31Hiroaki Iwashita, Tsuneo Nakata Forward model checking techniques oriented to buggy designs. Search on Bibsonomy ICCAD The full citation details ... 1997 DBLP  DOI  BibTeX  RDF symbolic state traversal, forward model checking, formal verification, symbolic model checking
31Jens Palsberg, Cun Xiao, Karl J. Lieberherr Efficient Implementation of Adaptive Software. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF object traversal, correctness proof, adaptive software
31James Coole, John Robert Wernsing, Greg Stitt A Traversal Cache Framework for FPGA Acceleration of Pointer Data Structures: A Case Study on Barnes-Hut N-body Simulation. Search on Bibsonomy ReConFig The full citation details ... 2009 DBLP  DOI  BibTeX  RDF traversal cache, FPGA, speedup, pointers
31Johannes Buchmann 0001, Erik Dahmen, Michael Schneider 0002 Merkle Tree Traversal Revisited. Search on Bibsonomy PQCrypto The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Authentication path computation, Merkle tree traversal, digital signatures, post-quantum cryptography, Merkle signatures
31Konstantin Pussep, M. Weinert, Aleksandra Kovacevic, Ralf Steinmetz On NAT Traversal in Peer-to-Peer Applications. Search on Bibsonomy WETICE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF peer-to-peer, framework, NAT Traversal
31Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel Dynamic state traversal for sequential circuit test generation. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF finite-state-machine traversal, simulation-based, genetic algorithms, testing, sequential circuits, automatic test pattern generation (ATPG)
31Mark de Berg, René van Oostrum, Mark H. Overmars Simple Traversal of a Subdivision Without Extra Storage. Search on Bibsonomy SCG The full citation details ... 1996 DBLP  DOI  BibTeX  RDF topological data structures, traversal algorithms, subdivisions, windowing, three dimensions
31Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal Incremental methods for FSM traversal. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF FSM traversal, formal verification, formal verification, finite state machines, finite state machine, logic design, directed graphs, logic CAD, incremental algorithms, digital systems, reachable states, incremental methods
31Amos Fiat, Dean P. Foster, Howard J. Karloff, Yuval Rabani, Yiftach Ravid, Sundar Vishwanathan Competitive Algorithms for Layered Graph Traversal Search on Bibsonomy FOCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF deterministic online algorithm, layered graph traversal, searcher, target vertex, lower bounds, upper bounds, weighted graph, competitive algorithms
31Paul Beame, Allan Borodin, Prabhakar Raghavan, Walter L. Ruzzo, Martin Tompa Time-Space Tradeoffs for Undirected Graph Traversal Search on Bibsonomy FOCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF jumping automata, undirected graph traversal, quadratic lower bound, probabilistic upper bound, time-space tradeoff, deterministic model
31Yoram Moses, Orli Waarts Coordinated Traversal: (t + 1)-Round Byzantine Agreement in Polynomial Time Search on Bibsonomy FOCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF coordinated traversal, arbitrarily malicious failures, protocol, polynomial time, Byzantine agreement, fault masking
30Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko 0001 Generating Reduced Tests for FSMs with Extra States. Search on Bibsonomy TestCom/FATES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1978 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
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