Search results for "RPO"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Peter Schneider-Kamp, René Thiemann, Elena Annov, Michael Codish, Jürgen Giesl	Proving Termination Using Recursive Path Orders and SAT Solving.	FroCoS	2007	DBLP DOI BibTeX RDF
115	Deepak Kapur, G. Sivakumar	Maximal Extensions os Simplification Orderings.	FSTTCS	1995	DBLP DOI BibTeX RDF
108	Paliath Narendran, Michaël Rusinowitch	The Theory of Total Unary RPO Is Decidable.	Computational Logic	2000	DBLP DOI BibTeX RDF	recursive path ordering, ground reducibility, ordered rewriting, tree automata, first-order theory
96	Cristina Borralleras, Albert Rubio	A Monotonic Higher-Order Semantic Path Ordering.	LPAR	2001	DBLP DOI BibTeX RDF
70	Pietro Di Gianantonio, Furio Honsell, Marina Lenisa	RPO, Second-Order Contexts, and lambda-Calculus.	FoSSaCS	2008	DBLP DOI BibTeX RDF
70	Albert Rubio	A Fully Syntactic AC-RPO.	RTA	1999	DBLP DOI BibTeX RDF
50	Deepak Kapur, G. Sivakumar	Proving Associative-Communicative Termination Using RPO-Compatible Orderings.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
38	Evelyne Contejean	Modeling Permutations in Coqfor Coccinelle.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF
38	Daniel Lombraña Gonzalez, Francisco Fernández de Vega	Dynamic populations and length evolution: key factors for analyzing fault tolerance on parallel genetic programming.	GECCO	2007	DBLP DOI BibTeX RDF	parallel and distributed EAs, size evolution, genetic programming
38	Pavel Makagonov, Alejandro Ruiz Figueroa	A Method of Rapid Prototyping of Evolving Ontologies.	CICLing	2005	DBLP DOI BibTeX RDF
37	Rafal Cegiela	Selecting Technology for Disaster Recovery.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF	RPO, hot site, cold site, cluster, RTO, backup, disaster recovery
31	Asmaa H. Rabie, Ahmed I. Saleh, Nehal A. Mansour	Red piranha optimization (RPO): a natural inspired meta-heuristic algorithm for solving complex optimization problems.	J. Ambient Intell. Humaniz. Comput.	2023	DBLP DOI BibTeX RDF
31	Jian Wang 0003, Xinyu Guo, Xuejie Liu, Yuming Ge	RPO-MAC: reciprocal Partially observable MAC protocol based on application-value-awareness in VANETs.	Wirel. Networks	2021	DBLP DOI BibTeX RDF
31	Dohan Kim 0001, Christopher Lynch	An RPO-Based Ordering Modulo Permutation Equations and Its Applications to Rewrite Systems.	FSCD	2021	DBLP DOI BibTeX RDF
31	Jinbin Hu, Jiawei Huang 0001, Zhaoyi Li, Yijun Li, Wenchao Jiang, Kai Chen 0005, Jianxin Wang 0001, Tian He 0001	RPO: Receiver-driven Transport Protocol Using Opportunistic Transmission in Data Center.	ICNP	2021	DBLP DOI BibTeX RDF
31	Munsif Ali, Anwar Khan, Khursheed Aurangzeb, Ihsan Ali, Hasan Mahmood, Syed Irtaza Haider, Naeem Bhatti	CoSiM-RPO: Cooperative Routing with Sink Mobility for Reliable and Persistent Operation in Underwater Acoustic Wireless Sensor Networks.	Sensors	2019	DBLP DOI BibTeX RDF
31	Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale	RPO semantics for mobile ambients.	Math. Struct. Comput. Sci.	2014	DBLP DOI BibTeX RDF
31	Samira Musabbir, Diwakar Krishnamurthy, Giuliano Casale	RPO: Runtime web server optimization under simultaneous multithreading.	IM	2013	DBLP BibTeX RDF
31	Pietro Di Gianantonio, Furio Honsell, Marina Lenisa	RPO, Second-order Contexts, and Lambda-calculus	Log. Methods Comput. Sci.	2009	DBLP BibTeX RDF
31	Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl	Implementing RPO and POLO using SAT.	Deduction and Decision Procedures	2007	DBLP BibTeX RDF
31	Frédéric Blanqui	(HO)RPO Revisited	CoRR	2006	DBLP BibTeX RDF
31	Albert Rubio	A Fully Syntactic AC-RPO.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
31	Paliath Narendran, Michaël Rusinowitch, Rakesh M. Verma	RPO Constraint Solving Is in NP.	CSL	1998	DBLP DOI BibTeX RDF
31	Albert Rubio, Robert Nieuwenhuis	A Total AC-Compatible Ordering Based on RPO.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
19	Xiaoguang Liu 0001, Gang Wang 0001, Feng Wang, Yongzhi Song	SnapCDP : A CDP System Based on LVM.	ICA3PP	2009	DBLP DOI BibTeX RDF	Continuous Data Protection, Backup Technology, Logical Volume Manager
19	Pietro Di Gianantonio, Furio Honsell, Marina Lenisa	Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi.	WADT	2008	DBLP DOI BibTeX RDF
19	Nobutatsu Nakamura, Ken-ichiro Fujiyama, Eiji Kawai, Hideki Sunahara	A Flexible Replication Mechanism with Extended Database Connection Layers.	NCA	2006	DBLP DOI BibTeX RDF
19	Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio	Higher-Order Termination: From Kruskal to Computability.	LPAR	2006	DBLP DOI BibTeX RDF
19	Adam Koprowski, Hans Zantema	Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems.	IJCAR	2006	DBLP DOI BibTeX RDF
19	Ting Zhang 0001, Henny B. Sipma, Zohar Manna	The Decidability of the First-Order Theory of Knuth-Bendix Order.	CADE	2005	DBLP DOI BibTeX RDF
19	Cristina Borralleras, Albert Rubio	Monotonic AC-Compatible Semantic Path Orderings.	RTA	2003	DBLP DOI BibTeX RDF
19	Bernhard Gramlich, Salvador Lucas	Simple termination of context-sensitive rewriting.	ACM SIGPLAN Workshop on Rule-Based Programming	2002	DBLP DOI BibTeX RDF	automatic proofs of termination, context-sensitive rewriting, modular program analysis and verification, declarative programming, evaluation strategies
19	Guillem Godoy, Robert Nieuwenhuis	Paramodulation with Built-in Abelian Groups.	LICS	2000	DBLP DOI BibTeX RDF	term rewriting, automated deduction
19	James J. Leifer, Robin Milner	Deriving Bisimulation Congruences for Reactive Systems.	CONCUR	2000	DBLP DOI BibTeX RDF
19	Daria Walukiewicz	A Total AC-Compatible Reduction Ordering on Higher-Order Terms.	ICALP	1998	DBLP DOI BibTeX RDF
19	Albert Rubio, Robert Nieuwenhuis	A Precedence-Based Total AC-Compatible Ordering.	RTA	1993	DBLP DOI BibTeX RDF
19	Michaël Rusinowitch	Path of Subterms Ordering and Recursive Decomposition Ordering Revisited.	RTA	1985	DBLP DOI BibTeX RDF