Search results for "termination"

Hits ?▲	Authors	Title	Venue	Year	Link
12	Ruiwen Dong 0001	Termination of linear loops under commutative updates.	CoRR	2023	DBLP DOI BibTeX RDF
12	Tobias Winkler, Joost-Pieter Katoen	On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata.	CoRR	2023	DBLP DOI BibTeX RDF
12	Nao Hirokawa, Aart Middeldorp	Hydra Battles and AC Termination, Revisited.	CoRR	2023	DBLP DOI BibTeX RDF
12	Jera Hensel, Jürgen Giesl	Proving Termination of C Programs with Lists.	CoRR	2023	DBLP DOI BibTeX RDF
12	Fabian Mitterwallner, Aart Middeldorp, René Thiemann	Linear Termination over N is Undecidable.	CoRR	2023	DBLP DOI BibTeX RDF
12	Étienne Payet	Binary Non-Termination in Term Rewriting and Logic Programming.	CoRR	2023	DBLP DOI BibTeX RDF
12	Roy Overbeek, Jörg Endrullis	Termination of Graph Transformation Systems using Weighted Subgraph Counting.	CoRR	2023	DBLP DOI BibTeX RDF
12	Frank Emrich, Jera Hensel, Jürgen Giesl	AProVE: Modular Termination Analysis of Memory-Manipulating C Programs.	CoRR	2023	DBLP DOI BibTeX RDF
12	Liye Guo, Cynthia Kop	Higher-Order LCTRSs and Their Termination.	CoRR	2023	DBLP DOI BibTeX RDF
12	Luca Ciccone	Concerto Grosso for Sessions: Fair Termination of Sessions.	CoRR	2023	DBLP DOI BibTeX RDF
12	Akihisa Yamada 0002, Benjamin Lucien Kaminski, Dieter Hofbauer, Fred Mesnard, Étienne Payet	The 19th International Workshop on Termination (WST 2023): Preface, Invited Talk Abstract, and Tool Descriptions.	CoRR	2023	DBLP DOI BibTeX RDF
12	Jörg Endrullis, Roy Overbeek	Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.	CoRR	2023	DBLP DOI BibTeX RDF
12	Joseph W. N. Paulus, Jorge A. Pérez 0001, Daniele Nantes-Sobrinho	Termination in Concurrency, Revisited.	CoRR	2023	DBLP DOI BibTeX RDF
12	Dieter Hofbauer, Johannes Waldmann	Old and New Benchmarks for Relative Termination of String Rewrite Systems.	CoRR	2023	DBLP DOI BibTeX RDF
12	Étienne Payet	Non-Termination in Term Rewriting and Logic Programming.	CoRR	2023	DBLP DOI BibTeX RDF
12	Haoxiang Zhang 0003, Juliana Freire, Yash Garg	eTOP: Early Termination of Pipelines for Faster Training of AutoML Systems.	CoRR	2023	DBLP DOI BibTeX RDF
12	Meghal Gupta, Rachel Yun Zhang	On Interactive Coding Schemes with Adaptive Termination.	CoRR	2023	DBLP DOI BibTeX RDF
12	Jera Hensel, Jürgen Giesl	Automated Termination Proofs for C Programs with Lists (Short WST Version).	CoRR	2023	DBLP DOI BibTeX RDF
12	Jan-Christoph Kassing, Florian Frohn, Jürgen Giesl	From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting.	CoRR	2023	DBLP DOI BibTeX RDF
12	Lukas Gerlach 0002, David Carral	Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination.	CoRR	2023	DBLP DOI BibTeX RDF
12	Justus Fasse, Bart Jacobs 0002	Expressive modular verification of termination for busy-waiting programs.	CoRR	2023	DBLP DOI BibTeX RDF
12	Yao Zhang, Xiaofei Xie, Yi Li 0008, Sen Chen 0001, Cen Zhang, Xiaohong Li 0001	EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software.	CoRR	2023	DBLP DOI BibTeX RDF
12	Marco Calautti, Mostafa Milani, Andreas Pieris	Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study.	CoRR	2023	DBLP DOI BibTeX RDF
12	Francesco Di Cosmo	Verification of Sometimes Termination of Lazy-Bounded Declarative Distributed Systems.	CoRR	2023	DBLP DOI BibTeX RDF
12	Florian Frohn, Jürgen Giesl	Proving Non-Termination by Acceleration Driven Clause Learning with LoAT.	CoRR	2023	DBLP DOI BibTeX RDF
12	Ayuka Matsumi, Naoki Nishida 0001, Misaki Kojima, Donghoon Shin	On Singleton Self-Loop Removal for Termination of LCTRSs with Bit-Vector Arithmetic.	CoRR	2023	DBLP DOI BibTeX RDF
12	Yihuan Liao, Min Qiu 0001, Jinhong Yuan	Self-Connected Spatially Coupled LDPC Codes with Improved Termination.	CoRR	2023	DBLP DOI BibTeX RDF
12	Jan-Christoph Kassing, Jürgen Giesl	Improving Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting.	CoRR	2023	DBLP DOI BibTeX RDF
12	Rupak Majumdar, V. R. Sathiyanarayana	Positive Almost-Sure Termination - Complexity and Proof Rules.	CoRR	2023	DBLP DOI BibTeX RDF
12	Jan-Christoph Kassing, Jürgen Giesl	Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting (Short WST Version).	CoRR	2023	DBLP DOI BibTeX RDF
12	Jan-Christoph Kassing, Jürgen Giesl	Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.	CoRR	2023	DBLP DOI BibTeX RDF
12	Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff	A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised.	CoRR	2023	DBLP DOI BibTeX RDF
12	Florian Frohn, Jürgen Giesl	Proving Non-Termination by Acceleration Driven Clause Learning (Short WST Version).	CoRR	2023	DBLP DOI BibTeX RDF
12	Marco Calautti, Mostafa Milani, Andreas Pieris	Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study. (PDF / PS)	Proc. VLDB Endow.	2023	DBLP DOI BibTeX RDF
12	Wei Xiong, Yilong Han	Incentives of Early Termination Compensation in Public-Private Partnership Projects.	IEEE Trans. Engineering Management	2023	DBLP DOI BibTeX RDF
12	Dayong Wang, Xin Lu 0001, Yu Sun, Qianmin Wang, Weisheng Li 0001, Frédéric Dufaux, Ce Zhu	A Probability-Based Zero-Block Early Termination Algorithm for QSHVC.	IEEE Trans. Broadcast.	2023	DBLP DOI BibTeX RDF
12	Yi Jie Wong, Mau-Luen Tham, Ban-Hoe Kwan, Yasunori Owada	FedDdrl: Federated Double Deep Reinforcement Learning for Heterogeneous IoT with Adaptive Early Client Termination and Local Epoch Adjustment.	Sensors	2023	DBLP DOI BibTeX RDF
12	César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar da Silva, Thiago Mendonça Ferreira Ramos	Formal Verification of Termination Criteria for First-Order Recursive Functions.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
12	Kotaro Sakamoto, Hideaki Ishibashi, Rei Sato, Shinichi Shirakawa, Youhei Akimoto, Hideitsu Hino	ATNAS: Automatic Termination for Neural Architecture Search.	Neural Networks	2023	DBLP DOI BibTeX RDF
12	Heiko Klare, Joshua Gleitze	Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations.	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
12	Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný 0001, Jiri Zárevúcky, Dorde Zikelic	On Lexicographic Proof Rules for Probabilistic Termination.	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
12	Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris	Uniform Restricted Chase Termination.	SIAM J. Comput.	2023	DBLP DOI BibTeX RDF
12	Yihuan Liao, Min Qiu 0001, Jinhong Yuan	Self-Connected Spatially Coupled LDPC Codes With Improved Termination.	IEEE Commun. Lett.	2023	DBLP DOI BibTeX RDF
12	Dayong Wang, Xin Lu 0001, Frédéric Dufaux, Qianmin Wang, Weisheng Li 0001, Bo Hang, Ce Zhu	A Probability-Based All-Zero Block Early Termination Algorithm for QSHVC.	ICIP	2023	DBLP DOI BibTeX RDF
12	Krishnapriya G. B., R. N. Ponnalagu, Sanket Goel	Accuracy Improved Muscle Onset and Termination Detection in EMG Signal Processing Using STKEO.	ICST	2023	DBLP DOI BibTeX RDF
12	Danya Lette, Azadeh Farzan	Commutativity for Concurrent Program Termination Proofs.	CAV (1)	2023	DBLP DOI BibTeX RDF
12	Piotr Hofman, Filip Mazowiecki, Philip Offtermatt	Fast Termination and Workflow Nets.	CAV (1)	2023	DBLP DOI BibTeX RDF
12	Sydur Rahaman, Umar Farooq 0002, Iulian Neamtiu, Zhijia Zhao 0001	Detecting Potential User-data Save & Export Losses due to Android App Termination.	AST	2023	DBLP DOI BibTeX RDF
12	Jabu Mahlangu, Aloys Oriedi Akumu, Agha Francis Nnachi, Bolanle Tolulope Abe	Analysis of the Impact of Improper Termination and Grounding of Substation Cables.	AFRICON	2023	DBLP DOI BibTeX RDF
12	Elton M. Cardoso, Regina Sarah Monferrari Amorim De Paula, Daniel Freitas Pereira, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro	Type-based Termination Analysis for Parsing Expression Grammars.	SAC	2023	DBLP DOI BibTeX RDF
12	Tobias Winkler, Joost-Pieter Katoen	On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata.	LICS	2023	DBLP DOI BibTeX RDF
12	Mirza Batalovic, Mirza Matoruga, Hamid Zildzo, Fuad Pasalic	Simulation of Electrical Stress Control System inside medium voltage Cable Termination using COMSOL Mph Software Platform.	ICAT	2023	DBLP DOI BibTeX RDF
12	Chao Chen 0013, Yunghsiang S. Han, Nianqi Tang, Sian-Jheng Lin, Baoming Bai, Xiao Ma 0001	An Early-Termination Method for the Welch-Berlekamp Algorithm.	ISIT	2023	DBLP DOI BibTeX RDF
12	Dhani Dharmaprani, Evan V. Jenkins, Kathryn Tiver, Sobhan Salari Shahrbabaki, Campbell Strong, Darius Chapman, Anand N. Ganesan	Percolation theory as a conceptual framework to explain spontaneous atrial fibrillation termination: a pilot study.	EMBC	2023	DBLP DOI BibTeX RDF
12	Nao Hirokawa, Aart Middeldorp	Hydra Battles and AC Termination.	FSCD	2023	DBLP DOI BibTeX RDF
12	Akihisa Yamada 0002	Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk).	FSCD	2023	DBLP DOI BibTeX RDF
12	Jiacheng Wu, Songlin Sun, Jiaqi Zhang, Xu Han	Decision Tree Based Early Termination Algorithm for Affine Prediction in AVS3.	MMSP	2023	DBLP DOI BibTeX RDF
12	Ievgen Ivanov	On Newman's Lemma and Non-termination.	IT&I	2023	DBLP BibTeX RDF
12	Adriano Barile, Stefano Berardi, Luca Roversi	Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem.	ICTCS	2023	DBLP BibTeX RDF
12	Justin J. Kim, Wonho Lee, James F. Buckwalter	A 12-162 GHz Distributed Amplifier in a 45-nm BiCMOS SOI Process Achieving 2.67 THz Gain-Bandwidth Using an Active Bias Termination.	BCICTS	2023	DBLP DOI BibTeX RDF
12	Jan-Christoph Kassing, Jürgen Giesl	Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.	CADE	2023	DBLP DOI BibTeX RDF
12	Jera Hensel, Jürgen Giesl	Proving Termination of C Programs with Lists.	CADE	2023	DBLP DOI BibTeX RDF
12	Florian Frohn, Jürgen Giesl	Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper).	CADE	2023	DBLP DOI BibTeX RDF
12	Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff	A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised.	TABLEAUX	2023	DBLP DOI BibTeX RDF
12	Francesco Di Cosmo	Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs.	RuleML+RR	2023	DBLP DOI BibTeX RDF
12	Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla	VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution).	TACAS (2)	2023	DBLP DOI BibTeX RDF
12	Joseph W. N. Paulus, Jorge A. Pérez 0001, Daniele Nantes-Sobrinho	Termination in Concurrency, Revisited.	PPDP	2023	DBLP DOI BibTeX RDF
12	Yu Duan, Andy Xie, Patrick Fay	1.7-kV Vertical GaN p-n Diodes with Step-Graded Ion-Implanted Edge Termination.	DRC	2023	DBLP DOI BibTeX RDF
12	Yao Zhang, Xiaofei Xie, Yi Li 0008, Sen Chen 0001, Cen Zhang, Xiaohong Li 0001	EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software.	ASE	2023	DBLP DOI BibTeX RDF
12	Lukas Gerlach 0002, David Carral	Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination.	KR	2023	DBLP DOI BibTeX RDF
12	Zhilei Han, Fei He 0001	Data-driven Recurrent Set Learning For Non-termination Analysis.	ICSE	2023	DBLP DOI BibTeX RDF
12	Shiyu Zhang, Dongqing Hu, Xintian Zhou, Yunpeng Jia, Yu Wu 0015	Optimized Design of Trench Termination for High-Voltage β-Ga2O3 Trench MOS Barrier Schottky Diode with Anode Electrode Extension.	EITCE	2023	DBLP DOI BibTeX RDF
12	Seongkwan Lee, Minho Kang, Cheolmin Park, Jun Yeon Won, Jaemoo Choi	Method for Adjusting Termination Resistance Using PMU in DC Test.	ITC	2023	DBLP DOI BibTeX RDF
12	Roy Overbeek, Jörg Endrullis	Termination of Graph Transformation Systems Using Weighted Subgraph Counting.	ICGT	2023	DBLP DOI BibTeX RDF
12	Koji Noshiro, Koji Hasebe	Flaws of Termination and Optimality in ADOPT-based Algorithms.	IJCAI	2023	DBLP DOI BibTeX RDF
12	Yoshikazu Sakashita, Yasuhiro Akiyama	The Effects of Assist Algorithms for Gait Assist Robot on Physical Stability During Unplanned Gait Termination.	GCCE	2023	DBLP DOI BibTeX RDF
12	Ruiwen Dong 0001	Termination of linear loops under commutative updates.	ISSAC	2023	DBLP DOI BibTeX RDF
12	Luca Ciccone, Luca Padovani	Fair termination of binary sessions.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
12	Nirina Andrianarivelo, Pierre Réty	Modular termination of prefix-constrained term rewrite systems.	Inf. Process. Lett.	2022	DBLP DOI BibTeX RDF
12	Siham Bakkouri, Abderrahmane Elyousfi	Early Termination of CU Partition Based on Boosting Neural Network for 3D-HEVC Inter-Coding.	IEEE Access	2022	DBLP DOI BibTeX RDF
12	Longlei Bai, Mingwei Su, Liangshun Sun, Shaogui Fan, Shuai Xun, Manjun Huang, Hui Peng	Mechanism Characterization and Nondestructive Inspection Method of Thermal Degradation Faults in EPDM Cable Termination.	IEEE Trans. Instrum. Meas.	2022	DBLP DOI BibTeX RDF
12	Bing Liu, Hao Huang, Qiao Deng	On optimal condition based task termination policy for phased task systems.	Reliab. Eng. Syst. Saf.	2022	DBLP DOI BibTeX RDF
12	Ran Etgar, Yuval Cohen	Optimizing termination decision for meta-heuristic search techniques that converge to a static objective-value distribution.	OR Spectr.	2022	DBLP DOI BibTeX RDF
12	Guangyao Yan, Xinzhe Liu, Fupeng Chen, Hui Wang 0036, Yajun Ha	Ultra-Fast FPGA Implementation of Graph Cut Algorithm With Ripple Push and Early Termination.	IEEE Trans. Circuits Syst. I Regul. Pap.	2022	DBLP DOI BibTeX RDF
12	Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács	The probabilistic termination tool amber.	Formal Methods Syst. Des.	2022	DBLP DOI BibTeX RDF
12	Reetu Hooda, W. David Pan	Early Termination of Dyadic Region-Adaptive Hierarchical Transform for Efficient Attribute Compression of 3D Point Clouds.	IEEE Signal Process. Lett.	2022	DBLP DOI BibTeX RDF
12	George Bosilca, Aurélien Bouteiller, Thomas Hérault, Valentin Le Fèvre, Yves Robert, Jack J. Dongarra	Comparing Distributed Termination Detection Algorithms for Modern HPC Platforms.	Int. J. Netw. Comput.	2022	DBLP BibTeX RDF
12	Sunghyun Choi 0004, Dongwoo Lew, Jongsun Park 0001	Early Termination Based Training Acceleration for an Energy-Efficient SNN Processor Design.	IEEE Trans. Biomed. Circuits Syst.	2022	DBLP DOI BibTeX RDF
12	Florian Frohn, Carsten Fuhs	A calculus for modular loop acceleration and non-termination proofs.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
12	S. Sivanesh, V. R. Sarma Dhulipala	Analytical Termination of Malicious Nodes (ATOM): An Intrusion Detection System for Detecting Black Hole attack in Mobile Ad Hoc Networks.	Wirel. Pers. Commun.	2022	DBLP DOI BibTeX RDF
12	Luca Padovani	On the Fair Termination of Client-Server Sessions.	CoRR	2022	DBLP DOI BibTeX RDF
12	Yoav Alon, Cristina David	Using Graph Neural Networks for Program Termination.	CoRR	2022	DBLP DOI BibTeX RDF
12	Kalev Alpernas, Aurojit Panda, Mooly Sagiv	This is not the End: Rethinking Serverless Function Termination.	CoRR	2022	DBLP DOI BibTeX RDF
12	Ashlin Richardson, Donald Leckie	Locally Adaptive Hierarchical Cluster Termination With Application To Individual Tree Delineation.	CoRR	2022	DBLP DOI BibTeX RDF
12	Luca Ciccone, Luca Padovani	An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus.	CoRR	2022	DBLP DOI BibTeX RDF
12	Jia Tang, Wenli Zheng, Cairong Chen, Dongmei Yu, Deren Han	On finite termination of the generalized Newton method for solving absolute value equations.	CoRR	2022	DBLP DOI BibTeX RDF
12	Michal Bortkiewicz, Jakub Lyskawa, Pawel Wawrzynski, Mateusz Ostaszewski, Artur Grudkowski, Tomasz Trzcinski	Emergency action termination for immediate reaction in hierarchical reinforcement learning.	CoRR	2022	DBLP DOI BibTeX RDF
12	Yi Ding 0006, Alex Renda, Ahsan Pervaiz, Michael Carbin, Henry Hoffmann	Cello: Efficient Computer Systems Optimization with Predictive Early Termination and Censored Regression.	CoRR	2022	DBLP DOI BibTeX RDF
12	Florian Frohn, Jürgen Giesl	Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description).	CoRR	2022	DBLP BibTeX RDF
12	Jaymon Furniss	Proving False in Object-Oriented Verification Programs by Exploiting Non-Termination.	CoRR	2022	DBLP DOI BibTeX RDF