Search results for "Termination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Zilu Wu, Yumin Gao, Jinsheng Luo, Xun Hou, Guofu Chen	Application of BEM to high-voltage junction termination.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
18	Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen	On Lexicographic Termination Ordering with Space Bound Certifications.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
18	Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus	Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling.	ESOP	2001	DBLP DOI BibTeX RDF
18	Anish Arora, Mikhail Nesterenko	Unifying Stabilization and Termination in Message-Passing Systems.	ICDCS	2001	DBLP DOI BibTeX RDF
18	Toshiyuki Yamada	Confluence and Termination of Simply Typed Term Rewriting Systems.	RTA	2001	DBLP DOI BibTeX RDF
18	Femke van Raamsdonk	On Termination of Higher-Order Rewriting.	RTA	2001	DBLP DOI BibTeX RDF
18	Nadia Nedjah, Luiza de Macedo Mourelle	Improving Space, Time, and Termination in Rewriting-Based Programming.	IEA/AIE	2001	DBLP DOI BibTeX RDF
18	Ching-Chih Han, Chao-Ju Hou, Kar Shun Tsoi, Sean Ho	Dynamic Establishment and Termination of Real-Time Message Streams in Dual-Bus Networks.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	Dual-bus networks, $(C,D){hbox{-}}{rm smooth}$ message model, message stream setup and tear-down, temporal QoS guarantee, distance constraint
18	Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux	Refinement Based Validation of an Algorithm for Detecting Distributed Termination.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
18	Stefano Bistarelli, Rosella Gennari, Francesca Rossi 0001	Constraint Propagation for Soft Constraints: Generalization and Termination Conditions.	CP	2000	DBLP DOI BibTeX RDF
18	Frédéric Blanqui	Termination and Confluence of Higher-Order Rewrite Systems.	RTA	2000	DBLP DOI BibTeX RDF
18	Hitoshi Ohsaki, Aart Middeldorp, Jürgen Giesl	Equational Termination by Semantic Labelling.	CSL	2000	DBLP DOI BibTeX RDF
18	Gerhard Heindl	How to Guarantee Finite Termination of Verifying Global Optimization Codes.	Reliab. Comput.	1999	DBLP DOI BibTeX RDF
18	Robert Eschbach	A Termination Detection Algorithm: Specification and Verification.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
18	Kerstin Schwarz, Can Türker, Gunter Saake	Computing Rules for Detecting Contradictory Transaction Termination Dependencies.	ADBIS	1999	DBLP DOI BibTeX RDF
18	Jan-Georg Smaus, Patricia M. Hill, Andy King	Termination of Logic Programs with block Declarations Running in Several Modes.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
18	Michael Leuschel	On the Power of Homeomorphic Embedding for Online Termination.	SAS	1998	DBLP DOI BibTeX RDF
18	Claude Marché, Xavier Urbain	Termination of Associative-Commutative Rewriting by Dependency Pairs.	RTA	1998	DBLP DOI BibTeX RDF
18	Andreas Weiermann	A proof of strongly uniform termination for Gödel's TT by methods from local predicativity.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
18	Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema	Relative Undecidability in the Termination Hierarchy of Single Rewrite Rules.	TAPSOFT	1997	DBLP DOI BibTeX RDF
18	Ekkehard Rohwedder, Frank Pfenning	Mode and Termination Checking for Higher-Order Logic Programs.	ESOP	1996	DBLP DOI BibTeX RDF
18	Rohini Gupta, Byron Krauter, Lawrence T. Pileggi	On Moment-Based Metric for Optimal Termination of Transmission Line Interconnects.	VLSI Design	1996	DBLP DOI BibTeX RDF
18	Volker Diekert, Paul Gastin	A Domain for Concurrent Termination: A Generalization of Mazurkiewicz Traces (Extended Abstract).	ICALP	1995	DBLP DOI BibTeX RDF
18	Jürgen Giesl	Generating Polynomial Orderings for Termination Proofs.	RTA	1995	DBLP DOI BibTeX RDF
18	Joachim Steinbach	Automatic Termination Proofs With Transformation Orderings.	RTA	1995	DBLP DOI BibTeX RDF
18	Zbigniew Stachniak	Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics.	ISMIS	1994	DBLP DOI BibTeX RDF
18	Franco Barbanera, Maribel Fernández	Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega.	ICALP	1993	DBLP DOI BibTeX RDF
18	David A. Plaisted	Polynomial Time Termination and Constraint Satisfaction Tests.	RTA	1993	DBLP DOI BibTeX RDF
18	Nachum Dershowitz, Charles Hoot	Topics in Termination.	RTA	1993	DBLP DOI BibTeX RDF
18	Luca Aceto, Matthew Hennessy	Termination, Deadlock, and Divergence.	J. ACM	1992	DBLP DOI BibTeX RDF
18	Kai Salomaa	Decidability of Confluence and Termination of Monadic Term Rewriting Systems.	RTA	1991	DBLP DOI BibTeX RDF
18	Andreas Weiermann	Proving Termination for Term Rewriting Systems.	CSL	1991	DBLP DOI BibTeX RDF
18	Dieter Hofbauer	Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths.	ALP	1990	DBLP DOI BibTeX RDF
18	Joachim Steinbach	AC-Termination of Rewrite Systems: A Modified Knuth-Bendix Ordering.	ALP	1990	DBLP DOI BibTeX RDF
18	W. Eric L. Grimson	The Combinatorics of Heuristic Search Termination for Object Recognition in Cluttered Environments.	ECCV	1990	DBLP DOI BibTeX RDF
18	Luca Aceto, Matthew Hennessy	Termination, Deadlock and Divergence.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
18	Dana May Latch, Ron Sigal	A Local Termination Property for Term Rewriting Systems.	RTA	1989	DBLP DOI BibTeX RDF
18	Friedemann Mattern	Experience with a New Distributed Termination Detection Algorithm.	WDAG	1987	DBLP DOI BibTeX RDF
18	Jos C. M. Baeten, Rob J. van Glabbeek	Merge and Termination in Process Algebra.	FSTTCS	1987	DBLP DOI BibTeX RDF
18	David Wai-Lok Cheung, Tiko Kameda	Site Optimal termination Protocols for a Distributed Database under Network Partitioning.	ACM SIGOPS Oper. Syst. Rev.	1986	DBLP DOI BibTeX RDF
18	Krzysztof R. Apt	Correctness Proofs of Distributed Termination Algorithms.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF	CSP
18	Deepak Kapur, Paliath Narendran, G. Sivakumar	A Path Ordering for Proving Termination of Term Rewriting Systems.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
18	Jean-Luc Richier	Distributed Termination in CSP: Symmetric Solutions with Minimal Storage.	STACS	1985	DBLP DOI BibTeX RDF
18	Nissim Francez, Dexter Kozen	Generalized Fair Termination.	POPL	1984	DBLP DOI BibTeX RDF
18	Nissim Francez	Distributed Termination.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
18	Hans-Josef Jeanrond	Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully.	CADE	1980	DBLP DOI BibTeX RDF
18	Hans-Josef Jeanrond	A Unique Termination Theorem for a Theory with Generalised Commutative Axioms.	ICALP	1979	DBLP DOI BibTeX RDF
18	Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini	Termination Tests inside lambda-Calculus.	ICALP	1977	DBLP DOI BibTeX RDF
18	Giulio Treccani	A Widely Convergent Minimization Algorithm with Quadratic Termination Property.	Optimization Techniques	1973	DBLP DOI BibTeX RDF
13	Brendan Moloney, Marco Ament, Daniel Weiskopf, Torsten Möller	Sort-First Parallel Volume Rendering.	IEEE Trans. Vis. Comput. Graph.	2011	DBLP DOI BibTeX RDF	sort-first parallelization, early ray termination, ray coherence, visualization, Volume rendering, shadow, dynamic load balancing
13	Jonas Boustedt, Robert McCartney, Josh Tenenberg, Edward F. Gehringer, Raymond Lister, David R. Musicant	It seemed like a good idea at the time.	SIGCSE	2010	DBLP DOI BibTeX RDF	doom, fiasco, gloom, humiliation, termination, failure, disaster, breakdown
13	Torsten Hoefler, Christian Siebert, Andrew Lumsdaine	Scalable communication protocols for dynamic sparse data exchange.	PPoPP	2010	DBLP DOI BibTeX RDF	alltoall, distributed termination, irregular algorithms, nonblocking collective operations, sparse data exchange
13	Gunnar Wilken, Andreas Weiermann	Complexity of Gödel's T in lambda-Formulation.	TLCA	2009	DBLP DOI BibTeX RDF	Typed ?-Calculus, Gödel’s T, Termination, Rewrite System, Strong Normalization
13	Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis	Proving that non-blocking algorithms don't block.	POPL	2009	DBLP DOI BibTeX RDF	formal verification, concurrent programming, termination, liveness
13	Jonas Boustedt, Robert McCartney, Katherine Deibel, Jim Huggins, Beth Simon, Suzanne Westbrook, The Mystery Presenter	It seemed like a good idea at the time.	SIGCSE	2009	DBLP DOI BibTeX RDF	fiasco, humiliation, termination, failure, disaster, breakdown
13	William B. Langdon, Riccardo Poli	Mapping non-conventional extensions of genetic programming.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	Markov analysis of program search spaces, Any time computation, Entropy and irreversible loss of information, Program convergence, Halting probability genetic algorithms, Genetic programming, Turing complete, Program termination
13	Jonas Boustedt, Robert McCartney, Josh Tenenberg, Scott D. Anderson, Caroline M. Eastman, Daniel D. Garcia, Paul V. Gestwicki, Margaret S. Menzin	It seemed like a good idea at the time.	SIGCSE	2008	DBLP DOI BibTeX RDF	fiasco, humiliation, termination, failure, disaster, breakdown
13	Hacer Yalim Keles, Alphan Es, Veysi Isler	Acceleration of direct volume rendering with programmable graphics hardware.	Vis. Comput.	2007	DBLP DOI BibTeX RDF	Empty space skipping, Early ray termination, Volume rendering, GPU programming
13	Geoff W. Hamilton	Distillation: extracting the essence of programs.	PEPM	2007	DBLP DOI BibTeX RDF	superlinear improvement, program transformation, termination, generalisation, tail-recursion
13	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou	Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems.	ICTAC	2007	DBLP DOI BibTeX RDF	Loop Termination, Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Computer Algebra, Ranking Function, Polynomial Programs
13	Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi	Proving that programs eventually do something good.	POPL	2007	DBLP DOI BibTeX RDF	formal verification, termination, liveness, software model checking
13	Jonas Boustedt, Robert McCartney, Josh Tenenberg, Titus Winters, Stephen H. Edwards, Briana B. Morrison, David R. Musicant, Ian Utting, Carol Zander	It seemed like a good idea at the time.	SIGCSE	2007	DBLP DOI BibTeX RDF	fiasco, humiliation, termination, failure, disaster, breakdown
13	Max I. Kanovich	A Note on Rewriting Proofs and Fibonacci Numbers.	LFCS	2007	DBLP DOI BibTeX RDF	multiset rewriting, partition identities, termination, combinatorics, confluence, Fibonacci numbers, strong normalization, Church-Rosser property, integer partitions
13	Solange Coupet-Grimal, William Delobel	An effective proof of the well-foundedness of the multiset path ordering.	Appl. Algebra Eng. Commun. Comput.	2006	DBLP DOI BibTeX RDF	Well-foundedness, Multiset path order, Termination, Constructive logic
13	Isabelle Gnaedig, Hélène Kirchner	Computing constructor forms with non terminating rewrite programs.	PPDP	2006	DBLP DOI BibTeX RDF	constructor, abstraction, termination, narrowing, ordering constraint, sufficient completeness
13	Xiu-Feng Wan, Dong Xu	Intrinsic Terminator Prediction and Its Application in Synechococcus sp. WH8102.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	rho-independent terminator, RNA local secondary structure, Synechococcus, Rnall, intrinsic terminator, transcription termination
13	Efrat Jaeger, Nissim Francez, Shuly Wintner	Unification Grammars and Off-Line Parsability.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	off-line parsability, parsing termination, unification grammars
13	Godmar Back, Wilson C. Hsieh	The KaffeOS Java runtime system.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	language runtimes, Robustness, virtual machines, resource management, garbage collection, termination, isolation
13	Kartik Hosanagar	A utility theoretic approach to determining optimal wait times in distributed information retrieval.	SIGIR	2005	DBLP DOI BibTeX RDF	optimal wait time, query termination, utility theory, distributed IR
13	Hagit Attiya, Faith Ellen Fich, Yaniv Kaplan	Lower bounds for adaptive collect and related objects.	PODC	2004	DBLP DOI BibTeX RDF	exclusive-write registers, sensitive objects, solo termination, weak test&set, adaptivity, contention, collect
13	Jaco van de Pol, Miguel Valero Espada	Verification of JavaSpacesTM Parallel Programs.	ACSD	2003	DBLP DOI BibTeX RDF	software architecture (JavaSpaces), Formal analysis and verification, Distributed termination problem, Parallel computing
13	Hang Chen, Qing-An Zeng, Dharma P. Agrawal	A novel analytical model for optimal channel partitioning in the next generation integrated wireless and mobile networks.	MSWiM	2002	DBLP DOI BibTeX RDF	channel partitioning, forced termination probability, QoS, mobile, wireless, handoff, blocking probability, transmission delay, integrated network
13	Nick Cropper, Ursula Martin	The Classification of Polynomial Orderings on Monadic Terms.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Termination, Term rewriting systems, Ordinals
13	David Garrett, Bing Xu, Chris Nicol	Energy efficient turbo decoding for 3G mobile.	ISLPED	2001	DBLP DOI BibTeX RDF	extrinsics, low power, turbo coding, early termination
13	Elena Baralis, Jennifer Widom	An algebraic approach to static analysis of active database rules.	ACM Trans. Database Syst.	2000	DBLP DOI BibTeX RDF	database rule processing, database trigger processing, SQL, termination, confluence, active database systems
13	Giorgio Terracina, Domenico Ursino	A Study on the Interaction Between Interscheme Property Extraction and Type Conflict Resolution.	IDEAS	2000	DBLP DOI BibTeX RDF	interscheme property extraction, type conflict resolution, synonymies, homonymies, semi-automatic approach, computation termination, semantics, distributed databases, transformations, heterogeneous databases, polynomial complexity, iterative computation
13	Jason Conkey, Kenneth I. Joy	Using Isosurface Methods for Visualizing the Envelope of a Swept Trivariate Solid.	PG	2000	DBLP DOI BibTeX RDF	swept surface, boundary surface de-termination, trivariate B-spline solids, rank-deficient Jacobians, marching tetrahedra, envelopes
13	Godmar Back, Wilson C. Hsieh	Drawing the Red Line in Java.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	red line, kernel structure, Java, termination, sharing, type safety, resource control
13	Elena Baralis, Stefano Ceri, Stefano Paraboschi	Compile-Time and Runtime Analysis of Active Behaviors.	IEEE Trans. Knowl. Data Eng.	1998	DBLP DOI BibTeX RDF	Rule analysis, rule termination, rule debugging, active databases, production rules
13	Yuguang Fang, Imrich Chlamtac, Yi-Bing Lin	Modeling PCS networks under general call holding time and cell residence time distributions.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	billing rate planning, call holding time, call termination, cell residence, handoff, PCS, call blocking
13	David M. Nicol, Michael M. Johnson, Ann S. Yoshimura, Michael E. Goldsby	Performance Modeling of the IDES Framework.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF	Breathing-Time-Buckets, IDES project, Sandia National Laboratories, architectural parameters, large scale portable parallel simulator, stockpile stewardship, window termination, work load, parallel algorithm, parallel programming, performance modeling, discrete event simulation, synchronization protocol
13	Elena Baralis, Stefano Ceri, Stefano Paraboschi	Modularization Techniques for Active Rules Design.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	database rule processing, static analysis, modularization, termination, active database systems
13	Peter Thiemann 0001	Implementing Memoization for Partial Evaluation.	PLILP	1996	DBLP DOI BibTeX RDF	incremental specialization, termination of partial evaluation, reflection, partial evaluation, automatic program transformation
13	Helena Rodrigues, Richard E. Jones	A Cyclic Distributed Garbage Collector for Network Objects.	WDAG	1996	DBLP DOI BibTeX RDF	fault tolerance, distributed systems, algorithms, garbage collection, termination detection
13	Yair I. Friedman, Dror G. Feitelson, Iaakov Exman	The Parallel Break Construct, or How to Kill an Activity Tree.	IPPS	1996	DBLP DOI BibTeX RDF	parallel constructs, forced termination, kill, abort, ParC, break
13	Alexander Aiken, Joseph M. Hellerstein, Jennifer Widom	Static Analysis Techniques for Predicting the Behavior of Active Database Rules.	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	database rule processing, static analysis, termination, confluence, active database systems
13	José M. Piquer	Large causality: ordering broadcasts and messages.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF	Distributed Systems, Causality, Termination Detection, Token Passing, Global States
13	Sergei G. Vorobyov	A structural completeness theorem for a class of conditional rewrite rule systems.	Conference on Computer Logic	1988	DBLP DOI BibTeX RDF	conditional rewrite rules, case splitting, finite termination, reduction, inference rules, confluency, proof search, decision algorithms, strong completeness
12	Marco Serafini, Dan Dobre, Matthias Majuntke, Péter Bokor, Neeraj Suri	Eventually linearizable shared objects.	PODC	2010	DBLP DOI BibTeX RDF	eventual linearizability, availability, graceful degradation
12	Jacob Matthews, Robert Bruce Findler	Operational semantics for multi-language programs.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	interoperability, Operational semantics
12	Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic	Reactive noninterference.	CCS	2009	DBLP DOI BibTeX RDF	web applications, information flow, web browsers, noninterference, reactive programming
12	Stephen Olivier, Jan F. Prins	Evaluating OpenMP 3.0 Run Time Systems on Unbalanced Task Graphs.	IWOMP	2009	DBLP DOI BibTeX RDF
12	Luís Dominguez	Fully Abstract Logical Bisimilarity for a Polymorphic Object Calculus.	LICS	2009	DBLP DOI BibTeX RDF
12	Peter A. Jonsson, Johan Nordlander	Positive supercompilation for a higher order call-by-value language.	POPL	2009	DBLP DOI BibTeX RDF	deforestation, supercompilation, call-by-value
12	Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone	An ASP System with Functions, Lists, and Sets.	LPNMR	2009	DBLP DOI BibTeX RDF
12	Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks	Complexity of Fractran and Productivity.	CADE	2009	DBLP DOI BibTeX RDF
12	Martin Korp, Aart Middeldorp	Beyond Dependency Graphs.	CADE	2009	DBLP DOI BibTeX RDF
12	Peter Djeu, Sean Keely, Warren A. Hunt	Accelerating shadow rays using volumetric occluders and modified kd-tree traversal.	High Performance Graphics	2009	DBLP DOI BibTeX RDF	extended ray order, quick descent breadth-first search, shadow rays, volumetric occluders, soft shadows
12	Yulei Zhang 0002, Ling Zhang, Alina Deutsch, George A. Katopis, Daniel M. Dreps, James F. Buckwalter, Ernest S. Kuh, Chung-Kuan Cheng	Design methodology of high performance on-chip global interconnect using terminated transmission-line.	ISQED	2009	DBLP DOI BibTeX RDF
12	Georg Moser, Andreas Schnabl	The Derivational Complexity Induced by the Dependency Pair Method.	RTA	2009	DBLP DOI BibTeX RDF