Search results for "Atomic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Lixin Zhang 0002, Zhen Fang 0002, John B. Carter	Highly Efficient Synchronization Based on Active Memory Operations.	IPDPS	2004	DBLP DOI BibTeX RDF
23	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer	Exploiting purity for atomicity.	ISSTA	2004	DBLP DOI BibTeX RDF	purity, concurrent programs, reduction, atomicity
23	Håkan Sundell, Philippas Tsigas	Lock-Free and Practical Doubly Linked List-Based Deques Using Single-Word Compare-and-Swap.	OPODIS	2004	DBLP DOI BibTeX RDF
23	Erica Harvey, Chaim Gingold	Haptic Representation of the Atom.	IV	2000	DBLP DOI BibTeX RDF
23	Isao Kaji, Kinji Mori	Atomicity of Transaction Processing in Heterogeneous Autonomous Decentralized System.	ISADS	1999	DBLP DOI BibTeX RDF
23	Seungjoon Park, David L. Dill	Protocol Verification by Aggregation of Distributed Transactions.	CAV	1996	DBLP DOI BibTeX RDF
23	Jaap-Henk Hoepman, John Tromp	Binary Snapshots.	WDAG	1993	DBLP DOI BibTeX RDF	waitfree implementations, shared memory, atomicity, snapshot, linearisability
23	Jeannette M. Wing	Specifying Avalon Objects in Larch.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
23	Robert Danek	The k-bakery: local-spin k-exclusion using non-atomic reads and writes.	PODC	2010	DBLP DOI BibTeX RDF	k-exclusion, safe registers, shared memory, mutual exclusion, remote memory references
23	Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan	Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.	ICSE (1)	2010	DBLP DOI BibTeX RDF	software testing, dynamic analysis, atomicity, serializability
23	Malay K. Ganai, Sudipta Kundu	Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions.	SPIN	2009	DBLP DOI BibTeX RDF
23	Emili Miedes, Francesc D. Muñoz-Escoí	On the Cost of Prioritized Atomic Multicast Protocols.	OTM Conferences (1)	2009	DBLP DOI BibTeX RDF
23	Saroj K. Nayak	Carbon nanotube, graphene and atomic wires as next generation interconnects: current status and future promise.	SLIP	2009	DBLP DOI BibTeX RDF	quantum simulation, performance, design, reliability
23	Dimitris Fotakis 0001, Spyros C. Kontogiannis, Paul G. Spirakis	Atomic congestion games among coalitions.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	convergence to equilibria, price of anarchy, congestion games, Algorithmic game theory
23	Bob L. Sturm, John J. Shynk, Laurent Daudet, Curtis Roads	Dark Energy in Sparse Atomic Estimations.	IEEE Trans. Speech Audio Process.	2008	DBLP DOI BibTeX RDF
23	Sebastian Obermeier 0001, Stefan Böttcher, Martin Hett, Panos K. Chrysanthis, George Samaras	Adjourn State Concurrency Control Avoiding Time-Out Problems in Atomic Commit Protocols.	ICDE	2008	DBLP DOI BibTeX RDF
23	Feng Wang, Juanzi Li, Jie Tang 0001, Jing Zhang 0001, Kehong Wang	Name Disambiguation Using Atomic Clusters.	WAIM	2008	DBLP DOI BibTeX RDF
23	Chryssis Georgiou, Nicolas C. Nicolaou, Alexander A. Shvartsman	On the Robustness of (Semi) Fast Quorum-Based Implementations of Atomic Shared Memory.	DISC	2008	DBLP DOI BibTeX RDF
23	Anand Pillarisetti, Carol Keefer, Jaydev P. Desai	Mechanical Response of Embryonic Stem Cells Using Haptics-Enabled Atomic Force Microscopy.	ISER	2008	DBLP DOI BibTeX RDF
23	Chun-Yao Wang, Daniel J. Buehrer	A Ring-Based Decentralized Collaborative Non-blocking Atomic Commit Protocol.	IAT	2008	DBLP DOI BibTeX RDF
23	Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine	Handling Parameterized Systems with Non-atomic Global Conditions.	VMCAI	2008	DBLP DOI BibTeX RDF
23	Wenbing Zhao 0001	Byzantine Fault Tolerant Coordination for Web Services Atomic Transactions.	ICSOC	2007	DBLP DOI BibTeX RDF	Reliable Service-Oriented Computing, Service-Oriented Middleware, Byzantine Fault Tolerance, Distributed Transactions
23	Richard Ekwall, André Schiper	Modeling and Validating the Performance of Atomic Broadcast Algorithms in High Latency Networks.	Euro-Par	2007	DBLP DOI BibTeX RDF
23	Hisham M. Haddad, Mauricio Jose Ordoñez	Enhanced Component Reuse with Atomic Domains: Application Scenarios.	ITNG	2007	DBLP DOI BibTeX RDF
23	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Proving Linearizability Via Non-atomic Refinement.	IFM	2007	DBLP DOI BibTeX RDF	refinement, CSP, Object-Z, linearizability, concurrent access
23	Monika Moser, Seif Haridi	Atomic Commitment in Transactional DHTs.	CoreGRID	2007	DBLP DOI BibTeX RDF
23	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
23	Rachid Guerraoui, Ron R. Levy, Marko Vukolic	Lucky Read/Write Access to Robust Atomic Storage.	DSN	2006	DBLP DOI BibTeX RDF
23	Dimitris Fotakis 0001, Spyros C. Kontogiannis, Paul G. Spirakis	Atomic Congestion Games Among Coalitions.	ICALP (1)	2006	DBLP DOI BibTeX RDF
23	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
23	Laura Bocchi, Roberto Lucchi	Atomic Commit and Negotiation in Service Oriented Computing.	COORDINATION	2006	DBLP DOI BibTeX RDF
23	Yi Jiang, Guangtao Xue, Jinyuan You	Toward Fault-Tolerant Atomic Data Access in Mutable Distributed Hash Tables.	IMSCCS (1)	2006	DBLP DOI BibTeX RDF
23	Phlip Tomson, Garrison W. Greenwood	Using ant colony optimization to find low energy atomic cluster structures.	Congress on Evolutionary Computation	2005	DBLP DOI BibTeX RDF
23	Tafline Murnane, Richard Hall, Karl Reed	Towards Describing Black-Box Testing Methods as Atomic Rules.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
23	Jarek Nieplocha, Vinod Tipparaju, Edoardo Aprà	An Evaluation of Two Implementation Strategies for Optimizing One-Sided Atomic Reduction.	IPDPS	2005	DBLP DOI BibTeX RDF
23	Jun Tao, Ye Liu, Qingliang Wu	A Selfish Non-atomic Routing Algorithm Based on Game Theory.	ICNC (3)	2005	DBLP DOI BibTeX RDF
23	John Derrick, Heike Wehrheim	Non-atomic Refinement in Z and CSP.	ZB	2005	DBLP DOI BibTeX RDF
23	Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin 0001, Jan Vitek	Preemptible Atomic Regions for Real-Time Java.	RTSS	2005	DBLP DOI BibTeX RDF
23	Robert B. Ross, Robert Latham, William Gropp, Rajeev Thakur, Brian R. Toonen	Implementing MPI-IO atomic mode without file system support.	CCGRID	2005	DBLP DOI BibTeX RDF
23	Fabíola Gonçalves Pereira Greve, Jean-Pierre Le Narzul	Generating Fast Atomic Commit from Hyperfast Consensus.	LADC	2005	DBLP DOI BibTeX RDF
23	HariGovind V. Ramasamy, Christian Cachin	Parsimonious Asynchronous Byzantine-Fault-Tolerant Atomic Broadcast.	OPODIS	2005	DBLP DOI BibTeX RDF
23	Emmanuelle Anceaume, Maria Gradinariu, Vincent Gramoli, Antonino Virgillito	P2P Architecture for Self-Atomic Memory.	ISPAN	2005	DBLP DOI BibTeX RDF
23	Tong-Jun Li, Wen-Xiu Zhang, Jianmin Ma	Rough sets on atomic Boolean lattices.	GrC	2005	DBLP DOI BibTeX RDF
23	Sushant Goel, Hema Sharda, David Taniar	Atomic Commitment in Grid Database Systems.	NPC	2004	DBLP DOI BibTeX RDF
23	Yang-Suk Kee, Jin-Soo Kim 0001, Woo-Chul Jeun, Soonhoi Ha	Atomic Page Update Methods for OpenMP-Aware Software DSM.	PDP	2004	DBLP DOI BibTeX RDF
23	Peter M. Musial, Alexander A. Shvartsman	Implementing a Reconfigurable Atomic Memory Service for Dynamic Networks.	IPDPS	2004	DBLP DOI BibTeX RDF
23	Daniel L. Rosenband, Arvind	Modular scheduling of guarded atomic actions.	DAC	2004	DBLP DOI BibTeX RDF	Design, Algorithms, Verification, Languages
23	Bernadette Charron-Bost	Comparing the Atomic Commitment and Consensus Problems.	Future Directions in Distributed Computing	2003	DBLP DOI BibTeX RDF
23	Jorge Trindade, Carlos Fiolhais	Students? Visualization and Conceptual Understanding of Atomic Orbitals Using a Virtual Environment.	ICALT	2003	DBLP DOI BibTeX RDF
23	Renat A. Sultanov, Dennis Guster	Parallel Computing for Semiquantal Few-Body Systems in Atomic Physics.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
23	Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng	Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently.	FORMATS	2003	DBLP DOI BibTeX RDF
23	Ziv Bar-Joseph, Idit Keidar, Nancy A. Lynch	Early-Delivery Dynamic Atomic Broadcast.	DISC	2002	DBLP DOI BibTeX RDF
23	Maged M. Michael	Safe memory reclamation for dynamic lock-free objects using atomic reads and writes.	PODC	2002	DBLP DOI BibTeX RDF
23	Pascal Felber, Fernando Pedone	Probabilistic Atomic Broadcast.	SRDS	2002	DBLP DOI BibTeX RDF
23	Christian G. Fermüller, Georg Moser, Richard Zach	Tableaux for Reasoning About Atomic Updates.	LPAR	2001	DBLP DOI BibTeX RDF
23	Nancy A. Lynch	Implementing atomic objects in a dynamic environment.	PODC	2001	DBLP DOI BibTeX RDF
23	Marcos Kawazoe Aguilera, Robert E. Strom	Efficient atomic broadcast using deterministic merge.	PODC	2000	DBLP DOI BibTeX RDF
23	Paolo A. G. Sivilotti	A class of synchronization systems that permit the use of large atomic blocks.	CASCON	1998	DBLP BibTeX RDF
23	Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings	On Programming Atomic Actions in Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF
23	Rachid Guerraoui	Revistiting the Relationship Between Non-Blocking Atomic Commitment and Consensus.	WDAG	1995	DBLP DOI BibTeX RDF
23	Jerzy Tiuryn, Mitchell Wand	Type Reconstruction with Recursive Types and Atomic Subtyping.	TAPSOFT	1993	DBLP DOI BibTeX RDF
23	Elliot K. Kolodner, William E. Weihl	Atomic Incremental Garbage Collection and Recovery for a Large Stable Heap.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
23	Lefteris M. Kirousis, Paul G. Spirakis, Philippas Tsigas	Reading Many Variables in One Atomic Operation: Solutions With Linear or Sublinear Complexity.	WDAG	1991	DBLP DOI BibTeX RDF
23	Michael Merritt, Gadi Taubenfeld	Atomic m-Register Operations (Extended Abstract).	WDAG	1991	DBLP DOI BibTeX RDF
23	William E. Weihl	Linguistic Support for Atomic Data Types.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
23	Paulo Veríssimo, Luís E. T. Rodrigues, Mário Baptista	AMp: A Highly Parallel Atomic Multicast Protocol.	SIGCOMM	1989	DBLP DOI BibTeX RDF
23	Roberto Gorrieri, Sergio Marchetti, Ugo Montanari	A²CCS: A Simple Extension of CCS for Handling Atomic Actions.	CAAP	1988	DBLP DOI BibTeX RDF
23	William E. Weihl, Barbara Liskov	Implementation of Resilient, Atomic Data Types.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF	ARGUS
23	Kurt Rothermel	Communication primitives supporting the execution of atomic actions at remote sites.	Comput. Commun. Rev.	1984	DBLP DOI BibTeX RDF
22	Hifza Hafeez, Wenkun Xie, Xichun Luo	Atomic and Close-to-Atomic Scale Manufacturing: Status and Challenges.	ICAC	2023	DBLP DOI BibTeX RDF
22	Xiangqing Shen, Siwei Wu, Rui Xia	Dense-ATOMIC: Towards Densely-connected ATOMIC with High Knowledge Coverage and Massive Multi-hop Paths.	ACL (1)	2023	DBLP DOI BibTeX RDF
22	Xiangqing Shen, Siwei Wu, Rui Xia	Dense-ATOMIC: Construction of Densely-connected and Multi-hop Commonsense Knowledge Graph upon ATOMIC.	CoRR	2022	DBLP DOI BibTeX RDF
22	Romain Amyot, Arin Marchesi, Clemens M. Franz, Ignacio Casuso, Holger Flechsig	Simulation atomic force microscopy for atomic reconstruction of biomolecular structures from resolution-limited experimental images.	PLoS Comput. Biol.	2022	DBLP DOI BibTeX RDF
22	Junjie Wu, Xiaoyu Cai, Yuan Li, Yunxia Fu, Jiasi Wei	Lateral characteristic calibration of an atomic force microscope using a Cr atomic deposition grating.	NEMS	2021	DBLP DOI BibTeX RDF
22	Tomás Racek, Ondrej Schindler, Dominik Tousek, Vladimír Horský, Karel Berka, Jaroslav Koca, Radka Svobodová Vareková	Atomic Charge Calculator II: web-based tool for the calculation of partial atomic charges.	Nucleic Acids Res.	2020	DBLP DOI BibTeX RDF
22	Viktor O. Makarichev, Vladimir V. Lukin, Iryna V. Brysina	Discrete Atomic Compression with Different Structures of Discrete Atomic Transform: Efficiency Comparison and Perspectives of Application to Digital Images Privacy Protection.	DESSERT	2020	DBLP DOI BibTeX RDF
22	Dennis M. Elking	Torque and atomic forces for Cartesian tensor atomic multipoles with an application to crystal unit cell optimization.	J. Comput. Chem.	2016	DBLP DOI BibTeX RDF
22	Djaouida Dahmani, Mohand Cherif Boukala, Hassan Mountassir	A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic Synchronisation.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
22	Vladimír Olejcek	Fractal construction of an atomic Archimedean effect algebra with non-atomic subalgebra of sharp elements.	Kybernetika	2012	DBLP BibTeX RDF
22	Hyun Woo Kim 0004, Young Min Rhee	Molecule-specific determination of atomic polarizabilities with the polarizable atomic multipole model.	J. Comput. Chem.	2012	DBLP DOI BibTeX RDF
22	Vladimír Olejcek	An atomic MV-effect algebra with non-atomic center.	Kybernetika	2007	DBLP BibTeX RDF
22	Gokul Varadhan, Warren Robinett, Dorothy Erie, Russell M. Taylor II	Fast simulation of atomic-force-microscope imaging of atomic and polygonal surfaces using graphics hardware.	Visualization and Data Analysis	2002	DBLP DOI BibTeX RDF
22	Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi 0001	Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs.	Sci. Comput. Program.	1998	DBLP DOI BibTeX RDF
22	Ratneshwar Lal, Roger Proksch	Multimodal atomic force microscopy: Biological imaging using atomic force microscopy combined with light fluorescence and confocal microscopies and electrophysiologic recording.	Int. J. Imaging Syst. Technol.	1997	DBLP DOI BibTeX RDF
22	Paul C. Attie, E. Allen Emerson	Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract).	PODC	1996	DBLP DOI BibTeX RDF
22	James E. Burns, Gary L. Peterson	Constructing Multi-reader Atomic Values From Non-atomic Values.	PODC	1987	DBLP DOI BibTeX RDF
19	Fang Liu, Meng-Cheng Huang, Xuehui Liu, Enhua Wu	FreePipe: a programmable parallel rendering architecture for efficient multi-fragment effects.	SI3D	2010	DBLP DOI BibTeX RDF	depth peeling, multi-fragment effects, order-independent transparency, programmable graphics pipeline, graphics hardware, compute unified device architecture (CUDA), rasterizer, atomic operation
19	Paolo Romano 0002, Roberto Palmieri, Francesco Quaglia, Nuno Carvalho, Luís E. T. Rodrigues	Brief announcement: on speculative replication of transactional systems.	SPAA	2010	DBLP DOI BibTeX RDF	serialization theory, replication, atomic broadcast
19	Sebastian Obermeier 0001, Stefan Böttcher, Martin Hett, Panos K. Chrysanthis, George Samaras	Blocking reduction for distributed transaction processing within MANETs.	Distributed Parallel Databases	2009	DBLP DOI BibTeX RDF	Mobile transaction processing, Adjourn state, Mobile ad-hoc networks, Concurrency control, Validation, Locking, Atomic commit
19	Alfredo Capozucca, Nicolas Guelfi	Designing reliable real-time concurrent object-oriented software systems.	SAC	2009	DBLP DOI BibTeX RDF	fault tolerance, real-time, coordinated atomic actions
19	Flavio Paiva Junqueira, Benjamin C. Reed	The life and times of a zookeeper.	PODC	2009	DBLP DOI BibTeX RDF	fault-tolerance, distributed algorithms, coordination, replication, atomic broadcast
19	Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat	Idempotent work stealing.	PPoPP	2009	DBLP DOI BibTeX RDF	memory barrier, memory fence, atomic, work stealing
19	Juha Puustjärvi	Ensuring recoverability in composing web services.	iiWAS	2009	DBLP DOI BibTeX RDF	web services, orchestration, atomic transactions, WS-coordination
19	Flavio Paiva Junqueira, Benjamin C. Reed	The life and times of a zookeeper.	SPAA	2009	DBLP DOI BibTeX RDF	fault-tolerance, distributed algorithms, coordination, replication, atomic broadcast
19	Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi	Analysis and framework-based design of a fault-tolerant web information system for m-health.	Serv. Oriented Comput. Appl.	2008	DBLP DOI BibTeX RDF	CAA-DRIP, Fault tolerance, SOA, Mobility, Dependability, Coordinated atomic actions
19	Agnieszka Lewandowska, Cezary Mazurek, Marcin Werla	Enrichment of European Digital Resources by Federating Regional Digital Libraries in Poland.	ECDL	2008	DBLP DOI BibTeX RDF	digital libraries federation, coordination of digitization, atomic services, digital object identifiers resolution, networked user profile, metadata harvesting
19	Mary V. Schorn	A unique insight into department of energy research accomplishments: a special collection.	JCDL	2008	DBLP DOI BibTeX RDF	accomplishments, achievements, aec, archaea, atomic energy commission, bubble chamber, buckyball, cancer therapy, computerized axial tomography, cosmic microwave background radiation, cyclotron, department of energy, energy research and development administration, erda, feynman diagrams, government documents, human genome, manhattan project, mri, neutron scattering, nobel prize, nuclear shell model, radioisotope thermoelectric generators, rtg, special collection, success stories, superconductivity, top quark, magnetic resonance imaging, atom, video game, research, history, discoveries, dna, science, positron emission tomography, results, cat, outcomes, solar energy, pet, economic impacts, doe
19	Yuri B. Boiko, Gabriel A. Wainer	Modeling spiking neural terminals in DEVS.	SpringSim	2008	DBLP DOI BibTeX RDF	atomic model, coupled model, neural network, discrete event simulation, DEVS, spiking neuron
19	Michel Raynal	Locks Considered Harmful: A Look at Non-traditional Synchronization.	SEUS	2008	DBLP DOI BibTeX RDF	Adaptive renaming, Lock-free synchronization, Fault-tolerance, Concurrency, Shared memory system, Asynchronous system, Failure detector, Process crash, Atomic register, Synchronization primitive, Wait-free computation
19	Guillaume Millet, Anatole Lécuyer, Jean-Marie Burkhardt, D. Sinan Haliyo, Stephane Régnier	Improving Perception and Understanding of Nanoscale Phenomena Using Haptics and Visual Analogy.	EuroHaptics	2008	DBLP DOI BibTeX RDF	Visual analogy, Atomic force microscopy, Haptic feedback, Computer-assisted instruction