Search results for "Bounded-size"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Mordechai Shalom, Prudence W. H. Wong, Shmuel Zaks	Optimal On-Line Colorings for Minimizing the Number of ADMs in Optical Networks.	DISC	2007	DBLP DOI BibTeX RDF
5	Panagiota Fatourou, Nikolaos D. Kallimanis	Time-optimal, space-efficient single-scanner snapshots & multi-scanner snapshots using CAS.	PODC	2007	DBLP DOI BibTeX RDF	linearizable objects, single-scanner, wait-free implementations, distributed algorithms, asynchronous, snapshots, compare-and-swap (CAS)
5	Peter J. Taillon	Distributed Memorization for the k -Vertex CoverProblem.	ISPA	2007	DBLP DOI BibTeX RDF
5	Philipp Weis, Neil Immerman	Structure Theorem and Strict Alternation Hierarchy for FO2 on Words.	CSL	2007	DBLP DOI BibTeX RDF
5	Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton	Factor cuts.	ICCAD	2006	DBLP DOI BibTeX RDF
5	Ola Svensson, Sergei G. Vorobyov	Linear Programming Polytope and Algorithm for Mean Payoff Games.	AAIM	2006	DBLP DOI BibTeX RDF
5	Ali Sezgin, Ganesh Gopalakrishnan	On the decidability of shared memory consistency verification.	MEMOCODE	2005	DBLP DOI BibTeX RDF
5	Ho-Leung Chan, Wing-Kai Hon, Tak Wah Lam	Compressed Index for a Dynamic Collection of Texts.	CPM	2004	DBLP DOI BibTeX RDF
5	Alexander Brodsky 0001, Larry Kerschberg, Samuel Varas	Optimal Constraint Decomposition for Distributed Databases.	ASIAN	2004	DBLP DOI BibTeX RDF
5	Eyal Rozenman, Aner Shalev, Avi Wigderson	A new family of Cayley expanders (?).	STOC	2004	DBLP DOI BibTeX RDF	zig-zag product, Cayley graphs, expanders
5	Joffroy Beauquier, Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit	Group Mutual Exclusion In Tree Networks.	ICPADS	2002	DBLP DOI BibTeX RDF	Distributed algorithms, mutual exclusion, group mutual exclusion
5	Jurek Czyzowicz, Wojciech Fraczak, Andrzej Pelc	Transducers with Set Output.	COCOON	2002	DBLP DOI BibTeX RDF
5	Gonzalo Navarro 0001, Mathieu Raffinot	Fast and simple character classes and bounded gaps pattern matching, with application to protein searching.	RECOMB	2001	DBLP DOI BibTeX RDF	PROSITE, information retrieval, pattern matching, computational biology, bit-parallelism
5	Marcelo P. Fiore, Martín Abadi	Computing Symbolic Models for Verifying Cryptographic Protocols.	CSFW	2001	DBLP DOI BibTeX RDF
5	Andrea E. F. Clementi, Angelo Monti, Riccardo Silvestri	Distributed multi-broadcast in unknown radio networks.	PODC	2001	DBLP DOI BibTeX RDF
5	Konstantin Skodinis	Efficient Analysis of Graphs with Small Minimal Separators.	WG	1999	DBLP DOI BibTeX RDF
5	Pascal Jappy, Richard Nock	PAC Learning Conceptual Graphs.	ICCS	1998	DBLP DOI BibTeX RDF
5	Sanjeev Khanna, Madhu Sudan 0001, Luca Trevisan	Constraint Satisfaction: The Approximability of Minimization Problems.	CCC	1997	DBLP DOI BibTeX RDF	complete problems, computational classes, computational complexity, Approximation algorithms, combinatorial optimization
5	Leszek Gasieniec, Evangelos Kranakis, Danny Krizanc, Andrzej Pelc	Minimizing Congestion of Layouts for ATM Networks with Faulty Links.	MFCS	1996	DBLP DOI BibTeX RDF
5	Mark H. Overmars, A. Frank van der Stappen	Range Searching and Point Location among Fat Objects.	ESA	1994	DBLP DOI BibTeX RDF
5	Lalita Jategaonkar, Albert R. Meyer	Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report).	ICALP	1993	DBLP DOI BibTeX RDF
5	Anindo Bagchi, Edward F. Schmeichel, S. Louis Hakimi	Parallel algorithms for information dissemination by packets.	SPDP	1991	DBLP DOI BibTeX RDF
5	Harry R. Lewis	The Equivalence Problem for Program Schemata with Nonintersecting Loops.	POPL	1977	DBLP DOI BibTeX RDF