Search results for "Termination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Damian T. Murphy, Mark Beeson	The KW-Boundary Hybrid Digital Waveguide Mesh for Room Acoustics Applications.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
18	Nachum Dershowitz, Georg Moser	The Hydra Battle Revisited.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF
18	Andrey N. Chernikov, Nikos Chrisochoides	Three-dimensional Semi-generalized Point Placement Method for Delaunay Mesh Refinement.	IMR	2007	DBLP DOI BibTeX RDF
18	Chun-Chen Liu, Haikun Zhu, Chung-Kuan Cheng	Passive compensation for high performance inter-chip communication.	ICCD	2007	DBLP DOI BibTeX RDF
18	Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla	Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation.	LOPSTR	2007	DBLP DOI BibTeX RDF
18	Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl	SAT Solving for Argument Filterings.	LPAR	2006	DBLP DOI BibTeX RDF
18	Andreas Abel 0001	Towards Generic Programming with Sized Types.	MPC	2006	DBLP DOI BibTeX RDF
18	Kousha Etessami, Mihalis Yannakakis	Recursive Concurrent Stochastic Games.	ICALP (2)	2006	DBLP DOI BibTeX RDF
18	Alexander Krauss 0001	Partial Recursive Functions in Higher-Order Logic.	IJCAR	2006	DBLP DOI BibTeX RDF
18	Adam Koprowski, Hans Zantema	Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems.	IJCAR	2006	DBLP DOI BibTeX RDF
18	Kousha Etessami, Mihalis Yannakakis	Efficient Qualitative Analysis of Classes of Recursive Markov Decision Processes and Simple Stochastic Games.	STACS	2006	DBLP DOI BibTeX RDF
18	Robert S. Boyer, Wilfred J. Legato, Victor W. Marek	Toward Automating the Discovery of Decreasing Measures.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	decreasing measures, automated reasoning
18	Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio	Recursive Path Orderings Can Also Be Incremental.	LPAR	2005	DBLP DOI BibTeX RDF
18	Aaron R. Bradley, Zohar Manna, Henny B. Sipma	Linear Ranking with Reachability.	CAV	2005	DBLP DOI BibTeX RDF
18	Jaco van de Pol, Hans Zantema	Generalized Innermost Rewriting.	RTA	2005	DBLP DOI BibTeX RDF
18	Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001	On a Rewriting Approach to Satisfiability Procedures: Extension, Combination of Theories and an Experimental Appraisal.	FroCoS	2005	DBLP DOI BibTeX RDF
18	Mohammad Awedh, Fabio Somenzi	Proving More Properties with Bounded Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
18	Huei-Wen Ferng, Hsin-Jung Lin, Wei-Chung Teng, Yi-Chou Tsai, Cheng-Ching Peng	A channel allocation scheme with dynamic priority for wireless mobile networks.	VTC Fall (2)	2004	DBLP DOI BibTeX RDF
18	Johannes Waldmann	Matchbox: A Tool for Match-Bounded String Rewriting.	RTA	2004	DBLP DOI BibTeX RDF
18	Panagiotis Manolios, Daron Vroon 0001	Integrating Reasoning About Ordinal Arithmetic into ACL2.	FMCAD	2004	DBLP DOI BibTeX RDF
18	Alfons Geser, Dieter Hofbauer, Johannes Waldmann	Match-Bounded String Rewriting Systems.	MFCS	2003	DBLP DOI BibTeX RDF
18	Panagiotis Manolios, Daron Vroon 0001	Algorithms for Ordinal Arithmetic.	CADE	2003	DBLP DOI BibTeX RDF
18	Frédéric Blanqui	Rewriting Modulo in Deduction Modulo.	RTA	2003	DBLP DOI BibTeX RDF
18	Jürgen Giesl, Hans Zantema	Liveness in Rewriting.	RTA	2003	DBLP DOI BibTeX RDF
18	J. B. Wells, Detlef Plump, Fairouz Kamareddine	Diagrams for Meaning Preservation.	RTA	2003	DBLP DOI BibTeX RDF
18	Nadia Nedjah, Luiza de Macedo Mourelle	Minimal Adaptive Pattern-Matching Automata for Efficient Term Rewriting.	CIAA	2001	DBLP DOI BibTeX RDF
18	Aart Middeldorp	Approximating Dependency Graphs Using Tree Automata Techniques.	IJCAR	2001	DBLP DOI BibTeX RDF
18	Jaesik Lee, Yoonjong Huh, Peter Bendix, Sung-Mo Kang	Design-for-ESD-reliability for high-frequency I/O interface circuits in deep-submicron CMOS technology.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
18	Michaël Rusinowitch	Rewriting for Deduction and Verification.	RTA	2001	DBLP DOI BibTeX RDF
18	Konrad Slind	Another Look at Nested Recursion.	TPHOLs	2000	DBLP DOI BibTeX RDF
18	Scott F. Smith 0001, Tiejun Wang	Polyvariant Flow Analysis with Constrained Types.	ESOP	2000	DBLP DOI BibTeX RDF
18	Naehyuck Chang, Kwanho Kim, Jinsung Cho	Bus encoding for low-power high-performance memory systems.	DAC	2000	DBLP DOI BibTeX RDF
18	Jonathan C. Martin, Michael Leuschel	Sonic Partial Deduction.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
18	Enno Ohlebusch	Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems.	LPAR	1999	DBLP DOI BibTeX RDF
18	Peter V. Homeier, David F. Martin	Mechanical Verification of Total Correctness through Diversion Verification Conditions.	TPHOLs	1998	DBLP DOI BibTeX RDF
18	Zygmunt J. Haas, Marc R. Pearlman	The Performance of Query Control Schemes for the Zone Routing Protocol.	SIGCOMM	1998	DBLP DOI BibTeX RDF	routing zone, zone routing, routing, ad-hoc networks, protocols
18	Fabio Casati, Maria Grazia Fugini, Isabelle Mirbel	An Environment for Designing Exceptions in Workflows.	CAiSE	1998	DBLP DOI BibTeX RDF
18	Thomas Arts, Jürgen Giesl	Proving Innermost Normalisation Automatically.	RTA	1997	DBLP DOI BibTeX RDF
18	Thierry Coquand, Henrik Persson	A Proof-Theoretical Investigation of Zantema's Problem.	CSL	1997	DBLP DOI BibTeX RDF
18	Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik	Unfolding the Mystery of Mergesort.	LOPSTR	1997	DBLP DOI BibTeX RDF
18	David A. McAllester, Kostas Arkoudas	Walther Recursion.	CADE	1996	DBLP DOI BibTeX RDF
18	Benjamin C. Pierce	Bounded Quantification is Undecidable.	POPL	1992	DBLP DOI BibTeX RDF
18	Edmund M. Clarke, Steven M. German, Joseph Y. Halpern	On Effective Axiomatizations of Hoare Logics.	POPL	1982	DBLP DOI BibTeX RDF
18	Tadeusz Litak, Sven Helmer	On the Termination Problem for Declarative XML Message Processing.	DEXA	2009	DBLP DOI BibTeX RDF
18	Dean Voets	Research Summary: Non-termination Analysis of Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
18	Naama Parush, Dan Pelleg, Muli Ben-Yehuda, Paula Ta-Shma	Out-of-band detection of boot-sequence termination events.	ICAC	2009	DBLP DOI BibTeX RDF	boot detection, out-of-band, virtualization
18	Bruno Marnette	Generalized schema-mappings: from termination to tractability.	PODS	2009	DBLP DOI BibTeX RDF	weak acyclicity, data exchange, core, universal solution
18	Malgorzata Biernacka, Dariusz Biernacki	Context-based proofs of termination for typed delimited-control operators.	PPDP	2009	DBLP DOI BibTeX RDF	reducibility predicates, type system, continuation-passing style, delimited continuations, reduction semantics
18	Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig	Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.	CALCO	2009	DBLP DOI BibTeX RDF
18	Roland Carl Backhouse, Henk Doornbos	Datatype-Generic Termination Proofs.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Allegory, Generic programming, Relation algebra, Programming methodology, Datatype
18	Jianfeng Ren, Nasser Kehtarnavaz	Fast adaptive early termination for mode selection in H.264 scalable video coding.	ICIP	2008	DBLP DOI BibTeX RDF
18	Peter Höfner, Georg Struth	Non-termination in Idempotent Semirings.	RelMiCS	2008	DBLP DOI BibTeX RDF
18	Jean-Lou De Carufel, Jules Desharnais	On the Structure of Demonic Refinement Algebras with Enabledness and Termination.	RelMiCS	2008	DBLP DOI BibTeX RDF
18	Nao Hirokawa, Aart Middeldorp, Harald Zankl	Uncurrying for Termination.	LPAR	2008	DBLP DOI BibTeX RDF
18	Byron Cook, Sumit Gulwani, Tal Lev-Ami, Andrey Rybalchenko, Mooly Sagiv	Proving Conditional Termination.	CAV	2008	DBLP DOI BibTeX RDF
18	Pierre Courtieu, Julien Forest, Xavier Urbain	Certifying a Termination Criterion Based on Graphs, without Graphs.	TPHOLs	2008	DBLP DOI BibTeX RDF
18	Martin Korp, Aart Middeldorp	Match-Bounds with Dependency Pairs for Proving Termination of Rewrite Systems.	LATA	2008	DBLP DOI BibTeX RDF
18	Yoshihito Toyama	Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations.	RTA	2008	DBLP DOI BibTeX RDF
18	Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl	Maximal Termination.	RTA	2008	DBLP DOI BibTeX RDF
18	Jian-Xin Xu 0001, B. Ashok, Sanjib Kumar Panda, Vladimir B. Bajic	Modeling transcription termination of selected gene groups using support vector machine.	IJCNN	2008	DBLP DOI BibTeX RDF
18	Christian Eisentraut, David Spieler	Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis.	WS-FM	2008	DBLP DOI BibTeX RDF
18	Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi 0001, Davide Sangiorgi	On the Complexity of Termination Inference for Processes.	TGC	2007	DBLP DOI BibTeX RDF
18	Arif Mahmood, Sohaib Khan	Early Termination Algorithms for Correlation Coefficient Based Block Matching.	ICIP (2)	2007	DBLP DOI BibTeX RDF
18	Klaus-Dieter Schewe, Bernhard Thalheim	Term Rewriting for Web Information Systems - Termination and Church-Rosser Property.	WISE	2007	DBLP DOI BibTeX RDF
18	Cristina Borralleras, Albert Rubio	Orderings and Constraints: Theory and Practice of Proving Termination.	Rewriting, Computation and Proof	2007	DBLP DOI BibTeX RDF
18	Peter Müller 0001, Martin Nordio	Proof-transforming compilation of programs with abrupt termination.	SAVCBS	2007	DBLP DOI BibTeX RDF	proof-transforming compiler, proof-carrying code, trusted components
18	Alexander Krauss 0001	Certified Size-Change Termination.	CADE	2007	DBLP DOI BibTeX RDF
18	Xiao Su, Sweta Singh, Yan Bai	Local Reference with Early Termination in H.264 Motion Estimation.	ICME	2007	DBLP DOI BibTeX RDF
18	Yasser Ismail, Mohsen Shaaban, Magdy A. Bayoumi	An Adaptive Block Size Phase Correlation Motion Estimation Using Adaptive Early Search Termination Technique.	ISCAS	2007	DBLP DOI BibTeX RDF
18	Martin Korp, Aart Middeldorp	Proving Termination of Rewrite Systems Using Bounds.	RTA	2007	DBLP DOI BibTeX RDF
18	Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain	Certification of Automated Termination Proofs.	FroCoS	2007	DBLP DOI BibTeX RDF
18	Felix C. Freiling, Matthias Majuntke, Neeraj Mittal	Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures.	SSS	2006	DBLP DOI BibTeX RDF
18	Kim Solin, Joakim von Wright	Refinement Algebra with Operators for Enabledness and Termination.	MPC	2006	DBLP DOI BibTeX RDF
18	Fan-Min Li, Cheng-Hung Lin, An-Yeu Wu	A New Early Termination Scheme of Iterative Turbo Decoding Using Decoding Threshold.	SiPS	2006	DBLP DOI BibTeX RDF
18	Brian C. Dean, Michel X. Goemans, Nicole Immorlica	Finite Termination of "Augmenting Path" Algorithms in the Presence of Irrational Problem Data.	ESA	2006	DBLP DOI BibTeX RDF
18	Ediz Çetin, Izzet Kale, Richard C. S. Morling	Efficient low-power design and implementation of IQ-imbalance compensator using early termination.	ISCAS	2006	DBLP DOI BibTeX RDF
18	Ayman H. Ismail, Mohamed I. Elmasry	A termination technique for the averaging network of flash ADC's.	ISCAS	2006	DBLP DOI BibTeX RDF
18	Andreas Abel 0001	Semi-continuous Sized Types and Termination.	CSL	2006	DBLP DOI BibTeX RDF
18	Libo Yang, Keman Yu, Jiang Li 0008, Shipeng Li 0001	An effective variable block-size early termination algorithm for H.264 video coding.	IEEE Trans. Circuits Syst. Video Technol.	2005	DBLP DOI BibTeX RDF
18	Nicolas Peltier	Some Techniques for Proving Termination of the Hyperresolution Calculus.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	hyperresolution, decision procedures, complexity measures
18	Walter Guttmann	Non-termination in Unifying Theories of Programming.	RelMiCS	2005	DBLP DOI BibTeX RDF
18	Bing Han, Jonathan Billington	Termination Properties of TCP's Connection Management Procedures.	ICATPN	2005	DBLP DOI BibTeX RDF
18	Hans Zantema	Reducing Right-Hand Sides for Termination.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
18	Werner Damm, Guilherme Pinto, Stefan Ratschan	Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems.	ATVA	2005	DBLP DOI BibTeX RDF
18	Aaron R. Bradley, Zohar Manna	Termination and Invariance Analysis of Loops.	ATVA	2005	DBLP DOI BibTeX RDF
18	Xinyu Feng 0001, Zhong Shao	Modular verification of concurrent assembly code with dynamic thread creation and termination.	ICFP	2005	DBLP DOI BibTeX RDF	concurrency verification, dynamic thread creation, proof-carrying code, rely-guarantee
18	Dan Stiurca	A fully differential line driver with on-chip calibrated source termination for gigabit and fast Ethernet in a standard 0.13µ CMOS process.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
18	Jos C. M. Baeten, Michel A. Reniers	Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing).	SFM	2004	DBLP DOI BibTeX RDF
18	Carlos Viegas Damásio, Jesús Medina 0001, Manuel Ojeda-Aciego	Sorted Multi-adjoint Logic Programs: Termination Results and Applications.	JELIA	2004	DBLP DOI BibTeX RDF
18	Manabu Matsui, Fumihiko Ino, Kenichi Hagihara	Parallel Volume Rendering with Early Ray Termination for Visualizing Large-Scale Datasets.	ISPA	2004	DBLP DOI BibTeX RDF
18	Yoshihito Toyama	Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms.	RTA	2004	DBLP DOI BibTeX RDF
18	Neil D. Jones, Nina Bohr	Termination Analysis of the Untyped lamba-Calculus.	RTA	2004	DBLP DOI BibTeX RDF
18	Andreas Abel 0001	Termination and Productivity Checking with Continuous Types.	TLCA	2003	DBLP DOI BibTeX RDF
18	Bruno Blanchet, Andreas Podelski	Verification of Cryptographic Protocols: Tagging Enforces Termination.	FoSSaCS	2003	DBLP DOI BibTeX RDF
18	Jan-Georg Smaus	Termination of Logic Programs for Various Dynamic Selection Rules.	ICLP	2003	DBLP DOI BibTeX RDF
18	Nao Hirokawa, Aart Middeldorp	Tsukuba Termination Tool.	RTA	2003	DBLP DOI BibTeX RDF
18	Michael Colón, Henny Sipma	Practical Methods for Proving Program Termination.	CAV	2002	DBLP DOI BibTeX RDF
18	Amir M. Ben-Amram	General Size-Change Termination and Lexicographic Descent.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
18	Yousef Al-Ohali, Mohamed Cheriet, Ching Y. Suen	Introducing Termination Probabilities to HMM.	ICPR (3)	2002	DBLP DOI BibTeX RDF
18	Yun Liu, Kishor S. Trivedi, Yue Ma, James J. Han, Haim Levendel	Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems.	ISSRE	2002	DBLP DOI BibTeX RDF