Search results for "Exactly-once"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Yongqiang Huang 0002, Hector Garcia-Molina	Exactly-once Semantics in a Replicated Messaging System.	ICDE	2001	DBLP DOI BibTeX RDF
72	Stefan Pleisch, André Schiper	Fault-Tolerant Mobile Agent Execution.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	nonblocking execution, exactly-once execution, fault tolerance, Mobile agents, agreement problem
63	Huaigu Wu, Bettina Kemme, Vance Maverick	Eager Replication for Stateful J2EE Servers.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF	stateful J2EE servers, eager replication, state consistency, exactly-once-execution, transactions
63	Svend Frølund, Rachid Guerraoui	X-Ability: a theory of replication.	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Exactly-once, Correctness condition, Replication, High-availability, Multi-tier systems
55	Svend Frølund, Rachid Guerraoui	e-Transactions: End-to-End Reliability for Three-Tier Architectures.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	end-to-end reliability, exactly-once, three-tier applications, fault-tolerance, transactions
55	Svend Frølund, Rachid Guerraoui	Implementing E-Transactions with Asynchronous Replication.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	End-to-end reliability, exactly-once semantics, fault-tolerance, replication, transactions
55	Fabio Panzieri, Santosh K. Shrivastava	Rajdoot: A Remote Procedure Call Mechanism Supporting Orphan Detection and Killing.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Rajdoot, remote procedure call mechanism, orphan detection, killing, exactly-once semantics, call nesting, reliability, fault tolerant computing, software reliability, operating systems (computers), fault tolerance capabilities
46	Rui Wang 0002, Betty Salzberg, David B. Lomet	Log-based recovery for middleware servers.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	application fault tolerance, exactly-once execution, optimistic logging, distributed systems, recovery
46	Roger S. Barga, David B. Lomet, German Shegalov, Gerhard Weikum	Recovery guarantees for Internet applications.	ACM Trans. Internet Techn.	2004	DBLP DOI BibTeX RDF	Exactly-once execution, application recovery, interaction contracts, communication protocols
40		Exactly Once Execution.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
40	Sumeer Bhola, Robert E. Strom, Saurabh Bagchi, Yuanyuan Zhao, Joshua S. Auerbach	Exactly-once Delivery in a Content-based Publish-Subscribe System.	DSN	2002	DBLP DOI BibTeX RDF
31	Qian Wang, Brian Lee 0001, Niall Murray, Yuansong Qiao	ECE: Exactly Once Computation for Collaborative Edge in IoT Using Information-Centric Networking.	IEEE Internet Things J.	2023	DBLP DOI BibTeX RDF
31	Siyuan Zhuang, Stephanie Wang, Eric Liang, Yi Cheng, Ion Stoica	ExoFlow: A Universal Workflow System for Exactly-Once DAGs.	OSDI	2023	DBLP BibTeX RDF
31	Ziad Kassam, Paulo Sérgio Almeida, Ali Shoker	Exon: An Oblivious Exactly-Once Messaging Protocol.	ICCCN	2022	DBLP DOI BibTeX RDF
31	Mohammad Roohitavaf, Kun Ren, Gene Zhang, Sami Ben-Romdhane	LogPlayer: Fault-tolerant Exactly-once Delivery using gRPC Asynchronous Streaming.	CoRR	2019	DBLP BibTeX RDF
31	Fangchen Sun, Xiaotong Suo, Nishad Kamat, Feng Mao, Stephen Guo, Yitao Yao, Paritosh Malaviya, Kushal Bhatt, Anurag Gupta, Mridul Jain, Kannan Achan	Recovery-oriented Big Data Computing for Exactly Once Message Processing.	IEEE BigData	2019	DBLP DOI BibTeX RDF
31	Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero	Exactly-Once Quantity Transfer.	SRDS Workshop	2015	DBLP DOI BibTeX RDF
31	Dharmit Patel, Faraj Khasib, Iman Sadooghi, Ioan Raicu	Towards In-Order and Exactly-Once Delivery Using Hierarchical Distributed Message Queues.	CCGRID	2014	DBLP DOI BibTeX RDF
31	Naghmeh Ramezani Ivaki, Filipe Araújo, Raul Barbosa	A Middleware for Exactly-Once Semantics in Request-Response Interactions.	PRDC	2012	DBLP DOI BibTeX RDF
31	Alexander Burstein	A Short Proof for the Number of Permutations Containing Pattern 321 Exactly Once.	Electron. J. Comb.	2011	DBLP DOI BibTeX RDF
31	M. A. Maluk Mohamed, V. R. Devanathan, D. Janakiram	EOMP: an exactly once multicast protocol for distributed mobile systems.	Int. J. Parallel Emergent Distributed Syst.	2010	DBLP DOI BibTeX RDF
31	Toufik Mansour	Permutations Containing A Pattern Exactly Once And Avoiding At Least Two Patterns Of Three Letters.	Ars Comb.	2004	DBLP BibTeX RDF
31	Sébastien Desreux	An algorithm to generate exactly once every tiling with lozenges of a domain.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
31	German Shegalov, Gerhard Weikum, Roger S. Barga, David B. Lomet	EOS: Exactly-Once E-Service Middleware. (PDF / PS)	VLDB	2002	DBLP DOI BibTeX RDF
31	Alexey Vaysburd, Shalini Yajnik	Exactly-Once End-to-End Semantics in CORBA Invocations across Heterogeneous Fault-Tolerant ORBs.	SRDS	1999	DBLP DOI BibTeX RDF
31	Kurt Rothermel, Markus Straßer	A Fault-Tolerant Protocol for Providing the Exactly-Once Property of Mobile Agents.	SRDS	1998	DBLP DOI BibTeX RDF
26	Sandeep S. Kulkarni, Anish Arora	Once-and-for all management protocol (OFMP).	ICNP	1997	DBLP DOI BibTeX RDF	once-and-forall management protocol, network management protocol, management information bases, fault-tolerance masking, eventually-detectable faults, protocols
22	C. E. Miller, Albert W. Tucker, R. A. Zemlin	Integer Programming Formulation of Traveling Salesman Problems.	J. ACM	1960	DBLP DOI BibTeX RDF
21	Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat	Idempotent work stealing.	PPoPP	2009	DBLP DOI BibTeX RDF	memory barrier, memory fence, atomic, work stealing
21	Ryo Yoshinaka	Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-Complete.	RTA	2005	DBLP DOI BibTeX RDF
17	Fanica Gavril, Alon Itai	Covering a Tree by a Forest.	Graph Theory, Computational Intelligence and Thought	2009	DBLP DOI BibTeX RDF	vertex-cover of a tree by a forest, edge-cover of a tree by a forest, graph algorithms
17	Yuki Ohtsuka, Makoto Matsumoto, Mariko Hagita	Projective de Bruijn Sequences.	SETA	2008	DBLP DOI BibTeX RDF
17	Dirk Briskorn	Alternative IP Models for Sport Leagues Scheduling.	OR	2007	DBLP DOI BibTeX RDF
17	Yu Lei 0001, Richard H. Carver	A New Algorithm for Reachability Testing of Concurrent Programs.	ISSRE	2005	DBLP DOI BibTeX RDF
17	David B. Lomet	Robust Web Services via Interaction Contracts.	TES	2004	DBLP DOI BibTeX RDF
17	D. Janaki Ram, M. A. Maluk Mohamed, V. R. Devanathan	A Framework for Concurrency Control in Real-Time Distributed Collaboration for Mobile Systems.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF	Real-time distributed collaboration, data-centric concurrency control, EOMP, optimistic concurrency control
17	Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura	Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.	ICLP	2001	DBLP DOI BibTeX RDF
17	Svend Frølund, Rachid Guerraoui	X-ability: a theory of replication.	PODC	2000	DBLP DOI BibTeX RDF
17	Lin Zuo, Shaohua Liu, Jun Wei 0001	Combining Replication with Transaction Processing for Enhanced Reliability in J2EE.	ISSRE	2006	DBLP DOI BibTeX RDF
17	Michael R. Fellows, Michael T. Hallett, Chantal Korostensky, Ulrike Stege	Analogs and Duals of the MAST Problem for Sequences and Trees.	ESA	1998	DBLP DOI BibTeX RDF
13	Alok Singh 0001, Anurag Singh Baghel	A new grouping genetic algorithm approach to the multiple traveling salesperson problem.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Multiple traveling salesperson problem, Heuristic, Constrained optimization, Grouping genetic algorithm
13	Ravi Jampani, Fei Xu, Mingxi Wu, Luis Leopoldo Perez, Christopher M. Jermaine, Peter J. Haas	MCDB: a monte carlo approach to managing uncertain data.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	mcdb, uncertainty, monte carlo
13	Angelo Fanelli 0001, Michele Flammini, Luca Moscardelli	On the convergence of multicast games in directed networks.	SPAA	2007	DBLP DOI BibTeX RDF	limited number of best-response moves, multicast games, price of anarchy
13	Dirk Briskorn, Andreas Drexl	Branching Based on Home-Away-Pattern Sets.	OR	2006	DBLP DOI BibTeX RDF
13	Claudia Archetti, Maria Grazia Speranza	An Overview on the Split Delivery Vehicle Routing Problem.	OR	2006	DBLP DOI BibTeX RDF
13	Lin Zuo, Shaohua Liu, Jun Wei 0001	A Fault-Tolerant Scheme for Complex Transaction Patterns in J2EE.	EDOC	2006	DBLP DOI BibTeX RDF
13	Pakaket Wattuya, Xiaoyi Jiang 0001	A Class of Generalized Median Contour Problem with Exact Solution.	SSPR/SPR	2006	DBLP DOI BibTeX RDF
13	Harri Haanpää, Petteri Kaski	The Near Resolvable 2-(13, 4, 3) Designs and Thirteen-Player Whist Tournaments.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	near resolvable design, whist tournament, orderly algorithm
13	Akimitsu Ono, Shin-Ichi Nakano	Constant Time Generation of Linear Extensions.	FCT	2005	DBLP DOI BibTeX RDF
13	Jin Akiyama, Koichi Hirata, Mari-Jo P. Ruiz, Jorge Urrutia	Flat 2-Foldings of Convex Polygons.	IJCCGGT	2003	DBLP DOI BibTeX RDF
13	Luc Onana Alima, Ali Ghodsi 0002, Sameh El-Ansary, Per Brand, Seif Haridi	Multicast in DKS(N, k, f) Overlay Networks.	Peer-to-Peer Computing	2003	DBLP DOI BibTeX RDF
13	Midori Kobayashi, Gisaku Nakamura	Resolvable Coverings of 2-Paths by Cycles.	Graphs Comb.	2002	DBLP DOI BibTeX RDF
13	Sébastien Tixeuil	On a Space-Optimal Distributed Traversal Algorithm.	WSS	2001	DBLP DOI BibTeX RDF
13	Eyal Ackerman, Rom Pinchasi, Ludmila Scharf, Marc Scherfenberg	On Inducing Polygons and Related Problems.	ESA	2009	DBLP DOI BibTeX RDF
13	Fumei Lam, Alantha Newman	Traveling salesman path problems.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68Q25, 90C27, 68R10, 90C05
13	Nuno Carvalho, José Pereira 0001, Rui Oliveira 0001, Luís E. T. Rodrigues	Emergent Structure in Unstructured Epidemic Multicast.	DSN	2007	DBLP DOI BibTeX RDF
13	Francisco Javier Zaragoza Martínez	Complexity of the Mixed Postman Problem with Restrictions on the Edges.	ENC	2006	DBLP DOI BibTeX RDF
13	Xiliang Zhong, Cheng-Zhong Xu 0001, Haiying Shen	A Reliable and Secure Connection Migration Mechanism for Mobile Agents.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
13	Sumeer Bhola, Yuanyuan Zhao, Joshua S. Auerbach	Scalably Supporting Durable Subscriptions in a Publish/Subscribe System.	DSN	2003	DBLP DOI BibTeX RDF
13	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
13	Ali Dasdan, Cevdet Aykanat	Two novel multiway circuit partitioning algorithms using relaxed locking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
13	Rolf Klein, Andrzej Lingas	Hamiltonian Abstract Voronoi Diagrams in Linear Time.	ISAAC	1994	DBLP DOI BibTeX RDF	abstract Voronoi diagrams, Computational geometry, Voronoi diagrams, convex polygons
13	Philip A. Bernstein, Meichun Hsu, Bruce Mann	Implementing Recoverable Requests Using Queues.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
9	Sun-Yuan Hsieh, Yu-Fen Weng	Fault-Tolerant Embedding of Pairwise Independent Hamiltonian Paths on a Faulty Hypercube with Edge Faults.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Pairwise independent Hamiltonian paths, Hypercubes, Hamiltonian, Graph-theoretic interconnection networks, Fault-tolerant embedding
9	Ann-Sophie Pepin, Guy Desaulniers, Alain Hertz, Dennis Huisman	A comparison of five heuristics for the multiple depot vehicle scheduling problem.	J. Sched.	2009	DBLP DOI BibTeX RDF	Vehicle scheduling, Multiple depot, Lagrangian heuristic, Large neighborhood search, Heuristics, Tabu search, Column generation, Branch-and-cut
9	Yanhong A. Liu, Scott D. Stoller	From datalog rules to efficient programs with time and space guarantees.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	data structure design, indexed representations, linked representations, optimization, indexing, program transformation, Datalog, recursion, tabling, Complexity analysis, incremental computation
9	Donald Stanley, Boting Yang	Lower Bounds on Fast Searching.	ISAAC	2009	DBLP DOI BibTeX RDF
9	Eva Kühn, Richard Mordinyi, László Keszthelyi, Christian Schreiber, Sandford Bessler, Slobodanka Tomic	Aspect-Oriented Space Containers for Efficient Publish/Subscribe Scenarios in Intelligent Transportation Systems.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF
9	David B. Lomet	Dependability, Abstraction, and Programming.	DASFAA	2009	DBLP DOI BibTeX RDF	application persistence, scalability, dependability, abstraction, availability, programming model, enterprise applications
9	Amotz Bar-Noy, Panagiotis Cheilaris, Shakhar Smorodinsky	Deterministic conflict-free coloring for intervals: From offline to online.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	Online algorithms, coloring, cellular networks, frequency assignment, conflict free
9	Achmad I. Kistijantoro, Graham Morgan, Santosh K. Shrivastava, Mark C. Little	Enhancing an Application Server to Support Available Components.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
9	Huaigu Wu, Bettina Kemme	Showing correctness of a replication algorithm in a component based system.	IDEAS	2008	DBLP DOI BibTeX RDF
9	Kohei Suenaga	Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.	APLAS	2008	DBLP DOI BibTeX RDF
9	Stepan Holub, Dirk Nowotka	On the Relation between Periodicity and Unbordered Factors of Finite Words.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
9	Josef Cibulka, Jan Kyncl, Viola Mészáros, Rudolf Stolar, Pavel Valtr 0001	Hamiltonian Alternating Paths on Bicolored Double-Chains.	GD	2008	DBLP DOI BibTeX RDF
9	Danny Dyer, Boting Yang, Öznur Yasar	On the Fast Searching Problem.	AAIM	2008	DBLP DOI BibTeX RDF
9	German Shegalov, Gerhard Weikum	Formal Verification of Web Service Interaction Contracts.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	model checking, formal methods, recovery, statechart
9	Michael H. K. Bendels, Christian Leibold	Generation of theta oscillations by weakly coupled neural oscillators in the presence of noise.	J. Comput. Neurosci.	2007	DBLP DOI BibTeX RDF	Phase-response theory, Synaptic noise, Stellate cell, Theta rhythm
9	Francesco Quaglia, Paolo Romano 0002	Ensuring e-Transaction with Asynchronous and Uncoordinated Application Server Replicas.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	Web-based transactional systems, three-tier systems, asynchronous replication, reliability
9	Hannes Moser, Venkatesh Raman 0001, Somnath Sikdar	The Parameterized Complexity of the Unique Coverage Problem.	ISAAC	2007	DBLP DOI BibTeX RDF
9	Vassilis Dimopoulos, Ioannis Papaefstathiou, Dionisios N. Pnevmatikatos	A Memory-Efficient Reconfigurable Aho-Corasick FSM Implementation for Intrusion Detection Systems.	ICSAMOS	2007	DBLP DOI BibTeX RDF
9	Zareen Alamgir, Sarmad Abbasi	Combinatorial Algorithms for Listing Paths in Minimal Change Order.	CAAN	2007	DBLP DOI BibTeX RDF	Minimal change order, Revolving door order, Generation of paths, Combinatorial algorithms, Complete graph
9	Aminu Mohammed, Mohamed Ould-Khaoua, Lewis M. Mackenzie	An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks.	EPEW	2007	DBLP DOI BibTeX RDF	Broadcast storm problem, Saved-rebroadcast, MANETs, Latency, Flooding, Reachability
9	Leon Reznik, Robert St. Jacques	Fuzzy Expert System Shell Development with Computer Security Assessment Application.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
9	Kamal Ali, Mark Scarr	Robust methodologies for modeling web click distributions.	WWW	2007	DBLP DOI BibTeX RDF	distribution fitting
9	Emanuele Viola, Avi Wigderson	One-Way Multi-Party Communication Lower Bound for Pointer Jumping with Applications.	FOCS	2007	DBLP DOI BibTeX RDF
9	Tsung-Lin Lee, Chun-Yao Wang	Recognition of Fanout-free Functions.	ASP-DAC	2007	DBLP DOI BibTeX RDF	state of the art method, fanout free functions, equivalent function, Boolean function, factoring, logic minimization
9	Jan Kyncl	The Complexity of Several Realizability Problems for Abstract Topological Graphs.	GD	2007	DBLP DOI BibTeX RDF
9	Sam Bakhtiar Sanjabi, C.-H. Luke Ong	Fully abstract semantics of additive aspects by translation.	AOSD	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, translation, aspects, game semantics, full abstraction
9	Justin Werfel	Robot Search in 3D Swarm Construction.	SASO	2007	DBLP DOI BibTeX RDF
9	Peter J. Taillon	Distributed Memorization for the k -Vertex CoverProblem.	ISPA	2007	DBLP DOI BibTeX RDF
9	Wolfgang Kiess, Andreas Tarp, Martin Mauve	Real-world evaluation of ring flooding.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2006	DBLP DOI BibTeX RDF
9	Brendan D. McKay, Jeanette C. McLeod, Ian M. Wanless	The number of transversals in a Latin square.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	AMS Classification 05B15
9	Yu Lei 0001, Richard H. Carver	Reachability Testing of Concurrent Programs.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Software testing, concurrent programming, reachability testing
9	Primoz Skraba, Qing Fang, An Thai Nguyen, Leonidas J. Guibas	Sweeps over wireless sensor networks.	IPSN	2006	DBLP DOI BibTeX RDF	sensor networks, topology, distributed protocols
9	German Shegalov, Gerhard Weikum, Klaus Berberich	Unstoppable Stateful PHP Web Services.	WISE	2006	DBLP DOI BibTeX RDF
9	Jyh-Da Wei, D. T. Lee	Priority-Based Genetic Local Search and Its Application to the Traveling Salesman Problem.	SEAL	2006	DBLP DOI BibTeX RDF
9	Lakshminath Bhuvanagiri, Sumit Ganguly, Deepanjan Kesh, Chandan Saha 0001	Simpler algorithm for estimating frequency moments of data streams.	SODA	2006	DBLP DOI BibTeX RDF
9	Erik D. Demaine, Mohammad Taghi Hajiaghayi, Uriel Feige, Mohammad R. Salavatipour	Combination can be hard: approximability of the unique coverage problem.	SODA	2006	DBLP DOI BibTeX RDF
9	Guy E. Blelloch, Kedar Dhamdhere, Eran Halperin, R. Ravi 0001, Russell Schwartz, Srinath Sridhar 0001	Fixed Parameter Tractability of Binary Near-Perfect Phylogenetic Tree Reconstruction.	ICALP (1)	2006	DBLP DOI BibTeX RDF