The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Exactly-once (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1960-1998 (18) 1999-2001 (24) 2002-2003 (19) 2004-2005 (27) 2006 (20) 2007 (18) 2008-2009 (22) 2010-2023 (10)
Publication types (Num. hits)
article(36) incollection(1) inproceedings(121)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 165 occurrences of 131 keywords

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