Search results for "Termination"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	H. Matsuura, Makoto Takano	Distributed NMS for point-to-multi point ATM connections.	NOMS	2000	DBLP DOI BibTeX RDF
12	Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama	Compositional Characterizations of lambda-Terms Using Intersection Types.	MFCS	2000	DBLP DOI BibTeX RDF
12	Marc Voorhoeve	Compositional Modeling and Verification of Workflow Processes.	Business Process Management	2000	DBLP DOI BibTeX RDF
12	Cristina Borralleras, Maria Ferreira, Albert Rubio	Complete Monotonic Semantic Path Orderings.	CADE	2000	DBLP DOI BibTeX RDF
12	Dmitri Chkliaev, Jozef Hooman, Peter van der Stok	Formal Modeling and Analysis of Atomic Commitment Protocols.	ICPADS	2000	DBLP DOI BibTeX RDF	real-time, formal specification, distributed databases, PVS, fault-tolerant systems, mechanical verification, atomic commitment protocols
12	Qing-An Zeng, Dharma P. Agrawal	An Analytical Modeling of Handoff for Integrated Voice/Data Wireless Networks with Priority Reservation and Preemptive Priority Procedures.	ICPP Workshops	2000	DBLP DOI BibTeX RDF
12	Thomas Arts	System Description: The Dependency Pair Method.	RTA	2000	DBLP DOI BibTeX RDF
12	Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti	Automated Strategies for Specializing Constraint Logic Programs.	LOPSTR (LNCS 2042: Selected Papers)	2000	DBLP DOI BibTeX RDF
12	Jun Xu 0014, Mukesh Singhal	Design of a High-Performance ATM Firewall.	ACM Trans. Inf. Syst. Secur.	1999	DBLP DOI BibTeX RDF	asynchronous transfer mode, TCP/IP, firewall, packet filtering, switch architecture
12	Jung-Lin Pan, Stephen S. Rappaport, Petar M. Djuric	Multibeam cellular communication systems with dynamic channel assignment across multiple sectors.	Wirel. Networks	1999	DBLP DOI BibTeX RDF
12	Jeremy Gow, Alan Bundy, Ian Green	Extensions to the Estimation Calculus.	LPAR	1999	DBLP DOI BibTeX RDF
12	Dawn Xiaodong Song	Athena: A New Efficient Automatic Checker for Security Protocol Analysis.	CSFW	1999	DBLP DOI BibTeX RDF
12	Jean-Pierre Jouannaud, Albert Rubio	The Higher-Order Recursive Path Ordering.	LICS	1999	DBLP DOI BibTeX RDF
12	Jürgen Giesl, Aart Middeldorp	Transforming Context-Sensitive Rewrite Systems.	RTA	1999	DBLP DOI BibTeX RDF
12	Thomas Arts, Jürgen Giesl	Applying Rewriting Techniques to the Verification of Erlang Processes.	CSL	1999	DBLP DOI BibTeX RDF
12	Aart Middeldorp	Term Rewriting.	CSL	1999	DBLP DOI BibTeX RDF
12	Ralph-Johan Back, Qiwen Xu	Refinement of Fair Action Systems.	Acta Informatica	1998	DBLP DOI BibTeX RDF
12	Faith E. Fich, Maurice Herlihy, Nir Shavit	On the Space Complexity of Randomized Synchronization.	J. ACM	1998	DBLP DOI BibTeX RDF	lower bounds, consensus, space complexity
12	Hélène Touzet	A Complex Example of a Simplifying Rewrite System.	ICALP	1998	DBLP DOI BibTeX RDF
12	Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee	Synchronisation Analysis to Stop Tulping.	ESOP	1998	DBLP DOI BibTeX RDF
12	Hélène Touzet	Encoding the Hydra Battle as a Rewrite System.	MFCS	1998	DBLP DOI BibTeX RDF
12	Rohini Gupta, Byron Krauter, Lawrence T. Pileggi	Transmission line synthesis via constrained multivariable optimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
12	Leila Shafarenko, Maria Petrou, Josef Kittler	Automatic watershed segmentation of randomly textured color images.	IEEE Trans. Image Process.	1997	DBLP DOI BibTeX RDF
12	Gilles Dowek	Proof Normalization for a First-Order Formulation of Higher-Order Logic.	TPHOLs	1997	DBLP DOI BibTeX RDF
12	Detlef Plump	Simplification Orders for Term Graph Rewriting.	MFCS	1997	DBLP DOI BibTeX RDF
12	Marcos Kawazoe Aguilera, Sam Toueg	Randomization and Failure Detection: A Hybrid Approach to Solve Consensus.	WDAG	1996	DBLP DOI BibTeX RDF
12	Maria C. F. Ferreira	Dummy Elimination in Equational Rewriting.	RTA	1996	DBLP DOI BibTeX RDF
12	Jean-Pierre Jouannaud, Albert Rubio	A Recursive Path Ordering for Higher-Order Terms in eta-Long beta-Normal Form.	RTA	1996	DBLP DOI BibTeX RDF
12	Robert F. Stärk	Total Correctness of Logic Programs: A Formal Approach.	ELP	1996	DBLP DOI BibTeX RDF	Formal methods in logic programming, verification of logic programs, pure Prolog, negation as failure
12	Sten Agerholm	Non-primitive Recursive Function Definitions.	TPHOLs	1995	DBLP DOI BibTeX RDF
12	Albert Rubio	Extension Orderings.	ICALP	1995	DBLP DOI BibTeX RDF
12	Rohini Gupta, Lawrence T. Pileggi	Constrained multivariable optimization of transmission lines with general topologies.	ICCAD	1995	DBLP DOI BibTeX RDF
12	Carlo Zaniolo	Active Database Rules with Transaction-Conscious Stable-Model Semantics.	DOOD	1995	DBLP DOI BibTeX RDF
12	Patrick Cousot, Radhia Cousot	Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis
12	Gerald Futschek	Algebraic Properties of Loop Invariants.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
12	Andrew M. Pitts, Ian David Bede Stark	Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?	MFCS	1993	DBLP DOI BibTeX RDF
12	Saumya K. Debray	Efficient Dataflow Analysis of Logic Programs.	J. ACM	1992	DBLP DOI BibTeX RDF	PROLOG, program analysis
12	Wim H. Hesselink, Ronald Reinds	Temporal Preconditions of Recursive Procedures.	REX Workshop	1992	DBLP DOI BibTeX RDF	leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure
12	Adam Cichon, Pierre Lescanne	Polynomial Interpretations and the Complexity of Algorithms.	CADE	1992	DBLP DOI BibTeX RDF
12	Reinhold Heckmann	Power Domains Supporting Recursion and Failure.	CAAP	1992	DBLP DOI BibTeX RDF
12	Bruno Monsuez	Polymorphic Typing by Abstract Interpretation.	FSTTCS	1992	DBLP DOI BibTeX RDF
12	Nils Klarlund	Liminf Progress Measures.	MFPS	1991	DBLP DOI BibTeX RDF
12	Joachim Steinbach	Improving Assoviative Path Orderings.	CADE	1990	DBLP DOI BibTeX RDF
12	C.-D. Jung, E. Siberrt	Polling in Concurrent Programming.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
12	Thomas W. Reps, Wuu Yang	The Semantics of Program Slicing and Program Integration.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
12	Yehoshua Sagiv, Moshe Y. Vardi	Safety of Datalog Queries over Infinite Databases.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
12	Max Dauchet	Simulation of Turning Machines by a Left-Linear Rewrite Rule.	RTA	1989	DBLP DOI BibTeX RDF
12	Joachim Steinbach	Extensions and Comparison of Simplification Orderings.	RTA	1989	DBLP DOI BibTeX RDF
12	David Wong	Partition Detection and Optimistic Commit for Dynamically Reconfigurable Distributed Databases.	SIGSMALL/PC	1988	DBLP DOI BibTeX RDF
12	Françoise Bellegarde, Pierre Lescanne	Transformation Ordering.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
12	Eliezer L. Lozinskii	A Problem-Oriented Inferential Database System.	ACM Trans. Database Syst.	1986	DBLP DOI BibTeX RDF
12	Yoshihito Toyama	How to Prove Equivalence of Term Rewriting Systems without Induction.	CADE	1986	DBLP DOI BibTeX RDF
12	Philip Amburn, Eric D. Grant, Turner Whitted	Managing geometric complexity with enhanced procedural models.	SIGGRAPH	1986	DBLP DOI BibTeX RDF
12	François Fages	Associative-Commutative Unification.	CADE	1984	DBLP DOI BibTeX RDF
12	Klaus Drosten	Towards Executable Specifications Using Conditional Axioms.	STACS	1984	DBLP DOI BibTeX RDF
12	Alan Mycroft	Logic Programs and Many-Valued Logic.	STACS	1984	DBLP DOI BibTeX RDF
12	Gunther Schmidt 0001	Investigating Programs in Terms of Partial Graphs.	ICALP	1979	DBLP DOI BibTeX RDF
12	Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II	System Level Concurrency Control for Distributed Database Systems.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	deadly embrace, readers and writers, database, concurrency, integrity, distributed, consistency, transaction, deadlock, lock, rollback, restart
12	Rupak Majumdar, V. R. Sathiyanarayana	Positive Almost-Sure Termination: Complexity and Proof Rules.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
12	Shuo Feng 0003, Jacky Keung, Yan Xiao 0002, Peichang Zhang, Xiao Yu 0008, Xiaochun Cao	Improving the undersampling technique by optimizing the termination condition for software defect prediction.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
12	Yogita M. Vaidya, Shilpa P. Metkar	Computational Complexity Reduction of HEVC by Early Termination of Transform Unit Partitioning Using Raster Scan Approach.	SN Comput. Sci.	2024	DBLP DOI BibTeX RDF
12	Guodong Wang 0003, Mengying Shao, Jing Li, Shanshan Lv, Xiangfen Kong, Yan Zhou	Bayesian analysis of designed reliability improvement experiments with application to adaptive termination.	Qual. Reliab. Eng. Int.	2024	DBLP DOI BibTeX RDF
12	Mehdi Hosseinzadeh 0002, Bruno Sinopoli, Ilya V. Kolmanovsky, Sanjoy K. Baruah	Robust-to-Early Termination Model Predictive Control.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
12	Chun-Hua Guo	Comments on finite termination of the generalized Newton method for absolute value equations.	CoRR	2024	DBLP DOI BibTeX RDF
12	Mohannad Alkhraijah, Daniel K. Molzahn	A Fault-Tolerant Distributed Termination Method for Distributed Optimization Algorithms.	CoRR	2024	DBLP DOI BibTeX RDF
12	Eduardo M. G. Vila, Eric C. Kerrigan, Paul Bruce	Mesh Refinement with Early Termination for Dynamic Feasibility Problems.	CoRR	2024	DBLP DOI BibTeX RDF
12	Adriano Barile, Stefano Berardi, Luca Roversi	Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem.	CoRR	2024	DBLP DOI BibTeX RDF
12	Shaoru Chen, Lekan P. Molu, Mahyar Fazlyab	Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees.	CoRR	2024	DBLP DOI BibTeX RDF
12	Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li 0005	Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs.	CoRR	2024	DBLP DOI BibTeX RDF
12	Philipp Hanisch, Markus Krötzsch	Chase Termination Beyond Polynomial Time.	CoRR	2024	DBLP DOI BibTeX RDF
12	Lei Liu, Feifei Liu, Xiaofei Ren, Yongjian Li, Baokun Han, Liting Zhang, Shoushui Wei	Predicting spontaneous termination of atrial fibrillation based on dual path network and feature selection.	Biomed. Signal Process. Control.	2024	DBLP DOI BibTeX RDF
12	Chuanming Sun, Guangning Wu, Guixiang Pan, Tingyu Zhang, Jiali Li, Shibo Jiao, Yong-Chao Liu, Kui Chen, Kai Liu, Dongli Xin, Guoqiang Gao	Convolutional Neural Network-Based Pattern Recognition of Partial Discharge in High-Speed Electric-Multiple-Unit Cable Termination.	Sensors	2024	DBLP DOI BibTeX RDF
12	Étienne Payet	Non-termination in Term Rewriting and Logic Programming.	J. Autom. Reason.	2024	DBLP DOI BibTeX RDF
12	Ren Fukaishi, Naoki Kobayashi 0001, Ryosuke Sato 0001	Productivity Verification for Functional Programs by Reduction to Termination Verification.	PEPM	2024	DBLP DOI BibTeX RDF
12	Jonathan E. Rowe	A Theoretical Investigation of Termination Criteria for Evolutionary Algorithms.	EvoStar	2024	DBLP DOI BibTeX RDF
12	Barun Gorain, Tanvir Kaur, Kaushik Mondal 0001	Distance-2-Dispersion with Termination by a Strong Team.	CALDAM	2024	DBLP DOI BibTeX RDF
12	Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl	From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting.	FoSSaCS (2)	2024	DBLP DOI BibTeX RDF
12	Byeong Yong Kong	Statistical Analysis of Bitwise Early Termination for Iterative Multiuser Detection in IDMA Systems.	ICEIC	2024	DBLP DOI BibTeX RDF
12	Liye Guo, Cynthia Kop	Higher-Order LCTRSs and Their Termination.	ESOP (2)	2024	DBLP DOI BibTeX RDF
12	Simmo Saan, Julian Erhard, Michael Schwarz 0007, Stanimir Bozhilov, Karoliine Holter, Sarah Tilscher, Vesal Vojdani, Helmut Seidl	Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution).	TACAS (3)	2024	DBLP DOI BibTeX RDF
12	Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh 0001, Supratik Chakraborty	PROTON: PRObes for Termination Or Not (Competition Contribution).	TACAS (3)	2024	DBLP DOI BibTeX RDF
12	Xiaoqiang Wu, Qingling Zhu, Qiuzhen Lin, Weineng Chen, Jianqiang Li 0001	Adaptive Evolutionary Reinforcement Learning Algorithm with Early Termination Strategy.	AAMAS	2024	DBLP BibTeX RDF
12	Yuwen Chen, Catherine Ning, Paul Goulart	A Unified Early Termination Technique for Primal-Dual Algorithms in Mixed Integer Conic Programming.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
12	Yu Huang, Nengjiu Ju, Hao Xing	Performance Evaluation, Managerial Hedging, and Contract Termination.	Manag. Sci.	2023	DBLP DOI BibTeX RDF
12	Yu Gu 0022, Takeshi Tsukada, Hiroshi Unno 0001	Optimal CHC Solving via Termination Proofs.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
12	Daisuke Satoh	Analysis for flow termination in the decentralized and centralized pre-congestion notification architecture.	Comput. Networks	2023	DBLP DOI BibTeX RDF
12	Girdhari Chaudhary, Yongchae Jeong	Arbitrary Termination Complex Impedances Tunable Bandpass Filter Using Single and Dual-Mode Resonators.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Nick Munn, Dan Weijers	Corporate responsibility for the termination of digital friends.	AI Soc.	2023	DBLP DOI BibTeX RDF
12	Xinrui Li, Yakui Huang	A gradient method exploiting the two dimensional quadratic termination property.	Optim. Lett.	2023	DBLP DOI BibTeX RDF
12	Walter Hussak, Amitabh Trehan	Termination of amnesiac flooding.	Distributed Comput.	2023	DBLP DOI BibTeX RDF
12	Govind Saraswat, Vivek Khatana, Sourav Patel, Murti V. Salapaka	Distributed Finite-Time Termination for Consensus Algorithm in Switching Topologies.	IEEE Trans. Netw. Sci. Eng.	2023	DBLP DOI BibTeX RDF
12	An Yang, Zhilin Jiang, Zheng Huang, Zitong Zhang, Yanfeng Jiang	Double-Ended Superposition Anti-Noise Resistance Monitoring Write Termination Scheme for Reliable Write Operation in STT-MRAM.	IEEE Trans. Circuits Syst. I Regul. Pap.	2023	DBLP DOI BibTeX RDF
12	Ziweihua Du, Ning Dong, Yan-Zhao Xie	Behavioral Modeling Method of Macromodels for Interconnected Systems With Frequency Characteristics and Nonlinear Termination Networks.	IEEE Trans. Circuits Syst. II Express Briefs	2023	DBLP DOI BibTeX RDF
12	Diogo Menezes Ferrazani Mattos, Gabriel Reis Carrara, Célio Vinicius N. de Albuquerque, Daniel Mossé	Exploring Overlay Topology Cost-Termination Tradeoff in Blockchain Vicinity-Based Consensus.	IEEE Trans. Netw. Serv. Manag.	2023	DBLP DOI BibTeX RDF
12	Pegah Shafaghi, Mehdi Dolatshahi, Hooman Farkhani	Energy-Efficient Spintronic-Based Neuromorphic Computing System Using Current Mode Track and Termination Circuit.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
12	Siddharth Srivastava 0001	Hierarchical Decompositions and Termination Analysis for Generalized Planning.	J. Artif. Intell. Res.	2023	DBLP DOI BibTeX RDF
12	Meghal Gupta, Rachel Yun Zhang	On Interactive Coding Schemes with Adaptive Termination.	Electron. Colloquium Comput. Complex.	2023	DBLP BibTeX RDF
12	Bharati Sinha, Awadhesh Kumar Singh, Poonam Saini	Termination detection in cloud.	Int. J. Syst. Assur. Eng. Manag.	2023	DBLP DOI BibTeX RDF
12	Yunjie Pan, Jiecao Yu, Andrew Lukefahr, Reetuparna Das, Scott A. Mahlke	BitSET: Bit-Serial Early Termination for Computation Reduction in Convolutional Neural Networks.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
12	Dean Wang, Paul K. Romano	Termination of Picard Iteration for Coupled Neutronics/Thermal-Hydraulics Simulations.	CoRR	2023	DBLP DOI BibTeX RDF