Search results for "atomic actions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Andy J. Wellings, Alan Burns	Implementing Atomic Actions in Ada 95.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	exception handling, conversations, Software fault tolerance, Ada 95, atomic actions, recovery blocks
3	Andrew M. Tyrrell, Geof F. Carpenter	CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	fault tolerance, CSP, concurrent systems, Atomic actions
3	Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox	Dynamic Synchrony Among Atomic Actions.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	dynamicsynchrony, Swarm notation, leader election problem, concurrencycontrol, parallel programming, synchronization, concurrent programming, atomic actions, concurrent algorithm, sequential processes
3	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
2	Tayfun Elmas, Shaz Qadeer, Serdar Tasiran	A calculus of atomic actions.	POPL	2009	DBLP DOI BibTeX RDF	abstraction, concurrent programs, reduction, atomicity
2	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
2	Michal Karczmarek, Arvind	Synthesis from multi-cycle atomic actions as a solution to the timing closure problem.	ICCAD	2008	DBLP DOI BibTeX RDF
2	Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi	Analysis and framework-based design of a fault-tolerant web information system for m-health.	Service Oriented Computing and Applications	2008	DBLP DOI BibTeX RDF	CAA-DRIP, Fault tolerance, SOA, Mobility, Dependability, Coordinated atomic actions
2	Rishiyur S. Nikhil	Composable Guarded Atomic Actions: a Bridging Model for SoC Design.	ACSD	2007	DBLP DOI BibTeX RDF
2	Barbara Gallina, Nicolas Guelfi, Alexander 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
2	Robert Schaefer	Systems of systems and coordinated atomic actions.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
2	Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans	Nomad: A Security Model with Non Atomic Actions and Deadlines.	CSFW	2005	DBLP DOI BibTeX RDF
2	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
2	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
2	Daniel L. Rosenband, Arvind	Modular scheduling of guarded atomic actions.	DAC	2004	DBLP DOI BibTeX RDF	Design, Algorithms, Verification, Languages
2	Jie Xu, 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
2	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, atomic actions, computer communications software, experimental research, location transparency
2	Roberto Gorrieri, Sergio Marchetti, Ugo Montanari	A²CCS: A Simple Extension of CCS for Handling Atomic Actions.	CAAP	1988	DBLP DOI BibTeX RDF
2	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
2	Kurt Rothermel	Communication primitives supporting the execution of atomic actions at remote sites.	Computer Communication Review	1984	DBLP DOI BibTeX RDF
2	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
2	David P. Reed	Implementing Atomic Actions on Decentralized Data.	SOSP	1979	DBLP DOI BibTeX RDF
1	Kristina 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
1	Richard Banach, Gerhard Schellhorn	Atomic actions, and their refinements to isolated protocols.	Formal Asp. Comput.	2010	DBLP DOI BibTeX RDF
1	Tayfun Elmas	QED: a proof system based on reduction and abstraction for the static verification of concurrent software.	ICSE	2010	DBLP DOI BibTeX RDF	abstraction, concurrent programs, reduction, atomicity
1	Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino Francisco Zorzo	Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study.	Journal of Systems and Software	2009	DBLP DOI BibTeX RDF
1	Rishiyur S. Nikhil	Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design).	GPCE	2009	DBLP DOI BibTeX RDF	bluespec systemverilog, bsv, energy efficient computing, fpga, high level synthesis, high performance computing, haskell, hardware accelerators, hardware/software codesign, term rewriting systems, hybrid computing
1	Martín Abadi, Tim Harris	Perspectives on Transactional Memory.	CONCUR	2009	DBLP DOI BibTeX RDF
1	Ricardo J. Dias, João Lourenço	Unifying Memory and Database Transactions.	Euro-Par	2009	DBLP DOI BibTeX RDF
1	Richard Banach, Gerhard Schellhorn	On the Refinement of Atomic Actions.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Luciano Baresi, Sam Guinea	A dynamic and reactive approach to the supervision of BPEL processes.	ISEC	2008	DBLP DOI BibTeX RDF	web services, aspect oriented programming, monitoring, BPEL, recovery, supervision
1	Vadim Ermolayev, Natalya Keberle, Wolf-Ekkehard Matzke	An Ontology of Environments, Events, and Happenings.	COMPSAC	2008	DBLP DOI BibTeX RDF	happening, engineering design process, ontology, event, environment, design system
1	Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria	Modeling and simulation of complex heterogeneous systems.	ISCAS	2008	DBLP DOI BibTeX RDF
1	Arvind, Rishiyur S. Nikhil	Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract).	MEMOCODE	2008	DBLP DOI BibTeX RDF
1	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky	EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches, run-time management
1	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky	EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches, run-time management
1	Jeffrey Fischer, Rupak Majumdar	Ensuring consistency in long running transactions.	ASE	2007	DBLP DOI BibTeX RDF	flow composition, set consistency, semantics, business process, transactions, compensation
1	Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi	On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System.	AINA Workshops	2007	DBLP DOI BibTeX RDF
1	Leila Amgoud, Henri Prade	Formalizing Practical Reasoning Under Uncertainty: An Argumentation-Based Approach.	IAT	2007	DBLP DOI BibTeX RDF
1	Nirav Dave, Arvind, Michael Pellauer	Scheduling as Rule Composition.	MEMOCODE	2007	DBLP DOI BibTeX RDF
1	Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami	Detecting Atomicity Errors in Message Passing Programs.	PDCAT	2007	DBLP DOI BibTeX RDF
1	Changjiang Yang, Yanlin Guo, Harpreet S. Sawhney, Rakesh Kumar	Learning Actions Using Robust String Kernels.	Workshop on Human Motion	2007	DBLP DOI BibTeX RDF
1	Liang Chang, Fen Lin, Zhongzhi Shi	A Dynamic Description Logic for Representation and Reasoning About Actions.	KSEM	2007	DBLP DOI BibTeX RDF
1	Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino F. Zorzo	CAA-DRIP: a framework for implementing Coordinated Atomic Actions.	ISSRE	2006	DBLP DOI BibTeX RDF
1	Laure Bourgois, Alexandre Delteil, François Levy	Web Services Subsumption with a Specific PDL.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
1	Jonathan Hayman, Glynn Winskel	Independence and Concurrent Separation Logic.	LICS	2006	DBLP DOI BibTeX RDF
1	Gaurav Singh, Sandeep K. Shukla	Low-power hardware synthesis from TRS-based specifications.	MEMOCODE	2006	DBLP DOI BibTeX RDF
1	Hyunseok Kim, Yuchul Jung, Yong K. Hwang	Taxonomy of Atomic Actions for Home-Service Robots.	JACIII	2005	DBLP BibTeX RDF
1	Bo Kampmann Walther	Atomic actions -- molecular experience: theory of pervasive gaming.	Computers in Entertainment	2005	DBLP DOI BibTeX RDF	game rules, game space, game theory, pervasive gaming, game-play, ludology
1	Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil	Synthesis of synchronous assertions with guarded atomic actions.	MEMOCODE	2005	DBLP DOI BibTeX RDF
1	Simeon Veloudis, Nimal Nissanke	An approach to modelling and analysis of coordinated atomic actions.	ETFA	2005	DBLP DOI BibTeX RDF
1	Daniel L. Rosenband	Hardware synthesis from guarded atomic actions with performance specifications.	ICCAD	2005	DBLP BibTeX RDF
1	Scott J. Weber, Kurt Keutzer	Using minimal minterms to represent programmability.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	Boolean function representation, instruction set extraction, Boolean satisfiability
1	Nirav Dave, Man Cheuk Ng, Arvind	Automatic synthesis of cache-coherence protocol processors using Bluespec.	MEMOCODE	2005	DBLP DOI BibTeX RDF
1	Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes	Composing Transitions into Transactions in UML Diagrams.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Paul Gastin, Michael W. Mislove	A simple process algebra based on atomic actions with resources.	Mathematical Structures in Computer Science	2004	DBLP DOI BibTeX RDF
1	Xiaodong Lu, Ivan Luque, Miho Kanda, Kinji Mori	Agent-based autonomous information services integration and allocation to achieve high response and low cost in distributed information service system.	ISCC	2004	DBLP DOI BibTeX RDF
1	Nirav Dave	Designing a reorder buffer in Bluespec.	MEMOCODE	2004	DBLP DOI BibTeX RDF
1	Robert Miller 0002, Anand R. Tripathi	The Guardian Model and Primitives for Exception Handling in Distributed Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	fault tolerance, Concurrent programming, distributed programming
1	Stephen D. Brookes	Retracing the Semantics of CSP.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
1	Michael J. Butler, C. A. R. Hoare, Carla Ferreira	A Trace Semantics for Long-Running Transactions.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
1	Paul-André Melliès	Asynchronous Games 2: The True Concurrency of Innocence.	CONCUR	2004	DBLP DOI BibTeX RDF
1	Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long	Generating a Prototype from a UML Model of System Requirements.	ICDCIT	2004	DBLP DOI BibTeX RDF	Formal Specification, Prototype, Code Generation, Requirements analysis
1	Paul E. Dunne, Wiebe van der Hoek	Representation and Complexity in Boolean Games.	JELIA	2004	DBLP DOI BibTeX RDF
1	Avelino F. Zorzo, Panayiotis Periorellis, Alexander Romanovsky	Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience.	WORDS	2003	DBLP DOI BibTeX RDF
1	Xiaodong Lu, Kinji Mori	Autonomous Information Services Integration and Allocation in Agent-Based Information Service System.	IAT	2003	DBLP DOI BibTeX RDF
1	Xiaodong Lu, Yi Zhou, Hélène Arfaoui, Kinji Mori	Autonomous Integration and Provision of Heterogeneous Information Services in Distributed Information Systems.	ISADS	2003	DBLP DOI BibTeX RDF
1	Alexander B. Romanovsky, Panos Periorellis, Avelino F. Zorzo	Structuring Integrated Web Applications for Fault Tolerance.	ISADS	2003	DBLP DOI BibTeX RDF
1	Arvind	Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk.	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	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
1	Jie Xu, 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
1	Jie Xu, Brian Randell, Alexander B. Romanovsky	A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software. (PDF / PS)	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	concurrent and distributed systems, object orientation, Architectural patterns, fault-tolerant software, coordinated atomic actions
1	Giovanna Di Marzo Serugendo, Alexander B. Romanovsky	Designing Fault-Tolerant Mobile Systems.	FIDJI	2002	DBLP DOI BibTeX RDF	fault tolerance, software engineering, Mobile agents, exception handling, system structuring
1	Alexander B. Romanovsky	Looking Ahead in Atomic Actions with Exception Handling. (PDF / PS)	SRDS	2001	DBLP DOI BibTeX RDF
1	Delano M. Beder, Cecília M. F. Rubira, Brian Randell, Alexander B. Romanovsky	On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems.	ISORC	2001	DBLP DOI BibTeX RDF
1	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
1	Jörg Kienzle, Alfred Strohmeier, Alexander B. Romanovsky	Open Multithreaded Transactions: Keeping Threads and Exceptions under Control.	WORDS	2001	DBLP DOI BibTeX RDF
1	Egon Börger	Design for Reuse via Structuring Techniques for ASMs.	EUROCAST	2001	DBLP DOI BibTeX RDF
1	Delano M. Beder, Alexander B. Romanovsky, Brian Randell, C. Richard Snow, Robert J. Stroud	An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling.	Operating Systems Review	2000	DBLP DOI BibTeX RDF
1	Simeon Veloudis, Nimal Nissanke	Modelling Coordinated Atomic Actions in Timed CSP.	FTRTFT	2000	DBLP DOI BibTeX RDF	CA actions, real-time systems, safety-critical systems, Timed CSP
1	Jie Xu, Alexander B. Romanovsky, Brian Randell	Concurrent Exception Handling and Resolution in Distributed Object Systems.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	Concurrent exeception handling, exception resolution, nested atomic actions, distributed systems, object-oriented programming
1	John A. Trono	Comments on "Tagged Semaphores".	Operating Systems Review	2000	DBLP DOI BibTeX RDF
1	Julie Vachon, Nicolas Guelfi, Alexander B. Romanovsky	Using COALA to Develop a Distributed Object-Based Application. (PDF / PS)	DOA	2000	DBLP DOI BibTeX RDF	fault-tolerance, reliability, formal specification, transactions, distributed object systems, development methodologies, application design
1	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
1	Jan A. Bergstra, M. E. Loots	Program Algebra for Component Code.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Behaviour extraction, Projection semantics, Program, Embedding, Instructions, Canonical form, Repetition
1	Avelino F. Zorzo, Alexander B. Romanovsky, Jie Xu, Brian Randell, Robert J. Stroud, Ian Welch	Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study.	Softw., Pract. Exper.	1999	DBLP DOI BibTeX RDF
1	Alexander Romanovsky, Avelino Francisco Zorzo	Coordinated atomic actions as a technique for implementing distributed gamma computation.	Journal of Systems Architecture	1999	DBLP DOI BibTeX RDF
1	Jie Xu, 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
1	Avelino F. Zorzo, Robert J. Stroud	A Distributed Object-Oriented Framework for Dependable Multiparty Interactions.	OOPSLA	1999	DBLP DOI BibTeX RDF	concurrent exception handling, fault tolerance, multiparty interactions, distributed object-oriented systems, coordinated atomic actions
1	Isao Kaji, Kinji Mori	Atomicity of Transaction Processing in Heterogeneous Autonomous Decentralized System. (PDF / PS)	ISADS	1999	DBLP DOI BibTeX RDF
1	Mark C. Little, Stuart M. Wheater, David B. Ingham, C. Richard Snow, Harry Whitfield, Santosh K. Shrivastava	The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General Purpose Components.	Advances in Distributed Systems	1999	DBLP DOI BibTeX RDF	available systems, fault-tolerance, distributed system, replication, atomic transactions
1	Stuart E. Mitchell, Andy J. Wellings, Alexander B. Romanovsky	Distributed Atomic Actions in Ada 95.	Comput. J.	1998	DBLP DOI BibTeX RDF
1	Rogério de Lemos, Alexander B. Romanovsky	Coordinated Atomic Actions in Modelling Objects Cooperation.	ISORC	1998	DBLP DOI BibTeX RDF
1	Hideo Hanamura, Kinji Mori	Assurance of Transactions in Allied Heterogeneous Systems by Autonomous Decentralized System Techniques. (PDF / PS)	HASE	1998	DBLP DOI BibTeX RDF
1	Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum	A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus.	AMAST	1998	DBLP DOI BibTeX RDF
1	Alexander Romanovsky, Brian Randell, Robert J. Stroud, Jie Xu, Avelino Francisco Zorzo	Implementation of blocking coordinated atomic actions based on forward error recovery.	Journal of Systems Architecture	1997	DBLP DOI BibTeX RDF
1	Mark C. Little, Santosh K. Shrivastava, Steve J. Caughey, David B. Ingham	Constructing Reliable Web Applications Using Atomic Actions.	Computer Networks	1997	DBLP DOI BibTeX RDF
1	Alexander B. Romanovsky, Avelino F. Zorzo	On Distribution of Coordinated Atomic Actions.	Operating Systems Review	1997	DBLP DOI BibTeX RDF
1	Alexander B. Romanovsky, Stuart E. Mitchell, Andy J. Wellings	On Programming Atomic Actions in Ada 95.	Ada-Europe	1997	DBLP DOI BibTeX RDF
1	Paul F. Reynolds Jr., Craig Williams, Raymond R. Wagner Jr.	Isotach Networks.	IEEE Trans. Parallel Distrib. Syst.	1997	DBLP DOI BibTeX RDF	interprocess coordination, isochronicity, interconnection networks, concurrency control, multiprocessor systems, atomicity, sequential consistency, Logical time