Search results for "terminate"

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