Search results for "abort"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Guy Bernard	A Non-Persistent CSMA-Abort Access Protocol for a Local Computer Network.	ICDCS	1981	DBLP BibTeX RDF
21	Vinay Shridhar Sohoni	Real-Time Orbiter Abort Guidance.	IBM J. Res. Dev.	1976	DBLP DOI BibTeX RDF
21	R. J. Filene, W. M. Daly	The Reliability Impact of Mission Abort Strategies on Redundant Flight Computer Systems.	IEEE Trans. Computers	1974	DBLP DOI BibTeX RDF
21	Edward E. Markson	R68-15 Trajectory Computation by a Hybrid Computer for the Apollo Midcourse Abort Simulation.	IEEE Trans. Computers	1968	DBLP DOI BibTeX RDF
12	Cyprien Noël	Extensible software transactional memory.	C3S2E	2010	DBLP DOI BibTeX RDF	software architecture, synchronization, transactional memory, concurrent programming, composability, object replication
12	Staas de Jong, Dünya Kirkali, Hanna Schraffenberger, Jeroen Jillissen, Alwin de Rooij, Arnout Terpstra	One-press control: a tactile input method for pressure-sensitive computer keyboards.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	pressure-sensitive keyboard, tactile interaction technique, user interface, pressure sensing
12	Annette Bieniusa, Arie Middelkoop, Peter Thiemann 0001	Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair.	PODC	2010	DBLP DOI BibTeX RDF	irrevocable transactions, consistency, software transactional memory
12	Christoph Lucas, Dominik Raub, Ueli M. Maurer	Hybrid-secure MPC: trading information-theoretic robustness for computational privacy.	PODC	2010	DBLP DOI BibTeX RDF	hybrid security, party emulation, computational security, information-theoretic security, universal composability, multi-party computation
12	Tom Barnes, Adam Messinger, Paul Parkinson, Amit Ganesh, German Shegalov, Saraswathy Narayan, Srinivas Kareenhalli	Logging last resource optimization for distributed transactions in Oracle WebLogic server.	EDBT	2010	DBLP DOI BibTeX RDF
12	Geoffrey Blake, Ronald G. Dreslinski, Trevor N. Mudge	Proactive transaction scheduling for contention management.	MICRO	2009	DBLP DOI BibTeX RDF	proactive scheduling, software runtime, hardware transactional memory
12	Yevgeniy Dodis, Jonathan Katz, Adam D. Smith, Shabsi Walfish	Composability and On-Line Deniability of Authentication.	TCC	2009	DBLP DOI BibTeX RDF
12	Pietro Longo, Andrea Sterbini, Marco Temperini	TSW: A Web-Based Automatic Correction System for C Programming Exercises.	WSKS (1)	2009	DBLP DOI BibTeX RDF	automatic grading, automatic correction, programming exercises
12	Emili Miedes, Francesc D. Muñoz-Escoí	On the Cost of Prioritized Atomic Multicast Protocols.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF
12	Ricardo J. Dias, João Lourenço	Unifying Memory and Database Transactions.	Euro-Par	2009	DBLP DOI BibTeX RDF
12	Felipe Klein, Alexandro Baldassin, Guido Araujo, Paulo Centoducatte, Rodolfo Azevedo	On the energy-efficiency of software transactional memory.	SBCCI	2009	DBLP DOI BibTeX RDF	low power design, transactional memory, multi-core, MPSoC
12	Aravind Yalamanchi, Dieter Gawlick	Compensation-aware data types in RDBMS.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	and constraints, concurrency control, compensation, business transactions
12	Heiko Sturzrehm, Pascal Felber, Christof Fetzer	TM-Stream: An STM framework for distributed event stream processing.	IPDPS	2009	DBLP DOI BibTeX RDF
12	Nehir Sönmez, Tim Harris 0001, Adrián Cristal, Osman S. Unsal, Mateo Valero	Taking the heat off transactions: Dynamic selection of pessimistic concurrency control.	IPDPS	2009	DBLP DOI BibTeX RDF
12	Vladimir Gajinov, Ferad Zyulkyarov, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Tim Harris 0001, Mateo Valero	QuakeTM: parallelizing a complex sequential application using transactional memory.	ICS	2009	DBLP DOI BibTeX RDF	game server, transactional memory
12	Zijiang Yang 0006, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu	Dynamic Path Reduction for Software Model Checking.	IFM	2009	DBLP DOI BibTeX RDF
12	Sheng-Wen Hsiao	Love_Child.	SIGGRAPH ASIA Animations	2009	DBLP DOI BibTeX RDF
12	Bernd Fischer 0002, Ando Saabas, Tarmo Uustalu	Program Repair as Sound Optimization of Broken Programs.	TASE	2009	DBLP DOI BibTeX RDF
12	Idit Keidar, Dmitri Perelman	On avoiding spare aborts in transactional memory.	SPAA	2009	DBLP DOI BibTeX RDF	transactional memory
12	Simplice Djoko Djoko, Rémi Douence, Pascal Fradet	Aspects preserving properties.	PEPM	2008	DBLP DOI BibTeX RDF	semantics, proof, temporal properties, aspect weaving
12	Vaide Zuikeviciute, Fernando Pedone	Conflict-aware load-balancing techniques for database replication.	SAC	2008	DBLP DOI BibTeX RDF	load balancing, replication, transactions scheduling
12	Shaogang Wang, Dan Wu, Zhengbin Pang, Xiaodong Yang	Software Assisted Transact Cache to Support Efficient Unbounded Transactional Memory.	HPCC	2008	DBLP DOI BibTeX RDF
12	Florin Rusu, Fei Xu, Luis Leopoldo Perez, Mingxi Wu, Ravi Jampani, Chris Jermaine, Alin Dobra	The DBO database system.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	dbo, sampling, online aggregation
12	Cong Shi, Dingyi Han, Xinyao Hu, Yong Yu 0001	A unified model of pollution in P2P networks.	IPDPS	2008	DBLP DOI BibTeX RDF
12	Tobias Hoßfeld, Kenji Leibnitz, Marie-Ange Remiche	Exact Sojourn Time Distribution in an Online IPTV Recording System.	ASMTA	2008	DBLP DOI BibTeX RDF
12	Zhaowen Xing, Le Gruenwald, Keat Keong Phang	SODA: An Algorithm to Guarantee Correctness of Concurrent Transaction Execution in Mobile P2P Databases.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	concurrency control, transaction, mobile P2P
12	Xiaoqiang Zhang, Lin Peng, Lunguo Xie	Lowering Conflicts of High Contention Software Transactional Memory.	CSSE (3)	2008	DBLP DOI BibTeX RDF
12	Jiqiang Lu, Orr Dunkelman, Nathan Keller, Jongsung Kim	New Impossible Differential Attacks on AES.	INDOCRYPT	2008	DBLP DOI BibTeX RDF	AES, Impossible differential cryptanalysis
12	Jiqiang Lu, Jongsung Kim, Nathan Keller, Orr Dunkelman	Improving the Efficiency of Impossible Differential Cryptanalysis of Reduced Camellia and MISTY1.	CT-RSA	2008	DBLP DOI BibTeX RDF	MISTY1, Block cipher, Impossible differential cryptanalysis, Camellia
12	Hillel Avni, Nir Shavit	Maintaining Consistent Transactional States without a Global Clock.	SIROCCO	2008	DBLP DOI BibTeX RDF
12	Kunal Agrawal, Jeremy T. Fineman, Jim Sukha	Nested parallelism in transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	nested parallel computations, series-parallel computations, transaction conflict detection, data structure, multithreading, transactional memory, work stealing, cilk, fork-join
12	Rachid Guerraoui, Michal Kapalka	On the correctness of transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	model, lower bound, transactional memory, correctness
12	Vitaliy B. Lvin, Gene Novark, Emery D. Berger, Benjamin G. Zorn	Archipelago: trading address space for reliability and security.	ASPLOS	2008	DBLP DOI BibTeX RDF	Archipelago, probabilistic memory safety, randomized algorithms, virtual memory, buffer overflow, dynamic memory allocation, memory errors
12	Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young	General and efficient locking without blocking.	MSPC	2008	DBLP DOI BibTeX RDF	adaptive locks, hybrid locks, transactional memory, nested transactions
12	Shyam Antony, Divyakant Agrawal, Amr El Abbadi	P2P systems with transactional semantics.	EDBT	2008	DBLP DOI BibTeX RDF
12	Edi Shmueli, Dror G. Feitelson	Uncovering the Effect of System Performance on User Behavior from Traces of Parallel Systems.	MASCOTS	2007	DBLP DOI BibTeX RDF
12	David Dice, Nir Shavit	Understanding Tradeoffs in Software Transactional Memory.	CGO	2007	DBLP DOI BibTeX RDF
12	Binoy Ravindran, Edward Curley, E. Douglas Jensen	On Scheduling Exception Handlers in Dynamic, Embedded Real-Time Systems.	ICESS	2007	DBLP DOI BibTeX RDF
12	J. R. Juárez-Rodríguez, José Enrique Armendáriz-Iñigo, Francesc D. Muñoz-Escoí, José Ramón González de Mendívil, José Ramón Garitagoitia	A Deterministic Database Replication Protocol Where Multicast Writesets Never Get Aborted.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF
12	Sasa Tomic, Adrián Cristal, Osman S. Unsal, Mateo Valero	Hardware Transactional Memory with Operating System Support, HTMOS.	Euro-Par Workshops	2007	DBLP DOI BibTeX RDF
12	Gilles Brassard, Anne Broadbent, Joseph F. Fitzsimons, Sébastien Gambs, Alain Tapp	Anonymous Quantum Communication.	ASIACRYPT	2007	DBLP DOI BibTeX RDF	dining cryptographers, anonymity, multiparty computation, quantum cryptography
12	Anne Broadbent, Alain Tapp	Information-Theoretic Security Without an Honest Majority.	ASIACRYPT	2007	DBLP DOI BibTeX RDF	anonymous message transmission, election protocols, dining cryptographers, collision detection, information-theoretic security, Multiparty computation
12	Shaogang Wang, Dan Wu, Xiaodong Yang, Zhengbin Pang	Exploring Data Reusing of Failed Transaction.	APPT	2007	DBLP DOI BibTeX RDF	TItDR, transactional memory, data reusing
12	Liqiang Wang, Shiyong Lu, Xubo Fei, Jeffrey L. Ram	A Dataflow-Oriented Atomicity and Provenance System for Pipelined Scientific Workflows.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF
12	Marcos Kawazoe Aguilera, Svend Frølund, Vassos Hadzilacos, Stephanie Lorraine Horn, Sam Toueg	Abortable and query-abortable objects and their efficient implementation.	PODC	2007	DBLP DOI BibTeX RDF	abortable types, non-triviality, universal constructions, shared memory, memory contention, obstruction-freedom
12	Jonathan Stephen Anderson, Binoy Ravindran, E. Douglas Jensen	Consensus-Driven Distributable Thread Scheduling in Networked Embedded Systems.	EUC	2007	DBLP DOI BibTeX RDF
12	Rene Kobler, Thomas Köckerbauer, Ulrich Omasits, Martin Neumann, Wolfgang Schreiner, Jens Volkert	Interactive Molecular Dynamics Simulations on the Grid.	EUROCAST	2007	DBLP DOI BibTeX RDF
12	Heine Kolltveit, Svein-Olaf Hvasshovd	Preventing Orphan Requests by Integrating Replication and Transactions.	ADBIS	2007	DBLP DOI BibTeX RDF	orphan requests, Replication, transactions, non-determinism
12	Youhei Tanaka, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa 0001	Fault Detection and Recovery in a Transactional Agent Model.	AINA	2007	DBLP DOI BibTeX RDF
12	Edward Flanigan, Rajsekhar Adapa, Hailong Cui, Michael Laisne, Spyros Tragoudas, Tsvetomir Petrov	Function-based ATPG for Path Delay Faults using the Launch-Off-Capture Scan Architecture.	VLSI Design	2007	DBLP DOI BibTeX RDF
12	Brian D. Carlstrom, Austen McDonald, Michael Carbin, Christos Kozyrakis, Kunle Olukotun	Transactional collection classes.	PPoPP	2007	DBLP DOI BibTeX RDF	collection classes, Java, transactional memory, multiprocessor architecture
12	Hany E. Ramadan, Christopher J. Rossbach, Donald E. Porter, Owen S. Hofmann, Bhandari Aditya, Emmett Witchel	MetaTM//TxLinux: transactional memory for an operating system.	ISCA	2007	DBLP DOI BibTeX RDF	MetaTM, OS support, TxLinux, transactional memory
12	Gido A. J. F. Brouns, Jan van der Wal	Optimal threshold policies in a two-class preemptive priority queue with admission and termination control.	Queueing Syst. Theory Appl.	2006	DBLP DOI BibTeX RDF	Admission and termination control, Optimal threshold policies, Markov decision processes, Priority queues
12	Jim Gray 0001, Leslie Lamport	Consensus on transaction commit.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	Consensus, Paxos, two-phase commit
12	Udai Shanker, Manoj Misra, Anil Kumar Sarje, Rahul Shisondia	Dependency Sensitive Shadow SWIFT.	IDEAS	2006	DBLP DOI BibTeX RDF
12	Zhiyuan He 0002, Zebo Peng, Petru Eles	Power constrained and defect-probability driven SoC test scheduling with test set partitioning.	DATE	2006	DBLP DOI BibTeX RDF
12	Kevin E. Moore, Jayaram Bobba, Michelle J. Moravan, Mark D. Hill, David A. Wood 0001	LogTM: log-based transactional memory.	HPCA	2006	DBLP DOI BibTeX RDF
12	Juan A. Garay, Philip D. MacKenzie, Manoj Prabhakaran 0001, Ke Yang	Resource Fairness and Composability of Cryptographic Protocols.	TCC	2006	DBLP DOI BibTeX RDF
12	Chiu-Yuen Koo	Secure Computation with Partial Message Loss.	TCC	2006	DBLP DOI BibTeX RDF
12	Detlef Kähler, Ralf Küsters, Thomas Wilke	A Dolev-Yao-Based Definition of Abuse-Free Protocols.	ICALP (2)	2006	DBLP DOI BibTeX RDF
12	Hyungsoo Jung 0001, Heon Young Yeom	A Practical Single-Register Wait-Free Mutual Exclusion Algorithm on Asynchronous Networks.	Euro-Par	2006	DBLP DOI BibTeX RDF
12	Virendra J. Marathe, Mark Moir, Nir Shavit	Composite Abortable Locks.	IPDPS	2006	DBLP DOI BibTeX RDF
12	Jyotishman Pathak, Samik Basu 0001, Robyn R. Lutz, Vasant G. Honavar	Parallel Web Service Composition in MoSCoE: A Choreography-Based Approach.	ECOWS	2006	DBLP DOI BibTeX RDF
12	Hing-Fung Ting	A Near Optimal Scheduler for On-Demand Data Broadcasts.	CIAC	2006	DBLP DOI BibTeX RDF
12	Francisco Perez-Sorrosal, Marta Patiño-Martínez, Ricardo Jiménez-Peris, Jaksa Vuckovic	Highly Available Long Running Transactions and Activities for J2EE Applications.	ICDCS	2006	DBLP DOI BibTeX RDF
12	Nicolas Schiper, Rodrigo Schmidt, Fernando Pedone	Optimistic Algorithms for Partial Database Replication.	OPODIS	2006	DBLP DOI BibTeX RDF
12	Zhiyuan Shao, Hai Jin 0001	Middleware Based High Performance and High Available Database Cluster.	GCC	2006	DBLP DOI BibTeX RDF
12	Yuval Ishai, Eyal Kushilevitz, Yehuda Lindell, Erez Petrank	On Combining Privacy with Guaranteed Output Delivery in Secure Multiparty Computation.	CRYPTO	2006	DBLP DOI BibTeX RDF
12	Anna Lysyanskaya, Nikos Triandopoulos	Rationality and Adversarial Behavior in Multi-party Computation.	CRYPTO	2006	DBLP DOI BibTeX RDF
12	Austen McDonald, JaeWoong Chung, Brian D. Carlstrom, Chi Cao Minh, Hassan Chafi, Christos Kozyrakis, Kunle Olukotun	Architectural Semantics for Practical Transactional Memory.	ISCA	2006	DBLP DOI BibTeX RDF
12	Navdeep Kaur, Rajwinder Singh, Manoj Misra, Anil Kumar Sarje	A Secure Concurrency Control for MLS/DDBSs.	ICDIM	2006	DBLP DOI BibTeX RDF
12	Weihaw Chuang, Satish Narayanasamy, Ganesh Venkatesh, Jack Sampson, Michael Van Biesbrouck, Gilles Pokam, Brad Calder, Osvaldo Colavin	Unbounded page-based transactional memory.	ASPLOS	2006	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactions, transactional memory, virtual memory
12	Francesc D. Muñoz-Escoí, Jerónimo Pla-Civera, María Idoia Ruiz-Fuertes, Luis Irún-Briz, Hendrik Decker, José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil	Managing Transaction Conflicts in Middleware-based Database Replication Architectures.	SRDS	2006	DBLP DOI BibTeX RDF
12	Shafi Goldwasser, Yehuda Lindell	Secure Multi-Party Computation without Agreement.	J. Cryptol.	2005	DBLP DOI BibTeX RDF	Broadcast, Secure multi-party computation, Protocol composition
12	David T. McWherter, Bianca Schroeder, Anastassia Ailamaki, Mor Harchol-Balter	Improving Preemptive Prioritization via Statistical Characterization of OLTP Locking.	ICDE	2005	DBLP DOI BibTeX RDF
12	Yueping Lu, Peter Bodorik, Dawn N. Jutla	Evaluation of Integration of ACBL and AOCC Caching Algorithms.	IDEAS	2005	DBLP DOI BibTeX RDF
12	Sandeep Kumar Goel, Erik Jan Marinissen	On-Chip Test Infrastructure Design for Optimal Multi-Site Testing of System Chips.	DATE	2005	DBLP DOI BibTeX RDF
12	Xiaorong Li, Baile Shi	A Prediction-Based Approach to Concurrency Control Resulting in Low Blocking Rate under High-Quality Mobile Environment.	CIT	2005	DBLP DOI BibTeX RDF
12	Feng Xia 0001, Youxian Sun	NN-Based Iterative Learning Control Under Resource Constraints: A Feedback Scheduling Approach.	ISNN (3)	2005	DBLP DOI BibTeX RDF
12	Frederick G. Conrad, Mick P. Couper, Roger Tourangeau, Andrey Peytchev	Impact of progress feedback on task completion: first impressions matter.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	progress feedback, task completion, web surveys
12	Gladys Utrera, Julita Corbalán, Jesús Labarta	Another approach to backfilled jobs: applying virtual malleability to expired windows.	ICS	2005	DBLP DOI BibTeX RDF
12	Sukhoon Kang, Yong-Rak Choi	A Covert Timing Channel-Free Optimistic Concurrency Control Scheme for Multilevel Secure Database Management Systems.	KES (3)	2005	DBLP DOI BibTeX RDF
12	Feng Xia 0001, Youxian Sun	Anytime Iterative Optimal Control Using Fuzzy Feedback Scheduler.	KES (2)	2005	DBLP DOI BibTeX RDF
12	William N. Scherer III, Michael L. Scott	Advanced contention management for dynamic software transactional memory.	PODC	2005	DBLP DOI BibTeX RDF	synchronization, transactional memory, contention management, obstruction-freedom
12	Roberto Bruni, Michael J. Butler, Carla Ferreira 0001, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari	Comparing Two Approaches to Compensable Flow Composition.	CONCUR	2005	DBLP DOI BibTeX RDF
12	Amir Michail, Tao Xie 0001	Helping users avoid bugs in GUI applications.	ICSE	2005	DBLP DOI BibTeX RDF	bug tracking system, fault evasion, gui applications, software testing, software tools, bug prediction
12	Mohsen Jahanshahi, K. Mostafavi, M. S. Kordafshari, Majid Gholipour, Abolfazl Toroghi Haghighat	Two New Approaches for Orphan Detection.	AINA	2005	DBLP DOI BibTeX RDF
12	Zizhong Chen, Graham E. Fagg, Edgar Gabriel, Julien Langou, Thara Angskun, George Bosilca, Jack J. Dongarra	Fault tolerant high performance computing by a coding approach.	PPoPP	2005	DBLP DOI BibTeX RDF	floating-point arithmetic coding, fault tolerance, message passing interface, high performance computing
12	David Botzer, Opher Etzion	Self-Tuning of the Relationships among Rules' Components in Active Databases Systems.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	Active databases, tuning, advanced transaction models, databases optimization
12	Michael R. Lyu, Xinyu Chen, Tsz Yeung Wong	Design and Evaluation of a Fault-Tolerant Mobile-Agent System.	IEEE Intell. Syst.	2004	DBLP DOI BibTeX RDF
12	Holger Gast	Explaining ML Type Errors by Data Flows.	IFL	2004	DBLP DOI BibTeX RDF
12	Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat	Benchmarking The Dependability of Windows NT4, 2000 and XP.	DSN	2004	DBLP DOI BibTeX RDF
12	Peter Bodorik, Dawn N. Jutla, Yueping Lu	Interoperable Server-Based Cache Consistency Algorithm.	IDEAS	2004	DBLP DOI BibTeX RDF
12	Irfan Awan, Muhammad Younas 0001	Analytical modelling of priority commit protocol for reliable Web applications.	SAC	2004	DBLP DOI BibTeX RDF
12	Olof Hagsand, Ignacio Más Ivars, Ian Marsh, Gunnar Karlsson	Self-Admission Control for IP Telephony Using Early Quality Estimation.	NETWORKING	2004	DBLP DOI BibTeX RDF
12	Jian-Jun Han, Qing-Hua Li	A Transaction Scheduling Algorithm with Temporal Constraints in Real-time Database Systems.	CIT	2004	DBLP DOI BibTeX RDF