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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 65-80, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
69 | Erik Larsson, Julien Pouget, Zebo Peng |
Abort-on-Fail Based Test Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 21(6), pp. 651-658, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(5), pp. 2117-2121, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30 - November 01, 1996, Seoul, Korea, pp. 118-127, 1996, IEEE Computer Society, 0-8186-7626-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPEAC ![In: High Performance Embedded Architectures and Compilers, Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings, pp. 4-18, 2009, Springer, 978-3-540-92989-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
56 | Erik Larsson, Jon Persson |
An Architecture for Combined Test Data Compression and Abort-on-Fail Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 726-731, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2005, 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005, Proceedings, pp. 322-331, 2005, Springer, 3-540-30805-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
48 | Gopi K. Attaluri, Kenneth Salem |
The Presumed-Either Two-Phase Commit Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(5), pp. 1190-1196, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. Eng. ![In: Comput. Ind. Eng. 160, pp. 107544, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | C. Mohan 0001 |
Generalized Presumed Abort: Marrying Presumed Abort and SNA LU6.2 Commit Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPTS ![In: International Workshop on High-Performance Transaction Systems, HPTS 1993, 26-29 September 1993., 1993. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 16th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), 13-15 February 2008, Toulouse, France, pp. 30-37, 2008, IEEE Computer Society, 978-0-7695-3089-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings, pp. 226-245, 2008, Springer, 978-3-540-92220-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMLDO - Selected Papers ![In: Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers, pp. 130-149, 1999, Springer, 3-540-67201-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
partial abort, integrity constraints, nested transactions |
36 | Jörg Kienzle, Alfred Strohmeier |
Shared Recoverable Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 397-411, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WKDD ![In: Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining, WKDD 2009, Moscow, Russia, 23-25 January 2009, pp. 148-151, 2009, IEEE Computer Society, 978-0-7695-3543-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Ariel Cohen 0002, Ron van der Meyden, Lenore D. Zuck |
Access Control and Information Flow in Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers, pp. 316-330, 2008, Springer. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), Napoli, Italy, October 6-8, 2008, pp. 249-258, 2008, IEEE Computer Society, 978-0-7695-3410-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006, pp. 359-370, 2006, ACM, 1-59593-451-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
logTM, transactional memory, nesting |
35 | Ashraf M. Abdelbar |
Towards an improved twin-page method for rapid transaction undo recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), January 3-6, 2005, Cairo, Egypt, pp. 38, 2005, IEEE Computer Society, 0-7803-8735-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Sameh Elnikety, Willy Zwaenepoel, Fernando Pedone |
Database Replication Using Generalized Snapshot Isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005),26-28 October 2005, Orlando, FL, USA, pp. 73-84, 2005, IEEE Computer Society, 0-7695-2463-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Prasad Jayanti |
Adaptive and efficient abortable mutual exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, PODC 2003, Boston, Massachusetts, USA, July 13-16, 2003, pp. 295-304, 2003, ACM, 1-58113-708-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Shafi Goldwasser, Yehuda Lindell |
Secure Computation without Agreement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 16th International Conference, DISC 2002, Toulouse, France, October 28-30, 2002 Proceedings, pp. 17-32, 2002, Springer, 3-540-00073-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2009, 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings, pp. 407-424, 2009, Springer, 978-3-642-01000-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Kousha Etessami, Patrice Godefroid |
An Abort-Aware Model of Transactional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 59-73, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Francesco Bandiera, Olivier Besson, Giuseppe Ricci |
An ABORT-Like Detector With Improved Mismatched Signals Rejection Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(1), pp. 14-25, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Emili Miedes, Francesc D. Muñoz-Escoí, Hendrik Decker |
Reducing Transaction Abort Rates with Prioritized Atomic Multicast Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2008 - Parallel Processing, 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings, pp. 394-403, 2008, Springer, 978-3-540-85450-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August - 3 September 2005, Porto, Portugal, pp. 83-87, 2005, IEEE Computer Society, 0-7695-2433-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Huaizhong Lin, Zengwei Zheng, Chun Chen 0001 |
Reducing Transaction Abort Rate of Epidemic Algorithm in Replicated Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I, pp. 552-559, 2005, Springer, 3-540-26032-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Francesco Quaglia, Andrea Santoro, Bruno Ciciani |
Conditional checkpoint abort: an alternative semantic for re-synchronization in CCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: Proceedings of the 16th Workshop on Parallel and Distributed Simulation, PADS 2002, Washington, D.C., USA, May 12-15, 2002, pp. 143-150, 2002, IEEE Computer Society, 0-7695-1608-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(7), pp. 660-673, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2001, International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001, Proceeding, pp. 14-29, 2001, Springer, 3-540-42070-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Fritz Laux, Tim Lessner |
Transaction Processing in Mobile Computing Using Semantic Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBKDA ![In: The First International Conference on Advances in Databases, Knowledge, and Data Applications, DBKDS 2009, Gosier, Guadeloupe, France, 1-6 March 2009, pp. 87-94, 2009, IEEE Computer Society, 978-0-7695-3550-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 20(1), pp. 29-56, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea, pp. 3-10, 2001, IEEE Computer Society, 0-7695-1414-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 19th IEEE Symposium on Reliable Distributed Systems, SRDS'00, Nürnberg, Germany, October 16-18, 2000, Proceedings, pp. 106-115, 2000, IEEE Computer Society, 0-7695-0543-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 230-234, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 73-74, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
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++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009, pp. 49-58, 2009, ACM, 978-1-60558-606-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 1-5 July 2008, Krakow, Poland, pp. 335-342, 2008, IEEE Computer Society, 978-0-7695-3472-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Pretschner, Thomas Walter 0001 |
Negotiation of Usage Control Policies - Simply the Best? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 1135-1136, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2008 Workshops, OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings, pp. 914-923, 2008, Springer, 978-3-540-88874-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 10(1), pp. 81-93, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 2007 International Conference on Parallel Processing Workshops (ICPP Workshops 2007), 10-14 September 2007, Xi-An, China, pp. 1, 2007, IEEE Computer Society, 978-0-7695-2934-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), May 21-23, 2007, Niagara Falls, Canada, pp. 565-572, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: First International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2007), Vienna, Austria, 10-12 April 2007, pp. 291-296, 2007, IEEE Computer Society, 0-7695-2823-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith |
Aborting tasks in BDI agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 6, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV, pp. 826-835, 2005, Springer, 3-540-25863-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | P. Krishna Reddy, Masaru Kitsuregawa |
Speculative Locking Protocols to Improve Performance for Distributed Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 16(2), pp. 154-169, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 13th Asian Test Symposium (ATS 2004), 15-17 November 2004, Kenting, Taiwan, pp. 230-235, 2004, IEEE Computer Society, 0-7695-2235-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Bernadette Charron-Bost |
Comparing the Atomic Commitment and Consensus Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Directions in Distributed Computing ![In: Future Directions in Distributed Computing, Research and Position Papers, pp. 29-34, 2003, Springer, 3-540-00912-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Jinmiao Li, Yun Mai, Greg Butler |
Implementing Exception Handling Policies for Workflow Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand, pp. 564-573, 2003, IEEE Computer Society, 0-7695-2011-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Jae-Ha Lee |
Online Deadline Scheduling: Team Adversary and Restart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAOA ![In: Approximation and Online Algorithms, First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003, Revised Papers, pp. 206-213, 2003, Springer, 3-540-21079-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings, pp. 266-285, 1998, Springer, 3-540-64677-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Tim Kempster, Colin Stirling, Peter Thanisch |
A More Committed Quorum-Based Three Phase Commit Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 12th International Symposium, DISC '98, Andros, Greece, September 24-26, 1998, Proceedings, pp. 246-257, 1998, Springer, 3-540-65066-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Gail E. Kaiser |
Transactions for concurrent object-oriented programming systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 136-138, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 243, pp. 109842, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Chen Fang, Jianhui Chen, Daizhen Qiu |
Reliability modeling for balanced systems considering mission abort policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 243, pp. 109853, March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 241, pp. 109682, January 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 242, pp. 109791, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Huiqiang Liang, Jianhua Chen |
Non-interactive SM2 threshold signature scheme with identifiable abort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. ![In: Frontiers Comput. Sci. 18(1), pp. 181802, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT (6) ![In: Advances in Cryptology - EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part VI, pp. 119-148, 2024, Springer, 978-3-031-58750-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 72(1), pp. 137-150, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Qingan Qiu, Lisa M. Maillart, Oleg A. Prokopyev, Lirong Cui |
Optimal Condition-Based Mission Abort Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 72(1), pp. 408-425, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Qinglai Dong, Pin Liu |
Optimal mission abort policy for a balanced system with a restricted mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 39(6), pp. 2385-2397, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 230, pp. 108948, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 234, pp. 109128, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 229, pp. 108870, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 234, pp. 109149, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Daniel Aguilar Marsillach, Stefano Di Cairano, Avishai Weiss |
Abort-Safe Spacecraft Rendezvous on Elliptic Orbits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Syst. Technol. ![In: IEEE Trans. Control. Syst. Technol. 31(3), pp. 1133-1148, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Ran Cohen, Jack Doerner, Yashvanth Kondi, Abhi Shelat |
Secure Multiparty Computation with Identifiable Abort from Vindicating Release. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1136, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 836, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1548, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
21 | Anirudh Jain, Divya Kiran Kadiyala, Alexandros Daglis |
Safety Hints for HTM Capacity Abort Mitigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: IEEE International Symposium on High-Performance Computer Architecture, HPCA 2023, Montreal, QC, Canada, February 25 - March 1, 2023, pp. 206-219, 2023, IEEE, 978-1-6654-7652-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography (1) ![In: Public-Key Cryptography - PKC 2023 - 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7-10, 2023, Proceedings, Part I, pp. 439-470, 2023, Springer, 978-3-031-31367-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 29th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2023, Ocean Flower Island, China, December 17-21, 2023, pp. 691-698, 2023, IEEE, 979-8-3503-3071-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (1) ![In: Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part I, pp. 372-392, 2023, Springer, 978-3-031-50593-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 18(10), pp. 6887-6894, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Gregory Levitin, Liudong Xing, Yuanshun Dai |
Using kamikaze components in multi-attempt missions with abort option. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 227, pp. 108745, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Database Manag. ![In: J. Database Manag. 33(1), pp. 1-22, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.07993, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.01665, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Michele Ciampi, Divya Ravi, Luisa Siniscalchi, Hendrik Waldner |
Round-Optimal Multi-Party Computation with Identifiable Abort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 645, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 1517, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 65(9), pp. 2400-2410, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 52(11), pp. 2456-2475, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Michele Ciampi, Divya Ravi, Luisa Siniscalchi, Hendrik Waldner |
Round-Optimal Multi-party Computation with Identifiable Abort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT (1) ![In: Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30 - June 3, 2022, Proceedings, Part I, pp. 335-364, 2022, Springer, 978-3-031-06943-7. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFT 2022, Austin, TX, USA, October 19-21, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-5938-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Mark Simkin 0001, Luisa Siniscalchi, Sophia Yakoubov |
On Sufficient Oracles for Secure Computation with Identifiable Abort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCN ![In: Security and Cryptography for Networks - 13th International Conference, SCN 2022, Amalfi, Italy, September 12-14, 2022, Proceedings, pp. 494-515, 2022, Springer, 978-3-031-14790-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Gregory Levitin, Maxim Finkelstein, Yanping Xiang |
Optimal abort rules for additive multi-attempt missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 205, pp. 107245, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 208, pp. 107398, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Gregory Levitin, Maxim Finkelstein, Yanping Xiang |
Optimal inspections and mission abort policies for multistate systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 214, pp. 107700, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 205, pp. 107244, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Gregory Levitin, Maxim Finkelstein, Yanping Xiang |
Optimal mission abort policies for repairable multistate systems performing multi-attempt mission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 209, pp. 107497, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 212, pp. 107641, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 295(1), pp. 233-245, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 292(2), pp. 610-621, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Mark Simkin 0001, Luisa Siniscalchi, Sophia Yakoubov |
On Sufficient Oracles for Secure Computation with Identifiable Abort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 151, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Handong Cui, Tsz Hon Yuen |
A Trustless GQ Multi-Signature Scheme with Identifiable Abort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 664, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Nicholas Brandt |
Tight Setup Bounds for Identifiable Abort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 684, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Abraham P. Vinod, Avishai Weiss, Stefano Di Cairano |
Abort-safe spacecraft rendezvous under stochastic actuation and navigation uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, pp. 6620-6625, 2021, IEEE, 978-1-6654-3659-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|