Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
57 | Pierre Boisrond |
To Terminate or Not to Terminate Secure Sockets Layer (SSL) Traffic at the Load Balancer. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
56 | R. Govindarajan |
Exception Handlers in Functional Programming Languages. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
resume, input object, implementation restriction, referential transparency, commutativity properties, functional programming, functional programming, exception handling, exception handling, terminate, programming theory, functional languages, high level languages, programmer |
48 | Israel Cidon, Yuval Shavitt |
Message Terminate Algorithms for Anonymous Rings of Unknown Size. |
WDAG |
1992 |
DBLP DOI BibTeX RDF |
|
39 | Ian J. Hayes |
Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe. |
UTP |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Jay Ligatti, Lujo Bauer, David Walker 0001 |
Edit automata: enforcement mechanisms for run-time security policies. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Run-time checking and monitoring, Classification of security policies, Language-based security, Security automata |
38 | Peter Winkler 0001 |
Puzzled - Will my algorithm terminate? |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
29 | 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 |
29 | Atsushi Kara, Takahiro Suzuki, Kenta Takahashi, Masayuki Yoshikaw |
A DoS-Vulnerability Analysis of L2TP-VPN. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Arne J. Glenstrup, Neil D. Jones |
BTA Algorithms to Ensure Termination of Off-Line Partial Evaluation. |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
|
29 | Linda Rising |
Tasking troubles and tips (abstract). |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
Ada |
28 | Jagadish Rajpoot, Shivam Verma |
Area-Efficient Auto-Write-Terminate Circuit for NV Latch and Logic-In-Memory Applications. |
IEEE Trans. Circuits Syst. II Express Briefs |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Yuhang Song 0008, Anh Nguyen 0003, Chun-Yi Lee |
Learning to Terminate in Object Navigation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Yuhang Song 0008, Anh Nguyen 0003, Chun-Yi Lee |
Learning to Terminate in Object Navigation. |
ACML |
2023 |
DBLP BibTeX RDF |
|
28 | Shuang Li, Ke Li, Wei Li |
"Why Not Looking backward?" A Robust Two-Step Method to Automatically Terminate Bayesian Optimization. |
NeurIPS |
2023 |
DBLP BibTeX RDF |
|
28 | Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu |
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. |
VMCAI |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu |
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
28 | Jesper Karlsson, Anastasiia Varava, Cristian-Ioan Vasile, Sertac Karaman, Danica Kragic, Daniela Rus, Jana Tumova |
When to Terminate: Path Non-existence Verification Improves Sampling-based Motion Planning. |
ICAR |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Tomoya Enokido, Dilawaer Duolikun, Makoto Takizawa 0001 |
The Redundant Active Time-Based Algorithm with Forcing Meaningless Replica to Terminate. |
CISIS |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Christian Maier |
Overcoming pathological IT use: How and why IT addicts terminate their use of games and social media. |
Int. J. Inf. Manag. |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Jan Fabian Schmid, Mikko Lauri, Simone Frintrop |
Explore, Approach, and Terminate: Evaluating Subtasks in Active Visual Object Search Based on Deep Reinforcement Learning. |
IROS |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Sho Fujimura, Fuminori Tanizaki, Masaru Okumura |
Contemplating Public NTP Service Issues: How to Terminate Large-scale Infrastructure Service. |
SIGUCCS |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Anna Harutyunyan, Peter Vrancx, Pierre-Luc Bacon, Doina Precup, Ann Nowé |
Learning With Options That Terminate Off-Policy. |
AAAI |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Tomoya Enokido, Dilawaer Duolikun, Makoto Takizawa 0001 |
Energy-Efficient Process Replication by Forcing Meaningless Replicas to Terminate in Virtual Machine Environment. |
CISIS |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Mohammed Zackriya V, Harish M. Kittur |
Content Addressable Memory - Early Predict and Terminate Precharge of Match-Line. |
IEEE Trans. Very Large Scale Integr. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Anna Harutyunyan, Peter Vrancx, Pierre-Luc Bacon, Doina Precup, Ann Nowé |
Learning with Options that Terminate Off-Policy. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
28 | Toshihiko Takahashi |
The Simplest and Smallest Network on Which the Ford-Fulkerson Maximum Flow Procedure May Fail to Terminate. |
J. Inf. Process. |
2016 |
DBLP DOI BibTeX RDF |
|
28 | William I. Gasarch |
Proving Programs Terminate Using Well-Founded Orderings, Ramsey's Theorem, and Matrices. |
Adv. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Stanislav Mamonov, Marios Koufaris |
The Impact of Perceived Privacy Breach on Smartphone User Attitudes and Intention to Terminate the Relationship with the Mobile Carrier. |
Commun. Assoc. Inf. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Lucas J. Maestri |
The efficiency of bonus-or-terminate incentive schemes under subjective evaluations. |
Games Econ. Behav. |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Shun Nomura, Yuta Nakamura, Hirokazu Sakamoto, Shintaro Hamanaka, Saneyasu Yamaguchi |
Improving choice of processes to terminate in Android OS. |
GCCE |
2014 |
DBLP DOI BibTeX RDF |
|
28 | J. Isaiah Harbison, Eddy J. Davelaar, Erica C. Yu, Erika K. Hussey, Michael R. Dougherty |
Intrusions and the Decision to Terminate Memory Search. |
CogSci |
2013 |
DBLP BibTeX RDF |
|
28 | William I. Gasarch |
An Application of Ramsey's Theorem to Proving Programs Terminate (An Exposition) |
CoRR |
2011 |
DBLP BibTeX RDF |
|
28 | Cheng Suang Heng, Wenyu Du, Yuanyue Feng |
Investigating Vendors' Decision to Terminate IT Outsourcing Contracts. |
ICIS |
2009 |
DBLP BibTeX RDF |
|
28 | Yang Li 0142, Jia Liu, Liqun Gao, Zhi Kong |
Multi-objective model of power terminate plan in multi-zone peak load shifting control. |
ACC |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner |
A Proof of Weak Termination Providing the Right Way to Terminate. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Uri Zwick |
The Smallest Networks on Which the Ford-Fulkerson Maximum Flow Procedure may Fail to Terminate. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Kin Y. Tam, F. T. Chau |
Applications of the Terminate and Stay Resident Programming Technique for Enhancing Chemical Measurements. |
Comput. Chem. |
1995 |
DBLP DOI BibTeX RDF |
|
28 | Paul-André Melliès |
Typed lambda-calculi with explicit substitutions may not terminate. |
TLCA |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Paolo Pilozzi, Danny De Schreye |
Proving Termination by Invariance Relations. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Chelsea C. White III, Hillary A. Holloway |
Resolvability for Imprecise Multiattribute Alternative Selection. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Sebastian Obermeier 0001, Stefan Böttcher |
Avoiding Infinite Blocking of Mobile Transactions. |
IDEAS |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Haye Lau, Shoudong Huang, Gamini Dissanayake |
Multi-agent search with interim positive information. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Hale Erten, Alper Üngör |
Triangulations with locally optimal Steiner points. |
Symposium on Geometry Processing |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar |
Proving Termination of Tree Manipulating Programs. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Saddek Bensalem, Doron A. Peled, Hongyang Qu 0001, Stavros Tripakis, Lenore D. Zuck |
Test Case Generation for Ultimately Periodic Paths. |
Haifa Verification Conference |
2007 |
DBLP DOI BibTeX RDF |
|
19 | 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 |
|
19 | Zishuang (Eileen) Ye, Sean W. Smith, Denise L. Anthony |
Trusted paths for browsers. |
ACM Trans. Inf. Syst. Secur. |
2005 |
DBLP DOI BibTeX RDF |
HCISEC, Web browser security, Trust path |
19 | Hagit Attiya, Rachid Guerraoui, Petr Kouznetsov |
Computing with Reads and Writes in the Absence of Step Contention. |
DISC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Scot Anderson, Peter Z. Revesz |
Verifying the Incorrectness of Programs and Automata. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof |
Summarizing procedures in concurrent programs. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
interprocedural dataflow analysis, procedure summaries, model checking, transactions, concurrent programs, reduction, pushdown systems |
19 | Neil D. Jones, Nina Bohr |
Termination Analysis of the Untyped lamba-Calculus. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Brian Demsky, Martin C. Rinard |
Static Specification Analysis for Termination of Specification-Based Data Structure Repair. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Jens P. Secher, Morten Heine Sørensen |
From checking to inference via driving and dag grammars. |
PEPM |
2002 |
DBLP DOI BibTeX RDF |
inference, supercompilation, program inversion |
19 | Sofie Verbaeten, Danny De Schreye |
Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism. |
Appl. Algebra Eng. Commun. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Logic Programming, Termination, Tabling |
19 | 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 |
19 | Claude Godart, François Charoy, Olivier Perrin 0001, Hala Skaf-Molli |
Cooperative Workflows to Coordinate Asynchronous Cooperative Applications in a Simple Way. |
ICPADS |
2000 |
DBLP DOI BibTeX RDF |
Workflow, Transaction, Cooperative Work |
19 | Thomas A. Henzinger, Rupak Majumdar |
Symbolic Model Checking for Rectangular Hybrid Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Antonio Si, Hong Va Leong, Dennis McLeod, Stanley M. T. Yau |
On Supporting Weakly-Connected Browsing in a Mobile Web Environment. |
ICDCS |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Morten Heine Sørensen |
Convergence of Program Transformers in the Metric Space of Trees. |
MPC |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Weidong Chen 0005, David Scott Warren |
Tabled Evaluation With Delaying for General Logic Programs. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
tabled evaluation, program transformations, stable models, well-founded models |
19 | Peter Csaba Ölveczky, Olav Lysne |
Order-Sorted Termination: The Unsorted Way. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
Order-sortedness, Termination |
19 | 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 |
19 | Jonathan I. Leivent, Ronald J. Watro |
Mathematical Foundations of Time Warp Systems. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
concurrency control, checkpoint, Time Warp, rollback, termination detection |
19 | Weidong Chen 0005, David Scott Warren |
Query Evaluation under the Well Founded Semantics. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Yukihiro Nonaka, Hatsuo Hayashi |
Spike-Timing-Dependent LTP/LTD Caused by Uncorrelated Signals through Medial and Lateral Perforant Pathways in the Dentate Granule Cell. |
Brain-Inspired Information Technology |
2010 |
DBLP DOI BibTeX RDF |
|
10 | Limin Jia 0001, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich |
Dependent types and program equivalence. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
dependent types, program equivalence |
10 | Ross Tate, Juan Chen, Chris Hawblitzel |
Inferable object-oriented typed assembly language. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler |
10 | Alessandro Armando, Maria Paola Bonacina, Silvio Ranise, Stephan Schulz 0001 |
New results on rewrite-based satisfiability procedures. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
combination of theories, satisfiability modulo a theory, scalability, inference, termination, Automated reasoning, decision procedures, rewriting, superposition |
10 | Chin Soon Lee |
Ranking functions for size-change termination. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
?-Automaton, multiple recursion, size-change termination, determinization, ranking function, termination analysis |
10 | Atef Suleiman, John Miller |
Implementing Thread Cancellation in Multithreaded Prolog Systems. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
concurrency, Prolog, threads |
10 | Mathias Ricken, Robert Cartwright |
ConcJUnit: unit testing for concurrent programs. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
Java, concurrent programming, unit testing, JUnit |
10 | Dorel Lucanu, Grigore Rosu |
Circular Coinduction with Special Contexts. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Graham Cormode, Feifei Li 0001, Ke Yi 0001 |
Semantics of Ranking Queries for Probabilistic Data and Expected Ranks. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Jens-Uwe Krause, Jürgen Kleffe |
BAC Overlap Identification Based on Bit-Vectors. |
IWANN (1) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Saikat Mukherjee, Srinath Srinivasa, Krithi Ramamritham |
An autonomous agent approach to query optimization in stream grids. |
MEDES |
2009 |
DBLP DOI BibTeX RDF |
emergent optimization, open-world systems, stream query processing |
10 | Tobias Bandh, Georg Carle, Henning Sanneck |
Graph coloring based physical-cell-ID assignment for LTE networks. |
IWCMC |
2009 |
DBLP DOI BibTeX RDF |
physical cell ID, management, graph coloring, LTE |
10 | Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko |
Verifying liveness for asynchronous programs. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
asynchronous (event-driven) programming, fair termination, petri nets, liveness |
10 | Martín Abadi, Gordon D. Plotkin |
A model of cooperative threads. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
transaction, operational semantics, monad, denotational semantics |
10 | Tao Shu, Marwan Krunz |
Throughput-efficient sequential channel sensing and probing in cognitive radio networks under sensing errors. |
MobiCom |
2009 |
DBLP DOI BibTeX RDF |
optimal stopping theory, spectrum sensing and probing, cognitive radio networks, opportunistic spectrum access |
10 | Sudarshan Vasudevan, Donald F. Towsley, Dennis Goeckel, Ramin Khalili |
Neighbor discovery in wireless networks and the coupon collector's problem. |
MobiCom |
2009 |
DBLP DOI BibTeX RDF |
sensor networks, ad hoc networks, randomized algorithms, initialization, neighbor discovery |
10 | Gary L. Miller, Donald R. Sheehy |
Approximate center points with proofs. |
SCG |
2009 |
DBLP DOI BibTeX RDF |
Tverberg's theorem, centerpoints, approximation algorithms, derandomization |
10 | Damien Imbs, Michel Raynal |
Help When Needed, But No More: Efficient Read/Write Partial Snapshot. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
LL/SC atomic registers, Partial snapshot, Read/Write atomic register, Concurrency, Locality, Efficiency, Atomicity, Adaptive algorithm, Asynchrony, Process crash, Linearizability, Wait-free algorithm, Asynchronous shared memory system |
10 | Suxin Wang, Leizhen Wang, Huilin Yuan, Meng Ge, Ben Niu 0002, Weihong Pang, Yuchuan Liu |
Study on Multi-Depots Vehicle Scheduling Problem and Its Two-Phase Particle Swarm Optimization. |
ICIC (2) |
2009 |
DBLP DOI BibTeX RDF |
Multi-depots vehicle scheduling problem (MDVSP), Two-phase method, Particle swarm optimization (PSO) |
10 | Jean-Baptiste Tristan, Xavier Leroy |
Verified validation of lazy code motion. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
lazy code motion, the coq proof assistant, redundancy elimination, translation validation, verified compilers |
10 | Ivan Damgård, Martin Geisler 0001, Mikkel Krøigaard, Jesper Buus Nielsen |
Asynchronous Multiparty Computation: Theory and Implementation. |
Public Key Cryptography |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Arpita Patra, Ashish Choudhary, C. Pandu Rangan |
Simple and efficient asynchronous byzantine agreement with optimal resilience. |
PODC |
2009 |
DBLP DOI BibTeX RDF |
unbounded computing power, byzantine agreement, asynchronous networks, VSS |
10 | Radu Mateescu 0001, Anton Wijs |
Hierarchical Adaptive State Space Caching Based on Level Sampling. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ethan Blanton, Sonia Fahmy, Greg N. Frederickson |
On the Utility of Inference Mechanisms. |
ICDCS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Matthias Majuntke, Dan Dobre, Marco Serafini, Neeraj Suri |
Abortable Fork-Linearizable Storage. |
OPODIS |
2009 |
DBLP DOI BibTeX RDF |
Fork-linearizability, abortable objects, lock-freedom, shared memory, online collaboration |
10 | Tzu-Rung Lee, Kwo-Cheng Chiu, Da-Wei Chang |
A Lightweight Buffer Overflow Protection Mechanism with Failure-Oblivious Capability. |
ICA3PP |
2009 |
DBLP DOI BibTeX RDF |
Failure-Oblivious Computing, Guard Pages, Network Security, Self Reconfiguration, Buffer Overflow Attacks |
10 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Approximated Context-Sensitive Analysis for Parameterized Verification. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Martin Hoffmann 0002, Michael Wittke, Jörg Hähner |
Design and Evaluation of a Notification System for Alarm Management in Distributed Vision Networks. |
ICDCS Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Kia Teymourian, Adrian Paschke |
Semantic Rule-Based Complex Event Processing. |
RuleML |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Kousha Etessami, Patrice Godefroid |
An Abort-Aware Model of Transactional Programming. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Rotem Oshman |
An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Barnabás Póczos, Yasin Abbasi-Yadkori, Csaba Szepesvári, Russell Greiner, Nathan R. Sturtevant |
Learning when to stop thinking and do something! |
ICML |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Hagit Attiya, Eshcar Hillel, Alessia Milani |
Inherent limitations on disjoint-access parallel implementations of transactional memory. |
SPAA |
2009 |
DBLP DOI BibTeX RDF |
disjoint-access parallelism, partial snapshots, lower bound, transactional memory, impossibility result |
10 | Christopher Amato, Shlomo Zilberstein |
Achieving goals in decentralized POMDPs. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
|
10 | Kathryn E. Gray, Alan Mycroft |
Logical Testing. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Franz Pernkopf |
Tracking of Multiple Targets Using Online Learning for Reference Model Adaptation. |
IEEE Trans. Syst. Man Cybern. Part B |
2008 |
DBLP DOI BibTeX RDF |
|