Search results for "traversal"

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.	EEE	2004	DBLP DOI BibTeX RDF
90	Show-Jane Yen, Yue-Shi Lee	An Incremental Updating Technique for Discovering Frequent Traversal Patterns.	APWeb	2004	DBLP DOI BibTeX RDF
86	Rajesh Pendurkar, Abhijit Chatterjee, Craig A. Tovey	Optimal single probe traversal algorithm for testing of MCM substrat.	ICCD	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.	Haskell	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.	ICDM Workshops	2007	DBLP DOI BibTeX RDF
83	Zhi Zheng 0007, Tony K. Y. Chan	Traversal on DAG-based Multiresolution Mesh Hierarchy.	CGIV	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.	Networking	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.	IEEE Visualization	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.	ACM Trans. Softw. Eng. Methodol.	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.	GIS	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.	NGITS	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.	ICCAD	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.	ACM Trans. Program. Lang. Syst.	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.	VLDB J.	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.	PPDP	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.	SIGIR	2008	DBLP DOI BibTeX RDF	forum crawler, traversal strategy, sitemap
61	Ralf Lämmel, Joost Visser 0001	Typed Combinators for Generic Traversal.	PADL	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.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
60	Craig Dillabaugh, Meng He 0001, Anil Maheshwari	Succinct and I/O Efficient Data Structures for Traversal in Trees.	ISAAC	2008	DBLP DOI BibTeX RDF
60	Kevin Andrusky, Stephen Curial, José Nelson Amaral	Tree-Traversal Orientation Analysis.	LCPC	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.	OOPSLA	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.	High Performance Graphics	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.	Formal Methods Syst. Des.	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.	PAKDD	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.	CODES+ISSS	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.	CGIV	2007	DBLP DOI BibTeX RDF	layered manufacturing, shortest traversal path, computational geometry
53	Michael Szydlo	Merkle Tree Traversal in Log Space and Time.	EUROCRYPT	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.	ISC	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.	IEEE Trans. Pattern Anal. Mach. Intell.	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.	Genetic Systems Programming	2006	DBLP DOI BibTeX RDF
52	Igor B. Bourdonov	Backtracking Problem in the Traversal of an Unknown Directed Graph by a Finite Robot.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
52	Natalya Fridman Noy, Mark A. Musen	Specifying Ontology Views by Traversal.	ISWC	2004	DBLP DOI BibTeX RDF
52	David Taniar	Forward vs. Reverse Traversal in Path Expression Query Processing.	TOOLS (28)	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.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
48	João Paulo Fernandes, João Saraiva	Tools and libraries to model and manipulate circular programs.	PEPM	2007	DBLP DOI BibTeX RDF	intermediate data structures, multiple traversal algorithms, traversal scheduling, circular programming
47	Jeremy Gibbons, Geraint Jones	The Under-Appreciated Unfold.	ICFP	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.	ICCI	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.	ICCSA (1)	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.	Financial Cryptography	2003	DBLP DOI BibTeX RDF	hash chain traversal, optimality, pebbles, Amortization
46	Sung-Ryul Kim	Improved Scalable Hash Chain Traversal.	ACNS	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++.	DSL	2009	DBLP DOI BibTeX RDF
46	Show-Jane Yen, Yue-Shi Lee	An Efficient Data Mining Algorithm for Discovering Web Access Patterns.	APWeb	2003	DBLP DOI BibTeX RDF
45	Peijie Huang, Wencheng Wang, Gang Yang 0007, Enhua Wu	Traversal fields for ray tracing dynamic scenes.	VRST	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.	Web Intelligence	2005	DBLP DOI BibTeX RDF
45	Igor B. Bourdonov	Traversal of an Unknown Directed Graph by a Finite Robot.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
45	Sudhir Vallamkondu, Le Gruenwald	Integrating Purchase Patterns and Traversal Patterns to Predict HTTP Requests in E-Commerce Sites.	CEC	2003	DBLP DOI BibTeX RDF
45	Sébastien Tixeuil	On a Space-Optimal Distributed Traversal Algorithm.	WSS	2001	DBLP DOI BibTeX RDF
45	Per-Åke Larson, Vinay Deshpande	A File Structure Supporting Traversal Recursion.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
45	Hagit Attiya	Constructing Efficient Election Algorithms from Efficient Traversal Algorithms.	WDAG	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.	ICIC (1)	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.	KSEM	2007	DBLP DOI BibTeX RDF	WDG, Data mining, frequent patterns, traversal patterns
39	Ralf Lämmel, Joost Visser 0001	A Strafunski Application Letter.	PADL	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.	ICCAD	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.	IEEE Trans. Vis. Comput. Graph.	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.	WINE	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.	ACM Southeast Regional Conference	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.	WWW (Alternate Track Papers & Posters)	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.	ICPP Workshops	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.	ACSC	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.	Modular Ontologies	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.	AICCSA	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.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
38	Yih-Chun Hu, Markus Jakobsson, Adrian Perrig	Efficient Constructions for One-Way Hash Chains.	ACNS	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.	ACM Trans. Comput. Syst.	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.	AOSD	2003	DBLP DOI BibTeX RDF
38	Yuan-Shin Hwang, Joel H. Saltz	Identifying Parallelism in Programs with Cyclic Graphs.	ICPP	2000	DBLP DOI BibTeX RDF
38	Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer	From Pre-historic to Post-modern Symbolic Model Checking.	CAV	1998	DBLP DOI BibTeX RDF
37	Wen-Jiunn Liu, Kai-Ten Feng	Greedy Routing with Anti-Void Traversal for Wireless Sensor Networks.	IEEE Trans. Mob. Comput.	2009	DBLP DOI BibTeX RDF
37	Genya Ishigami, Keiji Nagatani, Kazuya Yoshida	Slope traversal experiments with slip compensation control for lunar/planetary exploration rover.	ICRA	2008	DBLP DOI BibTeX RDF
37	Yinfei Pan, Ying Zhang, Kenneth Chiu	Parsing XML Using Parallel Traversal of Streaming Trees.	HiPC	2008	DBLP DOI BibTeX RDF
37	Osmar R. Zaïane, Mohammad El-Hajj	Pattern lattice traversal by selective jumps.	KDD	2005	DBLP DOI BibTeX RDF
37	Dominik Stoffel, Markus Wedler, Peter Warkentin, Wolfgang Kunz	Structural FSM traversal.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
37	Peter Hui, Marcus Schaefer 0001	Paired Pointset Traversal.	ISAAC	2004	DBLP DOI BibTeX RDF
37	Christian Stangier, Thomas Sidle	Invariant Checking Combining Forward and Backward Traversal.	FMCAD	2004	DBLP DOI BibTeX RDF
37	Michal Koucký 0001	Log-Space Constructible Universal Traversal Sequences for Cycles of Length O(n4.03).	COCOON	2001	DBLP DOI BibTeX RDF
37	Michal Koucký 0001	Universal Traversal Sequences with Backtracking.	CCC	2001	DBLP DOI BibTeX RDF
37	Fredrik Larsson, Paul Pettersson, Wang Yi 0001	On Memory-Block Traversal Problems in Model-Checking Timed-Systems.	TACAS	2000	DBLP DOI BibTeX RDF
37	Per Bjesse, Koen Claessen	SAT-Based Verification without State Space Traversal.	FMCAD	2000	DBLP DOI BibTeX RDF
37	Rajesh Pendurkar, Craig A. Tovey, Abhijit Chatterjee	Single-probe traversal optimization for testing of MCM substrate interconnections.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	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.	ICCD	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.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF
31	Xin Li	NSIS-Based Firewall Detection in Mobile IPv6.	ICN	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.	DAIS	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.	WWW (Special interest tracks and posters)	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.	CHI	2004	DBLP DOI BibTeX RDF	menu traversal, evaluation, cognitive modeling, mobile telephones
31	Oleg Kiselyov, Shriram Krishnamurthi	SXSLT: Manipulation Language for XML.	PADL	2003	DBLP DOI BibTeX RDF	SXML, XML, Scheme, XSLT, tree traversal
31	Oleg Kiselyov	A Better XML Parser through Functional Programming.	PADL	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.	IEEE Trans. Vis. Comput. Graph.	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.	ICCAD	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.	ACM Trans. Program. Lang. Syst.	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.	ReConFig	2009	DBLP DOI BibTeX RDF	traversal cache, FPGA, speedup, pointers
31	Johannes Buchmann 0001, Erik Dahmen, Michael Schneider 0002	Merkle Tree Traversal Revisited.	PQCrypto	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.	WETICE	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.	ACM Trans. Design Autom. Electr. Syst.	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.	SCG	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.	ICCD	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	FOCS	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	FOCS	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	FOCS	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.	TestCom/FATES	2009	DBLP DOI BibTeX RDF