Search results for "atomic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.	FMOODS	2008	DBLP DOI BibTeX RDF	non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access
19	Junping Xiang, Maolin Hu	Protein Surface Modeling Using Active Contour Model.	GMP	2008	DBLP DOI BibTeX RDF	Chan-Vese method, solvent-accessible surface, atomic energy, evolution, partial differential equation, finite difference
19	Mahmud Shahriar Hossain, Rafal A. Angryk	Algorithm for Interpretation of Multi-valued Taxonomic Attributes in Similarity-Based Fuzzy Databases.	IFSA (2)	2007	DBLP DOI BibTeX RDF	fuzzy relational databases, fuzzy collections, non-atomic symbolic values, data mining
19	Dipesh Bhattarai, Bijaya B. Karki	Atomistic visualization: on-the-fly data extraction and rendering.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	atomic (molecular) visualization, coordination, time-varying data, molecular dynamics simulations
19	G. Hosein Mohimani, Massoud Babaie-Zadeh, Christian Jutten	Fast Sparse Representation Based on Smoothed l0 Norm.	ICA	2007	DBLP DOI BibTeX RDF	over-complete atomic decomposition, sparse component analysis
19	Kang-Ping Liu, Jinn-Moon Yang	A Gaussian Evolutionary Method for Predicting Protein-Protein Interaction Sites.	EvoBIO	2007	DBLP DOI BibTeX RDF	Atomic solvation parameter, Gaussian evolutionary method, protein-protein binding site, protein-protein interactions
19	Oleg V. Kudinov, Victor L. Selivanov	Definability in the Homomorphic Quasiorder of Finite Labeled Forests.	CiE	2007	DBLP DOI BibTeX RDF	homomorphic quasiorder, atomic structure, definability, forest, automorphism, Labeled tree
19	Michel Raynal, Gadi Taubenfeld	The notion of a timed register and its application to indulgent synchronization.	SPAA	2007	DBLP DOI BibTeX RDF	test&set, timing assumption, universal object, wait-free implementation, consensus, mutual exclusion, timing constraint, contention manager, process crash, simplicity, atomic register, renaming, concurrent object, asynchronous shared memory system
19	Pradeep K. Atrey, Mohan S. Kankanhalli, Ramesh C. Jain	Information assimilation framework for event detection in multimedia surveillance systems.	Multim. Syst.	2006	DBLP DOI BibTeX RDF	Information assimilation, Multimedia surveillance, Agreement coefficient, Confidence fusion, Compound and atomic events, Event detection
19	Michel Raynal, Corentin Travers	In Search of the Holy Grail: Looking for the Weakest Failure Detector for Wait-Free Set Agreement.	OPODIS	2006	DBLP DOI BibTeX RDF	Leader oracle, Participating process, Consensus, Asynchronous system, Shared object, Atomic register, Set agreement, Asynchronous algorithm, Wait-free algorithm
19	Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Chi Cao Minh, Ben Hertzberg	McRT-STM: a high performance software transactional memory system for a multi-core runtime.	PPoPP	2006	DBLP DOI BibTeX RDF	atomic constructs, two-phase locking and read-versioning, software transactional memory, runtime environment
19	Philippe Charles, Christian Grothoff, Vijay A. Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, Vivek Sarkar	X10: an object-oriented approach to non-uniform cluster computing.	OOPSLA	2005	DBLP DOI BibTeX RDF	atomic blocks, non-uniform cluster computing (NUCC), partitioned global address space (PGAS), Java, scalability, multithreading, productivity, clocks, data distribution, places, X10
19	Marcel Erné	Intervals in Lattices of alpha-Meet-Closed Subsets.	Order	2004	DBLP DOI BibTeX RDF	(weakly) atomic, (strongly) coatomic, extremally detachable, meet-closed, interval, prime, semilattice, complete lattice, irreducible
19	Stephen Paynter, Neil Henderson, James M. Armstrong	Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Simpsons 4-slot ACM, Atomic, Wait-free, Metastability, Safe, Freshness
19	Sushil K. Prasad, Vijay K. Madisetti, Shamkant B. Navathe, Raj Sunderraman, Erdogan Dogdu, Anu G. Bourgeois, Michael Weeks, Bing Liu 0003, Janaka Balasooriya, Arthi Hariharan, Wanxia Xie, Praveen Madiraju, Srilaxmi Malladi, Raghupathy Sivakumar, Alexander Zelikovsky, Yanqing Zhang 0001, Yi Pan 0001, Saeid Belkasim	SyD: A Middleware Testbed for Collaborative Applications over Small Heterogeneous Devices and Data Stores.	Middleware	2004	DBLP DOI BibTeX RDF	Mobile Servers, SyD Coordination Bonds, Object and Web Service Coordination, Application-Level QoS, Atomic Transactions
19	Péter Urbán, Naohiro Hayashibara, André Schiper, Takuya Katayama	Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm.	SRDS	2004	DBLP DOI BibTeX RDF	rotating coordinator, simulation, consensus, asynchronous, failure detector, atomic broadcast, leader
19	Martin C. Rinard, Pedro C. Diniz	Eliminating synchronization bottlenecks using adaptive replication.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	commutativity analysis, parallel computing, synchronization, replication, parallelizing compilers, Atomic operations
19	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Matthieu Roy	A Hierarchy of Conditions for Asynchronous Interactive Consistency.	PaCT	2003	DBLP DOI BibTeX RDF	Erroneous Value, Fault-Tolerance, Error-Correcting Code, Hamming Distance, Condition, Crash Failure, Atomic Register, Interactive Consistency, Asynchronous Shared Memory System
19	Fernando Pedone, André Schiper	Handling message semantics with Generic Broadcast protocols.	Distributed Comput.	2002	DBLP DOI BibTeX RDF	Semantics-aware primitives, Fault-tolerance, Group communication, Asynchronous systems, Atomic broadcast, Reliable broadcast
19	Hagit Attiya, Arie Fouren, Eli Gafni	An adaptive collect algorithm with applications.	Distributed Comput.	2002	DBLP DOI BibTeX RDF	Contention-sensitive complexity, Read/write registers, Atomic snapshots, Immediate snapshots, Renaming, Wait-free algorithms, Asynchronous shared-memory systems
19	Rachid Guerraoui, André Schiper	The Generic Consensus Service.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	fault-tolerant agreement protocols, view synchrony, total order multicast, modularity, consensus, failure detectors, Asynchronous distributed systems, group membership, atomic commitment
19	Alexander B. Romanovsky	Exception Handling in Component-Based System Development.	COMPSAC	2001	DBLP DOI BibTeX RDF	interface exceptions, cooperative error recovery, wrappers, atomic actions, system structuring
19	Evelyn Tumlin Pierce, Lorenzo Alvisi	A framework for semantic reasoning about Byzantine quorum systems.	PODC	2001	DBLP DOI BibTeX RDF	atomic variable semantics, distributed data services, Byzantine fault tolerance, quorum systems
19	Geneviève Arboit, Jean-Marc Robert 0001	From Fixed-Length Messages to Arbitrary-Length Messages Practical RSA Signature Padding Schemes.	CT-RSA	2001	DBLP DOI BibTeX RDF	padding scheme, atomic primitive, hash-and-sign, division intractability, smooth numbers, Digital signature, RSA, provable security
19	Yu Zhou, Bradley J. Nelson, Barmeshwar Vikramaditya	Integrating Optical Force Sensing with Visual Servoing for Microassembly.	J. Intell. Robotic Syst.	2000	DBLP DOI BibTeX RDF	atomic force microscopy, nanomanipulation, sensor integration, sensor fusion, visual servoing, force control, force sensor, microassembly, micromanipulation
19	Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge	Deriving Software Specifications from Event Based Models.	ZB	2000	DBLP DOI BibTeX RDF	System Property, Environment Interaction, Shared module, Distributed System, Refinement, Event, System model, Concurrent Process, Program Specification, Atomic Operation
19	Morteza Esmaeili, T. Aaron Gulliver, Norman P. Secord	The Minimal Generator Matrix of a Vector Space.	Appl. Algebra Eng. Commun. Comput.	1999	DBLP DOI BibTeX RDF	Trellis oriented generator matrix, Atomic vectors, Linear block codes
19	Ting-Lu Huang	Fast and Fair Mutual Exclusion for Shared Memory Systems.	ICDCS	1999	DBLP DOI BibTeX RDF	atomic instructions memory contention, concurrency, multiprocessors, fairness, mutual exclusion
19	Eddy Fromentin, Michel Raynal, Frederic Tronel	On Classes of Problems in Asynchronous Distributed Systems with Process Crashes.	ICDCS	1999	DBLP DOI BibTeX RDF	Broadcast Problems, Classes of Problems, Reduction Protocol, Fault-Tolerance, Consensus, Failure Detectors, Asynchronous Distributed Systems, Atomic Commitment
19	Jie Xu 0007, Alexander B. Romanovsky, Brian Randell	Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation.	ICDCS	1998	DBLP DOI BibTeX RDF	coordinated exception handling, exception resolution, nested atomic actions, Concurrent programs, distributed object systems
19	Michel Leclère	Reasoning with Type Definitions.	ICCS	1997	DBLP DOI BibTeX RDF	type definitions, atomic form, logical interpretation, projection, contraction, expansion
19	Boris A. Romov	Hyperclones on a Finite Set.	ISMVL	1997	DBLP DOI BibTeX RDF	hyperclones, composition-closed sets, multivalued operations, dual atomic, dual atoms, maximal hyperclones, multivalued logic, finite set
19	Peter Triantafillou	Independent Recovery in Large-Scale Distributed Systems.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	blocking atomic commitment, independent recovery, distributed computing, concurrency control, replication, Availability, transactions, crash recovery
19	Issei Fujishiro, Yuji Maeda, Hiroshi Sato, Yuriko Takeshima	Volumetric Data Exploration Using Interval Volume.	IEEE Trans. Vis. Comput. Graph.	1996	DBLP DOI BibTeX RDF	atomic collision, volume rendering, Volume visualization, isosurfacing, isosurface, surface fitting, Marching Cubes
19	Amane Nakajima	Fault-tolerant distributed match-making with weights.	ICPADS	1996	DBLP DOI BibTeX RDF	distributed match-making, atomic shared register, cyclic communication structure, fault-tolerance, protocols, fault tolerant computing, distributed processing, mutual exclusion, weights, name service
19	Maria Laura Mantovani, M. Malagoli	Highly parallel SCF calculation: the SYSMO Program.	PDP	1995	DBLP DOI BibTeX RDF	LCAO calculations, SCF calculations, highly parallel SCF calculation, SYSMO program, Linear Combination of Atomic Orbitals Self Consistent Field algorithm, System Modena, single program multiple data level, parallel algorithms, scalability, Parallel Virtual Machine, parallel implementation, chemistry, chemistry computing
19	Mark Finch, Vernon L. Chi, Russell M. Taylor II, Mike Falvo, Sean Washburn, Richard Superfine	Surface Modification Tools in a Virtual Environment Interface to a Scanning Probe Microscope.	SI3D	1995	DBLP DOI BibTeX RDF	atomic force microscopy, scanning tunneling microscopy, haptic, virtual worlds, scientific visualization, telepresence, teleoperation, interactive graphics, force
19	Susan L. Gerhart, Dan Craigen, Ted Ralston	Case Study: Darlington Nuclear Generating Station.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	fission reactor core control and monitoring, fission reactor safety, nuclear engineering computing, Darlington nuclear generating station, nuclear plant, Ontario Hydro, software driven shutdown systems, neutron-absorbing rods, liquid poison injection, Atomic Energy Control Board of Canada, decision-making logic, formal model-based inspection, formal specification, formal methods, specifications, case study, software reliability, documentation, safety, certification, safety-critical systems, licensing, Canada, code quality
19	Jason Gait	Optimizing Unix Database File Operations.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	Unix database file operations optimization, Ratfiles, Rational File System, Unix kernel, atomic write, write-order discipline, data integrity, data integrity, optimisation, database management systems, Unix
19	Daniel Lenoski, James Laudon, Truman Joe, David Nakahira, Luis Stevens, Anoop Gupta, John L. Hennessy	The DASH Prototype: Logic Overhead and Performance.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	DASH project, large-scale shared-memory multiprocessors, directory-based cachecoherence, reference behavior, DASHprotocol, atomic tests, performance evaluation, parallel programming, shared memory systems, storage management, buffer storage, hardware performance monitor, coherent caches
19	Luis-Felipe Cabrera, John McPherson, Peter M. Schwarz, James C. Wyllie	Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	QuickSilver distributed file system, Starburst relational database manager, atomic properties, mutual consistency, client-server transactions, recoverable data structures, shadow copies, concurrency, relational databases, distributed databases, transaction processing, atomicity, network operating systems, stable storage, transaction systems
19	Waleed A. Muhanna	Composite Programs: Hierarchical Construction, Circularity, and Deadlocks.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	hierarchical construction, nonprocedural development environment, composite programs, input ports, output ports, coupling graph, cycle enumeration, atomic programs, deadly cycles, graph theory, graph theory, concurrency control, interfaces, programming environments, decomposition, programming theory, necessary and sufficient conditions, circularity, communication behavior, cyclic, communication deadlocks
19	Thomas E. Anderson	The Performance of Spin Lock Alternatives for Shared-Memory Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	software queueing, CSMA network protocols, Ethernet backoff, Symmetry Model B, spinlock alternatives, shared-money multiprocessors, atomic instructions, softwarespin-waiting algorithms, dynamic arbitration, parallelprocessing, performance evaluation, distributed system, delays, storage management, multistage interconnection network, shared data structures, shared bus multiprocessors
19	Anand Tripathi	An Overview of the Nexus Distributed Operating System Design.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	interobject communication, object access, Nexus distributed operating system design, fault-tolerance techniques, Nexus programming environment, multiple implementations, remote-procedure-call paradigm, application-controlled checkpointing, parallel remote procedure calls, Nexus kernel, data structures, object-oriented programming, object-oriented programming, fault tolerant computing, distributed processing, programming environments, inheritance, abstract data types, operating systems (computers), restart, computer communications software, atomic actions, experimental research, location transparency
19	Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani	The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	execution policies, atomic transitions, race policy, continuous time homogeneous Markov chain, performance evaluation, Petri nets, semantics, Markov processes, stochastic Petri nets
19	Bharat K. Bhargava, John Riedl	The Raid Distributed Database System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Raid distributed database system, adaptable distributed database system, consistent replicated copies, site failures, atomic distributed commitment, layered communications package, location-independent interface, high-performance configuration, reliable distributed transaction processing, transaction processing time, server CPU time, consistent replicated copy control, concurrent distributed checkpointing, transaction processing algorithms, software tool, distributed databases, concurrency control, shared memory, transaction processing, infrastructure, software packages, operating system kernel, concurrent processing, message-passing system, computer communications software
19	Liba Svobodova	A Reliable Object-Oriented Data Repository for a Distributed Computer System.	SOSP	1981	DBLP DOI BibTeX RDF	Atomic update, Distributed data storage system, Optical disk, Memory management, Server, Crash recovery, Stable storage
18	Jaeheon Yi, Cormac Flanagan	Effects for cooperable and serializable threads.	TLDI	2010	DBLP DOI BibTeX RDF	atomicity, yield, race conditions, effect system
18	Joseph Sifakis	Component-Based Construction of Heterogeneous Real-Time Systems in Bip.	Petri Nets	2009	DBLP DOI BibTeX RDF
18	Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps	A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.	SPIN	2009	DBLP DOI BibTeX RDF
18	Xiaobai Liu, Bin Cheng 0001, Shuicheng Yan, Jinhui Tang 0001, Tat-Seng Chua, Hai Jin 0001	Label to region by bi-layer sparsity priors.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	bi-layer sparse coding, image parsing, label-to-region assignment, image annotation
18	Robert Kleinberg, Georgios Piliouras, Éva Tardos	Multiplicative updates outperform generic no-regret learning in congestion games: extended abstract.	STOC	2009	DBLP DOI BibTeX RDF	game theory, price of anarchy, learning theory
18	Amitabha Roy 0002, Steven Hand 0001, Tim Harris 0001	A runtime system for software lock elision.	EuroSys	2009	DBLP DOI BibTeX RDF	revocable locks, speculative lock elision, unmanaged environments, software transactional memory
18	Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch	InvisiFence: performance-transparent memory ordering in conventional multiprocessors.	ISCA	2009	DBLP DOI BibTeX RDF	parallel programming, memory consistency
18	Marcos Kawazoe Aguilera, Ram Swaminathan	Remote storage with byzantine servers.	SPAA	2009	DBLP DOI BibTeX RDF	distributed system, algorithms, digital signatures, distributed storage, byzantine failures
18	Gang Qian, Yisheng Dong	A step towards incremental maintenance of the composed schema mapping.	CIKM	2008	DBLP DOI BibTeX RDF	mapping composition, xquery, xml, schema mapping
18	André Ludwig, Bogdan Franczyk	COSMA - An Approach for Managing SLAs in Composite Services.	ICSOC	2008	DBLP DOI BibTeX RDF
18	Masahiro Tanaka, Toru Ishida 0001	Predicting and Learning Executability of Composite Web Services.	ICSOC	2008	DBLP DOI BibTeX RDF
18	Guilherme Sperb Machado, Fabio Fabian Daitx, Weverton Luis da Costa Cordeiro, Cristiano Bonato Both, Luciano Paschoal Gaspary, Lisandro Zambenedetti Granville, Claudio Bartolini, Akhil Sahai, David Trastour, Katia Barbosa Saikoski	Enabling rollback support in IT change management systems.	NOMS	2008	DBLP DOI BibTeX RDF
18	M. M. Waliullah, Per Stenström	Intermediate checkpointing with conflicting access prediction in transactional memory systems.	IPDPS	2008	DBLP DOI BibTeX RDF
18	Chang-Seo Park, Koushik Sen	Randomized active atomicity violation detection in concurrent programs.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	atomicity violation detection, concurrency, dynamic analysis, random testing
18	Zdenek Letko, Tomás Vojnar, Bohuslav Krena	AtomRace: data race and atomicity violation detector and healer.	PADTAD	2008	DBLP DOI BibTeX RDF
18	Yehuda Afek, Iftah Gamzu, Irit Levy, Michael Merritt, Gadi Taubenfeld	Group Renaming.	OPODIS	2008	DBLP DOI BibTeX RDF
18	Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis	Distributed Semantics and Implementation for Systems with Interaction and Priority.	FORTE	2008	DBLP DOI BibTeX RDF
18	Chun Zhang, Rong N. Chang, Chang-Shing Perng, Edward So, Chunqiang Tang, Tao Tao	Leveraging Service Composition Relationship to Improve CPU Demand Estimation in SOA Environments.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF
18	Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar	Lock allocation.	POPL	2007	DBLP DOI BibTeX RDF	lock inference, atomicity, ILP
18	Lihui Lei, Zhenhua Duan	Automating Web Service Composition for Collaborative Business Processes.	CSCWD	2007	DBLP DOI BibTeX RDF
18	Yudong Sun, Steve McKeever, Kia Balali-Mood, Mark S. P. Sansom	A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide.	BIBM	2007	DBLP DOI BibTeX RDF
18	Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan 0003, Craig B. Zilles	Hardware atomicity for reliable software speculation.	ISCA	2007	DBLP DOI BibTeX RDF	Java, optimization, checkpoint, atomicity, speculation, isolation
18	Chun Zhang, Rong N. Chang, Chang-Shing Perng, Edward So, Chunqiang Tang, Tao Tao	QoS-Aware Optimization of Composite-Service Fulfillment Policy.	IEEE SCC	2007	DBLP DOI BibTeX RDF
18	Gaurav Singh 0006, Sandeep K. Shukla	Low-power hardware synthesis from TRS-based specifications.	MEMOCODE	2006	DBLP DOI BibTeX RDF
18	Pinar Senkul	CompositeWeb Service Construction by Using a Logical Formalism.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
18	Xiaofeng Du, William Song, Malcolm Munro	Semantics Recognition in Service Composition Using Conceptual Graph.	IAT Workshops	2006	DBLP DOI BibTeX RDF
18	Romain Rouvoy, Patricia Serrano-Alvarado, Philippe Merle	A Component-Based Approach to Compose Transaction Standards.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
18	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux	Comparison of Different Semantics for Time Petri Nets.	ATVA	2005	DBLP DOI BibTeX RDF	Timed Bisimilarity, Expressiveness, Time Petri Nets
18	Jae-Hyuck Lee	Foundation for the New Algorithm Learning Pseudo-Independent Models.	ECSQARU	2005	DBLP DOI BibTeX RDF
18	Gregory V. Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber	Proving Atomicity: An Assertional Approach.	DISC	2005	DBLP DOI BibTeX RDF
18	Ajay R. Dani, P. Radha Krishna 0001, V. Subramanian	An Electronic Payment System Architecture for Composite Payment Transactions.	EEE	2005	DBLP DOI BibTeX RDF
18	Valerica Ninulescu, Andreea-Rodica Sterian	Dynamics of a Two-Level Medium Under the Action of Short Optical Pulses.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
18	Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller	Automated type-based analysis of data races and atomicity.	PPoPP	2005	DBLP DOI BibTeX RDF	type system, type inference, atomicity, data races
18	Wiebe van der Hoek, Michael J. Wooldridge	On the dynamics of delegation, cooperation, and control: a logical account.	AAMAS	2005	DBLP DOI BibTeX RDF	powers of agents and coalitions, propositional control, cooperation, dynamics, modal logic, delegation, dynamic logic
18	James C. Hoe, Arvind	Operation-centric hardware description and synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
18	Xiaoyuan Xu, Guoqiang Han, Huaqing Min	A Novel Algorithm for Associative Classification of Image Blocks.	CIT	2004	DBLP DOI BibTeX RDF
18	Cormac Flanagan, Stephen N. Freund	Atomizer: a dynamic atomicity checker for multithreaded programs.	POPL	2004	DBLP DOI BibTeX RDF	dynamic analysis, reduction, atomicity
18	Cormac Flanagan	Verifying Commit-Atomicity Using Model-Checking.	SPIN	2004	DBLP DOI BibTeX RDF
18	Daeho Lim, Kyungsook Han	PairAnalyzer: Extracting and Visualizing RNA Structure Elements Formed by Base Pairing.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
18	Shaoying Liu	Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification.	APSEC	2003	DBLP DOI BibTeX RDF
18	Neil Henderson	Proving the Correctness of Simpson's 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method.	FME	2003	DBLP DOI BibTeX RDF	assertion networks, asynchronous communication, rely-guarantee
18	Marcos Kawazoe Aguilera, Burkhard Englert, Eli Gafni	On using network attached disks as shared memory.	PODC	2003	DBLP DOI BibTeX RDF
18	Dexter Kozen	Some Results in Dynamic Model Theory.	MPC	2002	DBLP DOI BibTeX RDF
18	Dominique Larchey-Wendling	Combining Proof-Search and Counter-Model Construction for Deciding Gödel-Dummett Logic.	CADE	2002	DBLP DOI BibTeX RDF
18	Fernando Pedone, André Schiper, Péter Urbán, David Cavin	Solving Agreement Problems with Weak Ordering Oracles.	EDCC	2002	DBLP DOI BibTeX RDF
18	Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel	Detecting Optimal Termination Conditions of Logic Programs.	SAS	2002	DBLP DOI BibTeX RDF
18	James H. Anderson, Yong-Jik Kim	Nonatomic mutual exclusion with local spinning.	PODC	2002	DBLP DOI BibTeX RDF
18	Michel Raynal	Sequential Consistency as Lazy Linearizability.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
18	Felipe Cariño, Pekka Kostamaa, Art Kaufmann, John G. Burgess	StorHouse Metanoia - New Applications for Database, Storage & Data Warehousing.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF	SQL
18	Ricardo Jiménez-Peris, Marta Patiño-Martínez, Gustavo Alonso, Sergio Arévalo	A Low-Latency Non-blocking Commit Service.	DISC	2001	DBLP DOI BibTeX RDF
18	Pascal Felber, André Schiper	Optimistic Active Replication.	ICDCS	2001	DBLP DOI BibTeX RDF
18	Péter Urbán, Xavier Défago, André Schiper	Chasing the FLP Impossibility Result in a LAN or How Robust Can a Fault Tolerant Server Be?.	SRDS	2001	DBLP DOI BibTeX RDF
18	John A. Trono	Comments on "Tagged Semaphores".	ACM SIGOPS Oper. Syst. Rev.	2000	DBLP DOI BibTeX RDF