Search results for "Termination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi	Byzantine disk paxos: optimal resilience with byzantine shared memory.	PODC	2004	DBLP DOI BibTeX RDF	termination conditions, consensus, Byzantine failures, shared-memory emulations
25	Jingao Wang, Qing-An Zeng, Dharma P. Agrawal	Performance Analysis of a Preemptive and Priority Reservation Handoff Scheme for Integrated Service-Based Wireless Mobile Networks.	IEEE Trans. Mob. Comput.	2003	DBLP DOI BibTeX RDF	forced termination probability, preemptive reservation, real-time/ non-real-time, Analytical model, mobile networks, handoff, priority, blocking probability, integrated service, transmission delay
25	Satya Kovvuri, Vijoy Pandey, Dipak Ghosal, Biswanath Mukherjee, Dilip Sarkar	A Call-Admission Control (CAC) Algorithm for Providing Guaranteed QoS in Cellular Networks.	Int. J. Wirel. Inf. Networks	2003	DBLP DOI BibTeX RDF	call arrival rate, call holding time, call preblocking, cell dwell time, forced termination, quality of service, Call admission control, call blocking
25	Max I. Kanovich	Bijections between Partitions by Two-Directional Rewriting Techniques.	CSL	2002	DBLP DOI BibTeX RDF	multiset rewriting, partition identities, termination, combinatorics, confluence, strong normalization, Church-Rosser property, integer partitions
25	Hongjing Wu, Erik de Kort, Paul De Bra	Design issues for general-purpose adaptive hypermedia systems.	Hypertext	2001	DBLP DOI BibTeX RDF	adaptation rules, user modeling, termination, adaptive hypermedia, active databases, confluence
25	Alfons Geser	An Improved General Path Order.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Semantic path ordering, General path ordering, Termination, Term rewriting system
25	Shyh-Wei Luan, Virgil D. Gligor	A Fault-Tolerant Protocol for Atomic Broadcast.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	delay of messages, fail-stop sites, Byzantine site behavior, majority-concensus decisions, decentralized termination protocol, performanceanalysis, performance evaluation, protocols, fault tolerant computing, network partitioning, duplication, reordering, atomic broadcast, loss, arbitrary network, fault-tolerant protocol
25	Jean-Pierre Jouannaud, Claude Marché	Completion modulo Associativity, Commutativity and Identity (AC1).	DISCO	1990	DBLP DOI BibTeX RDF	Class rewriting, Constrained rewriting, Completion modulo AC1, Constrained completion, Rewrite orderings, Termination
25	Yanyan Zeng, Neeraj Mittal, S. Venkatesan 0001, R. Chandrasekaran	Fast Neighbor Discovery with Lightweight Termination Detection in Heterogeneous Cognitive Radio Networks.	ISPDC	2010	DBLP DOI BibTeX RDF	multi-channel multi-hop, ad hoc networks, collision detection, cognitive radio, termination detection, neighbor discovery
25	Gido A. J. F. Brouns, Jan van der Wal	Optimal threshold policies in a two-class preemptive priority queue with admission and termination control.	Queueing Syst. Theory Appl.	2006	DBLP DOI BibTeX RDF	Admission and termination control, Optimal threshold policies, Markov decision processes, Priority queues
25	Su Feng	Mechanizing Weakly Ground Termination Proving of Term Rewriting Systems by Structural and Cover-Set Inductions.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	automated formal proving, cover-set induction, dynamic term rewriting calculus, weakly ground termination, term rewriting system
25	Arne J. Glenstrup, Neil D. Jones	Termination analysis and specialization-point insertion in offline partial evaluation.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	quasitermination, size-change graphs, termination, Binding-time analysis
25	Giansalvatore Mecca, Anthony J. Bonner	Query Languages for Sequence Databases: Termination and Complexity.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	complexity, query languages, Datalog, deductive databases, termination, Sequence databases
25	Hengming Zou	An Algorithm for Detecting Termination of Distributed Computation in Arbitrary Network Topologies within Linear Time.	ISPAN	1996	DBLP DOI BibTeX RDF	termination Parallelization of Scheduling Algorithms, algorithm, distributed process, message, active, predicate, passive
25	A. Ghazal, Aris M. Ouksel	Termination of programs in constraint query languages.	SAC	1994	DBLP DOI BibTeX RDF	logic expressions, termination, probabilistic algorithms, subsumption
25	Dimitri P. Bertsekas, John N. Tsitsiklis	Convergence rate and termination of asynchronous iterative algorithms.	ICS	1989	DBLP DOI BibTeX RDF	parallel algorithms, distributed algorithms, iterative methods, termination detection, asynchronous algorithms
24	Eli Gafni, Petr Kuznetsov	On Set Consensus Numbers.	DISC	2009	DBLP DOI BibTeX RDF
24	Jérémie Chalopin, Emmanuel Godard, Yves Métivier	Local Terminations and Distributed Computability in Anonymous Networks.	DISC	2008	DBLP DOI BibTeX RDF
24	Thomas Ball, Orna Kupferman, Mooly Sagiv	Leaping Loops in the Presence of Abstraction.	CAV	2007	DBLP DOI BibTeX RDF
24	Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia	CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence.	APLAS	2007	DBLP DOI BibTeX RDF
24	Jochen Malte Küster	Definition and validation of model transformations.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF
24	Parosh Aziz Abdulla, Bengt Jonsson 0001, Ahmed Rezine, Mayank Saksena	Proving Liveness by Backwards Reachability.	CONCUR	2006	DBLP DOI BibTeX RDF
24	Cristina Borralleras, Albert Rubio	Monotonic AC-Compatible Semantic Path Orderings.	RTA	2003	DBLP DOI BibTeX RDF
24	Davide Sangiorgi	Types, or: Where's the Difference Between CCS and pi?	CONCUR	2002	DBLP DOI BibTeX RDF
24	Steffen Jurk, Mira Balaban	Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs.	DEXA	2001	DBLP DOI BibTeX RDF
24	Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina	Verifying an Applicative ATP Using Multiset Relations.	EUROCAST	2001	DBLP DOI BibTeX RDF
24	Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar	Symbolic Algorithms for Infinite-State Games.	CONCUR	2001	DBLP DOI BibTeX RDF
24	Wim Vanhoof, Maurice Bruynooghe	When Size Does Matter.	LOPSTR	2001	DBLP DOI BibTeX RDF
24	Jürgen Giesl, Aart Middeldorp	Eliminating Dummy Elimination.	CADE	2000	DBLP DOI BibTeX RDF
24	Andreas Weiermann	Bounding derivation lengths with functions from the slow growing hierarchy.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF
24	Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham	Applications of a logic of knowledge to motion planning under uncertainty.	J. ACM	1997	DBLP DOI BibTeX RDF	logics of knowledge and time, motion planning under uncertainty, knowledge representation, analysis
24	Leo Bachmair, David A. Plaisted	Associative Path Orderings.	RTA	1985	DBLP DOI BibTeX RDF
24	Zohar Manna	Properties of Programs and the First-Order Predicate Calculus.	J. ACM	1969	DBLP DOI BibTeX RDF
24	Amir M. Ben-Amram	Size-Change Termination, Monotonicity Constraints and Ranking Functions.	CAV	2009	DBLP DOI BibTeX RDF
24	Zhaopeng Cui, Dujuan Wang, Guang Jiang, Chengke Wu 0001	Octagonal Search Algorithm with Early Termination for Fast Motion Estimation on H.264.	IAS	2009	DBLP DOI BibTeX RDF
24	Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi	Mobile Processes and Termination.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
24	Radu Iosif, Adam Rogalewicz	Automata-Based Termination Proofs.	CIAA	2009	DBLP DOI BibTeX RDF
24	Seth Fogarty, Moshe Y. Vardi	Büchi Complementation and Size-Change Termination.	TACAS	2009	DBLP DOI BibTeX RDF
24	Nico H. L. Kuijpers, Huub M. M. ten Eikelder, Sander Verheule	Atrial Anatomy Influences Onset and Termination of Atrial Fibrillation: A Computer Model Study.	FIMH	2009	DBLP DOI BibTeX RDF	Atrial anatomy, mechanoelectric feedback, stretch-activated channels, atrial fibrillation
24	Carsten Fuhs, Jürgen Giesl, Martin Plücker, Peter Schneider-Kamp, Stephan Falke 0001	Proving Termination of Integer Term Rewriting.	RTA	2009	DBLP DOI BibTeX RDF
24	Hans Zantema	Well-Definedness of Streams by Termination.	RTA	2009	DBLP DOI BibTeX RDF
24	Johannes Waldmann	Automatic Termination.	RTA	2009	DBLP DOI BibTeX RDF
24	Hans Zantema	A Tool Proving Well-Definedness of Streams Using Termination Tools.	CALCO	2009	DBLP DOI BibTeX RDF
24	Byron Cook	Advances in Program Termination and Liveness.	VMCAI	2009	DBLP DOI BibTeX RDF
24	Frédéric Blanqui, Cody Roux	On the Relation between Sized-Types Based Termination and Semantic Labelling.	CSL	2009	DBLP DOI BibTeX RDF
24	Daniel Leivant	Reasoning in Dynamic Logic about Program Termination.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
24	Francisco Durán 0001, Salvador Lucas, José Meseguer 0001	MTT: The Maude Termination Tool (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
24	Sheng Peng, Yuanxiang Li	A New Electrostatic Field Termination Criterion for Evolutionary Algorithm.	CSSE (1)	2008	DBLP DOI BibTeX RDF
24	Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi	Static and dynamic typing for the termination of mobile processes.	IFIP TCS	2008	DBLP DOI BibTeX RDF
24	Byron Cook	Bringing Hardware and Software Closer Together with Termination Analysis.	MEMOCODE	2007	DBLP DOI BibTeX RDF
24	Byron Cook	Automatically Proving Program Termination.	CAV	2007	DBLP DOI BibTeX RDF
24	Lukas Bulwahn, Alexander Krauss 0001, Tobias Nipkow	Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL.	TPHOLs	2007	DBLP DOI BibTeX RDF
24	Joe Hurd	Proof Pearl: The Termination Analysis of Terminator.	TPHOLs	2007	DBLP DOI BibTeX RDF
24	Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar	Proving Termination of Tree Manipulating Programs.	ATVA	2007	DBLP DOI BibTeX RDF
24	Zhongmin Xiong, Wei Wang 0009, Jian Pei	Active Rules Termination Analysis Through Conditional Formula Containing Updatable Variable.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF
24	Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl	SAT Solving for Termination Analysis with Polynomial Interpretations.	SAT	2007	DBLP DOI BibTeX RDF
24	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
24	Esam A. Al Qaralleh, Tian-Sheuan Chang	Fast Variable Block Size Motion Estimation by Adaptive Early Termination.	IEEE Trans. Circuits Syst. Video Technol.	2006	DBLP DOI BibTeX RDF
24	Gilles Barthe, Benjamin Grégoire, Fernando Pastawski	CIC[^( )]: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions.	LPAR	2006	DBLP DOI BibTeX RDF
24	Panagiotis Manolios, Daron Vroon 0001	Termination Analysis with Calling Context Graphs.	CAV	2006	DBLP DOI BibTeX RDF
24	B. W. He, Y. F. Li	A Next-Best-View Method With self-termination in Active Modeling of 3D Objects.	IROS	2006	DBLP DOI BibTeX RDF
24	Mila E. Majster-Cederbaum, Christoph Minnameier	Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa.	ICTAC	2006	DBLP DOI BibTeX RDF
24	Olivier Bournez, Florent Garnier	Proving Positive Almost Sure Termination Under Strategies.	RTA	2006	DBLP DOI BibTeX RDF
24	Michael Codish, Vitaly Lagoon, Peter J. Stuckey	Solving Partial Order Constraints for LPO Termination.	RTA	2006	DBLP DOI BibTeX RDF
24	Dieter Hofbauer, Johannes Waldmann	Termination of String Rewriting with Matrix Interpretations.	RTA	2006	DBLP DOI BibTeX RDF
24	Étienne Payet	Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator.	LOPSTR	2006	DBLP DOI BibTeX RDF
24	Gilles Barthe, Benjamin Grégoire, Fernando Pastawski	Practical Inference for Type-Based Termination in a Polymorphic Setting.	TLCA	2005	DBLP DOI BibTeX RDF
24	Guillem Godoy, Ashish Tiwari 0001	Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules.	CADE	2005	DBLP DOI BibTeX RDF
24	Irina V. Biktasheva, Vadim N. Biktashev, Arun V. Holden	Wavebreaks and Self-termination of Spiral Waves in a Model of Human Atrial Tissue.	FIMH	2005	DBLP DOI BibTeX RDF
24	Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio	Orderings for Innermost Termination.	RTA	2005	DBLP DOI BibTeX RDF
24	Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema	On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems.	RTA	2005	DBLP DOI BibTeX RDF
24	Olivier Bournez, Florent Garnier	Proving Positive Almost-Sure Termination.	RTA	2005	DBLP DOI BibTeX RDF
24	Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay	Termination Criteria for Model Transformation.	FASE	2005	DBLP DOI BibTeX RDF
24	Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner	A Proof of Weak Termination Providing the Right Way to Terminate.	ICTAC	2004	DBLP DOI BibTeX RDF
24	Daniel Leivant	Proving Termination Assertions in Dynamic Logics.	LICS	2004	DBLP DOI BibTeX RDF
24	Nachum Dershowitz	Termination by Abstraction.	ICLP	2004	DBLP DOI BibTeX RDF
24	Frédéric Blanqui	A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems.	RTA	2004	DBLP DOI BibTeX RDF
24	Hans Zantema	TORPA: Termination of Rewriting Proved Automatically.	RTA	2004	DBLP DOI BibTeX RDF
24	M. R. K. Krishna Rao	Input-Termination of Logic Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF
24	Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus	Characterisations of Termination in Logic Programming.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
24	K. A. Ariyawansa, Wayne L. Tabor	A Note on Line Search Termination Criteria for Collinear Scaling Algorithms.	Computing	2003	DBLP DOI BibTeX RDF
24	Johan Bengtsson, Wang Yi 0001	On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.	ICFEM	2003	DBLP DOI BibTeX RDF
24	Rob J. van Glabbeek, David G. Stork	Query Nets: Interacting Workflow Modules That Ensure Global Termination.	Business Process Management	2003	DBLP DOI BibTeX RDF
24	Joe Hurd	A Formal Approach to Probabilistic Termination.	TPHOLs	2002	DBLP DOI BibTeX RDF
24	Neil D. Jones, Arne J. Glenstrup	Program Generation, Termination, and Binding-Time Analysis.	GPCE	2002	DBLP DOI BibTeX RDF
24	Chin Soon Lee	Program Termination Analysis in Polynomial Time.	GPCE	2002	DBLP DOI BibTeX RDF
24	Neil D. Jones, Arne J. Glenstrup	Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis.	PPDP	2002	DBLP DOI BibTeX RDF
24	Letícia Maria Friske, Carlos H. C. Ribeiro	Speeding Up Autonomous Learning by Using State-Independent Option Policies and Termination Improvement.	SBRN	2002	DBLP DOI BibTeX RDF
24	Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski	Compositional Termination Analysis of Symbolic Forward Analysis.	VMCAI	2002	DBLP DOI BibTeX RDF
24	Emmanuel Godard, Yves Métivier, Mohamed Mosbah 0001, Afif Sellami	Termination Detection of Distributed Algorithms by Graph Relabelling Systems.	ICGT	2002	DBLP DOI BibTeX RDF
24	Stephen M. Blackburn, J. Eliot B. Moss, Richard L. Hudson, Ronald Morrison, David S. Munro, John N. Zigman	Starting with Termination: A Methodology for Building Distributed Garbage Collection Algorithms.	ACSC	2001	DBLP DOI BibTeX RDF
24	Neil D. Jones	Program Termination Analysis by Size-Change Graphs (Abstract).	IJCAR	2001	DBLP DOI BibTeX RDF
24	David Monniaux	An Abstract Analysis of the Probabilistic Termination of Programs.	SAS	2001	DBLP DOI BibTeX RDF
24	Dieter Hofbauer	Termination Proofs by Context-Dependent Interpretations.	RTA	2001	DBLP DOI BibTeX RDF
24	James Bailey 0001, Alexandra Poulovassilis, Peter Newson	A Dynamic Approach to Termination Analysis for Active Database Rules.	Computational Logic	2000	DBLP DOI BibTeX RDF
24	Maxim Lifantsev, Leo Bachmair	An LPO-based Termination Ordering for Higher-Order Terms without lambda-abstraction.	TPHOLs	1998	DBLP DOI BibTeX RDF
24	Hongwei Xi	Towards Automated Termination Proofs through "Freezing".	RTA	1998	DBLP DOI BibTeX RDF
24	Takahito Aoto 0001, Yoshihito Toyama	Termination Transformation by Tree Lifting Ordering.	RTA	1998	DBLP DOI BibTeX RDF
24	Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik	TermiLog: A System for Checking Termination of Queries to Logic Programs.	CAV	1997	DBLP DOI BibTeX RDF
24	Thomas Genet, Isabelle Gnaedig	Termination Proofs Using gpo Ordering Constraints.	TAPSOFT	1997	DBLP DOI BibTeX RDF