Search results for "breadth-first"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Gianfranco Ciardo	Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?	ICATPN	2004	DBLP DOI BibTeX RDF
10	Azadeh Farzan, José Meseguer 0001, Grigore Rosu	Formal JVM Code Analysis in JavaFAN.	AMAST	2004	DBLP DOI BibTeX RDF
10	Jim Blythe, Yolanda Gil	Incremental formalization of document annotations through ontology-based paraphrasing.	WWW	2004	DBLP DOI BibTeX RDF	knowledge acquisition, semantic markup, document annotation
10	Debatosh Debnath, Tsutomu Sasao	Efficient computation of canonical form for Boolean matching in large libraries.	ASP-DAC	2004	DBLP DOI BibTeX RDF	cell-library binding, Logic synthesis, technology mapping, canonical form, Boolean matching
10	Lucas Ledesma, Juan Pazos, Alfonso Rodríguez-Patón	A DNA Algorithm for the Hamiltonian Path Problem Using Microfluidic Systems.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
10	D. Michael Miller, Gerhard W. Dueck, Dmitri Maslov	A Synthesis Method for MVL Reversible Logi.	ISMVL	2004	DBLP DOI BibTeX RDF
10	Lars Arge, Laura Toma	Simplified External Memory Algorithms for Planar DAGs.	SWAT	2004	DBLP DOI BibTeX RDF
10	George H. L. Fletcher, Hardik A. Sheth, Katy Börner	Unstructured Peer-to-Peer Networks: Topological Properties and Search Performance.	AP2PC	2004	DBLP DOI BibTeX RDF
10	Gordon J. Pace, Gerardo Schneider	Model Checking Polygonal Differential Inclusions Using Invariance Kernels.	VMCAI	2004	DBLP DOI BibTeX RDF
10	Daniel Sawitzki	Implicit Flow Maximization by Iterative Squaring.	SOFSEM	2004	DBLP DOI BibTeX RDF
10	Yun Chi, Yirong Yang, Richard R. Muntz	HybridTreeMiner: An Efficient Algorithm for Mining Frequent Rooted Trees and Free Trees Using Canonical Form.	SSDBM	2004	DBLP DOI BibTeX RDF	tree iso-morphism, enumeration tree, rooted unordered tree, free tree, canonical form, frequent subtree
10	Srini Krishnamoorthy, Russell Tessier	Technology mapping algorithms for hybrid FPGAs containing lookup tables and PLAs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
10	Robert Glück, Youhei Kawada, Takuya Hashimoto	Transforming interpreters into inverse interpreters by partial evaluation.	PEPM	2003	DBLP DOI BibTeX RDF	binding-time improvements, inverse interpreter, program in-vision, semantics modifier, self-application
10	Robert Tansley, Mick Bass, David Stuve, Margret Branschofsky, Daniel Chudnov, Greg McClellan, MacKenzie Smith	The DSpace Institutional Digital Repository System: Current Functionality.	JCDL	2003	DBLP DOI BibTeX RDF	User issues, Systems issues, Design, Digital library, Standards, Standardization, Management, Collection, preservation, Dissemination, institutional repository, open archives
10	Elias Procópio Duarte Jr., Andréa Weber	A Distributed Network Connectivity Algorithm.	ISADS	2003	DBLP DOI BibTeX RDF	Distributed Algorithms, Network Management, Network Connectivity, System-Level Diagnosis, Distributed Diagnosis
10	William Elazmeh	Search Bound Strategies for Rule Mining by Iterative Deepening.	AI	2003	DBLP DOI BibTeX RDF
10	Anna Bretscher, Derek G. Corneil, Michel Habib, Christophe Paul	A Simple Linear Time LexBFS Cograph Recognition Algorithm.	WG	2003	DBLP DOI BibTeX RDF
10	Jie Wu 0001, Fei Dai 0001	An Extended Link Reversal Protocol in Dynamic Networks.	IPDPS	2003	DBLP DOI BibTeX RDF	spanning shortest path trees (SPT), Temporally-Ordered Routing Algorithm (TORA), sensor networks, Directed acyclic graphs (DAGs), dynamic networks
10	Shannon Pollard, Jeffrey Forbes 0001	Hands-on labs without computers.	SIGCSE	2003	DBLP DOI BibTeX RDF	lab environments, pedagogy, non-majors, CS0
10	Christian Bachmaier, Franz-Josef Brandenburg, Michael Forster	Radial Level Planarity Testing and Embedding in Linear Time.	GD	2003	DBLP DOI BibTeX RDF
10	Ann M. Quade	Development and Validation of a Computer Science Self-Efficacy Scale for CS0 Courses and the Group Analysis of CS0 Student Self-Efficacy.	ITCC	2003	DBLP DOI BibTeX RDF
10	Doron A. Peled, Hongyang Qu 0001	Automatic Verification of Annotated Code.	FORTE	2003	DBLP DOI BibTeX RDF
10	Rahul Kundu, R. D. (Shawn) Blanton	Path Delay Test Generation for Domino Logic Circuits in the Presence of Crosstalk.	ITC	2003	DBLP DOI BibTeX RDF
10	Muthukumar Venkatesan, Henry Selvaraj	Comparison of Heuristic Algorithms for Variable Partitioning in Circuit Implementation.	VLSI Design	2003	DBLP DOI BibTeX RDF
10	Lars Arge, Laura Toma, Norbert Zeh	I/O-efficient topological sorting of planar DAGs.	SPAA	2003	DBLP DOI BibTeX RDF	I/O-efficient algorithms, planar directed graphs, graph algorithms, topological sorting, ear decomposition
10	Dao-I Lin, Zvi M. Kedem	Pincer-Search: An Efficient Algorithm for Discovering the Maximum Frequent Set.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	maximum frequent set, Pincer Search, maximum frequent candidate set, Data mining, association rule, knowledge discovery
10	Irit Katriel, Ulrich Meyer 0001	Elementary Graph Algorithms in External Memory.	Algorithms for Memory Hierarchies	2002	DBLP DOI BibTeX RDF
10	Christian Böhm 0001, Florian Krebs, Hans-Peter Kriegel	Optimal Dimension Order: A Generic Technique for the Similarity Join.	DaWaK	2002	DBLP DOI BibTeX RDF
10	Tulika Mitra, Tzi-cker Chiueh	Compression-Domain Parallel Rendering.	IPDPS	2002	DBLP DOI BibTeX RDF
10	Yu Zhang 0075, Edmond C. Prakash, Eric Sung	Hierarchical Face Modeling and Fast 3D Facial Expression Synthesis.	SIBGRAPI	2002	DBLP DOI BibTeX RDF
10	Maria Fragouli, Alex Delis	EasyTransport : An Effective Navigation and Transportation Guide for Wide Geographic Areas.	ICTAI	2002	DBLP DOI BibTeX RDF
10	Raj S. Katti, V. V. Bapeswara Rao	An array based technique for routing messages in distributed double loop networks.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
10	Adrian Johnstone, Elizabeth Scott	Generalised Reduction Modified LR Parsing for Domain Specific Language Prototyping.	HICSS	2002	DBLP DOI BibTeX RDF	General Context Free Grammar parsing, Tomita Parser, Language prototyping
10	Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli	Exploiting Transition Locality in the Disk Based Mur phi Verifier.	FMCAD	2002	DBLP DOI BibTeX RDF
10	Marc Solé, Enric Pastor	Traversal Techniques for Concurrent Systems.	FMCAD	2002	DBLP DOI BibTeX RDF
10	Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli	Exploiting Transition Locality in Automatic Verification.	CHARME	2001	DBLP DOI BibTeX RDF
10	Muthukumar Venkatesan, Robert J. Bignall, Henry Selvaraj	A variable partition approach for disjoint decomposition.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
10	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Improving symbolic reachability analysis by means of activityprofiles.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
10	Florian Waas	Extending Iterators for Advanced Query Execution.	Australasian Database Conference	2000	DBLP DOI BibTeX RDF	Disjunctive predicates, Iterators, Query evaluation
10	Jean-Daniel Boissonnat, Frédéric Cazals, Julia Flötotto	2D-Structure Drawings of Similar Molecules.	GD	2000	DBLP DOI BibTeX RDF
10	Jeremy Gibbons	Calculating Functional Programs.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
10	Debatosh Debnath, Tsutomu Sasao	Fast Boolean Matching Under Permutation Using Representative.	ASP-DAC	1999	DBLP DOI BibTeX RDF	variable permutation, P-equivalence, technology mapping, Boolean matching
10	Kavita Ravi, Fabio Somenzi	Hints to accelerate Symbolic Traversal.	CHARME	1999	DBLP DOI BibTeX RDF
10	Ulrich Stern, David L. Dill	Using Magnatic Disk Instead of Main Memory in the Murphi Verifier.	CAV	1998	DBLP DOI BibTeX RDF
10	Abbas Edalat, Peter John Potts, Philipp Sünderhauf	Lazy Computation with Exact Real Numbers.	ICFP	1998	DBLP DOI BibTeX RDF
10	José C. Cunha, João Lourenço	An integrated course on parallel and distributed processing.	SIGCSE	1998	DBLP DOI BibTeX RDF
10	Elias Dahlhaus	Minimal Elimination of Planar Graphs.	SWAT	1998	DBLP DOI BibTeX RDF
10	Dao-I Lin, Zvi M. Kedem	Pincer-Search: A New Algorithm for Discovering the Maximum Frequent Set.	EDBT	1998	DBLP DOI BibTeX RDF
10	Elias Dahlhaus	Improved Efficient Parallel Algorithms to Recognize Interval Graphs and Interval Hypergraphs.	HICSS (1)	1997	DBLP DOI BibTeX RDF
10	Allan K. Y. Wong, Daniel S. Yeung	A Communication Layer for the Construction of Global, Transparent and Quasi-optimal Virtual Machines for Distributed Computing.	ISPAN	1996	DBLP DOI BibTeX RDF	user-transparent, quasi-optimal, forward rippling, attribute descriptor, network configuration table, echo packets, global, dynamic shortest paths
10	Manish Mehta 0002, Rakesh Agrawal 0001, Jorma Rissanen	SLIQ: A Fast Scalable Classifier for Data Mining.	EDBT	1996	DBLP DOI BibTeX RDF
10	I-Min A. Chen, Richard Hull 0001, Dennis McLeod	An Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update.	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	deltas on database states, limited ambiguity rules, semantic data models, active database systems, update propagation, derived data
10	Silvano Gai, Maurizio Rebaudengo, Matteo Sonza Reorda	An improved data parallel algorithm for Boolean function manipulation using BDDs.	PDP	1995	DBLP DOI BibTeX RDF	Boolean function manipulation, parallel algorithms, parallel algorithm, Boolean functions, Binary Decision Diagrams, BDDs, SIMD architectures, CPU time, data parallel algorithm
10	Derek G. Corneil, Stephan Olariu, Lorna Stewart	Linear Time Algorithms for Dominating Pairs in Asteroidal Triple-free Graphs.	ICALP	1995	DBLP DOI BibTeX RDF
10	Thomas Moore	Active use of hypertext to aid learning and classroom instruction.	SIGCSE	1995	DBLP DOI BibTeX RDF	HyperCard
10	Luc Vincent	Morphological grayscale reconstruction in image analysis: applications and efficient algorithms.	IEEE Trans. Image Process.	1993	DBLP DOI BibTeX RDF
10	Benjamin Goldberg	Incremental Garbage Collection Without Tags.	ESOP	1992	DBLP DOI BibTeX RDF
10	Yehuda Afek, Moty Ricklin	Sparser: A Paradigm for Running Distributed Algorithms.	WDAG	1992	DBLP DOI BibTeX RDF
10	Christos A. Papachristou, Anil L. Pandya	A design scheme for PLA-based control tables with reduced area and time-delay cost.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
10	Andrzej Lingas	Efficient Parallel Algorithms for Path Problems in Planar Directed Graphs.	SIGAL International Symposium on Algorithms	1990	DBLP DOI BibTeX RDF
10	Robert Hieb, R. Kent Dybvig	Continuations and Concurrency.	PPoPP	1990	DBLP DOI BibTeX RDF	SCHEME
10	Olivier Coudert, Christian Berthet, Jean Christophe Madre	Verification of Synchronous Sequential Machines Based on Symbolic Execution.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
10	David Eppstein	Reset Sequences for Finite Automata with Application to Design of Parts Orienters.	ICALP	1988	DBLP DOI BibTeX RDF
10	K. B. Lakshmanan, Krishnaiyan Thulasiraman	On the Use of Synchronizers for Asynchronous Communication Networks.	WDAG	1987	DBLP DOI BibTeX RDF
10	Arnold L. Rosenberg, Ivan Hal Sudborough	Bandwidth and pebbling.	Computing	1983	DBLP DOI BibTeX RDF	graph pebbling, Bandwidth