Search results for "bounded memory"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey	ATL with Strategy Contexts and Bounded Memory.	LFCS	2009	DBLP DOI BibTeX RDF
2	Omid Shahmirzadi, Sergio Mena, André Schiper	Relaxed Atomic Broadcast: State-Machine Replication Using Bounded Memory.	SRDS	2009	DBLP DOI BibTeX RDF	relaxed atomic broadcast, bounded memory, State-Machine replication
1	Wei Chen, Shu-Yu Liu, Chih-Han Chen, Yi-Shan Lee	Bounded Memory, Inertia, Sampling and Weighting Model for Market Entry Games.	Games	2011	DBLP DOI BibTeX RDF
1	Jeremiah Blocki, Nicolas Christin, Anupam Datta, Arunesh Sinha	Adaptive Regret Minimization in Bounded-Memory Games	CoRR	2011	DBLP BibTeX RDF
1	Chi-Jen Lu, Wei-Fu Lu	Making Online Decisions with Bounded Memory.	ALT	2011	DBLP DOI BibTeX RDF
1	James M. Calvin	Randomized algorithm for global optimization with bounded memory.	Mathematics and Computers in Simulation	2010	DBLP DOI BibTeX RDF
1	Jurek Czyzowicz, Adrian Kosowski, Andrzej Pelc	Deterministic Rendezvous of Asynchronous Bounded-Memory Agents in Polygonal Terrains.	MFCS	2010	DBLP DOI BibTeX RDF
1	Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov	Bounded Memory Dolev-Yao Adversaries in Collaborative Systems.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
1	Klaas Ole Kürtz, Henning Schnoor, Thomas Wilke	Computationally secure two-round authenticated message exchange.	ASIACCS	2010	DBLP DOI BibTeX RDF	authenticated message exchange, cryptographic protocols, timestamps
1	Ehud Lehrer, Eilon Solan	Approachability with bounded memory.	Games and Economic Behavior	2009	DBLP DOI BibTeX RDF
1	Thomas Ågotnes, Dirk Walther	A Logic of Strategic Ability Under Bounded Memory.	Journal of Logic, Language and Information	2009	DBLP DOI BibTeX RDF
1	Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon	Dynamic restriction of choices: a preliminary logical report.	TARK	2009	DBLP DOI BibTeX RDF
1	Yair Amir, Paul Bunn, Rafail Ostrovsky	Authenticated Adversarial Routing.	TCC	2009	DBLP DOI BibTeX RDF	End-to-End Communication, Communication Complexity, Error-Correction, Network Routing, Fault Localization, Multi-Party Computation
1	Francesco Orabona, Joseph Keshet, Barbara Caputo	The projectron: a bounded kernel-based Perceptron.	ICML	2008	DBLP DOI BibTeX RDF
1	Tianyi Wu, Dong Xin, Jiawei Han	ARCube: supporting ranking aggregate queries in partially materialized data cubes.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	partial materialization, ranking aggregate queries, data cube
1	Konstantinos I. Tsianos, Lydia E. Kavraki	Replanning: A powerful planning strategy for hard kinodynamic problems.	IROS	2008	DBLP DOI BibTeX RDF
1	Ting He, Lang Tong	Detection of Information Flows.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
1	Claude Crépeau, Joe Kilian, George Savvides	Interactive Hashing: An Information Theoretic Tool (Invited Talk).	ICITS	2008	DBLP DOI BibTeX RDF
1	Ferry Irawan Tantono, Nishad Manerikar, Themis Palpanas	Efficiently Discovering Recent Frequent Items in Data Streams.	SSDBM	2008	DBLP DOI BibTeX RDF
1	Ting He, Lang Tong	Detecting Encrypted Stepping-Stone Connections.	IEEE Transactions on Signal Processing	2007	DBLP DOI BibTeX RDF
1	Yuri Gurevich, Dirk Leinders, Jan Van den Bussche	A Theory of Stream Queries.	DBPL	2007	DBLP DOI BibTeX RDF
1	Juan Manuel Herrero Durá, Manuel Martínez, Javier Sanchis, Xavier Blasco Ferragud	Well-Distributed Pareto Front by Using the e-MOGA Evolutionary Algorithm.	IWANN	2007	DBLP DOI BibTeX RDF
1	Janna Burman, Shay Kutten	Time Optimal Asynchronous Self-stabilizing Spanning Tree.	DISC	2007	DBLP DOI BibTeX RDF
1	Rob Powers, Yoav Shoham, Thuc Vu	A general criterion and an algorithmic framework for learning in multi-agent systems.	Machine Learning	2007	DBLP DOI BibTeX RDF	Machine learning, Multi-agent systems, Game theory
1	Christoph Koch, Stefanie Scherzinger	Attribute grammars for scalable query processing on XML streams.	VLDB J.	2007	DBLP DOI BibTeX RDF	XML, Query languages, Stream processing, Attribute grammars
1	Dan Pelleg, Andrew W. Moore	Dependency trees in sub-linear time and bounded memory.	VLDB J.	2006	DBLP DOI BibTeX RDF	Probably approximately correct learning, Dependency trees, Data mining, Fast algorithms
1	Burkhard Englert	Adaptive Algorithms Using Bounded Memory Are Inherently Non-uniform.	ISPA	2006	DBLP DOI BibTeX RDF
1	Thuc Vu, Rob Powers, Yoav Shoham	Learning against multiple opponents.	AAMAS	2006	DBLP DOI BibTeX RDF	multi-agent systems, learning, game theory
1	Steven David Prestwich, Inês Lynce	Local Search for Unsatisfiability.	SAT	2006	DBLP DOI BibTeX RDF
1	Rob Powers, Yoav Shoham	Learning against opponents with bounded memory.	IJCAI	2005	DBLP BibTeX RDF
1	Stavros Tripakis	Two-Phase Distributed Observation Problems.	ACSD	2005	DBLP DOI BibTeX RDF
1	Ivan Damgård, Serge Fehr, Louis Salvail, Christian Schaffner	Cryptography In the Bounded Quantum-Storage Model.	FOCS	2005	DBLP DOI BibTeX RDF
1	Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres	Towards the Integration of Scoped Memory in Distributed Real-Time Java.	ISORC	2005	DBLP DOI BibTeX RDF
1	Ruoming Jin, Karthikeyan Vaidyanathan, Ge Yang, Gagan Agrawal	Communication and Memory Optimal Parallel Data Cube Construction.	IEEE Trans. Parallel Distrib. Syst.	2005	DBLP DOI BibTeX RDF	parallel algorithms, Data warehouses, OLAP, communication analysis
1	David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider	Certified Memory Usage Analysis.	FM	2005	DBLP DOI BibTeX RDF	certified memory analysis, Program analysis, theorem proving, constraint solving
1	Hai Wang, Wenyuan Li, Zeng-zhi Li, Lin Fan	Finding Closed Itemsets in Data Streams.	KES	2005	DBLP DOI BibTeX RDF
1	Martin Hutle, Josef Widder	On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
1	Cheqing Jin, Weining Qian, Chaofeng Sha, Jeffrey Xu Yu, Aoying Zhou	Dynamically maintaining frequent items over a data stream.	CIKM	2003	DBLP DOI BibTeX RDF	algorithm, stream, frequent items
1	Ruoming Jin, Ge Yang, Karthik Vaidyanathan, Gagan Agrawal	Communication and Memory Optimal Parallel Data Cube Construction.	ICPP	2003	DBLP DOI BibTeX RDF
1	Christoph Koch, Stefanie Scherzinger	Attribute Grammars for Scalable Query Processing on XML Streams.	DBPL	2003	DBLP DOI BibTeX RDF
1	Marc Geilen, Twan Basten	Requirements on the Execution of Kahn Process Networks.	ESOP	2003	DBLP DOI BibTeX RDF	Kahn Principle, multi-processor architectures, streaming, signal processing, dynamic scheduling, media processing, Kahn process networks, deadlock resolution
1	Ruoming Jin, Ge Yang, Gagan Agrawal	Parallel Data Cube Construction: Algorithms, Theoretical Analysis, and Experimental Evaluation.	HiPC	2003	DBLP DOI BibTeX RDF
1	Tim Oates, Brent Heeringa	Estimating Grammar Parameters Using Bounded Memory.	ICGI	2002	DBLP DOI BibTeX RDF
1	Arvind Arasu, Brian Babcock, Shivnath Babu, Jon McAlister, Jennifer Widom	Characterizing Memory Requirements for Queries over Continuous Data Streams. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF
1	Krzysztof Diks, Pierre Fraigniaud, Evangelos Kranakis, Andrzej Pelc	Tree exploration with little memory.	SODA	2002	DBLP DOI BibTeX RDF
1	Kevin Hammond, Greg Michaelson	Predictable Space Behaviour in FSM-Hume.	IFL	2002	DBLP DOI BibTeX RDF
1	Kleoni Ioannidou	Transformations of Self-Stabilizing Algorithms.	DISC	2002	DBLP DOI BibTeX RDF
1	Michiko Inoue, Shinya Umetani, Toshimitsu Masuzawa, Hideo Fujiwara	Adaptive Long-Lived O(k2)-Renaming with O(k2) Steps.	DISC	2001	DBLP DOI BibTeX RDF
1	B. Meenakshi, Ramaswamy Ramanujam	Reasoning about Message Passing in Finite State Environments.	ICALP	2000	DBLP DOI BibTeX RDF
1	Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette	Self-Stabilizing Local Mutual Exclusion and Daemon Refinement.	DISC	2000	DBLP DOI BibTeX RDF	Local mutual exclusion, unfair daemon, transformer, self-stabilization
1	Andy Wilson, Dinesh Manocha, Ming C. Lin	Representation and Interactive Manipulation of Massive CAD Databases.	Integrated Spatial Databases	1999	DBLP DOI BibTeX RDF
1	James Shin Young, Josh MacDonald, Michael Shilman, Abdallah Tabbara, Paul N. Hilfinger, A. Richard Newton	Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement.	DAC	1998	DBLP DOI BibTeX RDF	Java
1	Hagit Attiya, Rinat Rappoport	The Level of Handshake Required for Managing a Connection.	Distributed Computing	1997	DBLP DOI BibTeX RDF	Conncection management, TCP-Memory requirements, Incarnations, Transport layer, Handshake
1	Paul Caspi, Marc Pouzet	Synchronous Kahn Networks.	ICFP	1996	DBLP DOI BibTeX RDF
1	John Spinelli	Self-Stabilizing ARQ on Channels with Bounded Memory or Bounded Delay.	INFOCOM	1993	DBLP BibTeX RDF
1	Rainer Gawlick, Nancy A. Lynch, Nir Shavit	Concurrent Timestamping Made Simple.	ISTCS	1992	DBLP DOI BibTeX RDF
1	Efthymios Anagnostou, Ran El-Yaniv, Vassos Hadzilacos	Memory Adaptive Self-Stabilizing Protocols (Extended Abstract).	WDAG	1992	DBLP DOI BibTeX RDF
1	Stephen J. Bellatoni	Parallel Random Access Machines with Bounded Memory Wordsize	Inf. Comput.	1991	DBLP DOI BibTeX RDF
1	Claude Jard, Thierry Jéron	Bounded-memory Algorithms for Verification On-the-fly.	CAV	1991	DBLP DOI BibTeX RDF
1	Stephen J. Bellantoni	Parallel RAMs with Bounded Memory Wordsize.	SPAA	1989	DBLP DOI BibTeX RDF
1	B. John Oommen, E. R. Hansen	Expedient Stochastic Move-to-Front and optimal Move-to-Rear List Organizing Strategies.	ICDT	1986	DBLP DOI BibTeX RDF	Dynamic list ordering, move to front rule, self-organizing lists, stochastic list operations, adaptive learning
1	A. J. Kfoury	The Unwind Property for Programs with Bounded Memory.	Inf. Process. Lett.	1985	DBLP DOI BibTeX RDF