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 |
|