Search results for "Atomic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Alexander B. Romanovsky, Jörg Kienzle	Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems.	Advances in Exception Handling Techniques	2000	DBLP DOI BibTeX RDF
18	Michael Walter 0004, Alexandra Psarrou, Shaogang Gong	An Incremental Approach towards Automatic Model Acquisition for Human Gesture Recognition.	Workshop on Human Motion	2000	DBLP DOI BibTeX RDF	automatic model acquisition, human gesture recognition, training examples, semicontinuous hidden Markov models, image segmentation, image segmentation, hidden Markov models, image sequences, image sequences, gesture recognition, CONDENSATION, phonemes, incremental approach
18	Matthias Baaz, Alexander Leitsch, Georg Moser	System Description: CutRes 0.1: Cut Elimination by Resolution.	CADE	1999	DBLP DOI BibTeX RDF
18	Laura Firoiu, Paul R. Cohen	Learning Elements of Representations for Redescribing Robot Experiences.	IDA	1999	DBLP DOI BibTeX RDF
18	Lars Kirkegaard Bækdal, Bent Bruun Kristensen	Aggregation from Multiple Perspectives by Roles.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	Modeling, aggregation, roles, perspectives, properties
18	Martin C. Rinard	Effective Fine-Grain Synchronization for Automatically Parallelized Programs Using Optimistic Synchronization Primitives.	PPoPP	1997	DBLP DOI BibTeX RDF
18	Marina Papatriantafilou, Philippas Tsigas	How a Rainbow Coloring Function Can Simulate Wait-Free Handshaking.	MFCS	1994	DBLP DOI BibTeX RDF
18	Per Kreuger	Axioms in Definitional Calculi.	ELP	1993	DBLP DOI BibTeX RDF
18	Mireille Clerbout, D. Gonzalez	Decomposition of Semi Commutations.	MFCS	1990	DBLP DOI BibTeX RDF
18	Frank D. Anger	On Lamport's Interprocessor Communication Model.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
18	Robert A. Kowalski	The Treatment of Negation in Logic Programs for Representing Legislation.	ICAIL	1989	DBLP DOI BibTeX RDF
18	Peter Wegner	Granularity of modules in object-based concurrent systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
18	Maurice Herlihy	Taking concurrency seriously (position paper).	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
18	Jo-Mei Chang	Simplifying Distributed Database Systems Design by Using a Broadcast Network.	SIGMOD Conference	1984	DBLP DOI BibTeX RDF
17	Cagdas D. Onal, Onur Özcan, Metin Sitti	Automated 2-D nanoparticle manipulation with an atomic force microscope.	ICRA	2009	DBLP DOI BibTeX RDF
17	Dongdong Zhang, Xiaoping Qian	Scanning in atomic force microscopy.	ICRA	2009	DBLP DOI BibTeX RDF
17	Umang Bhaskar, Lisa Fleischer, Darrell Hoy, Chien-Chung Huang	Equilibria of atomic flow games are not unique.	SODA	2009	DBLP DOI BibTeX RDF
17	Ruiguo Yang, Ning Xi 0001, King Wai Chiu Lai, Bingtuan Gao, Hongzhi Chen, Chanmin Su, Jian Shi	Motion controller for the Atomic Force Microscopy based nanomanipulation system.	IROS	2009	DBLP DOI BibTeX RDF
17	Zhuxin Dong, Uchechukwu C. Wejinya, Imad H. Elhajj, M. Meyyappan	Characterization of vertically aligned carbon nanofibers grown on Ni dots nanoelectrode array using Atomic Force Microscopy.	IROS	2009	DBLP DOI BibTeX RDF
17	Serge Autexier, Dominik Dietrich	Atomic Metadeduction.	KI	2009	DBLP DOI BibTeX RDF
17	Martin Hoefer 0001, Alexander Skopalik	Altruism in Atomic Congestion Games.	ESA	2009	DBLP DOI BibTeX RDF
17	Burkhard Englert, Chryssis Georgiou, Peter M. Musial, Nicolas C. Nicolaou, Alexander A. Shvartsman	On the Efficiency of Atomic Multi-reader, Multi-writer Distributed Memory.	OPODIS	2009	DBLP DOI BibTeX RDF
17	Nicolas Bonneau, Mérouane Debbah, Eitan Altman, Are Hjørungnes	Non-Atomic Games for Multi-User Systems.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
17	Benjamin Berkels, Andreas Rätz, Martin Rumpf, Axel Voigt	Extracting Grain Boundaries and Macroscopic Deformations from Images on Atomic Scale.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Elastic lattice deformation, Grain boundary extraction, Phase field crystal model, Transmission electron microscopy, Image segmentation
17	Sotirios A. Tsaftaris, Jana Zujovic, Aggelos K. Katsaggelos	Automated line flattening of Atomic Force Microscopy images.	ICIP	2008	DBLP DOI BibTeX RDF
17	Dimitris Fotakis 0001, Alexis C. Kaporis, Paul G. Spirakis	Atomic Congestion Games: Fast, Myopic and Concurrent.	SAGT	2008	DBLP DOI BibTeX RDF
17	Lianqing Liu, Ning Xi 0001, Yilun Luo, Yuechao Wang, Jiangbo Zhang, Guangyong Li	Detection and real-time correction of faulty visual feedback in atomic force microscopy based nanorobotic manipulation.	ICRA	2008	DBLP DOI BibTeX RDF
17	Domenico Redavid, Luigi Iannone, Terry R. Payne, Giovanni Semeraro	OWL-S Atomic Services Composition with SWRL Rules.	ISMIS	2008	DBLP DOI BibTeX RDF
17	Charles Soussen, David Brie, Fabien Gaboriaud, Cyril Kessler	Modeling of force-volume images in atomic force microscopy.	ISBI	2008	DBLP DOI BibTeX RDF
17	Bob L. Sturm, John J. Shynk, Steffen Gauglitz	Agglomerative clustering in sparse atomic decompositions of audio signals.	ICASSP	2008	DBLP DOI BibTeX RDF
17	Emili Miedes, Francesc D. Muñoz-Escoí, Hendrik Decker	Reducing Transaction Abort Rates with Prioritized Atomic Multicast Protocols.	Euro-Par	2008	DBLP DOI BibTeX RDF
17	Ching-Hsien Hsu, Tai-Lung Chen, Bing-Ru Tsai, Kuan-Ching Li	Scheduling for Atomic Broadcast Operation in Heterogeneous Networks with One Port Model.	GPC	2008	DBLP DOI BibTeX RDF
17	Andrew Lutomirski, Victor Luchangco	Efficient Large Almost Wait-Free Single-Writer Multireader Atomic Registers.	OPODIS	2008	DBLP DOI BibTeX RDF
17	Savino Longo, Paola Diomede, Annarita Laricchiuta, Gianpiero Colonna, Mario Capitelli, Daniela Ascenzi, Mario Scotoni, Paolo Tosi, Fernando Pirani	From Microscopic to Macroscopic Modeling of Supersonic Seeded Atomic Beam.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	Molecular beams, interaction potential, Monte Carlo simulation, cross sections
17	Subhash Suri, Csaba D. Tóth, Yunhong Zhou	Selfish Load Balancing and Atomic Congestion Games.	Algorithmica	2007	DBLP DOI BibTeX RDF
17	Basavaraj Shivappa Kademani, Vijai Kumar, Ganesh Surwase, Anil Sagar, Lalit Mohan, Anil Kumar, C. R. Gaderao	Research and citation impact of publications by the Chemistry Division at Bhabha Atomic Research Centre.	Scientometrics	2007	DBLP DOI BibTeX RDF
17	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
17	Babak Mokaberi, Jaehong Yun, Michael Wang, Aristides A. G. Requicha	Automated Nanomanipulation with Atomic Force Microscopes.	ICRA	2007	DBLP DOI BibTeX RDF
17	R. T. Jim Eales, Dharani Priyahansika Perera	Creativity support: insights from the practices of digital-atomic artists.	BCS HCI (1)	2007	DBLP DOI BibTeX RDF	artist case studies, creativity support systems, creativity
17	Dimitris Fotakis 0001	Stackelberg Strategies for Atomic Congestion Games.	ESA	2007	DBLP DOI BibTeX RDF
17	Dimitris Fotakis 0001, Paul G. Spirakis	Cost-Balancing Tolls for Atomic Network Congestion Games.	WINE	2007	DBLP DOI BibTeX RDF
17	Rishiyur S. Nikhil	Composable Guarded Atomic Actions: a Bridging Model for SoC Design.	ACSD	2007	DBLP DOI BibTeX RDF
17	Pawel Boguslawski, Christopher M. Gold	Atomic Operators for Construction and Manipulation of the Augmented Quad-Edge.	CISIM	2007	DBLP DOI BibTeX RDF
17	Sundeep Narravula, A. Marnidala, Abhinav Vishnu, Karthikeyan Vaidyanathan, Dhabaleswar K. Panda 0001	High Performance Distributed Lock Management Services using Network-based Remote Atomic Operations.	CCGRID	2007	DBLP DOI BibTeX RDF
17	Benjamin Berkels, Andreas Rätz, Martin Rumpf, Axel Voigt	Identification of Grain Boundary Contours at Atomic Scale.	SSVM	2007	DBLP DOI BibTeX RDF
17	Joonghyun Ryu, Rhohun Park, Deok-Soo Kim	Connolly Surface on an Atomic Structure via Voronoi Diagram of Atoms.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	Connolly/molecular surface, Voronoi diagram of atoms, protein, ?-shape, blending surface
17	Lo Ming Fok, Yun-Hui Liu, Wen Jung Li	Fabrication and Characterization of nanowires by Atomic Force Microscope Lithography.	IROS	2006	DBLP DOI BibTeX RDF
17	Jiangbo Zhang, Ning Xi 0001, Guangyong Li, Chanmin Su	Atomic Force Microscopy Sensing Using Multiple Modes.	IROS	2006	DBLP DOI BibTeX RDF
17	Roberto Cominetti, José R. Correa, Nicolás E. Stier Moses	Network Games with Atomic Players.	ICALP (1)	2006	DBLP DOI BibTeX RDF
17	Rodrigo Sanger Alves, Lisandro Zambenedetti Granville, Maria Janilce Bosquiroli Almeida, Liane Margarida Rockenbach Tarouco	A Protocol for Atomic Deployment of Management Policies in QoS-Enabled Networks.	IPOM	2006	DBLP DOI BibTeX RDF
17	Fang Wei, Glenn D. Blank	Student Modeling with Atomic Bayesian Networks.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
17	Naeem Ramzan, Ebroul Izquierdo	Joint source-channel coding for scalable video atomic bitstream by adaptive turbo code.	MobiMedia	2006	DBLP DOI BibTeX RDF	double binary turbo code, joint source and channel coding, scalable video coding, turbo code
17	Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo	CAA-DRIP: a framework for implementing Coordinated Atomic Actions.	ISSRE	2006	DBLP DOI BibTeX RDF
17	Ying Li, Youngja Park, Chitra Dorai	Atomic topical segments detection for instructional videos.	ACM Multimedia	2006	DBLP DOI BibTeX RDF	instructional video content analysis, multimodal feature integration, text analysis, video segmentation
17	Piotr Zielinski	Low-latency Atomic Broadcast in the presence of contention.	DISC	2006	DBLP DOI BibTeX RDF
17	Michel Leclère, Marie-Laure Mugnier	Simple Conceptual Graphs with Atomic Negation and Difference.	ICCS	2006	DBLP DOI BibTeX RDF
17	Lei Li, Huaimin Wang, Dian-xi Shi, Hui Liu	An Efficient Optimistic Atomic Broadcast Algorithm.	GCC Workshops	2006	DBLP DOI BibTeX RDF
17	Duan-Yu Chen, Sheng-Wen Shih, Hong-Yuan Mark Liao	Atomic Human Action Segmentation Using a Spatio-Temporal Probabilistic Framework.	IIH-MSP	2006	DBLP DOI BibTeX RDF
17	Song Shen, Gregory M. P. O'Hare, David Marsh, Dermot Diamond, Donal O'Kane	AToM: Atomic Topology Management of Wireless Sensor Networks.	Autonomic Networking	2006	DBLP DOI BibTeX RDF	Wireless Sensor Network, Autonomic Networking, Topology Management
17	Costas Busch, Malik Magdon-Ismail	Atomic Routing Games on Maximum Congestion.	AAIM	2006	DBLP DOI BibTeX RDF
17	Chryssis Georgiou, Nicolas C. Nicolaou, Alexander A. Shvartsman	Fault-tolerant semifast implementations of atomic read/write registers.	SPAA	2006	DBLP DOI BibTeX RDF	communication rounds, read/write registers, fault-tolerance, distributed algorithms, atomicity
17	Zunce Wei, Hon Fung Li, Dhrubajyoti Goswami	A Locality-Driven Atomic Group Checkpoint Protocol.	PDCAT	2006	DBLP DOI BibTeX RDF
17	Robert Schaefer	Systems of systems and coordinated atomic actions.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
17	Bo Kampmann Walther	Atomic actions - molecular experience: theory of pervasive gaming.	Comput. Entertain.	2005	DBLP DOI BibTeX RDF	game rules, game space, game theory, pervasive gaming, game-play, ludology
17	Zhiyuan Shao, Hai Jin 0001, Wenbin Jiang, Bin Cheng 0001	TCP-ABC: From Multiple TCP Connections to Atomic Broadcasting.	NPC	2005	DBLP DOI BibTeX RDF
17	Lukas Pichl, Manabu Suzuki, Kazuyuki Joe, Akira Sasaki	Networked Mining of Atomic and Molecular Data from Electronic Journal Databases on the Internet.	DNIS	2005	DBLP DOI BibTeX RDF
17	Elena Akhmatova, Diego Mollá	Recognizing Textual Entailment Via Atomic Propositions.	MLCW	2005	DBLP DOI BibTeX RDF
17	Klaus Kursawe, Victor Shoup	Optimistic Asynchronous Atomic Broadcast.	ICALP	2005	DBLP DOI BibTeX RDF
17	Spyros C. Kontogiannis, Paul G. Spirakis	Atomic Selfish Routing in Networks: A Survey.	WINE	2005	DBLP DOI BibTeX RDF
17	Stefano Aguzzoli, Ottavio M. D'Antona, Vincenzo Marra	Brun Normal Forms for Co-atomic Lukasiewicz Logics.	ECSQARU	2005	DBLP DOI BibTeX RDF
17	David W. Bauer, Garrett R. Yaun, Christopher D. Carothers, Murat Yuksel, Shivkumar Kalyanaraman	Seven-O'Clock: A New Distributed GVT Algorithm Using Network Atomic Operations.	PADS	2005	DBLP DOI BibTeX RDF
17	Chuanfu Zhang, Yunsheng Liu, Tong Zhang 0008, Yabing Zha, Kedi Huang	A Deadlock Prevention Approach based on Atomic Transaction for Resource Co-allocation.	SKG	2005	DBLP DOI BibTeX RDF
17	Kun-Nan Chen, Jen-Ching Huang	Analysis of Tip Effects on the Dynamic Characteristics of V-shaped Atomic Force Microscope Probes.	ICMENS	2005	DBLP DOI BibTeX RDF
17	Cícero Nogueira dos Santos, Claudia Oliveira	Constrained Atomic Term: Widening the Reach of Rule Templates in Transformation Based Learning.	EPIA	2005	DBLP DOI BibTeX RDF
17	Simeon Veloudis, Nimal Nissanke	An approach to modelling and analysis of coordinated atomic actions.	ETFA	2005	DBLP DOI BibTeX RDF
17	Yannis Haralambous, Gábor Bella	Injecting information into atomic units of text.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	OpenType, multilingual typesetting, texteme, SVG, character, PDF, Unicode, glyph, omega
17	Wim H. Hesselink	An assertional proof for a construction of an atomic variable.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Invariant, Atomicity, Wait-free, Safeness
17	Andreas Larsson, Anders Gidenstam, Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas	Multi-word Atomic Read/Write Registers on Multiprocessor Systems.	ESA	2004	DBLP DOI BibTeX RDF
17	Nicolas Guelfi, Guillaume Le Cousin, Benoît Ries	Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions.	OTM Workshops	2004	DBLP DOI BibTeX RDF	Cross-enterprise business processes modeling, fault-tolerance, UML, verification, validation, methodology, tools, advanced transaction model
17	Carsten Lutz, Dirk Walther 0002	PDL with Negation of Atomic Programs.	IJCAR	2004	DBLP DOI BibTeX RDF
17	Azzedine Boukerche, Diego Daniel Duarte, Regina Borges de Araujo	VEML: A Mark Up Language to Describe Web-Based Virtual Environment through Atomic Simulations.	DS-RT	2004	DBLP DOI BibTeX RDF
17	Laurent Mazaré	Decidability of Opacity with Non-Atomic Keys.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	Dolev-Yao Constraints, Security, Formal Verification, Decidability, Rewriting Systems, Opacity
17	Subhash Suri, Csaba D. Tóth, Yunhong Zhou	Selfish load balancing and atomic congestion games.	SPAA	2004	DBLP DOI BibTeX RDF	load balancing, nash equilibrium, greedy algorithm, price of anarchy, congestion game
17	Vijay Kumar 0002	Sensor: the atomic computing particle.	SIGMOD Rec.	2003	DBLP DOI BibTeX RDF
17	Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman	RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks.	DSN	2003	DBLP DOI BibTeX RDF
17	Christof Fetzer, Karin Högstedt, Pascal Felber	Automatic Detection and Masking of Non-Atomic Exception Handling.	DSN	2003	DBLP DOI BibTeX RDF
17	Péter Urbán, Ilya Shnayderman, André Schiper	Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms.	DSN	2003	DBLP DOI BibTeX RDF
17	Mikkel Thorup	On AC0 implementations of fusion trees and atomic heaps.	SODA	2003	DBLP BibTeX RDF
17	Haitham S. Hamza, Mohamed E. Fayad	Engineering and reusing stable atomic knowledge (SAK) patterns.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	software stability model, stable analysis patterns, business objects, enduring business themes
17	Roni Rosner, Micha Moffie, Yiannakis Sazeides, Ronny Ronen	Selecting long atomic traces for high coverage.	ICS	2003	DBLP DOI BibTeX RDF	trace atomicity, trace processors, trace selection, trace cache
17	Jerzy Brzezinski, Michal Szychowiak	An Extended Atomic Consistency Protocol for Recoverable DSM Systems.	PPAM	2003	DBLP DOI BibTeX RDF
17	Avelino F. Zorzo, Panayiotis Periorellis, Alexander B. Romanovsky	Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience.	WORDS	2003	DBLP DOI BibTeX RDF
17	Jie Tang 0001, Juan-Zi Li, Kehong Wang, Yue-Ru Cai	Research of Satisfying Atomic and Anonymous Electronic Commerce Protocol.	GCC (2)	2003	DBLP DOI BibTeX RDF
17	Elisa Ficarra, Luca Benini, Bruno Riccò, Giampaolo Zuccheri	Automated DNA sizing in atomic force microscope images.	ISBI	2002	DBLP DOI BibTeX RDF
17	Samuel G. Webster, Matthias K. Gobbert, Jean-François Remacle, Timothy S. Cale	Parallel Numerical Solution of the Boltzmann Equation for Atomic Layer Deposition (Research Note).	Euro-Par	2002	DBLP DOI BibTeX RDF
17	Nancy A. Lynch, Dahlia Malkhi, David Ratajczak	Atomic Data Access in Distributed Hash Tables.	IPTPS	2002	DBLP DOI BibTeX RDF
17	Nancy A. Lynch, Alexander A. Shvartsman	RAMBO: A Reconfigurable Atomic Memory Service for Dynamic Networks.	DISC	2002	DBLP DOI BibTeX RDF
17	Sandip Dey, Arindam Pal 0001	A Token-Based Distributed Algorithm for Total Order Atomic Broadcast.	IWDC	2002	DBLP DOI BibTeX RDF
17	Udo Fritzke Jr., Philippe Ingels	Transactions on Partially Replicated Data Based on Reliable and Atomic Multicasts.	ICDCS	2001	DBLP DOI BibTeX RDF
17	Alexander B. Romanovsky	Looking Ahead in Atomic Actions with Exception Handling.	SRDS	2001	DBLP DOI BibTeX RDF