Search results for "atomic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Stefania Bandini, Davide Bogni, Sara Manzoni, Alessandro Mosca 0001	ST-Modal Logic to Correlate Traffic Alarms on Italian Highways: Project Overview and Example Installations.	IEA/AIE	2005	DBLP DOI BibTeX RDF
12	Liqiang Wang, Scott D. Stoller	Static analysis of atomicity for programs with non-blocking synchronization.	PPoPP	2005	DBLP DOI BibTeX RDF	verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking
12	Jon Oldevik	Transformation Composition Modelling Framework.	DAIS	2005	DBLP DOI BibTeX RDF
12	Joseph Sifakis	A Framework for Component-based Construction Extended Abstract.	SEFM	2005	DBLP DOI BibTeX RDF
12	Raihan Al-Ekram, Archana Adma, Olga Baysal	diffX: an algorithm to detect changes in multi-version XML documents.	CASCON	2005	DBLP BibTeX RDF	XML
12	Daniel C. Cole, Yi Zou	Simulation Study of Aspects of the Classical Hydrogen Atom Interacting with Electromagnetic Radiation: Circular Orbits.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	Hydrogen, Rydberg, simulation, stochastic, electrodynamics
12	Jean-François Condotta	A General Qualitative Framework for Temporal and Spatial Reasoning.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	temporal and spatial qualitative reasoning, preconvexity, complexity, constraint networks, interval algebra, generalized intervals
12	Mitsunori Takano, Junichi Higo, Hironori K. Nakamura, Masaki Sasai	On the model granularity to simulate protein dynamics: A biological physics view on biomolecular computing.	Nat. Comput.	2004	DBLP DOI BibTeX RDF	coarse-grained model, collective motion, essential dynamics, simulation, robustness, structure, function
12	Yinian Mao, Min Wu 0001	Security evaluation for communication-friendly encryption of multimedia.	ICIP	2004	DBLP DOI BibTeX RDF
12	Mark Sh. Levin, Mark Last	Multi-Function System Testing: Composition of Test Sets.	HASE	2004	DBLP DOI BibTeX RDF
12	Vicent Cholvi, Antonio Fernández 0001, Ernesto Jiménez, Michel Raynal	A Methodological Construction of an Efficient Sequential Consistency Protocol.	NCA	2004	DBLP DOI BibTeX RDF
12	Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani	TO-Lock: Removing Lock Overhead Using the Owners' Temporal Locality.	IEEE PACT	2004	DBLP DOI BibTeX RDF
12	Carina F. Dorneles, Carlos A. Heuser, Andrei E. N. Lima, Altigran Soares da Silva, Edleno Silva de Moura	Measuring similarity between collection of values.	WIDM	2004	DBLP DOI BibTeX RDF	vague queries, XML, similarity functions, imprecise queries
12	Georgia Koutrika, Yannis E. Ioannidis	Personalization of Queries in Database Systems.	ICDE	2004	DBLP DOI BibTeX RDF
12	Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia C. Chesley	Chianti: a tool for change impact analysis of java programs.	OOPSLA	2004	DBLP DOI BibTeX RDF	analysis of object-oriented programs, regression test, unit test, change impact analysis
12	Michael J. Butler, C. A. R. Hoare, Carla Ferreira 0001	A Trace Semantics for Long-Running Transactions.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
12	Gabriel Aguilera 0001, Pablo Cordero, Manuel Enciso, Ángel Mora 0001, Inmaculada Perez de Guzmán	A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic.	SBIA	2004	DBLP DOI BibTeX RDF
12	Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner	Coverage Metrics for Continuous Function Charts.	ISSRE	2004	DBLP DOI BibTeX RDF	mixed continuous-discrete and real-time systems, model-based testing, Integration testing, data flow testing, block diagrams, MC/DC
12	Gadi Taubenfeld	The Black-White Bakery Algorithm and Related Bounded-Space, Adaptive, Local-Spinning and FIFO Algorithms.	DISC	2004	DBLP DOI BibTeX RDF
12	Greta Yorsh, Thomas W. Reps, Shmuel Sagiv	Symbolically Computing Most-Precise Abstract Operations for Shape Analysis.	TACAS	2004	DBLP DOI BibTeX RDF
12	Peter Z. Revesz	Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints.	ADBIS	2004	DBLP DOI BibTeX RDF
12	Yanchang Zhao, Chengqi Zhang, Yi-Dong Shen	Clustering High-Dimensional Data with Low-Order Neighbors.	Web Intelligence	2004	DBLP DOI BibTeX RDF
12	Luís Miguel Pinho, Francisco Vasques	Reliable Real-Time Communication in CAN Networks.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	real-time systems, Communication protocols, fault-tolerant systems, controller area network
12	François Goasdoué, Marie-Christine Rousset	Querying Distributed Data through Distributed Ontologies: A Simple but Scalable Approach.	IEEE Intell. Syst.	2003	DBLP DOI BibTeX RDF	general systems theory, Semantic Web, knowledge representation, information theory, languages, information integration
12	Abhik Roychoudhury, P. S. Thiagarajan	Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
12	Jaime Seguel, Daniel Burbano	A Scalable Crystallographic FFT.	PVM/MPI	2003	DBLP DOI BibTeX RDF
12	Daeho Lim, Kyungsook Han	Mining RNA Structure Elements from the Structure Data of Protein-RNA Complexes.	Discovery Science	2003	DBLP DOI BibTeX RDF
12	Alexander B. Romanovsky, Panos Periorellis, Avelino F. Zorzo	Structuring Integrated Web Applications for Fault Tolerance.	ISADS	2003	DBLP DOI BibTeX RDF
12	Maged M. Michael	CAS-Based Lock-Free Algorithm for Shared Deques.	Euro-Par	2003	DBLP DOI BibTeX RDF
12	Dimitra Giannakopoulou, Jeff Magee	Fluent model checking for event-based systems.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	model-checking, linear temporal logic, software architecture analysis
12	Marie-Laure Reinberger, Peter Spyns, Walter Daelemans, Robert Meersman	Mining for Lexons: Applying Unsupervised Learning Methods to Create Ontology Bases.	OTM	2003	DBLP DOI BibTeX RDF	selectional restriction, co-composition, clustering, ontology, machine learning, semantic web, knowledge representation, text mining
12	Luc Florack, Remco Duits	Regularity Classes for Locally Orderless Images.	Scale-Space	2003	DBLP DOI BibTeX RDF
12	Feilong Tang, Minglu Li 0001, Jian Cao 0001, Qianni Deng	Coordinating Business Transaction for Grid Service.	GCC (1)	2003	DBLP DOI BibTeX RDF
12	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Bastian Pochon	Distributed Programming for Dummies: A Shifting Transformation Technique.	SRDS	2003	DBLP DOI BibTeX RDF
12	Ferda Tartanoglu, Valérie Issarny, Alexander B. Romanovsky, Nicole Lévy	Coordinated Forward Error Recovery for Composite Web Services.	SRDS	2003	DBLP DOI BibTeX RDF
12	Wim H. Hesselink	An assertional criterion for atomicity.	Acta Informatica	2002	DBLP DOI BibTeX RDF
12	Xiong Wang, Jason Tsong-Li Wang, Dennis E. Shasha, Bruce A. Shapiro, Isidore Rigoutsos, Kaizhong Zhang	Finding Patterns in Three-Dimensional Graphs: Algorithms and Applications to Scientific Data Mining.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	classification and clustering, structural pattern discovery, biochemistry, data mining, KDD, medicine, geometric hashing
12	Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui	A Realistic Look At Failure Detectors.	DSN	2002	DBLP DOI BibTeX RDF
12	Christian Cachin, Jonathan A. Poritz	Secure Intrusion-tolerant Replication on the Internet.	DSN	2002	DBLP DOI BibTeX RDF
12	Neil Henderson, Stephen Paynter	The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism.	FME	2002	DBLP DOI BibTeX RDF	retrieve relation, refinement, asynchronous communication, reification
12	Harry Wechsler, Zoran Duric, Fayin Li	Hierarchical Interpretation of Human Activities Using Competitive Learning.	ICPR (2)	2002	DBLP DOI BibTeX RDF
12	Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin	Minimal Byzantine Storage.	DISC	2002	DBLP DOI BibTeX RDF
12	Jason Cong, Joey Y. Lin, Wangning Long	A new enhanced SPFD rewiring algorithm.	ICCAD	2002	DBLP DOI BibTeX RDF
12	Anthony J. Roy, John G. Stell	A Qualitative Account of Discrete Space.	GIScience	2002	DBLP DOI BibTeX RDF
12	Davi de Castro Reis, Robson Braga Araújo, Altigran Soares da Silva, Berthier A. Ribeiro-Neto	A Framework for Generating Attribute Extractors for Web Data Sources.	SPIRE	2002	DBLP DOI BibTeX RDF
12	L. Jean Camp	An Atomicity-Generating Protocol for Anonymous Currencies.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	transaction security, fault tolerance, Reliability, electronic commerce
12	Luís Miguel Pinho, Francisco Vasques	Timing Analysis of Reliable Real-Time Communication in CAN Networks.	ECRTS	2001	DBLP DOI BibTeX RDF
12	Adelino R. Ferreira da Silva	A Pursuit Architecture for Signal Analysis.	EvoWorkshops	2001	DBLP DOI BibTeX RDF
12	Carole Delporte-Gallet, Hugues Fauconnier	An example of Real-Time Group Communication System.	ICDCS Workshops	2001	DBLP DOI BibTeX RDF	timed asynchronous, fault tolerance, real time, distributed algorithm
12	Bernadette Charron-Bost	Agreement Problems in Fault-Tolerant Distributed Systems.	SOFSEM	2001	DBLP DOI BibTeX RDF
12	Tianshu Wang, Heung-Yeung Shum, Ying-Qing Xu, Nanning Zheng 0001	Unsupervised Analysis of Human Gestures.	IEEE Pacific Rim Conference on Multimedia	2001	DBLP DOI BibTeX RDF
12	Zheng Zhang 0001, Christos T. Karamanolis	Designing a Robust Namespace for Distributed File Services.	SRDS	2001	DBLP DOI BibTeX RDF
12	Yves Chiaramella	Information Retrieval and Structured Documents.	ESSIR	2000	DBLP DOI BibTeX RDF
12	Mohan M. Trivedi, Shailendra K. Bhonsle, Amarnath Gupta	Database Architecture for Autonomous Transportation Agents for On-Scene Networked Incident Management (ATON).	ICPR	2000	DBLP DOI BibTeX RDF
12	Ronald G. Ross	Expressing Business Rules.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
12	Tomi Janhunen	Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs.	Computational Logic	2000	DBLP DOI BibTeX RDF
12	Yehuda Afek, Pazi Boxer, Dan Touitou	Bounds on the shared memory requirements for long-lived adaptive objects (extended abstract).	PODC	2000	DBLP DOI BibTeX RDF
12	Burkhard Englert, Alexander A. Shvartsman	Graceful Quorum Reconfiguration in a Robust Emulation of Shared Memory.	ICDCS	2000	DBLP DOI BibTeX RDF
12	Arend Rensink	Action Contraction.	CONCUR	2000	DBLP DOI BibTeX RDF
12	Thomas A. Henzinger	Masaccio: A Formal Model for Embedded Components.	IFIP TCS	2000	DBLP DOI BibTeX RDF
12	Marc Pauly	From Programs to Games: Invariance and Safety for Bisimulation.	CSL	2000	DBLP DOI BibTeX RDF
12	Noboru Tanabe, Junji Yamamoto, Hiroaki Nishi, Tomohiro Kudoh, Yoshihiro Hamada, Hironori Nakajo, Hideharu Amano	On-the-fly Sending: A Low Latency High Bandwidth Message Transfer Mechanism.	ISPAN	2000	DBLP DOI BibTeX RDF
12	Michel Hurfin, Michel Raynal	A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Fault-tolerance, Asynchronous distributed systems, Crash failures, Unreliable failure detectors, Consensus problem
12	J. C. Lagarias 0001	Geometric Models for Quasicrystals II. Local Rules Under Isometries.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
12	Mark Minas	Creating Semantic Representations of Diagrams.	AGTIVE	1999	DBLP DOI BibTeX RDF
12	Roman Durikovic, Teruaki Motooka	Molecular Dynamics Simulation and Visualization.	IV	1999	DBLP DOI BibTeX RDF	Particle Model, Molecular Dynamics, Material Science
12	Rainer Koschke	An Incremental Semi-Automatic Method for Component Recovery.	WCRE	1999	DBLP DOI BibTeX RDF
12	Nadjib Badache, Michel Hurfin, Raimundo José de Araújo Macêdo	Solving the consensus problem in a mobile environment.	IPCCC	1999	DBLP DOI BibTeX RDF
12	Wissam Hlayhel, Jacques Henri Collet, Laurent Fesquet	Implementing Snoop-Coherence Protocol for Future SMP Architectures.	Euro-Par	1999	DBLP DOI BibTeX RDF
12	Roman Durikovic, Teruaki Motooka	Modeling Material Behavior: Molecular Dynamics Simulation and Visualization.	Shape Modeling International	1999	DBLP DOI BibTeX RDF
12	Nina T. Bhatti, Matti A. Hiltunen, Richard D. Schlichting, Wanda Chiu	Coyote: A System for Constructing Fine-Grain Configurable Communication Services.	ACM Trans. Comput. Syst.	1998	DBLP DOI BibTeX RDF	x-kernal, configurable sevices, event handlers, event-driven execution, microprotocols, mobile computing, protocols, multicast, modularity, customization, remote procedure call, membership
12	John T. Robinson, Murthy V. Devarakonda	Note on a Problem with Reed and Long's FBR Results.	ACM SIGOPS Oper. Syst. Rev.	1997	DBLP DOI BibTeX RDF
12	T. E. Hastings, A. S. M. Sajeev	A Vector Based Software Size Measure.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF
12	Ilkka Kokkarinen, Doron A. Peled, Antti Valmari	Relaxed Visibility Enhances Partial Order Reduction.	CAV	1997	DBLP DOI BibTeX RDF
12	Jean-Francois Girard, Rainer Koschke, Georg Schied	Comparison of Abstract Data Type and Abstract State Encapsulation Detection Techniques for Architectural Understanding.	WCRE	1997	DBLP DOI BibTeX RDF
12	Marcello M. Bonsangue, Joost N. Kok	Specifying Computations Using Hyper Transition Systems.	MFCS	1997	DBLP DOI BibTeX RDF
12	Prasad Jayanti, Sanjay Khanna	On the Power of Multi-objects.	WDAG	1997	DBLP DOI BibTeX RDF	waitfree, implementation, multi-objects, shared objects, object hierarchy
12	Marcos Kawazoe Aguilera, Wei Chen 0013, Sam Toueg	Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication.	WDAG	1997	DBLP DOI BibTeX RDF
12	Ying-Yi Huang, Mart L. Molle	An Improved Topology Discovery Algorithm for Networks with Wormhole Routing and Directed Links.	ICCCN	1997	DBLP DOI BibTeX RDF
12	Paolo Frasconi	An Introduction to Learning Structured Information.	Summer School on Neural Networks	1997	DBLP DOI BibTeX RDF
12	Ming Li 0001, John Tromp, Paul M. B. Vitányi	How to Share Concurrent Wait-Free Variables.	J. ACM	1996	DBLP DOI BibTeX RDF	concurrent reading and writing, multi-writer, shared variable (register), atomicity
12	Jim Smith, Santosh K. Shrivastava	A System for Fault-Tolerance Execution of Data and Compute Intensive Programs over a Network of Workstations.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
12	Hagit Attiya	Efficient and Robust Sharing of Memory in Message-Passing Systems (Extended Abstract).	WDAG	1996	DBLP DOI BibTeX RDF
12	G. J. Blinowski	A Shared Memory model based on the Dataflow paradigm.	PDP	1995	DBLP DOI BibTeX RDF	dataflow paradigm, autonomous processing elements, single assignment principle, multi-dimensional addressing, associative data access primitives, associative data read, tightly coupled, heterogenous machines, distributed processing, computer networks, computer network, shared memory systems, data flow computing, shared memory model
12	Özalp Babaoglu, Renzo Davoli, Luigi-Alberto Giachini, Paolo Sabattini	The Inherent Cost of Strong-Partial View-Synchronous Communication.	WDAG	1995	DBLP DOI BibTeX RDF
12	Werner Dubitzky, Alfons Schuster, John G. Hughes, David A. Bell	Conceptual Distance of Numerically Specified Case Features.	ANNES	1995	DBLP DOI BibTeX RDF	Case-Based Reasoning, Fuzzy Set Theory
12	Vijay Karamcheti, Andrew A. Chien	A Comparison of Architectural Support for Messaging in the TMC CM-5 and the Cray T3D.	ISCA	1995	DBLP DOI BibTeX RDF
12	Amos Israeli, Asaf Shirazi	The Time Complexity of Updating Snapshot Memories.	ESA	1994	DBLP DOI BibTeX RDF
12	Javier Esparza	On the Decidability of Model Checking for Several µ-calculi and Petri Nets.	CAAP	1994	DBLP DOI BibTeX RDF
12	Elisabetta Bruzzone, Leila De Floriani, Monica Pellegrinelli	A Hierarchical Spatial Index for Cell Complexes.	SSD	1993	DBLP DOI BibTeX RDF
12	Rainer Gawlick, Nancy A. Lynch, Nir Shavit	Concurrent Timestamping Made Simple.	ISTCS	1992	DBLP DOI BibTeX RDF
12	David B. Lomet, Betty Salzberg	Access Method Concurrency with Recovery.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
12	Rachid Guerraoui, Riccardo Capobianchi, Agnes Lanusse, Pierre Roux	Nesting Actions through Asynchronous Message Passing: the ACS Protocol.	ECOOP	1992	DBLP DOI BibTeX RDF
12	Mike Livesey, Colin Allison	Operating system level support for coherence in distributed systems.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
12	Gerald W. Neufeld, Barry J. Brachman	A transactional API for the EAN X.500 directory service.	CASCON	1992	DBLP BibTeX RDF
12	James H. Anderson, Bojan Groselj	Pseudo Read-Modify-Write Operations: Bounded Wait-Free Implementations (Extended Abstract).	WDAG	1991	DBLP DOI BibTeX RDF
12	Roope Kaivola, Antti Valmari	Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models.	CONCUR	1991	DBLP DOI BibTeX RDF
12	Mireille Clerbout, Michel Latteux, Yves Roos	Decomposition of Partial Commutations.	ICALP	1990	DBLP DOI BibTeX RDF
12	Dima Grigoriev	How to Test in Subexponential Time Whether Two Points Can Be Connected by a Curve in a Semialgebraic Set.	ISSAC	1990	DBLP DOI BibTeX RDF
12	Elias Dahlhaus	The Complexity of Subtheories of the Existential Linear Theory of Reals.	CSL	1989	DBLP DOI BibTeX RDF