Search results for "abort"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
94	Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi	Resets vs. Aborts in Linear Temporal Logic.	TACAS	2003	DBLP DOI BibTeX RDF
69	Erik Larsson, Julien Pouget, Zebo Peng	Abort-on-Fail Based Test Scheduling.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	abort-on-fail, defect probability, test scheduling, SoC testing
68	Francesco Bandiera, Olivier Besson, Danilo Orlando, Giuseppe Ricci	Theoretical Performance Analysis of the W-ABORT Detector.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
57	Ming-Chung Liang, Tei-Wei Kuo, LihChyun Shu	BAP: a class of abort-oriented protocols based on the notion of compatibility.	RTCSA	1996	DBLP DOI BibTeX RDF	BAP, abort-oriented protocols, notion of compatibility, response time requirements, performance, concurrency control, data consistency, transaction systems, concurrency control algorithm
56	Mohammad Ansari, Mikel Luján, Christos Kotselidis, Kim Jarvis, Chris C. Kirkham, Ian Watson	Steal-on-Abort: Improving Transactional Memory Performance through Dynamic Transaction Reordering.	HiPEAC	2009	DBLP DOI BibTeX RDF
56	Erik Larsson, Jon Persson	An Architecture for Combined Test Data Compression and Abort-on-Fail Test.	ASP-DAC	2007	DBLP DOI BibTeX RDF
56	Jens-Matthias Bohli, Jörn Müller-Quade, Stefan Röhrich	Fairness and Correctness in Case of a Premature Abort.	INDOCRYPT	2005	DBLP DOI BibTeX RDF
48	Gopi K. Attaluri, Kenneth Salem	The Presumed-Either Two-Phase Commit Protocol.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	Two-phase commit protocol, presumed-abort, presumed-commit, atomicity, distributed transaction
42	Siqi Wang, Xian Zhao, Zhigang Tian, Ming Jian Zuo	Optimal mission abort policy with multiple abort criteria for a balanced system with multi-state components.	Comput. Ind. Eng.	2021	DBLP DOI BibTeX RDF
42	C. Mohan 0001	Generalized Presumed Abort: Marrying Presumed Abort and SNA LU6.2 Commit Protocols.	HPTS	1993	DBLP BibTeX RDF
36	J. Rubén Titos Gil, Manuel E. Acacio, José Manuel García Carrasco	Characterization of Conflicts in Log-Based Transactional Memory (LogTM).	PDP	2008	DBLP DOI BibTeX RDF	abort, Transactional Memory, hardware, conflict
36	Damien Imbs, Michel Raynal	A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness.	OPODIS	2008	DBLP DOI BibTeX RDF	Commit/abort, Concurrency control, Transaction, Lock, Software transactional memory, Shared object, Progressiveness, Opacity, Atomic operation, Consistent global state
36	Anne Doucet, Stéphane Gançarski, Claudia León, Marta Rukoz	Nested Transactions with Integrity Constraints.	FMLDO - Selected Papers	1999	DBLP DOI BibTeX RDF	partial abort, integrity constraints, nested transactions
36	Jörg Kienzle, Alfred Strohmeier	Shared Recoverable Objects.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Recoverable Objects, Controlled Types, Abort Deferred Regions, Concurrency, Object-Oriented Programming, Transactions, Software Fault Tolerance, Ada 95
35	H. B. Harchegani, A. Farahi, Hossein Shirazi, A. Golabpour, Peyman Almasinejad	Using Genetic Algorithm for Prediction of Information for Cache Operation in ?Mobile Database.	WKDD	2009	DBLP DOI BibTeX RDF
35	Ariel Cohen 0002, Ron van der Meyden, Lenore D. Zuck	Access Control and Information Flow in Transactional Memory.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
35	Josep M. Bernabé-Gisbert, Vaide Zuikeviciute, Francesc D. Muñoz-Escoí, Fernando Pedone	A Probabilistic Analysis of Snapshot Isolation with Partial Replication.	SRDS	2008	DBLP DOI BibTeX RDF
35	Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore, Luke Yen, Mark D. Hill, Ben Liblit, Michael M. Swift, David A. Wood 0001	Supporting nested transactional memory in logTM.	ASPLOS	2006	DBLP DOI BibTeX RDF	logTM, transactional memory, nesting
35	Ashraf M. Abdelbar	Towards an improved twin-page method for rapid transaction undo recovery.	AICCSA	2005	DBLP DOI BibTeX RDF
35	Sameh Elnikety, Willy Zwaenepoel, Fernando Pedone	Database Replication Using Generalized Snapshot Isolation.	SRDS	2005	DBLP DOI BibTeX RDF
35	Prasad Jayanti	Adaptive and efficient abortable mutual exclusion.	PODC	2003	DBLP DOI BibTeX RDF
35	Shafi Goldwasser, Yehuda Lindell	Secure Computation without Agreement.	DISC	2002	DBLP DOI BibTeX RDF
33	Mihir Bellare, Thomas Ristenpart	Simulation without the Artificial Abort: Simplified Proof and Improved Concrete Security for Waters' IBE Scheme.	EUROCRYPT	2009	DBLP DOI BibTeX RDF
33	Kousha Etessami, Patrice Godefroid	An Abort-Aware Model of Transactional Programming.	VMCAI	2009	DBLP DOI BibTeX RDF
33	Francesco Bandiera, Olivier Besson, Giuseppe Ricci	An ABORT-Like Detector With Improved Mismatched Signals Rejection Capabilities.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
33	Emili Miedes, Francesc D. Muñoz-Escoí, Hendrik Decker	Reducing Transaction Abort Rates with Prioritized Atomic Multicast Protocols.	Euro-Par	2008	DBLP DOI BibTeX RDF
33	Zhiyuan He 0002, Gert Jervan, Zebo Peng, Petru Eles	Power-Constrained Hybrid BIST Test Scheduling in an Abort-on-First-Fail Test Environment.	DSD	2005	DBLP DOI BibTeX RDF
33	Huaizhong Lin, Zengwei Zheng, Chun Chen 0001	Reducing Transaction Abort Rate of Epidemic Algorithm in Replicated Databases.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
33	Francesco Quaglia, Andrea Santoro, Bruno Ciciani	Conditional checkpoint abort: an alternative semantic for re-synchronization in CCL.	PADS	2002	DBLP DOI BibTeX RDF	Rollback Based Synchronization, Checkpointing, Performance Optimization, Optimistic Simulation
33	Tei-Wei Kuo, Ming-Chung Liang, LihChyun Shu	Abort-Oriented Concurrency Control for Real-Time Databases.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	transaction aborting, concurrency control, Real-time databases, priority inversion
33	Mireille Fouquet, Pierrick Gaudry, Robert Harley	Finding Secure Curves with the Satoh-FGH Algorithm and an Early-Abort Strategy.	EUROCRYPT	2001	DBLP DOI BibTeX RDF
24	Fritz Laux, Tim Lessner	Transaction Processing in Mobile Computing Using Semantic Properties.	DBKDA	2009	DBLP DOI BibTeX RDF	abort-replay reconciliation, transaction, disconnected operation, semantic properties
24	Udai Shanker, Manoj Misra, Anil Kumar Sarje	SWIFT-A new real time commit protocol.	Distributed Parallel Databases	2006	DBLP DOI BibTeX RDF	Cohort, Commit dependency, Abort dependency, Execute-commit conflict, WORKDONE message, WORKSTARTED message, Coordinator, Dependencies
24	K. H. (Kane) Kim	Middleware of Real-Time Object Based Fault-Tolerant Distributed Computing Systems: Issues and Some Approaches.	PRDC	2001	DBLP DOI BibTeX RDF	abort, reliability, real time, distributed computing, replication, availability, transaction, object, detection, recovery, fault, tolerance, network surveillance
24	K. H. Kim	Issues Insufficiently Resolved in Century 20 in the Fault-Tolerant Distributed Computing Field.	SRDS	2000	DBLP DOI BibTeX RDF	abort, reliability, real time, distributed computing, replication, availability, transaction, object, detection, recovery, fault, tolerance, network surveillance
24	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
23	Bo Zhang 0016, Binoy Ravindran	Brief announcement: on enhancing concurrency in distributed transactional memory.	PODC	2010	DBLP DOI BibTeX RDF	concurrency, transactional memory
23	Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, Adam Welc	Towards transactional memory semantics for C++.	SPAA	2009	DBLP DOI BibTeX RDF	synchronization, c++, transactional memory, atomicity, serializability
23	Lásaro J. Camargos, Marcin Wieloch, Fernando Pedone, Edmundo Roberto Mauro Madeira	A Highly Available Log Service for Transaction Termination.	ISPDC	2008	DBLP DOI BibTeX RDF
23	Alexander Pretschner, Thomas Walter 0001	Negotiation of Usage Control Policies - Simply the Best?	ARES	2008	DBLP DOI BibTeX RDF	agents, negotiation, usage control
23	Raúl Salinas-Monteagudo, Francesc D. Muñoz-Escoí, José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil	A Performance Evaluation of g-Bound with a Consistency Protocol Supporting Multiple Isolation Levels.	OTM Workshops	2008	DBLP DOI BibTeX RDF
23	Youhei Tanaka, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa 0001	A mobile agent model for fault-tolerant manipulation on distributed objects.	Clust. Comput.	2007	DBLP DOI BibTeX RDF	Mobile agent model, Fault-tolerant, Distributed transaction
23	Ailixier Aikebaier, Tomoya Enokido, Makoto Takizawa 0001	Making an Agreement in an Order-Heterogeneous Group by using a Distributed Coordination Protocol.	ICPP Workshops	2007	DBLP DOI BibTeX RDF
23	Ailixier Aikebaier, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa 0001	A Distributed Coordination Protocol for a Heterogeneous Group of Peer Processes.	AINA	2007	DBLP DOI BibTeX RDF
23	Ailixier Aikebaier, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa 0001	A Distributed Coordination Algorithm for a Heterogeneous Group of Peers.	CISIS	2007	DBLP DOI BibTeX RDF
23	John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith	Aborting tasks in BDI agents.	AAMAS	2007	DBLP DOI BibTeX RDF	reactive and deliberative, architectures, agents, formal models of agency
23	Huaizhong Lin, Zengwei Zheng, Chun Chen 0001	Transaction Reordering for Epidemic Quorum in Replicated Databases.	ICCSA (4)	2005	DBLP DOI BibTeX RDF
23	P. Krishna Reddy, Masaru Kitsuregawa	Speculative Locking Protocols to Improve Performance for Distributed Database System.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	performance evaluation, Distributed database, concurrency control, transaction processing, locking, speculation
23	Zhiyuan He 0002, Gert Jervan, Zebo Peng, Petru Eles	Hybrid BIST Test Scheduling Based on Defect Probabilities.	Asian Test Symposium	2004	DBLP DOI BibTeX RDF
23	Bernadette Charron-Bost	Comparing the Atomic Commitment and Consensus Problems.	Future Directions in Distributed Computing	2003	DBLP DOI BibTeX RDF
23	Jinmiao Li, Yun Mai, Greg Butler	Implementing Exception Handling Policies for Workflow Management System.	APSEC	2003	DBLP DOI BibTeX RDF
23	Jae-Ha Lee	Online Deadline Scheduling: Team Adversary and Restart.	WAOA	2003	DBLP DOI BibTeX RDF
23	Elisa Bertino, Giovanni Chiola, Luigi V. Mancini	Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models.	ICATPN	1998	DBLP DOI BibTeX RDF
23	Tim Kempster, Colin Stirling, Peter Thanisch	A More Committed Quorum-Based Three Phase Commit Protocol.	DISC	1998	DBLP DOI BibTeX RDF
23	Gail E. Kaiser	Transactions for concurrent object-oriented programming systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
21	Sa Meng, Liudong Xing, Gregory Levitin	Optimizing component activation and operation aborting in missions with consecutive attempts and common abort command.	Reliab. Eng. Syst. Saf.	2024	DBLP DOI BibTeX RDF
21	Chen Fang, Jianhui Chen, Daizhen Qiu	Reliability modeling for balanced systems considering mission abort policies.	Reliab. Eng. Syst. Saf.	2024	DBLP DOI BibTeX RDF
21	Lujie Liu, Jun Yang 0018, Bingxin Yan	A dynamic mission abort policy for transportation systems with stochastic dependence by deep reinforcement learning.	Reliab. Eng. Syst. Saf.	2024	DBLP DOI BibTeX RDF
21	Guoqing Cheng, Jiayi Shen, Fang Wang, Ling Li, Nan Yang	Optimal mission abort policy for a multi-component system with failure interaction.	Reliab. Eng. Syst. Saf.	2024	DBLP DOI BibTeX RDF
21	Huiqiang Liang, Jianhua Chen	Non-interactive SM2 threshold signature scheme with identifiable abort.	Frontiers Comput. Sci.	2024	DBLP DOI BibTeX RDF
21	Kai-Min Chung, Mi-Ying (Miryam) Huang, Er-Cheng Tang, Jiapeng Zhang	Best-of-Both-Worlds Multiparty Quantum Computation with Publicly Verifiable Identifiable Abort.	EUROCRYPT (6)	2024	DBLP DOI BibTeX RDF
21	Guoqing Cheng, Ling Li, Lizhen Zhang, Nan Yang, Bo Jiang, Chunxia Shangguan, Yongzheng Su	Optimal Joint Inspection and Mission Abort Policies for Degenerative Systems.	IEEE Trans. Reliab.	2023	DBLP DOI BibTeX RDF
21	Qingan Qiu, Lisa M. Maillart, Oleg A. Prokopyev, Lirong Cui	Optimal Condition-Based Mission Abort Decisions.	IEEE Trans. Reliab.	2023	DBLP DOI BibTeX RDF
21	Qinglai Dong, Pin Liu	Optimal mission abort policy for a balanced system with a restricted mechanism.	Qual. Reliab. Eng. Int.	2023	DBLP DOI BibTeX RDF
21	Xian Zhao, Rong Li, Shuai Cao, Qingan Qiu	Joint modeling of loading and mission abort policies for systems operating in dynamic environments.	Reliab. Eng. Syst. Saf.	2023	DBLP DOI BibTeX RDF
21	Xian Zhao, Haoran Liu, Yaguang Wu, Qingan Qiu	Joint optimization of mission abort and system structure considering dynamic tasks.	Reliab. Eng. Syst. Saf.	2023	DBLP DOI BibTeX RDF
21	Guoqing Cheng, Ling Li, Chunxia Shangguan, Nan Yang, Bo Jiang, Ningrong Tao	Optimal joint inspection and mission abort policy for a partially observable system.	Reliab. Eng. Syst. Saf.	2023	DBLP DOI BibTeX RDF
21	Lujie Liu, Jun Yang 0018	A dynamic mission abort policy for the swarm executing missions and its solution method by tailored deep reinforcement learning.	Reliab. Eng. Syst. Saf.	2023	DBLP DOI BibTeX RDF
21	Daniel Aguilar Marsillach, Stefano Di Cairano, Avishai Weiss	Abort-Safe Spacecraft Rendezvous on Elliptic Orbits.	IEEE Trans. Control. Syst. Technol.	2023	DBLP DOI BibTeX RDF
21	Ran Cohen, Jack Doerner, Yashvanth Kondi, Abhi Shelat	Secure Multiparty Computation with Identifiable Abort from Vindicating Release.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
21	Théophile Brézot, Paola de Perthuis, David Pointcheval	Covercrypt: an Efficient Early-Abort KEM for Hidden Access Policies with Traceability from the DDH and LWE.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
21	Carsten Baum, Nikolas Melissaris, Rahul Rachuri, Peter Scholl	Cheater Identification on a Budget: MPC with Identifiable Abort from Pairwise MACs.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
21	Anirudh Jain, Divya Kiran Kadiyala, Alexandros Daglis	Safety Hints for HTM Capacity Abort Mitigation.	HPCA	2023	DBLP DOI BibTeX RDF
21	Carsten Baum, Bernardo David, Rafael Dowsley, Ravi Kishore, Jesper Buus Nielsen, Sabine Oechsner	CRAFT: Composable Randomness Beacons and Output-Independent Abort MPC From Time.	Public Key Cryptography (1)	2023	DBLP DOI BibTeX RDF
21	Jinlong He, Yang Liu 0168, Jingwen Chen, Song Peng, Yaoqi Wang, Miaomiao Zhang	MoryFabric : Reducing Transaction Abort by Actual Validity Verification and Reordering.	ICPADS	2023	DBLP DOI BibTeX RDF
21	Théophile Brézot, Paola de Perthuis, David Pointcheval	Covercrypt: An Efficient Early-Abort KEM for Hidden Access Policies with Traceability from the DDH and LWE.	ESORICS (1)	2023	DBLP DOI BibTeX RDF
21	Li Yang 0004, Yi Chen, Qingan Qiu, Jiantai Wang	Risk Control of Mission-Critical Systems: Abort Decision-Makings Integrating Health and Age Conditions.	IEEE Trans. Ind. Informatics	2022	DBLP DOI BibTeX RDF
21	Gregory Levitin, Liudong Xing, Yuanshun Dai	Using kamikaze components in multi-attempt missions with abort option.	Reliab. Eng. Syst. Saf.	2022	DBLP DOI BibTeX RDF
21	Hyeong-Jin Kim, Hyunjo Lee, Yong-Ki Kim 0001, Jae-Woo Chang	HyTM-AP Hybrid Transactional Memory Scheme Using Abort Prediction and Adaptive Retry Policy for Multi-Core In-Memory Databases.	J. Database Manag.	2022	DBLP DOI BibTeX RDF
21	Takamitsu Shioi, Takashi Kambayashi, Suguru Arakawa, Ryoji Kurosawa, Satoshi Hikida, Haruo Yokota	Serializable HTAP with Abort-/Wait-free Snapshot Read.	CoRR	2022	DBLP BibTeX RDF
21	Mi-Ying Huang, Er-Cheng Tang	From Auditable Quantum Authentication to Best-of-Both-Worlds Multiparty Quantum Computation with Public Verifiable Identifiable Abort.	CoRR	2022	DBLP DOI BibTeX RDF
21	Michele Ciampi, Divya Ravi, Luisa Siniscalchi, Hendrik Waldner	Round-Optimal Multi-Party Computation with Identifiable Abort.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
21	Mi-Ying (Miryam) Huang, Er-Cheng Tang	From Auditable Quantum Authentication to Best-of-Both-Worlds Multiparty Quantum Computation with Public Verifiable Identifiable Abort.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
21	Pingyuan Zhang, Han Jiang 0001, Zhihua Zheng, Hao Wang 0007, Qiuliang Xu	A New and Efficient Lattice-Based Online/Offline Signature From Perspective of Abort.	Comput. J.	2022	DBLP DOI BibTeX RDF
21	Alessandro Pellegrini 0001, Pierangelo di Sanzo, Andrea Piccione, Francesco Quaglia	Design and implementation of a fully transparent partial abort support for software transactional memory.	Softw. Pract. Exp.	2022	DBLP DOI BibTeX RDF
21	Michele Ciampi, Divya Ravi, Luisa Siniscalchi, Hendrik Waldner	Round-Optimal Multi-party Computation with Identifiable Abort.	EUROCRYPT (1)	2022	DBLP DOI BibTeX RDF
21	Piyush Beegala, Debapriya Basu Roy, Prasanna Ravi, Shivam Bhasin, Anupam Chattopadhyay, Debdeep Mukhopadhyay	Efficient Loop Abort Fault Attacks on Supersingular Isogeny based Key Exchange (SIKE).	DFT	2022	DBLP DOI BibTeX RDF
21	Mark Simkin 0001, Luisa Siniscalchi, Sophia Yakoubov	On Sufficient Oracles for Secure Computation with Identifiable Abort.	SCN	2022	DBLP DOI BibTeX RDF
21	Gregory Levitin, Maxim Finkelstein, Yanping Xiang	Optimal abort rules for additive multi-attempt missions.	Reliab. Eng. Syst. Saf.	2021	DBLP DOI BibTeX RDF
21	Congshan Wu, Xian Zhao, Qingan Qiu, Jinglei Sun	Optimal mission abort policy for k-out-of-n: F balanced systems.	Reliab. Eng. Syst. Saf.	2021	DBLP DOI BibTeX RDF
21	Gregory Levitin, Maxim Finkelstein, Yanping Xiang	Optimal inspections and mission abort policies for multistate systems.	Reliab. Eng. Syst. Saf.	2021	DBLP DOI BibTeX RDF
21	Xian Zhao, Xiaofei Chai, Jinglei Sun, Qingan Qiu	Optimal bivariate mission abort policy for systems operate in random shock environment.	Reliab. Eng. Syst. Saf.	2021	DBLP DOI BibTeX RDF
21	Gregory Levitin, Maxim Finkelstein, Yanping Xiang	Optimal mission abort policies for repairable multistate systems performing multi-attempt mission.	Reliab. Eng. Syst. Saf.	2021	DBLP DOI BibTeX RDF
21	Xian Zhao, Xiaofei Chai, Jinglei Sun, Qingan Qiu	Joint optimization of mission abort and component switching policies for multistate warm standby systems.	Reliab. Eng. Syst. Saf.	2021	DBLP DOI BibTeX RDF
21	Xian Zhao, Yu Fan, Qingan Qiu, Ke Chen	Multi-criteria mission abort policy for systems subject to two-stage degradation process.	Eur. J. Oper. Res.	2021	DBLP DOI BibTeX RDF
21	Xian Zhao, Jinglei Sun, Qingan Qiu, Ke Chen	Optimal inspection and mission abort policies for systems subject to degradation.	Eur. J. Oper. Res.	2021	DBLP DOI BibTeX RDF
21	Mark Simkin 0001, Luisa Siniscalchi, Sophia Yakoubov	On Sufficient Oracles for Secure Computation with Identifiable Abort.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
21	Handong Cui, Tsz Hon Yuen	A Trustless GQ Multi-Signature Scheme with Identifiable Abort.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
21	Nicholas Brandt	Tight Setup Bounds for Identifiable Abort.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
21	Abraham P. Vinod, Avishai Weiss, Stefano Di Cairano	Abort-safe spacecraft rendezvous under stochastic actuation and navigation uncertainty.	CDC	2021	DBLP DOI BibTeX RDF