Search results for "Atomic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Simeon Veloudis, Nimal Nissanke	Modelling Coordinated Atomic Actions in Timed CSP.	FTRTFT	2000	DBLP DOI BibTeX RDF	CA actions, real-time systems, safety-critical systems, Timed CSP
17	Darrell C. Anderson, Jeffrey S. Chase	Failure-Atomic File Access in an Interposed Network Storage System.	HPDC	2000	DBLP DOI BibTeX RDF
17	T. H. Tse, Xin Feng, Tsong Yueh Chen	On the Completeness of Test Cases for Atomic Arithmetic Expressions.	APAQS	2000	DBLP DOI BibTeX RDF	completeness of test cases, software testing, mutation testing, mutation operators, Arithmetic expressions
17	I-Ling Yen, Biao Chen 0002, Ing-Ray Chen	Real-Time Atomic Transaction Processing Using Multi-Invariant Data Structure.	HASE	1999	DBLP DOI BibTeX RDF
17	Georg Gottlob, Reinhard Pichler	Working with Arms: Complexity Results on Atomic Representations of Herbrand Models.	LICS	1999	DBLP DOI BibTeX RDF	Automated Model Building, Herbrand Models, Complexity, Knowledge Representation, Logic Programming, Automated Deduction
17	John Derrick, Eerke A. Boiten	Non-atomic Refinement in Z.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
17	Olin Shivers, James W. Clark, Roland McGrath	Atomic Heap Transactions and Fine-grain Interrupts.	ICFP	1999	DBLP DOI BibTeX RDF
17	Maha Abdallah, Philippe Pucheral	A Single-Phase Non-Blocking Atomic Commitment Protocol.	DEXA	1998	DBLP DOI BibTeX RDF
17	Fernando Pedone, André Schiper	Optimistic Atomic Broadcast.	DISC	1998	DBLP DOI BibTeX RDF
17	Ting-Lu Huang	Fast Mutual Exclusion Algorithms Using Read-Modify-Write and Atomic Read/Write Registers.	ICPADS	1998	DBLP DOI BibTeX RDF
17	Reinhard Pichler	Algorithms on Atomic Representations of Herbrand Models.	JELIA	1998	DBLP DOI BibTeX RDF
17	T. S. Spisz, N. D'Costa, C. K. Seymour, J. H. Hoh, R. Reeves, Isaac N. Bankman	Length Determination of DNA Fragments in Atomic Force Microscope Images.	ICIP (3)	1997	DBLP DOI BibTeX RDF
17	Michel Raynal	A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment.	HASE	1997	DBLP DOI BibTeX RDF
17	Michel Hurfin, Frederic Tronel	A Solution to Atomic Commitment Based on an Extended Consensus Protocol.	FTDCS	1997	DBLP DOI BibTeX RDF
17	Anton Setzer	Inductive Definitions with Decidable Atomic Formulas.	CSL	1996	DBLP DOI BibTeX RDF
17	Sibsankar Haldar, P. S. Subramanian	Space-optimum Conflict-free Construction of 1-Writer 1-Reader Multivalued Atomic Variable.	WDAG	1994	DBLP DOI BibTeX RDF
17	Hagit Attiya, Maurice Herlihy, Ophir Rachman	Efficient Atomic Snapshots Using Lattice Agreement (Extended Abstract).	WDAG	1992	DBLP DOI BibTeX RDF
17	Pascale Minet, Emmanuelle Anceaume	Atomic Broadcast in One Phase.	ACM SIGOPS Oper. Syst. Rev.	1991	DBLP DOI BibTeX RDF
17	Lefteris M. Kirousis, Paul G. Spirakis, Philippas Tsigas	Simple Atomic Snapshots: A Linear Complexity Solution with Unbounded Time-Stamps.	ICCI	1991	DBLP DOI BibTeX RDF
17	Zbigniew M. Wójcik, Barbara E. Wójcik	Fault tolerant distributed computing using atomic send-receive checkpoints.	SPDP	1990	DBLP DOI BibTeX RDF
17	Pascale Minet, Emmanuelle Anceaume	Atomic broadcast in one phase.	ACM SIGOPS European Workshop	1990	DBLP DOI BibTeX RDF
17	Flaviu Cristian, Danny Dolev, H. Raymond Strong, Houtan Aghili	Atomic Broadcast in a Real-Time Environment.	Fault-Tolerant Distributed Computing	1986	DBLP DOI BibTeX RDF
13	Izabela Moise, Michel Hurfin, Linda Zeghache, Nadjib Badache	Remote Reliable Services to Support Transactional Mobile Agents.	NCA	2010	DBLP DOI BibTeX RDF	ad-hoc networks, mobile agents, dependability, atomic transactions
13	Hanania T. Salzer	Abstraction Level Hierarchy: The Model and its Significance for Software Engineering.	SwSTE	2010	DBLP DOI BibTeX RDF	abstraction level hierarchy, atomic requirement specification, design, entropy, Abstraction, requirements, requirement specification
13	Haibin Kan, Xuefei Li, Hong Shen 0001	The generalization of some trellis properties of linear codes to group codes.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	atomic spans, trellises, tail-biting trellises, minimal span form, biproper p-bases
13	Yong Peng, Youakim Badr, Frédérique Biennier	A generic service system for knowledge-intensive service firms.	MEDES	2009	DBLP DOI BibTeX RDF	atomic service, service life-cycle, architecture, service level agreements, service system
13	Wonsun Ahn, Shanxiang Qi, M. Nicolaides, Josep Torrellas, Jae-Woo Lee, Xing Fang, Samuel P. Midkiff, David C. Wong 0001	BulkCompiler: high-performance sequential consistency through cooperative compiler and hardware support.	MICRO	2009	DBLP DOI BibTeX RDF	atomic region, chunk-based architecture, compiler optimization, sequential consistency
13	Pradeep Varma	Anchored Text for Software Weaving and Merging.	SSIRI	2009	DBLP DOI BibTeX RDF	software weaving, multi-dimensional separation of concerns (MDSOC), simultaneous concerns, highly-concurrent, porting concerns, refactoring, atomic registers, anchored text, software merging
13	Victor Kravchenko, Héctor M. Pérez Meana, Volodymyr I. Ponomaryov, Dmitry Churikov	Spectral Estimation of Digital Signals by the Orthogonal Kravchenko Wavelets {ha(t)}.	CIARP	2009	DBLP DOI BibTeX RDF	Atomic functions, Digital ultra wideband signal processing, Wavelets, Remote sensing
13	Pradeep Kumar Nalla, Rajeev Wankar, Arun Agarwal	Design of Concurrent Utilities in Jackal: A Software DSM Implementation.	ICDCN	2008	DBLP DOI BibTeX RDF	concurrent utilities, Jackal, ReentrantLock, Atomic variable and ThreadPoolExecutor, DSM
13	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
13	Evgueni Brevnov, Yuri Dolgov, Boris Kuznetsov, Dmitry Yershov, Vyacheslav Shakin, Dong-yuan Chen, Vijay Menon 0002, Suresh Srinivas	Practical experiences with Java software transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	atomic constructs, managed runtimes, stm performance analysis, stm workloads, software transactional memory, runtime environment
13	Antonio Fernández 0001, Ernesto Jiménez, Michel Raynal, Gilles Trédan	A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems.	ISORC	2007	DBLP DOI BibTeX RDF	Timer property, Timing assumptions, Fault-tolerance, Shared memory, System model, Asynchronous system, Process crash, Atomic register, Omega, Eventual leader
13	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky	EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	run-time management, fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches
13	Lásaro J. Camargos, Rodrigo Schmidt, Fernando Pedone	Multicoordinated Paxos.	PODC	2007	DBLP DOI BibTeX RDF	multicoordinated, generalized, consensus, atomic broadcast, Paxos
13	Amitanand S. Aiyer, Lorenzo Alvisi, Rida A. Bazzi	Bounded wait-free implementation of optimally resilient byzantine storage without (unproven) cryptographic assumptions.	PODC	2007	DBLP DOI BibTeX RDF	information theoretic, fault tolerance, replication, atomic, bounded, wait-free, byzantine
13	Spyros C. Kontogiannis, Paul G. Spirakis	Probabilistic Techniques in Algorithmic Game Theory.	SAGA	2007	DBLP DOI BibTeX RDF	Atomic Congestion Games, Convergence to Equilibria, Game Theory, Price of Anarchy, Coalitions
13	Wei-keng Liao, Kenin Coloma, Alok N. Choudhary, Lee Ward, Eric Russell, Neil Pundit	Scalable Design and Implementations for MPI Parallel Overlapping I/O.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	atomic I/O, file atomicity, file consistency, overlapping I/O, MPI, cache coherence, MPI I/O
13	Panagiota Fatourou, Nikolaos D. Kallimanis	Single-scanner multi-writer snapshot implementations are fast!	PODC	2006	DBLP DOI BibTeX RDF	atomic objects, multi-writer, single-scanner, shared memory systems, asynchronous, wait-free, snapshot
13	Aydin Varol, Ihsan Gunev, Cagatay Basdogan	AVirtual Reality Toolkit for Path Planning and Manipulation at Nano-scale.	HAPTICS	2006	DBLP DOI BibTeX RDF	Atomic Force Microscopy (AFM), nano-manipulation, Virtual Reality (VR), haptics, path planning
13	Roy Friedman, Achour Mostéfaoui, Michel Raynal	Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems.	PRDC	2005	DBLP DOI BibTeX RDF	Computing abstraction, Non blocking atomic commit, Distributed algorithm, Message passing, Consensus, Asynchronous system, Failure detector
13	Yuan Liu, Baowen Xu	Process algebra model of Ada protected objects.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	model checking, process algebra, atomic action, protected object
13	Il-Seok Oh, Jin-Seon Lee, Byung Ro Moon	Hybrid Genetic Algorithms for Feature Selection.	IEEE Trans. Pattern Anal. Mach. Intell.	2004	DBLP DOI BibTeX RDF	sequential search algorithm, local search operation, multistart algorithm, Feature selection, hybrid genetic algorithm, atomic operation
13	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal	Conditions on input vectors for consensus solvability in asynchronous distributed systems.	J. ACM	2003	DBLP DOI BibTeX RDF	fault-tolerance, message-passing, shared memory, Asynchronous systems, crash failures, atomic registers, consensus problem
13	Steven Robbins	Using remote logging for teaching concurrency.	SIGCSE	2003	DBLP DOI BibTeX RDF	GUI, concurrent programs, atomic, logging, debugging tools
13	Sibsankar Haldar, Paul M. B. Vitányi	Bounded concurrent timestamp systems using vector clocks.	J. ACM	2002	DBLP DOI BibTeX RDF	Concurrent reading while writing, labeling and scan, nonatomic operation execution, operation execution, operation-read and write, regular and atomic, shared variable-safe, timestamp system, traceability, label, wait-freedom, vector clock
13	Jie Xu 0007, Brian Randell, Alexander B. Romanovsky	A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	concurrent and distributed systems, object orientation, Architectural patterns, fault-tolerant software, coordinated atomic actions
13	Michel Raynal	An Introduction to the Renaming Problem.	PRDC	2002	DBLP DOI BibTeX RDF	Renaming problem, Fault-tolerance, Concurrency, Shared memory system, Process crash, Message passing system, Atomic register, Wait-free computation
13	I-Ling Yen, Farokh B. Bastani, David J. Taylor	Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Robust data structures, atomic transaction processing, fault-tolerant systems, real-time processing
13	Jie Xu 0007, Alexander B. Romanovsky, Brian Randell	Concurrent Exception Handling and Resolution in Distributed Object Systems.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	Concurrent exeception handling, exception resolution, nested atomic actions, distributed systems, object-oriented programming
13	Victor B. Lortz, Kang G. Shin, Jinho Kim	MDARTS: A Multiprocessor Database Architecture for Hard Real-Time Systems.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	exemplar-based programming, atomic data types, concurrency control, shared memory, object-oriented systems, Real-time databases, semantic constraints
13	Ing-Ray Chen, Sayed Atef Banawan	Performance and Stability Analysis of Multilevel Data Structures with Deferred Reorganization.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Queueing servers, multilevel data structures, open and closed systems, deferred maintenance, periodic maintenance, modeling, performance analysis, stability analysis, atomic operations
13	Roberto R. Kampfner	Modeling the Information-Processing Aspect of Organizational Functions.	ECBS	1999	DBLP DOI BibTeX RDF	organizational functions, atomic models, information systems, decomposition, modeling and simulation, information processing, organizational structure
13	K. H. Kim, Masaki Ishida, Juqiang Liu	An Efficient Middleware Architecture Supporting Time-Triggered Message-Triggered Objects and an NT-based Implementation.	ISORC	1999	DBLP DOI BibTeX RDF	watchdog timer, atomic section, object data store, spontaneous method, NT, scheduler, middleware, object, thread, TMO, time-triggered, message triggered, TMOSM
13	Avelino F. Zorzo, Robert J. Stroud	A Distributed Object-Oriented Framework for Dependable Multiparty Interactions.	OOPSLA	1999	DBLP DOI BibTeX RDF	concurrent exception handling, fault tolerance, multiparty interactions, distributed object-oriented systems, coordinated atomic actions
13	Brian Randell	Fault Tolerance in Decentralized Systems.	ISADS	1999	DBLP DOI BibTeX RDF	co-ordinated atomic (CA) actions, Concurrency, dependability, exception handling, error recovery
13	Sugath Warnakulasuriya, Timothy Mark Pinkston	Characterization of Deadlocks in Irregular Networks.	ICPP	1999	DBLP DOI BibTeX RDF	deadlock characterization, non-atomic buffer allocation, Interconnection networks, adaptive routing, irregular topology
13	Ting-Lu Huang, Chien-Hua Shann	A Comment on "A Circular List-Based Mutual Exclusion Scheme for Large Shared-Memory Multiprocessors".	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	atomic instructions, deadlocks, race conditions, Critical sections
13	Yousef J. Al-Houmaily, Panos K. Chrysanthis, Steven P. Levitan	Enhancing the performance of presumed commit protocol.	SAC	1997	DBLP DOI BibTeX RDF	distributed database systems, read-only transactions, atomic commit protocols
13	Russell M. Taylor II, Jun Chen, Shoji Okimoto, Noel Llopis-Artime, Vernon L. Chi, Frederick P. Brooks Jr., Mike Falvo, Scott Paulson, Pichet Thiansathaporn, David Glick, Sean Washburn, Richard Superfine	Pearls found on the way to the ideal interface for scanned-probe microscopes.	IEEE Visualization	1997	DBLP DOI BibTeX RDF	atomic force microscopy, scanning tunneling microscopy, user interface, virtual environment, haptic, scientific visualization, telepresence, teleoperation, interactive graphics, force
13	Tushar Deepak Chandra, Vassos Hadzilacos, Sam Toueg	The Weakest Failure Detector for Solving Consensus.	J. ACM	1996	DBLP DOI BibTeX RDF	Byzantine Generals' problem, commit problem, fault-tolerance, message passing, asynchronous systems, failure detection, crash failures, atomic broadcast, consensus problem, partial synchrony, agreement problem, processor failures
13	Yousef J. Al-Houmaily, Panos K. Chrysanthis	Dealing with incompatible presumptions of commit protocols in multidatabase systems.	SAC	1996	DBLP DOI BibTeX RDF	multidatabase systems, distributed transaction processing, two-phase commit, atomic commit protocols
13	Weijia Jia 0001, Edgar Nett, Jiannong Cao 0001, Jörg Kaiser	Verifications of RMP: An Efficient Reliable Multicast Protocol.	ISPAN	1996	DBLP DOI BibTeX RDF	Atomic multicast, fault-tolerance, distributed systems, communication protocols
13	Mark C. Little, Santosh K. Shrivastava	Using application specific knowledge for configuring object replicas.	CDS	1996	DBLP DOI BibTeX RDF	object-oriented, replication, dynamic reconfiguration, atomic actions, object dependencies
13	Yehuda Afek, David S. Greenberg, Michael Merritt, Gadi Taubenfeld	Computing With Faulty Shared Objects.	J. ACM	1995	DBLP DOI BibTeX RDF	synchronization, atomic operations
13	Yehuda Afek, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit	A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	concurrency, timestamps, atomic registers
13	Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl	On the Correctness of Orphan Management Algorithms.	J. ACM	1992	DBLP DOI BibTeX RDF	avalon, camelot, input-output automata, recovery, serializability, atomic actions, Argus
13	Jerzy Marcinkowski, Leszek Pacholski	Undecidability of the Horn-Clause Implication Problem	FOCS	1992	DBLP DOI BibTeX RDF	derivation trees, Horn-clause implication, atomic formulas, decidability problems, pure predicate logic, equality symbol
13	Michael L. Fredman, Dan E. Willard	Trans-dichotomous Algorithms for Minimum Spanning Trees and Shortest Paths	FOCS	1990	DBLP DOI BibTeX RDF	Fibonacci heap, trans-dichotomous algorithms, fusion tree method, information-theoretic limitations, atomic heap, amortized time, heap size, AF-heap, data structure, shortest paths, minimum spanning trees, linear-time algorithm, shortest-path algorithm
13	James Renegar	A Faster PSPACE Algorithm for Deciding the Existential Theory of the Reals	FOCS	1988	DBLP DOI BibTeX RDF	real polynomials, PSPACE algorithm, existential theory, atomic predicates, Boolean function, set, decision problem
13	Santosh K. Shrivastava, Fabio Panzieri	The Design of a Reliable Remote Procedure Call Mechanism.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	fault tolerance, distributed systems, local area networks, data communication, Atomic actions
12	John Y. Chiang, Shuenn-Ren Cheng, Yen-Ren Huang	Multiple-instance image database retrieval by spatial similarity based on Interval Neighbor Group.	CIVR	2010	DBLP DOI BibTeX RDF	interval neighbor group (ING), retrieval by spatial similarity (RSS), content-based image retrieval (CBIR), multiple-instance learning
12	Daniel Cederman, Philippas Tsigas	Supporting lock-free composition of concurrent data objects.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	data structures, composition, lock-free
12	Daniel Cederman, Philippas Tsigas	Supporting lock-free composition of concurrent data objects.	PPoPP	2010	DBLP DOI BibTeX RDF	data structures, composition, lock-free
12	Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai	Using data structure knowledge for efficient lock generation and strong atomicity.	PPoPP	2010	DBLP DOI BibTeX RDF	automatic lock generation, parallel programming, transactional memory
12	Sandya Mannarswamy, Dhruva R. Chakrabarti, Kaushik Rajan, Sujoy Saraswati	Compiler aided selective lock assignment for improving the performance of software transactional memory.	PPoPP	2010	DBLP DOI BibTeX RDF	performance, parallelization, compilers, multithreading
12	Arun Raman, Hanjun Kim 0001, Thomas R. Mason, Thomas B. Jablin, David I. August	Speculative parallelization using software multi-threaded transactions.	ASPLOS	2010	DBLP DOI BibTeX RDF	multi-threaded transactions, automatic parallelization, software transactional memory, thread-level speculation, loop-level parallelism, pipelined parallelism
12	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Approximated parameterized verification of infinite-state processes with global conditions.	Formal Methods Syst. Des.	2009	DBLP DOI BibTeX RDF	Unbounded processes, Over-approximation, Parameterized systems
12	Yun Jang, Ugo Varetto	Interactive Volume Rendering of Functional Representations in Quantum Chemistry.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
12	Jochen Heyd, Stefan Birmanns	Immersive structural biology: a new approach to hybrid modeling of macromolecular assemblies.	Virtual Real.	2009	DBLP DOI BibTeX RDF	Virtual reality, Haptic rendering, Multi-resolution modeling, Docking, Structural biology, Electron microscopy
12	Mirela Marta, Yinying Yang, Mihaela Cardei	Energy-Efficient Composite Event Detection in Wireless Sensor Networks.	WASA	2009	DBLP DOI BibTeX RDF	composite event detection, sensor scheduling, Wireless sensor networks, reliability, energy efficiency
12	Won-Ho Choi, Se-Won Oh, Gwang Jung, Min-Soo Jung	Efficient execution of application applets based on persistent object caching in Java card system.	ICHIT	2009	DBLP DOI BibTeX RDF	Java card, buffer-cache, persistent object
12	Federico Aschieri, Stefano Berardi	Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1.	TLCA	2009	DBLP DOI BibTeX RDF
12	Andreas Harth	VisiNav: Visual Web Data Search and Navigation.	DEXA	2009	DBLP DOI BibTeX RDF
12	Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun	Feedback-directed barrier optimization in a strongly isolated STM.	POPL	2009	DBLP DOI BibTeX RDF	bytecode rewriting, deoptimization, strong isolation, weak isolation, transactional memory, hot swap
12	Rachid Chreyh, Gabriel A. Wainer	CD++ repository: an internet based searchable database of DEVS models and their experimental frames.	SpringSim	2009	DBLP DOI BibTeX RDF	experimental frames, model libraries, model re-use, DEVS, CD++
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	Jun Shirako, David M. Peixotto, Vivek Sarkar, William N. Scherer III	Phaser accumulators: A new reduction construct for dynamic parallelism.	IPDPS	2009	DBLP DOI BibTeX RDF
12	Haris Volos 0001, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy	NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems.	ECOOP	2009	DBLP DOI BibTeX RDF
12	JaeWoong Chung, Woongki Baek, Christos Kozyrakis	Fast memory snapshot for concurrent programmingwithout synchronization.	ICS	2009	DBLP DOI BibTeX RDF	transactional memory, snapshot
12	Nobuhiro Inuzuka, Toshiyuki Makino	Implementing Multi-relational Mining with Relational Database Systems.	KES (2)	2009	DBLP DOI BibTeX RDF
12	Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck	Online Selection of Quorum Systems for RAMBO Reconfiguration.	CP	2009	DBLP DOI BibTeX RDF
12	Martín Abadi, Tim Harris 0001	Perspectives on Transactional Memory.	CONCUR	2009	DBLP DOI BibTeX RDF
12	Yu Lin, Sai Zhang 0001, Jianjun Zhao 0001	Incremental call graph reanalysis for AspectJ software.	ICSM	2009	DBLP DOI BibTeX RDF
12	Juha Puustjärvi, Leena Puustjärvi	Transactional allocation of clinical resources for health care processes.	iiWAS	2009	DBLP DOI BibTeX RDF	ontologies, XML, SOA, RDF, SOAP, semantic interoperation, WS-BPEL, HL7, advanced transaction models, WS-coordination
12	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
12	Mark Gebhart, Bertrand A. Maher, Katherine E. Coons, Jeffrey R. Diamond, Paul Gratz, Mario Marino, Nitya Ranganathan, Behnam Robatmili, Aaron Smith, James H. Burrill, Stephen W. Keckler, Doug Burger, Kathryn S. McKinley	An evaluation of the TRIPS computer system.	ASPLOS	2009	DBLP DOI BibTeX RDF	trips
12	Chi-Hang Lam, M. T. Lung, Leonard M. Sander	Fast Kinetic Monte Carlo Simulation of Strained Heteroepitaxy in Three Dimensions.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Heteroepitaxy, Thin films, Surfaces, Monte Carlo simulation
12	James J. Nutaro	On constructing optimistic simulation algorithms for the discrete event system specification.	ACM Trans. Model. Comput. Simul.	2008	DBLP DOI BibTeX RDF	discrete-event simulation, parallel simulation, DEVS, Time Warp
12	Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv	Dynamic description logic model for data integration.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	dynamic description logics, knowledge representation, query processing, relational databases, data integration