|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1898 occurrences of 1118 keywords
|
|
|
Results
Found 4055 publication records. Showing 4055 according to the selection in the facets
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 |
|
Displaying result #301 - #400 of 4055 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|