Search results for "atomicity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Debmalya Biswas, Thomas Gazagnaire, Blaise Genest	Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination.	HASE	2008	DBLP DOI BibTeX RDF
10	Murat Demirbas, Onur Soysal, Muzammil Hussain	TRANSACT: A Transactional Framework for Programming Wireless Sensor/Actor Networks.	IPSN	2008	DBLP DOI BibTeX RDF
10	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
10	Therese J. Albert, Kai Qian, Xiang Fu 0001	Race condition in Ajax-based web application.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	dynamic web application, concurrency, Ajax, lock, race condition
10	Barbara Gallina, Nicolas Guelfi	A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications.	COMPSAC	2008	DBLP DOI BibTeX RDF	Advanced Transactional Frameworks, Software Product Lines, Reusability, Requirements Elicitation, ACID properties
10	Nikolaos D. Liveris, Hai Zhou 0001, Robert P. Dick, Prithviraj Banerjee	State space abstraction for parameterized self-stabilizing embedded systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	verification, abstraction, parameterized systems, self-stabilizing systems, network invariants
10	Daniel Reichart, Peter Forbrig	Transactions in Task Models.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	Transaction, Task Model, Tool Support
10	Eitan Farchi	Pitfalls in teaching development and testing of concurrent programs and how to overcome them.	PADTAD	2008	DBLP DOI BibTeX RDF
10	Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott	Ordering-Based Semantics for Software Transactional Memory.	OPODIS	2008	DBLP DOI BibTeX RDF
10	Miseon Choi, Wonik Park, Young-Kuk Kim	A split synchronizing mobile transaction model.	ICUIMC	2008	DBLP DOI BibTeX RDF
10	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
10	Juha Puustjärvi	Exploiting a database system in scheduling internet-based workflows.	iiWAS	2008	DBLP DOI BibTeX RDF	internet-based workflows, databases, workflows, SQL, isolation
10	Nawab Ali, Ananth Devulapalli, Dennis Dalessandro, Pete Wyckoff, P. Sadayappan	An OSD-based approach to managing directory operations in parallel file systems.	CLUSTER	2008	DBLP DOI BibTeX RDF
10	Rachid Guerraoui, Michal Kapalka	On obstruction-free transactions.	SPAA	2008	DBLP DOI BibTeX RDF	transactional memory, obstruction-freedom, impossibility, consensus number
10	Todd J. Foster, Dennis L. Lastor, Padmaraj Singh	First Silicon Functional Validation and Debug of Multicore Microprocessors.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
10	Shi Zhang, Linpeng Huang	Research on dynamic update transaction for Java classes.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	Java language, program design, dynamic software update, update transaction
10	Kishori M. Konwar, Peter M. Musial, Nicolas C. Nicolaou, Alexander A. Shvartsman	Implementing Atomic Data through Indirect Learning in Dynamic Networks.	NCA	2007	DBLP DOI BibTeX RDF
10	Bernhard Niemann, Christian Haubelt	Towards a Unified Execution Model for Transactions in TLM.	MEMOCODE	2007	DBLP DOI BibTeX RDF
10	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Parameterized Verification of Infinite-State Processes with Global Conditions.	CAV	2007	DBLP DOI BibTeX RDF
10	Satish Devane, Madhumita Chatterjee, Deepak B. Phatak	Secure E-Commerce Protocol for Purchase of e-Goods - Using Smart Card.	IAS	2007	DBLP DOI BibTeX RDF
10	Ajoy Kumar Datta, Maria Gradinariu Potop-Butucaru, Rajesh Patel, Ai Yamazaki	Self* Minimum Connected Covers of Query Regions in Sensor Networks.	SSS	2007	DBLP DOI BibTeX RDF
10	Sebastian Obermeier 0001, Stefan Böttcher	Avoiding Infinite Blocking of Mobile Transactions.	IDEAS	2007	DBLP DOI BibTeX RDF
10	Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young	Transactions with isolation and cooperation.	OOPSLA	2007	DBLP DOI BibTeX RDF	TIC, open-nesting, transactional memory, nested transactions, punctuation
10	Jing Li 0062, Huibiao Zhu, Jifeng He 0001	Algebraic Semantics for Compensable Transactions.	ICTAC	2007	DBLP DOI BibTeX RDF
10	Pierre Sutra, João Pedro Barreto 0002, Marc Shapiro 0001	Decentralised Commitment for Optimistic Semantic Replication.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
10	K. Vidyasankar, P. Radha Krishna 0001, Kamalakar Karlapalem	A Multi-level Model for Activity Commitments in E-contracts.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
10	Heine Kolltveit, Svein-Olaf Hvasshovd	The Circular Two-Phase Commit Protocol.	DASFAA	2007	DBLP DOI BibTeX RDF
10	Stefan Plantikow, Alexander Reinefeld, Florian Schintke	Transactions for Distributed Wikis on Structured Overlays.	DSOM	2007	DBLP DOI BibTeX RDF	concurrency control, consistency, content management systems, Distributed transactions, structured overlay networks
10	Victor Hernandez-Baruch, Alberto Portilla, José-Luis Zechinelli-Martini	ROSE: A transactional services coordination engine.	ENC	2007	DBLP DOI BibTeX RDF
10	Rachid Guerraoui, Dejan Kostic, Ron R. Levy, Vivien Quéma	A High Throughput Atomic Storage Algorithm.	ICDCS	2007	DBLP DOI BibTeX RDF	orig-research
10	Niels Drost, Elth Ogston, Rob van Nieuwpoort, Henri E. Bal	ARRG: real-world gossiping.	HPDC	2007	DBLP DOI BibTeX RDF	peer-to-peer, robust, gossiping, real-World
10	Michael Emmi, Rupak Majumdar	Verifying Compensating Transactions.	VMCAI	2007	DBLP DOI BibTeX RDF
10	Lindsay Groves	Reasoning about Nonblocking Concurrency using Reduction.	ICECCS	2007	DBLP DOI BibTeX RDF
10	Alexander Thomasian	Multi-level RAID for very large disk arrays.	SIGMETRICS Perform. Evaluation Rev.	2006	DBLP DOI BibTeX RDF
10	Kyosun Kim, Ramesh Karri, Miodrag Potkonjak	Micropreemption synthesis: an enabling mechanism for multitask VLSI systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
10	Qingguang Ji, Sihan Qing, Yeping He	A formal model for integrity protection based on DTE technique.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	integrity policy, information flow, formal model, type, domain
10	Eddy Truyen, Wouter Joosen	Run-Time and Atomic Weaving of Distributed Aspects.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF	aspect-oriented middleware, run-time weaving
10	Brijesh Dongol	Derivation of Java Monitors.	ASWEC	2006	DBLP DOI BibTeX RDF
10	Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis, Kunle Olukotun	Testing implementations of transactional memory.	PACT	2006	DBLP DOI BibTeX RDF	verification, testing, specification, transactional memory
10	Abdul Ghafoor Memon, Jianwei Yin, Jinxiang Dong, Maree Mujeeb-u-Rehman	p_RBT-calculus Compensation and Exception Handling Protocol.	PDP	2006	DBLP DOI BibTeX RDF
10	Adnene Guabtni, François Charoy, Claude Godart	Concurrency Management in Transactional Web Services Coordination.	DEXA	2006	DBLP DOI BibTeX RDF
10	João Costa Seco, Luís Caires	Types for Dynamic Reconfiguration.	ESOP	2006	DBLP DOI BibTeX RDF
10	Zaihan Yang, Chengfei Liu	On the Development of a Multiple-Compensation Mechanism for Business Transactions.	WAIM	2006	DBLP DOI BibTeX RDF
10	Frederic Montagut, Refik Molva	Augmenting Web Services Composition with Transactional Requirements.	ICWS	2006	DBLP DOI BibTeX RDF
10	Volker Turau, Christoph Weyer	Randomized Self-stabilizing Algorithms for Wireless Sensor Networks.	IWSOS/EuroNGI	2006	DBLP DOI BibTeX RDF
10	Dan Grossman, Jeremy Manson, William W. Pugh	What do high-level memory models mean for transactions?	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF
10	Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu	Decentralized runtime analysis of multithreaded applications.	IPDPS	2006	DBLP DOI BibTeX RDF
10	Adam Welc, Antony L. Hosking, Suresh Jagannathan	Transparently Reconciling Transactions with Locking for Java Synchronization.	ECOOP	2006	DBLP DOI BibTeX RDF
10	Brian D. Carlstrom, Austen McDonald, Hassan Chafi, JaeWoong Chung, Chi Cao Minh, Christoforos E. Kozyrakis, Kunle Olukotun	The Atomos transactional programming language.	PLDI	2006	DBLP DOI BibTeX RDF	conditional synchronization, java, transactional memory, multiprocessor architecture
10	Arun Kejariwal, Hideki Saito 0001, Xinmin Tian, Milind Girkar, Wei Li 0015, Utpal Banerjee, Alexandru Nicolau, Constantine D. Polychronopoulos	Lightweight lock-free synchronization methods for multithreading.	ICS	2006	DBLP DOI BibTeX RDF
10	Mohammad Alrifai, Peter Dolog, Wolfgang Nejdl	Transactions Concurrency Control in Web Service Environment.	ECOWS	2006	DBLP DOI BibTeX RDF
10	Stefan Böttcher, Le Gruenwald, Sebastian Obermeier 0001	Reducing Sub-transaction Aborts and Blocking Time Within Atomic Commit Protocols.	BNCOD	2006	DBLP DOI BibTeX RDF
10	Hagit Attiya, Leah Epstein, Hadas Shachnai, Tami Tamir	Transactional contention management as a non-clairvoyant scheduling problem.	PODC	2006	DBLP DOI BibTeX RDF	scheduling, concurrency control, transactions, contention management, software transactional memory
10	Jörg Kienzle, Samuel Gélineau	AO challenge - implementing the ACID properties for transactional objects.	AOSD	2006	DBLP DOI BibTeX RDF
10	Michel Raynal	From static distributed systems to dynamic systems: an approach for a first step.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
10	Xiangyong Ouyang, Tomohiro Yoshihara, Haruo Yokota	An Efficient Commit Protocol Exploiting Primary-Backup Placement in a Distributed Storage System.	PRDC	2006	DBLP DOI BibTeX RDF
10	Gérard Boudol	Shared-Variable Concurrency: A Proposal.	FSTTCS	2006	DBLP DOI BibTeX RDF
10	Frederic Montagut, Refik Molva	Towards Transactional PervasiveWorkflows.	EDOC	2006	DBLP DOI BibTeX RDF
10	Julian Jang, Alan D. Fekete, Paul Greenfield, Surya Nepal	An Event-Driven Workflow Engine for Service-based Business Systems.	EDOC	2006	DBLP DOI BibTeX RDF
10	Zunce Wei, Hon Fung Li, Dhrubajyoti Goswami	A Locality-Driven Atomic Group Checkpoint Protocol.	PDCAT	2006	DBLP DOI BibTeX RDF
10	Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues	The atomic manifesto: a story in four quarks.	SIGMOD Rec.	2005	DBLP DOI BibTeX RDF
10	Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues	The atomic manifesto: a story in four quarks.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF
10	Marie-Christine Fauvet, Helga Duarte, Marlon Dumas, Boualem Benatallah	Handling Transactional Properties in Web Service Composition.	WISE	2005	DBLP DOI BibTeX RDF
10	Klaus Haller, Heiko Schuldt, Can Türker	Decentralized coordination of transactional processes in peer-to-peer environments.	CIKM	2005	DBLP DOI BibTeX RDF	DSGT, global correctness, partial rollback, transactional processes, peer-to-peer communication, decentralized coordination
10	Rajeev Thakur, Robert B. Ross, Robert Latham	Implementing Byte-Range Locks Using MPI One-Sided Communication.	PVM/MPI	2005	DBLP DOI BibTeX RDF
10	Joos-Hendrik Böse, Stefan Böttcher, Le Gruenwald, Sebastian Obermeier 0001, Heinz Schweppe, Thorsten Steenweg	An Integrated Commit Protocol for Mobile Network Databases.	IDEAS	2005	DBLP DOI BibTeX RDF
10	Tomoaki Kaneda, Youhei Tanaka, Tomoya Enokido, Makoto Takizawa 0001	Transactional agent model for fault-tolerant object systems.	SAC	2005	DBLP DOI BibTeX RDF	fault-tolerant, mobile agent, transaction
10	Kunle Olukotun	A New Approach to Programming and Prototyping Parallel Systems.	HiPC	2005	DBLP DOI BibTeX RDF
10	Sang-Kyun Kim, Taekyung Lee, Kyu-Chul Lee	Toward Knowledge Preconditions for Composition of SemanticWeb Services.	DEEC	2005	DBLP DOI BibTeX RDF
10	Amitanand S. Aiyer, Lorenzo Alvisi, Rida A. Bazzi	On the Availability of Non-strict Quorum Systems.	DISC	2005	DBLP DOI BibTeX RDF
10	Rachid Guerraoui, Maurice Herlihy, Bastian Pochon	Polymorphic Contention Management.	DISC	2005	DBLP DOI BibTeX RDF
10	Vassil S. Dimitrov, Laurent Imbert, Pradeep Kumar Mishra	Efficient and Secure Elliptic Curve Point Multiplication Using Double-Base Chains.	ASIACRYPT	2005	DBLP DOI BibTeX RDF
10	Kazuhiro Kitagawa, Nobuo Saito, Noritada Shimizu, Fumihiro Kato	A Framework for Descriptions and Reasoning for Adaptive Composite Service Structure and Behavior.	SAINT Workshops	2005	DBLP DOI BibTeX RDF
10	Lars Frank	Architecture for Distributed ERP Systems.	TEAA	2005	DBLP DOI BibTeX RDF
10	Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu	A Novel Test Coverage Metric for Concurrently-Accessed Software Components.	FATES	2005	DBLP DOI BibTeX RDF
10	Hassan Chafi, Chi Cao Minh, Austen McDonald, Brian D. Carlstrom, JaeWoong Chung, Lance Hammond, Christos Kozyrakis, Kunle Olukotun	TAPE: a transactional application profiling environment.	ICS	2005	DBLP DOI BibTeX RDF
10	Christophe Honvault, Marc Le Roy, Pascal Gula, Jean-Charles Fabre, Gérard Le Lann, Eric Bornschlegl	Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems.	EDCC	2005	DBLP DOI BibTeX RDF
10	Wenwei Xue, Qiong Luo 0001, Lionel M. Ni	Systems Support for Pervasive Query Processing.	ICDCS	2005	DBLP DOI BibTeX RDF
10	Tanja Lange 0001, Pradeep Kumar Mishra	SCA Resistant Parallel Explicit Formula for Addition and Doubling of Divisors in the Jacobian of Hyperelliptic Curves of Genus 2.	INDOCRYPT	2005	DBLP DOI BibTeX RDF
10	Hui Gao, Jan Friso Groote, Wim H. Hesselink	Lock-Free Parallel Garbage Collection.	ISPA	2005	DBLP DOI BibTeX RDF
10	Anton Michlmayr, Pascal Fenkam	Integrating Distributed Object Transactions with Wide-Area Content-Based Publish/Subscribe Systems.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
10	Emmanuelle Anceaume, Maria Gradinariu, Vincent Gramoli, Antonino Virgillito	P2P Architecture for Self-Atomic Memory.	ISPAN	2005	DBLP DOI BibTeX RDF
10	Rodrigo Schmidt, Fernando Pedone	Consistent Main-Memory Database Federations under Deferred Disk Writes.	SRDS	2005	DBLP DOI BibTeX RDF	dependency tracking, rollbackrecovery, consistency, distributed transactions, MMDBs
10	Christof Fetzer, Pascal Felber, Karin Högstedt	Automatic Detection and Masking of Nonatomic Exception Handling.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
10	Stefan Pleisch, André Schiper	Approaches to fault-tolerant and transactional mobile agent execution---an algorithmic view.	ACM Comput. Surv.	2004	DBLP DOI BibTeX RDF	ACID, malicious places, security, fault tolerance, mobile agents, replication, transaction, commit, asynchronous system, crash failures, Byzantine failures, agreement problem
10	Sandeep S. Kulkarni, Ali Ebnenasir	Automated Synthesis of Multitolerance.	DSN	2004	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
10	Debmalya Biswas	Compensation in the World of Web Services Composition.	SWSWPC	2004	DBLP DOI BibTeX RDF
10	Jörg Kienzle	Fault Tolerance - Concepts and Implementation Issues.	FIDJI	2004	DBLP DOI BibTeX RDF
10	Sangjin Kim, Heekuck Oh	Fair Offline Payment Using Verifiable Encryption.	WISA	2004	DBLP DOI BibTeX RDF
10	Rachid Guerraoui, Ron R. Levy	Robust Emulations of Shared Memory in a Crash-Recovery Model.	ICDCS	2004	DBLP DOI BibTeX RDF
10	Marc Shapiro 0001, Karthikeyan Bhargavan, Nishith Krishna	A Constraint-Based Formalism for Consistency in Replicated Systems.	OPODIS	2004	DBLP DOI BibTeX RDF
10	Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman	Long-Lived Rambo: Trading Knowledge for Communication.	SIROCCO	2004	DBLP DOI BibTeX RDF
10	Nuno Santos 0001, Luís Veiga, Paulo Ferreira 0001	Transaction Policies for Mobile Networks.	POLICY	2004	DBLP DOI BibTeX RDF
10	John C. Reynolds	Toward a Grainless Semantics for Shared-Variable Concurrency.	FSTTCS	2004	DBLP DOI BibTeX RDF
10	Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan	TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model.	ISCA	2004	DBLP DOI BibTeX RDF	Multiprocessor verification, Total Store Order, Sequential Consistency, Memory consistency models
10	Daniel L. Rosenband, Arvind	Modular scheduling of guarded atomic actions.	DAC	2004	DBLP DOI BibTeX RDF	Design, Algorithms, Verification, Languages
10	Georg Struth	Automated Element-Wise Reasoning with Sets.	SEFM	2004	DBLP DOI BibTeX RDF
10	Charles P. Fry, Michael K. Reiter	Nested Objects in a Byzantine Quorum-Replicated System.	SRDS	2004	DBLP DOI BibTeX RDF	Fault tolerance, Distributed systems, Replication, Byzantine failures, Quorum systems
10	Sami Bhiri, Claude Godart, Olivier Perrin 0001	A Transaction-Oriented Framework for Composing Transactional Web Services.	IEEE SCC	2004	DBLP DOI BibTeX RDF
10	Ravi Rajwar, James R. Goodman	Transactional Execution: Toward Reliable, High-Performance Multithreading.	IEEE Micro	2003	DBLP DOI BibTeX RDF