Search results for "atomic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Andreas Larsson, Anders Gidenstam, Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas	Multiword atomic read/write registers on multiprocessor systems.	ACM J. Exp. Algorithmics	2008	DBLP DOI BibTeX RDF	synchronization, wait-free, Atomic register
30	Cezary Mazurek, Tomasz Parkola, Marcin Werla	Building federation of digital libraries basing on concept of atomic services.	JCDL	2008	DBLP DOI BibTeX RDF	atomic services, resource-oriented architecture, restful protocols, digital libraries
30	Emili Miedes, Francesc D. Muñoz-Escoí	Managing Priorities in Atomic Multicast Protocols.	ARES	2008	DBLP DOI BibTeX RDF	prioritized atomic multicast, group communication
30	Cristina Juarez-Landin, Volodymyr I. Ponomaryov, Jose Luis Sanchez-Ramirez, Magally Martinez-Reyes, Victor Kravchenko	Wavelets Based on Atomic Function Used in Detection and Classification of Masses in Mammography.	MICAI	2008	DBLP DOI BibTeX RDF	Atomic Function, Neural Networks, Classification, Wavelet Transform, Mammography, Microcalcification
30	Rachid Guerraoui	Non-blocking atomic commit in asynchronous distributed systems with failure detectors.	Distributed Comput.	2002	DBLP DOI BibTeX RDF	Lower bound, Consensus, Failure detection, Asynchrony, Atomic commit
30	Jie Xu 0007, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke	Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	coordinated atomic (CA) actions, embedded fault-tolerant systems, model checking, reliability, Concurrency, object orientation, formal verification, safety, exception handling
30	Dan C. Marinescu, Yongchang Ji, Gabriela M. Marinescu	Genetic Economy, Symmetry, and Computational Complexity for Atomic Virus Structure Determination.	IPDPS	2002	DBLP DOI BibTeX RDF	3D atomic structure, parallel orientation, asymmetric particles, computational complexity, electron microscopy
30	Dmitri Chkliaev, Jozef Hooman, Peter van der Stok	Formal Modeling and Analysis of Atomic Commitment Protocols.	ICPADS	2000	DBLP DOI BibTeX RDF	real-time, formal specification, distributed databases, PVS, fault-tolerant systems, mechanical verification, atomic commitment protocols
30	Jie Xu 0007, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke	Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.	FTCS	1999	DBLP DOI BibTeX RDF	coordinated atomic (CA) actions, reliability and safety, model checking, Concurrency, object orientation, formal verification, exception handling, reactive systems
30	Michel Banâtre, Philippe Joubert, Christine Morin, Gilles Muller, Bruno Rochat	Using dynamic atomic actions to build fault tolerant systems.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF	dynamic atomic actions, stable transactional memory, distributed systems, micro-kernel, Fault tolerant multiprocessor
30	Shyh-Wei Luan, Virgil D. Gligor	A Fault-Tolerant Protocol for Atomic Broadcast.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	delay of messages, fail-stop sites, Byzantine site behavior, majority-concensus decisions, decentralized termination protocol, performanceanalysis, performance evaluation, protocols, fault tolerant computing, network partitioning, duplication, reordering, atomic broadcast, loss, arbitrary network, fault-tolerant protocol
29	Xiaogang Wang 0001, Xiaoxu Ma, W. Eric L. Grimson	Unsupervised Activity Perception in Crowded and Complicated Scenes Using Hierarchical Bayesian Models.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
29	Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri	Finding Concurrency-Related Bugs Using Random Isolation.	VMCAI	2009	DBLP DOI BibTeX RDF
29	Patrick Longa, Ali Miri	Fast and Flexible Elliptic Curve Point Arithmetic over Prime Fields.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Parallel, Public key cryptosystems, High-Speed Arithmetic
29	Keith D. Underwood, Michael J. Levenhagen, K. Scott Hemmert, Ron Brightwell	High message rate, NIC-based atomics: Design and performance considerations.	CLUSTER	2008	DBLP DOI BibTeX RDF
29	Xiaogang Wang 0001, Xiaoxu Ma, Eric Grimson	Unsupervised Activity Perception by Hierarchical Bayesian Models.	CVPR	2007	DBLP DOI BibTeX RDF
29	Uwe Egly, Reinhard Pichler, Stefan Woltran	On deciding subsumption problems.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	equational problems, satisfiability, subsumption, QBFs
29	Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman	Developing a Consistent Domain-Oriented Distributed Object Service.	NCA	2005	DBLP DOI BibTeX RDF
29	Francisco J. González-Castaño, Luis E. Anido-Rifón, Enrique Costa-Montenegro	A New Transcoding Technique for PDA Browsers, Based on Content Hierarchy.	Mobile HCI	2002	DBLP DOI BibTeX RDF
29	Christian Cachin, Klaus Kursawe, Frank Petzold, Victor Shoup	Secure and Efficient Asynchronous Broadcast Protocols.	CRYPTO	2001	DBLP DOI BibTeX RDF
29	Seungjoon Park, David L. Dill	Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions.	Theory Comput. Syst.	1998	DBLP DOI BibTeX RDF
29	Sergei G. Vorobyov	Subtyping Functional+Nonempty Record Types.	CSL	1998	DBLP DOI BibTeX RDF
29	David E. Bakken, Richard D. Schlichting	Supporting Fault-Tolerant Parallel Programming in Linda.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
29	William E. Weihl	Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
28	Hamid Ladjal, Jean-Luc Hanus, Anand Pillarisetti, Carol Keefer, Antoine Ferreira, Jaydev P. Desai	Atomic force microscopy-based single-cell indentation: Experimentation and finite element simulation.	IROS	2009	DBLP DOI BibTeX RDF
28	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	A calculus of atomic actions.	POPL	2009	DBLP DOI BibTeX RDF	abstraction, concurrent programs, reduction, atomicity
28	Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich	Verifying correct usage of atomic blocks and typestate.	OOPSLA	2008	DBLP DOI BibTeX RDF	transactional memory, permissions, typestate
28	Michal Karczmarek, Arvind	Synthesis from multi-cycle atomic actions as a solution to the timing closure problem.	ICCAD	2008	DBLP DOI BibTeX RDF
28	Vincent Gramoli, Emmanuelle Anceaume, Antonino Virgillito	SQUARE: scalable quorum-based atomic memory with local reconfiguration.	SAC	2007	DBLP DOI BibTeX RDF	dynamic distributed systems, simulation, adaptiveness, scalability, performance analysis, consistency
28	Lucia Acciai, Michele Boreale, Silvano Dal-Zilio	A Concurrent Calculus with Atomic Transactions.	ESOP	2007	DBLP DOI BibTeX RDF
28	Richard Ekwall, André Schiper	Solving Atomic Broadcast with Indirect Consensus.	DSN	2006	DBLP DOI BibTeX RDF
28	Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos	Taxes for Linear Atomic Congestion Games.	ESA	2006	DBLP DOI BibTeX RDF
28	Rafal A. Angryk	On Interpretation of Non-atomic Values and Induction of Decision Rules in Fuzzy Relational Databases.	ICAISC	2006	DBLP DOI BibTeX RDF
28	Matt T. Yourst, Kanad Ghose	Incremental Commit Groups for Non-Atomic Trace Processing.	MICRO	2005	DBLP DOI BibTeX RDF	trace prediction, VLIW, commitment, binary translation
28	Michel Raynal, Matthieu Roy, Ciprian Tutu	A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations.	AINA	2005	DBLP DOI BibTeX RDF
28	Kinh Nguyen, Tharam S. Dillon	Atomic Use Case: A Concept for Precise Modelling of Object-Oriented Information Systems.	OOIS	2003	DBLP DOI BibTeX RDF
28	Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, Jennifer L. Welch	GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks.	DISC	2003	DBLP DOI BibTeX RDF
28	Pradeep Varma	Wait-Free Publish/Subscribe Using Atomic Registers.	PPAM	2003	DBLP DOI BibTeX RDF
28	Witold Charatonik, Jean-Marc Talbot	Atomic Set Constraints with Projection.	RTA	2002	DBLP DOI BibTeX RDF
28	Soma Chaudhuri, Martha J. Kosa, Jennifer L. Welch	One-write algorithms for multivalued regular and atomic registers.	Acta Informatica	2000	DBLP DOI BibTeX RDF
28	Orna Kupferman	Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions.	CAV	1995	DBLP DOI BibTeX RDF
28	Piotr Berman, Anupam A. Bharali	Quick Atomic Broadcast (Extended Abstract).	WDAG	1993	DBLP DOI BibTeX RDF
28	M. Stella Atkins, M. Y. Coady	Adaptable Concurrency Control for Atomic Data Types.	ACM Trans. Comput. Syst.	1992	DBLP DOI BibTeX RDF	concurrent access to shared data, hybrid locking, optimistic locking, pessimistic locking, transactions serializability
28	Sibsankar Haldar, K. Vidyasankar	Counteraxamples to a One Writer Multireader Atomic Variable Construction of Burns and Peterson.	ACM SIGOPS Oper. Syst. Rev.	1992	DBLP DOI BibTeX RDF
28	Pierpaolo Degano, Roberto Gorrieri	Atomic Refinement in Process Description Languages.	MFCS	1991	DBLP DOI BibTeX RDF
28	Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi 0001	From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.	ALP	1994	DBLP DOI BibTeX RDF
27	Michel Raynal	Synchronization is Coming Back, But is it the Same?	AINA	2008	DBLP DOI BibTeX RDF	Adaptive renaming, Atomic snapshot, Test & set, t-Resilience, Shared memory, Reduction, Asynchronous system, Process crash, Atomic register, Set agreement, Wait-free algorithm
27	Santosh K. Shrivastava, Daniel L. McCue	Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	fault-tolerantobject systems, distributed programming systems, fault tolerance, distributed systems, distributed computing, fault tolerant computing, distributed processing, replication, modularity, migration, object-oriented methods, distributed environment, object-oriented systems, object-oriented approach, atomic actions, persistent objects, atomic transactions
25	Stefan Vijzelaar, Herbert Bos, Wan J. Fokkink	Brief announcement: a shared disk on distributed storage.	PODC	2010	DBLP DOI BibTeX RDF	probabilistic consensus, shared disk semantics, strict linearizability, consistency, redundancy, storage, atomic registers
25	Yehuda Afek, Nir Shavit, Moran Tzafrir	Interrupting Snapshots and the JavaTM^{\mbox{\tiny TM}} Size() Method.	DISC	2009	DBLP DOI BibTeX RDF	consistent state, fault-tolerance, atomic, snapshot, global state
25	Rachid Guerraoui, Ron R. Levy, Bastian Pochon, Jim Pugh	The collective memory of amnesic processes.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	log complexity, Atomic registers, crash recovery, shared-memory emulation
25	Qing Liu 0011, Lan Liu	Rough Logic and Its Reasoning.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF	Atomic formula, Well-formed formula, Resolution reasoning, Deductive reasoning
25	Volodymyr I. Ponomaryov, Jose Luis Sanchez-Ramirez, Cristina Juarez-Landin	Optimal Wavelet Filters Selection for Ultrasound and Mammography Compression.	CIARP	2008	DBLP DOI BibTeX RDF	Atomic Functions, Mammography images, Wavelet Transform, Compression, Ultrasound images
25	André Schiper	Dynamic group communication.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Specification, Group communication, Group membership, Atomic broadcast, Reliable broadcast, Dynamic group
25	Claude Marché, Nicolas Rousset	Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears.	SEFM	2006	DBLP DOI BibTeX RDF	JAVA CARD applets, Card Tears, non-atomic methods, Formal verification, Transactions, JML
25	Gregory V. Chockler, Seth Gilbert, Vincent Gramoli, Peter M. Musial, Alexander A. Shvartsman	Reconfigurable Distributed Storage for Dynamic Networks.	OPODIS	2005	DBLP DOI BibTeX RDF	atomic objects, performance, Distributed algorithms, reconfiguration
25	Patrick Rogers, Andy J. Wellings	The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95.	Ada-Europe	2005	DBLP DOI BibTeX RDF	Ada, Reflection, conversations, software fault tolerance, atomic actions, recovery blocks, backward error recovery
25	Stephan Dahlke, Gabriele Steidl, Gerd Teschke	Coorbit Spaces and Banach Frames on Homogeneous Spaces with Applications to the Sphere.	Adv. Comput. Math.	2004	DBLP DOI BibTeX RDF	square integrable group representations, atomic decompositions, homogeneous spaces, coorbit spaces, modulation spaces, frames, spheres, time-frequency analysis, nonlinear approximation
25	Hyung-Jong Kim 0002	Vulnerability Modeling and Simulation for DNS Intrusion Tolerance System Construction.	AIS	2004	DBLP DOI BibTeX RDF	Atomic Vulnerability, DNS, Intrusion Tolerance, Vulnerability Analysis, DEVS formalism
25	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Vassos Hadzilacos, Petr Kouznetsov, Sam Toueg	The weakest failure detectors to solve certain fundamental problems in distributed computing.	PODC	2004	DBLP DOI BibTeX RDF	non-blocking atomic commit, quittable consensus, weakest failure detector, consensus, register
25	George Samaras, George K. Kyrou, Panos K. Chrysanthis	Two-Phase Commit Processing with Restructured Commit Tree.	Panhellenic Conference on Informatics	2001	DBLP DOI BibTeX RDF	Commit Optimizations, Distributed Transaction Processing, Atomic Commit Protocols
25	Anatolij Dvurecenskij, Maria Gabriella Graziano	Dedekind Complete Commutative BCK-algebras.	Order	2000	DBLP DOI BibTeX RDF	atomic BCK-algebra, commutative BCK-algebra, Dedekind complete BCK-algebra, relative cancellation property, subdirect product, universal group
25	Mark C. Little, Santosh K. Shrivastava	Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects.	Advances in Distributed Systems	1999	DBLP DOI BibTeX RDF	fault-tolerance, distributed systems, replication, group communication, persistent objects, atomic transactions
25	Tushar Deepak Chandra, Sam Toueg	Unreliable Failure Detectors for Reliable Distributed Systems.	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
25	Weiwu Hu, Peisu Xia	Event Ordering Condition for Correct Executions in Shared-Memory Systems.	ISPAN	1996	DBLP DOI BibTeX RDF	write atomic write nonatomic, correct execution, shared-memory multiprocessor, sequential consistency, event ordering
25	Paul J. Fortier, John C. Sieg Jr.	Simulation analysis of early commit concurrency control protocols.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	simulation analysis, early commit concurrency control protocols, concurrency control enforcement, atomic data sets, transaction writer, conventional locking, recovery protocols, merged-commit, databases, protocols, virtual machines, concurrency control, database management systems, transaction processing, database design, system recovery, simulation model, replay, optimistic protocols, protocols performance, timestamp ordering
25	Rachid Guerraoui, André Schiper	A Generic Multicast Primitive to Support Transactions on Replicated Objects in Distributed Systems.	FTDCS	1995	DBLP DOI BibTeX RDF	total order multicast, fault-tolerance, distributed computing, replication, asynchronous system, failure detector, atomic commitment
25	Michiko Inoue, Wei Chen 0003	Linear-Time Snapshot Using Multi-writer Multi-reader Registers.	WDAG	1994	DBLP DOI BibTeX RDF	atomic snapshot, lattice agreement problem, shared memory system, linearizability, wait-free algorithm
25	Colin Low	A Shared, Persistent Object Store.	ECOOP	1988	DBLP DOI BibTeX RDF	immutable objects, distributed systems, object-oriented programming, persistence, Smalltalk-80, atomic transactions
25	Graham D. Parrington, Santosh K. Shrivastava	Implementing Concurrency Control in Reliable Object-Oriented Systems.	ECOOP	1988	DBLP DOI BibTeX RDF	Type-inheritance, Reliability, Object-oriented programming, Concurrency control, Atomic actions
24	Honghao Gao, Huaikou Miao, Shengbo Chen, Jia Mei	Probabilistic Timed Model Checking for Atomic Web Service.	SERVICES	2011	DBLP DOI BibTeX RDF	Atomic Web service, dynamic FB selection problem, Probabilistic Timed Model Check, PTCTL
24	Kristina Y. Yordanova	Modelling Human Behaviour Using Partial Order Planning Based on Atomic Action Templates.	Intelligent Environments	2011	DBLP DOI BibTeX RDF	human behaviour modelling, probabilistic modelling, atomic actions, intention recognition
24	Alessio Guglielmi, Tom Gundersen, Lutz Straßburger	Breaking Paths in Atomic Flows for Classical Logic.	LICS	2010	DBLP DOI BibTeX RDF	atomic flows, proof normalization, classical logic
24	Omid Shahmirzadi, Sergio Mena, André Schiper	Relaxed Atomic Broadcast: State-Machine Replication Using Bounded Memory.	SRDS	2009	DBLP DOI BibTeX RDF	relaxed atomic broadcast, bounded memory, State-Machine replication
24	Nicolas Schiper, Pierre Sutra, Fernando Pedone	Genuine versus Non-Genuine Atomic Multicast Protocols for Wide Area Networks: An Empirical Study.	SRDS	2009	DBLP DOI BibTeX RDF	atomic multicast, analytical and experimental evaluation, fault-tolerance, wide area networks
24	Barbara Gallina, Nicolas Guelfi, Alexander B. Romanovsky	Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means.	ISSRE	2007	DBLP DOI BibTeX RDF	Formal Properties, Fault Tolerance, Verification, Formal Methods, Dependability, Exception Handling, System Structuring, Coordinated Atomic Actions
24	Nicolas Schiper, Fernando Pedone	Optimal atomic broadcast and multicast algorithms for wide area networks.	PODC	2007	DBLP DOI BibTeX RDF	atomic broadcast/multicast, fault-tolerance, lower bounds, wide area networks
24	Rida A. Bazzi, Yin Ding	Brief announcement: wait-free implementation of multiple-writers/multiple-readers atomic byzantine data storage systems.	PODC	2005	DBLP DOI BibTeX RDF	fault tolerance, replication, atomic, timestamps, wait-free, byzantine
24	Roy Friedman, Michel Raynal, Corentin Travers	Brief announcement: abstractions for implementing atomic objects in dynamic systems.	PODC	2005	DBLP DOI BibTeX RDF	atomic object, dynamic system, asynchronous system, linearizability
24	Chris Purcell, Tim Harris 0001	Brief announcement: implementing multi-word atomic snapshots on current hardware.	PODC	2004	DBLP DOI BibTeX RDF	atomic snapshots, lock-free, non-blocking
24	Lavy Libman, Ariel Orda	The designer's perspective to atomic noncooperative networks.	IEEE/ACM Trans. Netw.	1999	DBLP DOI BibTeX RDF	atomic (unsplittable) resource sharing, noncooperative networks, routing, network management, capacity allocation
24	Sibsankar Haldar, K. Vidyasankar	Constructing 1-Writer Multireader Multivalued Atomic Variable from Regular Variables.	J. ACM	1995	DBLP DOI BibTeX RDF	nonatomic operation execution, reader and writer, regular and atomic, shared variable-safe, wait-freedom
24	Susan B. Davidson, Insup Lee 0001, Victor Fay Wolfe	Timed Atomic Commitment.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	centralized protocols, hard-real-time control, distributed nodes, timed atomic commitment, exceptional state, decentralized protocols, coordinating robots, distributed processing, concurrency control, timing constraints, programming constructs, operating environment, concurrent execution
24	Bard Bloom	Constructing Two-Writer Atomic Registers.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	two-writer, memory register, two-writer protocol, protocols, computer architecture, atomic registers, proof of correctness
24	David P. Reed	Implementing Atomic Actions on Decentralized Data	ACM Trans. Comput. Syst.	1983	DBLP DOI BibTeX RDF	nested atomic actions, time-domain addressing, stable storage, two-phase commit
23	George Christodoulou 0001, Elias Koutsoupias, Paul G. Spirakis	On the Performance of Approximate Equilibria in Congestion Games.	ESA	2009	DBLP DOI BibTeX RDF
23	Liping Gao, Tun Lu, Ning Gu	Supporting semantic maintenance of complex Undo operations in replicated Co-AutoCAD environments.	CSCWD	2009	DBLP DOI BibTeX RDF
23	Dave Cunningham, Khilan Gudka, Susan Eisenbach	Keep Off the Grass: Locking the Right Path for Atomicity.	CC	2008	DBLP DOI BibTeX RDF
23	Eitan Farchi	Pitfalls in teaching development and testing of concurrent programs and how to overcome them.	PADTAD	2008	DBLP DOI BibTeX RDF
23	Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc	Practical weak-atomicity semantics for java stm.	SPAA	2008	DBLP DOI BibTeX RDF	weak atomicity, java, transactional memory, memory models, programming language semantics
23	Avery Ching, Wei-keng Liao, Alok N. Choudhary, Robert B. Ross, Lee Ward	Noncontiguous locking techniques for parallel file systems.	SC	2007	DBLP DOI BibTeX RDF
23	Ru-Xin Gao, Tianfu Wu 0001, Song Chun Zhu, Nong Sang	Bayesian Inference for Layer Representation with Mixed Markov Random Field.	EMMCVPR	2007	DBLP DOI BibTeX RDF	2.1D Sketch, Contour Completion, Mixed Markov Field, Swendsen-Wang Cut, Bayesian Inference, MCMC, Layer Representation
23	Yong-Jik Kim, James H. Anderson	Nonatomic mutual exclusion with local spinning.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Nonatomic operations, Lower bounds, Shared memory, Time complexity, Mutual exclusion
23	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Exploiting Purity for Atomicity.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	purity, concurrent programs, reduction, Atomicity
23	Michael F. Ringenburg, Dan Grossman	AtomCaml: first-class atomicity via rollback.	ICFP	2005	DBLP DOI BibTeX RDF	transactions, concurrent programming, atomicity, objective caml
23	Shaowu Cheng, Xiaofei Xu, Gang Wang, Quanlong Li	An Agile Method of Modeling Business Process Simulation for Virtual Enterprises.	ICEBE	2005	DBLP DOI BibTeX RDF
23	Zunce Wei, Hon Fung Li, Dhrubajyoti Goswami	Cloning-Based Checkpoint for Localized Recovery.	ISPAN	2005	DBLP DOI BibTeX RDF
23	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi	Dynamic epistemic logic with assignment.	AAMAS	2005	DBLP DOI BibTeX RDF	assignment, agent communication, dynamic epistemic logic
23	Weihang Jiang, Jiuxing Liu, Hyun-Wook Jin, Dhabaleswar K. Panda 0001, Darius Buntinas, Rajeev Thakur, William D. Gropp	Efficient Implementation of MPI-2 Passive One-Sided Communication on InfiniBand Clusters.	PVM/MPI	2004	DBLP DOI BibTeX RDF
23	Sangjoon Park, Kwanjoong Kim	DEVS Formalism: A Hierarchical Generation Scheme.	AIS	2004	DBLP DOI BibTeX RDF