|
|
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 |
90 | Show-Jane Yen, Yue-Shi Lee, Chung-Wen Cho |
An Efficient Approach for the Maintenance of Path Traversal Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EEE ![In: 2004 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 04), 29-31 March 2004, Taipei, Taiwan, pp. 207-214, 2004, IEEE Computer Society, 0-7695-2073-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
90 | Show-Jane Yen, Yue-Shi Lee |
An Incremental Updating Technique for Discovering Frequent Traversal Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Advanced Web Technologies and Applications, 6th Asia-Pacific Web Conference, APWeb 2004, Hangzhou, China, April 14-17, 2004, Proceedings, pp. 479-488, 2004, Springer, 3-540-21371-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
86 | Rajesh Pendurkar, Abhijit Chatterjee, Craig A. Tovey |
Optimal single probe traversal algorithm for testing of MCM substrat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1996 International Conference on Computer Design (ICCD '96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings, pp. 396-401, 1996, IEEE Computer Society, 0-8186-7554-3. The full citation details ...](Pics/full.jpeg) |
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 |
85 | Deling Ren, Martin Erwig |
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2006, Portland, Oregon, USA, September 17, 2006, pp. 13-24, 2006, ACM, 1-59593-489-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
traversal strategy, generic programming |
83 | Lin Zhou, Ying Liu 0039, Jing Wang, Yong Shi 0001 |
Utility-Based Web Path Traversal Pattern Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM Workshops ![In: Workshops Proceedings of the 7th IEEE International Conference on Data Mining (ICDM 2007), October 28-31, 2007, Omaha, Nebraska, USA, pp. 373-380, 2007, IEEE Computer Society, 0-7695-3033-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
83 | Zhi Zheng 0007, Tony K. Y. Chan |
Traversal on DAG-based Multiresolution Mesh Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGIV ![In: Third International Conference on Computer Graphics, Imaging and Visualization (CGIV 2006), 26-28 July 2006, Sydney, Australia, pp. 302-309, 2006, IEEE Computer Society, 0-7695-2606-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
76 | Andreas Müller 0003, Andreas Klenk, Georg Carle |
On the Applicability of Knowledge Based NAT-Traversal for Home Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: NETWORKING 2008, Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet , 7th International IFIP-TC6 Networking Conference, Singapore, May 5-9, 2008, Proceedings, pp. 264-275, 2008, Springer, 978-3-540-79548-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Field Test on NAT Behavior, NAT-Traversal |
76 | Carlos D. Correa, Deborah Silver |
Dataset Traversal with Motion-Controlled Transfer Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 16th IEEE Visualization Conference, IEEE Vis 2005, Minneapolis, MN, USA, October 23-28, 2005, Proceedings, pp. 359-366, 2005, IEEE Computer Society, 0-7803-9462-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Dataset traversal, volume manipulation, animation, transfer functions, illustrative visualization |
76 | Mark van den Brand, Paul Klint, Jurgen J. Vinju |
Term rewriting with traversal functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 12(2), pp. 152-190, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Automated tree traversal, types, term rewriting |
69 | Leyla Kazemi, Cyrus Shahabi, Mehdi Sharifzadeh, Luc Vincent |
Optimal traversal planning in road networks with navigational constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 15th ACM International Symposium on Geographic Information Systems, ACM-GIS 2007, November 7-9, 2007, Seattle, Washington, USA, Proceedings, pp. 19, 2007, ACM, 978-1-59593-914-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
GIS applications, navigational constraints, traversal planning, road-network |
69 | Michael Furman, Yossi Matias, Ely Porat |
LTS: The List-Traversal Synopses System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NGITS ![In: Next Generation Information Technologies and Systems, 6th International Workshop, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006, Proceedings, pp. 353-354, 2006, Springer, 3-540-35472-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
program rollback, list traversal, pebbling, hash chain, synopsis |
69 | Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose |
CTL model checking based on forward state traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996, pp. 82-87, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
state traversal, partitioned transition relation, model checking, formal verification, CTL |
68 | Karl J. Lieberherr, Boaz Patt-Shamir, Doug Orleans |
Traversals of object structures: Specification and Efficient Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 26(2), pp. 370-412, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Low of Demeter, adaptive programming, class graphs, strategy graphs, structure-shy software, Aspect-oriented programming, object graphs |
62 | Jian Chih Ou, Chang-Hung Lee, Ming-Syan Chen |
Efficient algorithms for incremental Web log mining with dynamic thresholds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 17(4), pp. 827-845, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Web mining path traversal pattern, Dynamic support threshold |
61 | Markus Kaiser 0002, Ralf Lämmel |
An Isabelle/HOL-based model of stratego-like traversal strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 93-104, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
generic functional programming, traversal strategies, domain specific languages, rewriting, isabelle/hol, software transformation, stratego |
61 | Yida 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](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2008, Singapore, July 20-24, 2008, pp. 459-466, 2008, ACM, 978-1-60558-164-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
forum crawler, traversal strategy, sitemap |
61 | Ralf Lämmel, Joost Visser 0001 |
Typed Combinators for Generic Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 137-154, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
program transformation, Genericity, combinators, traversal |
60 | David Meirion Hughes, Ik Soo Lim |
Kd-Jump: a Path-Preserving Stackless Traversal for Faster Isosurface Raytracing on GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 15(6), pp. 1555-1562, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
60 | Craig Dillabaugh, Meng He 0001, Anil Maheshwari |
Succinct and I/O Efficient Data Structures for Traversal in Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings, pp. 112-123, 2008, Springer, 978-3-540-92181-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
60 | Kevin Andrusky, Stephen Curial, José Nelson Amaral |
Tree-Traversal Orientation Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers, pp. 220-234, 2006, Springer, 978-3-540-72520-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
55 | Yefim 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](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002., pp. 13-25, 2002, ACM, 1-58113-471-1. The full citation details ...](Pics/full.jpeg) |
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 |
54 | John A. Tsakok |
Faster incoherent rays: Multi-BVH ray stream tracing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High Performance Graphics ![In: Proceedings of the ACM SIGGRAPH/EUROGRAPHICS Conference on High Performance Graphics 2009, New Orleans, Louisiana, USA, August 1-3, 2009, pp. 151-158, 2009, Eurographics Association, 978-1-60558-603-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
MBVH, MBVH RS, QBVH, incoherent rays, ray traversal, real time, ray tracing, global illumination, path tracing |
54 | Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer |
From Pre-Historic to Post-Modern Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 23(3), pp. 303-327, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
forward traversal, regular specifications, symbolic model checking, calculus |
54 | Bowo Prasetyo, Iko Pramudiono, Katsumi Takahashi, Masaru Kitsuregawa |
Naviz : Website Navigational Behavior Visualizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 6th Pacific-Asia Conference, PAKDD 2002, Taipei, Taiwan, May 6-8, 2002, Proceedings, pp. 276-289, 2002, Springer, 3-540-43704-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
navigational behavior visualization, web traversal property, class-instance view, mobile internet user, sequential pattern mining |
53 | Greg Stitt, Gaurav Chaudhari, James Coole |
Traversal caches: a first step towards FPGA acceleration of pointer-based data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 61-66, 2008, ACM, 978-1-60558-470-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
traversal cache, fpga, synthesis, hardware/software partitioning, pointers, cad |
53 | Chang-Chien Chou, Yu-Kumg Chen, Shuo-Yan Chou |
Shortest Traversal Path of n Circles in Layered Manufacturing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGIV ![In: 4th International Conference on Computer Graphics, Imaging and Visualization (CGIV 2007), August 14-16, 2007, Bangkok, Thailand, pp. 205-210, 2007, IEEE Computer Society, 0-7695-2928-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
layered manufacturing, shortest traversal path, computational geometry |
53 | Michael Szydlo |
Merkle Tree Traversal in Log Space and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2004, International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004, Proceedings, pp. 541-554, 2004, Springer, 3-540-21935-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
authentication path, tail zipping, fractal traversal, binary tree, pebbling, Merkle tree, amortization |
53 | Helger Lipmaa |
On Optimal Hash Tree Traversal for Interval Time-Stamping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 5th International Conference, ISC 2002 Sao Paulo, Brazil, September 30 - October 2, 2002, Proceedings, pp. 357-371, 2002, Springer, 3-540-44270-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
interval time-stamping, Laplace's method for integrals, Analysis of algorithms, tree traversal, implementation complexity |
53 | Daniel R. Fuhrmann |
Quadtree Traversal Algorithms for Pointer-Based and Depth-First Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 10(6), pp. 955-960, 1988. The full citation details ...](Pics/full.jpeg) |
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 |
53 | Nadia Nedjah, Luiza de Macedo Mourelle |
Evolutionary Pattern Matching Using Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genetic Systems Programming ![In: Genetic Systems Programming: Theory and Experiences, pp. 81-104, 2006, Springer, 978-3-540-29849-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
52 | Igor B. Bourdonov |
Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 30(6), pp. 305-322, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Natalya Fridman Noy, Mark A. Musen |
Specifying Ontology Views by Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings, pp. 713-725, 2004, Springer, 3-540-23798-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | David Taniar |
Forward vs. Reverse Traversal in Path Expression Query Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (28) ![In: TOOLS 1998: 28th International Conference on Technology of Object-Oriented Languages and Systems, 23-26 November 1998, Melbourne, Australia, pp. 127-140, 1998, IEEE Computer Society, 0-7695-0053-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Forward Traversals, Reverse Traversals, Object-Oriented Query Processing, Path Expression Queries and Performance Evaluation |
52 | Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi |
Algorithms for approximate FSM traversal based on state space decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(12), pp. 1465-1478, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | João Paulo Fernandes, João Saraiva |
Tools and libraries to model and manipulate circular programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007, pp. 102-111, 2007, ACM, 978-1-59593-620-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
intermediate data structures, multiple traversal algorithms, traversal scheduling, circular programming |
47 | Jeremy Gibbons, Geraint Jones |
The Under-Appreciated Unfold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998., pp. 273-279, 1998, ACM, 1-58113-024-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
anamorphism, co-induction, level-order, functional programing, unfold, fold, traversal, breadth-first, program calculation |
47 | Calvin Ching-Yuen Chen, Sajal K. Das 0001 |
Parallel Breadth-First and Breadth-Depth Traversals of Generated Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Advances in Computing and Information - ICCI'90, International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, Proceedings, pp. 395-404, 1990, Springer, 3-540-53504-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Linked list ranking, Breadth-depth search, Optimal speedup, Parallel algorithm, Breadth-first search, Tree traversal |
46 | Sung-Ryul Kim |
Scalable Hash Chain Traversal for Mobile Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part I, pp. 359-367, 2005, Springer, 3-540-25860-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
efficient hash chain traversal, secure hash, pebbles |
46 | Yaron Sella |
On The Computation-Storage Trade-Offs of Hash Chain Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Financial Cryptography ![In: Financial Cryptography, 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003, Revised Papers, pp. 270-285, 2003, Springer, 3-540-40663-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
hash chain traversal, optimality, pebbles, Amortization |
46 | Sung-Ryul Kim |
Improved Scalable Hash Chain Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, First International Conference, ACNS 2003. Kunming, China, October 16-19, 2003, Proceedings, pp. 86-95, 2003, Springer, 3-540-20208-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
efficient hash chain traversal, secure hash, pebbles |
46 | Sumant Tambe, Aniruddha S. Gokhale |
LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSL ![In: Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings, pp. 100-124, 2009, Springer, 978-3-642-03033-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
46 | Show-Jane Yen, Yue-Shi Lee |
An Efficient Data Mining Algorithm for Discovering Web Access Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings, pp. 187-192, 2003, Springer, 3-540-02354-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Peijie Huang, Wencheng Wang, Gang Yang 0007, Enhua Wu |
Traversal fields for ray tracing dynamic scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 2006, Limassol, Cyprus, November 1-3, 2006, pp. 65-74, 2006, ACM, 1-59593-321-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
pre-computation, graphics processing units (GPU), ray tracing, dynamic scene |
45 | Hua-Fu Li, Suh-Yin Lee, Man-Kwan Shan |
DSM-TKP: Mining Top-K Path Traversal Patterns over Web Click-Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 19-22 September 2005, Compiegne, France, pp. 326-329, 2005, IEEE Computer Society, 0-7695-2415-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Igor B. Bourdonov |
Traversal of an Unknown Directed Graph by a Finite Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 30(4), pp. 188-203, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Sudhir Vallamkondu, Le Gruenwald |
Integrating Purchase Patterns and Traversal Patterns to Predict HTTP Requests in E-Commerce Sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC ![In: 2003 IEEE International Conference on Electronic Commerce (CEC 2003), 24-27 June 2003, Newport Beach, CA, USA, pp. 256-263, 2003, IEEE Computer Society, 0-7695-1969-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Sébastien Tixeuil |
On a Space-Optimal Distributed Traversal Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSS ![In: Self-Stabilizing Systems, 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001, Proceedings, pp. 216-228, 2001, Springer, 3-540-42653-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
45 | Per-Åke Larson, Vinay Deshpande |
A File Structure Supporting Traversal Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989., pp. 243-252, 1989, ACM Press, 978-0-89791-317-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
45 | Hagit Attiya |
Constructing Efficient Election Algorithms from Efficient Traversal Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987, Proceedings, pp. 337-344, 1987, Springer, 3-540-19366-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
39 | Runian Geng, Xiangjun Dong, He Jiang, Wenbo Xu 0001 |
WTSPMiner: Efficiently Mining Weighted Sequential Patterns from Directed Graph Traversals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 372-379, 2008, Springer, 978-3-540-87440-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
weighted directed graph, traversal pattern mining, weighted sequential pattern mining, data mining |
39 | Runian Geng, Wenbo Xu 0001, Xiangjun Dong |
WTPMiner: Efficient Mining of Weighted Frequent Patterns Based on Graph Traversals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings, pp. 412-424, 2007, Springer, 978-3-540-76718-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
WDG, Data mining, frequent patterns, traversal patterns |
39 | Ralf Lämmel, Joost Visser 0001 |
A Strafunski Application Letter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings, pp. 357-375, 2003, Springer, 3-540-00389-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Strafunski, Generic traversal, External components, Program transformation, Program analysis, Functional programming, Language processing, Interchange formats |
39 | Amit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
Reachability analysis using partitioned-ROBDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 388-393, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ROBDD, Verification, Partitioning, Reachability, FSM, Symbolic, Sequential, Traversal |
38 | Christiaan 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](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 13(4), pp. 758-768, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Particle visualization, interactive ray tracing, coherent grid traversal, large and time-varying particle data sets |
38 | Davide Bilò, Luca Forlizzi, Luciano Gualà, Guido Proietti |
Approximate Mechanisms for the Graphical TSP and Other Graph Traversal Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings, pp. 503-514, 2007, Springer, 978-3-540-77104-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Graph Traversal Problems, Approximate Truthful Mechanisms, Algorithmic Mechanism Design, Selfish Agents |
38 | H. Conrad Cunningham, Yi Liu 0001, Pallavi Tadepalli |
Framework design using function generalization: a binary tree traversal case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006, pp. 312-318, 2006, ACM, 1-59593-315-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
frozen spot, hot spot, software framework, tree traversal, function generalization |
38 | Hua-Fu Li, Suh-Yin Lee, Man-Kwan Shan |
On mining webclick streams for path traversal patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Alternate Track Papers & Posters) ![In: Proceedings of the 13th international conference on World Wide Web - Alternate Track Papers & Posters, WWW 2004, New York, NY, USA, May 17-20, 2004, pp. 404-405, 2004, ACM, 1-58113-912-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
path traversal patterns, web-click streams, data stream mining |
38 | Li-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](Pics/bibsonomy.png) |
ICPP Workshops ![In: 31st International Conference on Parallel Processing Workshops (ICPP 2002 Workshops), 20-23 August 2002, Vancouver, BC, Canada, pp. 398-404, 2002, IEEE Computer Society, 0-7695-1680-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Parallel approximate algorithm, degree-constrained minimum spanning tree, nearest neighbor chain, heap traversal |
38 | Peter Stephenson, Bruce E. Litow |
Making the DDA Run: Two-Dimensional Ray Traversal Using Runs and Runs of Runs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: 24th Australasian Computer Science Conference (ACSC 2001), 29 January - 1 February 2001, Gold Coast, Queensland, Australia, pp. 177-183, 2001, IEEE Computer Society, 0-7695-0963-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
line digitisation, ray traversal, volume visualisation, ray tracing, Digital geometry |
38 | Natalya Fridman Noy, Mark A. Musen |
Traversing Ontologies to Extract Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modular Ontologies ![In: Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization, pp. 245-260, 2009, Springer, 978-3-642-01906-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Sanmin Liu, Hai Jin 0001, Xiaofei Liao, Hong Yao, Deze Zeng |
TCPBridge: A software approach to establish direct communications for NAT hosts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: The 6th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2008, Doha, Qatar, March 31 - April 4, 2008, pp. 247-252, 2008, IEEE Computer Society, 978-1-4244-1967-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Donniell E. Fishkind, Carey E. Priebe, Kendall E. Giles, L. N. Smith, Vural Aksakalli |
Disambiguation Protocols Based on Risk Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 37(5), pp. 814-823, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Yih-Chun Hu, Markus Jakobsson, Adrian Perrig |
Efficient Constructions for One-Way Hash Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005, Proceedings, pp. 423-441, 2005, 3-540-26223-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
38 | Seungryul 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](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 22(2), pp. 214-280, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
memory parallelism, pointer-chasing code, Data prefetching |
38 | Ralf Lämmel, Eelco Visser, Joost Visser 0001 |
Strategic programming meets adaptive programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, AOSD 2003, Boston, Massachusetts, USA, March 17-21, 2003, pp. 168-177, 2003, ACM, 1-58113-660-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Yuan-Shin Hwang, Joel H. Saltz |
Identifying Parallelism in Programs with Cyclic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the 2000 International Conference on Parallel Processing, ICPP 2000, Toronto, Canada, August 21-24, 2000, pp. 201-208, 2000, IEEE Computer Society, 0-7695-0768-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer |
From Pre-historic to Post-modern Symbolic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings, pp. 195-206, 1998, Springer, 3-540-64608-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
37 | Wen-Jiunn Liu, Kai-Ten Feng |
Greedy Routing with Anti-Void Traversal for Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 8(7), pp. 910-922, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | Genya Ishigami, Keiji Nagatani, Kazuya Yoshida |
Slope traversal experiments with slip compensation control for lunar/planetary exploration rover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 2295-2300, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Yinfei Pan, Ying Zhang, Kenneth Chiu |
Parsing XML Using Parallel Traversal of Streaming Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2008, 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings, pp. 142-156, 2008, Springer, 978-3-540-89893-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Osmar R. Zaïane, Mohammad El-Hajj |
Pattern lattice traversal by selective jumps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Chicago, Illinois, USA, August 21-24, 2005, pp. 729-735, 2005, ACM, 1-59593-135-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Dominik Stoffel, Markus Wedler, Peter Warkentin, Wolfgang Kunz |
Structural FSM traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(5), pp. 598-619, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Peter Hui, Marcus Schaefer 0001 |
Paired Pointset Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004, Proceedings, pp. 534-544, 2004, Springer, 3-540-24131-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Christian Stangier, Thomas Sidle |
Invariant Checking Combining Forward and Backward Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, pp. 414-429, 2004, Springer, 3-540-23738-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Michal Koucký 0001 |
Log-Space Constructible Universal Traversal Sequences for Cycles of Length O(n4.03). ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001, Proceedings, pp. 11-20, 2001, Springer, 3-540-42494-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Michal Koucký 0001 |
Universal Traversal Sequences with Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 16th Annual IEEE Conference on Computational Complexity, Chicago, Illinois, USA, June 18-21, 2001, pp. 21-27, 2001, IEEE Computer Society, 0-7695-1053-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
37 | Fredrik Larsson, Paul Pettersson, Wang Yi 0001 |
On Memory-Block Traversal Problems in Model-Checking Timed-Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 127-141, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
37 | Per Bjesse, Koen Claessen |
SAT-Based Verification without State Space Traversal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings, pp. 372-389, 2000, Springer, 3-540-41219-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
37 | Rajesh Pendurkar, Craig A. Tovey, Abhijit Chatterjee |
Single-probe traversal optimization for testing of MCM substrate interconnections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(8), pp. 1178-1191, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich |
Enhancing FSM Traversal by Temporary Re-Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1996 International Conference on Computer Design (ICCD '96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings, pp. 6-11, 1996, IEEE Computer Society, 0-8186-7554-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Formal Verification, Computer-Aided Design |
37 | Arnon Rosenthal, Sandra Heiler, Umeshwar Dayal, Frank Manola |
Traversal Recursion: A Practical Approach to Supporting Recursive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, Washington, DC, USA, May 28-30, 1986., pp. 166-176, 1986, ACM Press, 978-0-89791-191-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
31 | Xin Li |
NSIS-Based Firewall Detection in Mobile IPv6. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN ![In: Seventh International Conference on Networking (ICN 2008), 13-18 April 2008, Cancun, Mexico, pp. 698-702, 2008, IEEE Computer Society, 978-0-7695-3106-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Next Steps in Signaling (NSIS), Firewall Detection, Firewall Traversal, Mobile IPv6 |
31 | Oliver Haase, Wolfgang Reiser, Jürgen Wäsch |
STUNT Enhanced Java RMI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAIS ![In: Distributed Applications and Interoperable Systems, 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings, pp. 269-274, 2008, 978-3-540-68639-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
STUNT, TCP hole punching, Java RMI, NAT traversal |
31 | Jian Chih Ou, Chang-Hung Lee, Ming-Syan Chen |
Web log mining with adaptive support thresholds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Special interest tracks and posters) ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, pp. 1188-1189, 2005, ACM, 1-59593-051-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
path traversal pattern, web mining, Markov model |
31 | Robert St. Amant, Thomas E. Horton, Frank E. Ritter |
Model-based evaluation of cell phone menu interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2004 Conference on Human Factors in Computing Systems, CHI 2004, Vienna, Austria, April 24 - 29, 2004, pp. 343-350, 2004, ACM, 1-58113-702-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
menu traversal, evaluation, cognitive modeling, mobile telephones |
31 | Oleg Kiselyov, Shriram Krishnamurthi |
SXSLT: Manipulation Language for XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings, pp. 256-272, 2003, Springer, 3-540-00389-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
SXML, XML, Scheme, XSLT, tree traversal |
31 | Oleg Kiselyov |
A Better XML Parser through Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 209-224, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
tree fold, Haskell, Scheme, traversal, XML parsing |
31 | Milos Srámek, Arie E. Kaufman |
Fast Ray-Tracing of Rectilinear Volume Data Using Distance Transforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 6(3), pp. 236-252, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
macro region, voxel traversal, subvoxel precision, volume rendering, Volume visualization, distance transforms, volume graphics, speed up techniques |
31 | Hiroaki Iwashita, Tsuneo Nakata |
Forward model checking techniques oriented to buggy designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 400-404, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
symbolic state traversal, forward model checking, formal verification, symbolic model checking |
31 | Jens Palsberg, Cun Xiao, Karl J. Lieberherr |
Efficient Implementation of Adaptive Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(2), pp. 264-292, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
object traversal, correctness proof, adaptive software |
31 | James 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](Pics/bibsonomy.png) |
ReConFig ![In: ReConFig'09: 2009 International Conference on Reconfigurable Computing and FPGAs, Cancun, Quintana Roo, Mexico, 9-11 December 2009, Proceedings, pp. 143-148, 2009, IEEE Computer Society, 978-0-7695-3917-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
traversal cache, FPGA, speedup, pointers |
31 | Johannes Buchmann 0001, Erik Dahmen, Michael Schneider 0002 |
Merkle Tree Traversal Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PQCrypto ![In: Post-Quantum Cryptography, Second International Workshop, PQCrypto 2008, Cincinnati, OH, USA, October 17-19, 2008, Proceedings, pp. 63-78, 2008, Springer, 978-3-540-88402-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Authentication path computation, Merkle tree traversal, digital signatures, post-quantum cryptography, Merkle signatures |
31 | Konstantin Pussep, M. Weinert, Aleksandra Kovacevic, Ralf Steinmetz |
On NAT Traversal in Peer-to-Peer Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2008, Rome, Italy, June 23-25, 2008, Proceedings, pp. 139-140, 2008, IEEE Computer Society, 978-0-7695-3315-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
peer-to-peer, framework, NAT Traversal |
31 | Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. Patel |
Dynamic state traversal for sequential circuit test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 5(3), pp. 548-565, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
finite-state-machine traversal, simulation-based, genetic algorithms, testing, sequential circuits, automatic test pattern generation (ATPG) |
31 | Mark de Berg, René van Oostrum, Mark H. Overmars |
Simple Traversal of a Subdivision Without Extra Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Twelfth Annual Symposium on Computational Geometry, Philadelphia, PA, USA, May 24-26, 1996, pp. C-5-C-6, 1996, ACM, 0-89791-804-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
topological data structures, traversal algorithms, subdivisions, windowing, three dimensions |
31 | Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal |
Incremental methods for FSM traversal. ![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. 590-595, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
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 |
31 | Amos Fiat, Dean P. Foster, Howard J. Karloff, Yuval Rabani, Yiftach Ravid, Sundar Vishwanathan |
Competitive Algorithms for Layered Graph Traversal ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pp. 288-297, 1991, IEEE Computer Society, 0-8186-2445-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
deterministic online algorithm, layered graph traversal, searcher, target vertex, lower bounds, upper bounds, weighted graph, competitive algorithms |
31 | Paul Beame, Allan Borodin, Prabhakar Raghavan, Walter L. Ruzzo, Martin Tompa |
Time-Space Tradeoffs for Undirected Graph Traversal ![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 I, pp. 429-438, 1990, IEEE Computer Society, 0-8186-2082-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
jumping automata, undirected graph traversal, quadratic lower bound, probabilistic upper bound, time-space tradeoff, deterministic model |
31 | Yoram Moses, Orli Waarts |
Coordinated Traversal: (t + 1)-Round Byzantine Agreement in Polynomial Time ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 29th Annual Symposium on Foundations of Computer Science, White Plains, New York, USA, 24-26 October 1988, pp. 246-255, 1988, IEEE Computer Society, 0-8186-0877-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
coordinated traversal, arbitrarily malicious failures, protocol, polynomial time, Byzantine agreement, fault masking |
30 | Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko 0001 |
Generating Reduced Tests for FSMs with Extra States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings, pp. 129-145, 2009, Springer, 978-3-642-05030-5. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|