Search results for "atomicity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Rudolf Bayer	Non-deterministic computing, transactions, and recursive atomicity	Forschungsberichte, TU Munich	1991	RDF
19	K. Vidyasankar	Atomicity of Global Transactions in Distributed Heterogeneous Database Systems.	DEXA	1991	DBLP BibTeX RDF
19	Eliezer Levy, Henry F. Korth, Abraham Silberschatz	A Theory of Relaxed Atomicity (Extended Abstract).	PODC	1991	DBLP DOI BibTeX RDF
19	Leslie Lamport	A Theorem on Atomicity in Distributed Algorithms.	Distributed Comput.	1990	DBLP DOI BibTeX RDF
19	Prasad Jayanti, Sam Toueg	Wakeup under Read/Write Atomicity.	WDAG	1990	DBLP DOI BibTeX RDF
19	Shlomi Dolev, Amos Israeli, Shlomo Moran	Self-Stabilization of Dynamic Systems Assuming only Read/Write Atomicity.	PODC	1990	DBLP DOI BibTeX RDF
19	Gérard Boudol, Ilaria Castellani	Concurrency and Atomicity.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
19	H. Zedan	Achieving atomicity in occam.	Microprocess. Microprogramming	1988	DBLP DOI BibTeX RDF
19	K. V. S. Ramarao	Transaction Atomicity in the Presence of Network Partitions.	ICDE	1988	DBLP DOI BibTeX RDF
19	J. W. de Bakker, Joost N. Kok	Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog.	FGCS	1988	DBLP BibTeX RDF
19	Maurice Herlihy	Comparing How Atomicity Mechanisms Support Replication.	ACM SIGOPS Oper. Syst. Rev.	1986	DBLP DOI BibTeX RDF
19	Maurice Herlihy	Comparing How Atomicity Mechanisms Support Replication.	PODC	1985	DBLP DOI BibTeX RDF
19	Abraham Silberschatz	A Case for Non-Two-Phase Locking Protocols that Ensure Atomicity.	IEEE Trans. Software Eng.	1983	DBLP DOI BibTeX RDF
19	Nancy A. Lynch	Multilevel Atomicity.	PODS	1982	DBLP DOI BibTeX RDF
19	Eike Best, Brian Randell	A Formal Model of Atomicity in Asynchronous Systems.	Acta Informatica	1981	DBLP DOI BibTeX RDF
19	J. David Wald	Geach on atomicity and singular propositions.	Notre Dame J. Formal Log.	1979	DBLP DOI BibTeX RDF
19	Eike Best	Atomicity of Activities.	Advanced Course: Net Theory and Applications	1979	DBLP DOI BibTeX RDF
16	Pascal Felber, Christof Fetzer, Patrick Marlier, Torvald Riegel	Time-Based Software Transactional Memory.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	concurrency, transactions, Transactional memory, atomicity
16	Christoph Reinke, Nils Hoeller, Jana Neumann, Sven Groppe, Simon Werner, Volker Linnemann	Analysis and Comparison of Atomic Commit Protocols for Adaptive Usage in Wireless Sensor Networks.	SUTC/UMC	2010	DBLP DOI BibTeX RDF	wireless sensor networks, transactions, atomicity, commit protocols
16	Brahim Ayari, Abdelmajid Khelil, Neeraj Suri	ParTAC: A Partition-Tolerant Atomic Commit Protocol for MANETs.	Mobile Data Management	2010	DBLP DOI BibTeX RDF	MANET, distributed databases, transaction processing, atomicity, network partitioning
16	Brahim Ayari, Abdelmajid Khelil, Kamel Saffar, Neeraj Suri	Data-Based Agreement for Inter-vehicle Coordination.	Mobile Data Management	2010	DBLP DOI BibTeX RDF	MANET, distributed databases, transaction processing, atomicity, network partitioning
16	Sebastian Burckhardt, Chris Dern, Madanlal Musuvathi, Roy Tan	Line-up: a complete and automatic linearizability checker.	PLDI	2010	DBLP DOI BibTeX RDF	thread safety, atomicity, linearizability
16	Tayfun Elmas	QED: a proof system based on reduction and abstraction for the static verification of concurrent software.	ICSE (2)	2010	DBLP DOI BibTeX RDF	abstraction, concurrent programs, reduction, atomicity
16	Sangmin Park, Richard W. Vuduc, Mary Jean Harrold	Falcon: fault localization in concurrent programs.	ICSE (1)	2010	DBLP DOI BibTeX RDF	order violation, concurrency, debugging, fault localization, atomicity violation
16	Michael F. Spear	Lightweight, robust adaptivity for software transactional memory.	SPAA	2010	DBLP DOI BibTeX RDF	adaptivity, synchronization, atomicity, serializability
16	Christoph Reinke, Nils Hoeller, Jana Neumann, Sven Groppe, Volker Linnemann, Martin Lipphardt	Integrating standardized transaction protocols in service-oriented wireless sensor networks.	SAC	2009	DBLP DOI BibTeX RDF	wireless sensor networks, service oriented architectures, adaptivity, transactions, atomicity
16	Damien Imbs, Michel Raynal	Help When Needed, But No More: Efficient Read/Write Partial Snapshot.	DISC	2009	DBLP DOI BibTeX RDF	LL/SC atomic registers, Partial snapshot, Read/Write atomic register, Concurrency, Locality, Efficiency, Atomicity, Adaptive algorithm, Asynchrony, Process crash, Linearizability, Wait-free algorithm, Asynchronous shared memory system
16	Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith	A Reservation-Based Extended Transaction Protocol.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF	Continuous Availability, Extended Transaction Model, Relaxed Atomicity, Web Services, Transaction Processing, Isolation, Business Activity, Reservation Protocol
16	Sriraman Tallam, Chen Tian 0002, Rajiv Gupta 0001, Xiangyu Zhang 0001	Avoiding Program Failures Through Safe Execution Perturbations.	COMPSAC	2008	DBLP DOI BibTeX RDF	avoiding failures, environmental faults, logging/replay tools, bad user requests, heap overflow, atomicity violation
16	Christian Hammer 0001, Julian Dolby, Mandana Vaziri, Frank Tip	Dynamic detection of atomic-set-serializability violations.	ICSE	2008	DBLP DOI BibTeX RDF	dynamic analysis, atomicity, serializability, data races, concurrent object-oriented programming
16	Phil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon 0002, Bratin Saha, Tatiana Shpeisman	Concurrent GC leveraging transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	transactional integrity, virtual machines, transactional memory, compiler optimizations, concurrent garbage collection, strong atomicity
16	Michael F. Spear, Maged M. Michael, Christoph von Praun	RingSTM: scalable transactions with a single atomic instruction.	SPAA	2008	DBLP DOI BibTeX RDF	synchronization, atomicity, software transactional memory
16	Sibsankar Haldar, K. Vidyasankar	On specification of Read/Write shared variables.	J. ACM	2007	DBLP DOI BibTeX RDF	defining condition, defining relation, illegality, nonatomic operation execution, system execution, framework, multiprocessor, consistency, Atomicity, causality, partial order, linearization, axiom, shared variable, linear extension
16	Virendra J. Marathe, Tim Harris 0001, James R. Larus	Featherweight transactions: decoupling threads and atomic blocks.	PPoPP	2007	DBLP DOI BibTeX RDF	work groups, transactional memory, atomicity, data parallel programming
16	Ali-Reza Adl-Tabatabai, Christos Kozyrakis, Bratin Saha	Transactional programming in a multi-core environment.	PPoPP	2007	DBLP DOI BibTeX RDF	parallel programming, transactional memory, atomicity, hardware architecture
16	Rong Zheng 0001, Jatindera Singh Walia, Lui Sha	Local Group Communication-aware MAC Protocol in Wireless Sensor Networks.	Int. J. Wirel. Inf. Networks	2006	DBLP DOI BibTeX RDF	fate-sharing, MAC, Group communication, atomicity, WSNs
16	Pradeep Kumar Mishra	Pipelined Computation of Scalar Multiplication in Elliptic Curve Cryptosystems (Extended Version).	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	EC-operations, comb methods, Jacobian coordinates, sidechannel attacks, sidechannel atomicity, pipelining, ECC, Elliptic Curve Cryptosystems, scalar multiplication, binary methods
16	Maurice Herlihy, Victor Luchangco, Mark Moir	A flexible framework for implementing software transactional memory.	OOPSLA	2006	DBLP DOI BibTeX RDF	Java library, obstruction-free factory, shadow factory, software transactional memory (STM), concurrency, transactions, atomicity
16	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
16	Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith	A Reservation-Based Coordination Protocol for Web Services.	ICWS	2005	DBLP DOI BibTeX RDF	Continuous Availability, Extended Transaction Model, Relaxed Atomicity, Web Services, Transaction Processing, Business Activity
16	Patricia Serrano-Alvarado, Claudia Roncancio, Michel E. Adiba	A Survey of Mobile Transactions.	Distributed Parallel Databases	2004	DBLP DOI BibTeX RDF	transaction execution, mobility, databases, consistency, atomicity, isolation, mobile transactions, durability
16	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
16	Mona Marathe, Hemalatha Diwakar	A Protocol for "Combination-Web-Shopping".	CEC	2004	DBLP DOI BibTeX RDF	Multiple Businesses to Single Customer, Web-Shopping, Message-Based Centralized Workflow System, Atomicity in E-Commerce, E-Commerce
16	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
16	Paul Greenfield, Alan D. Fekete, Julian Jang, Dean Kuo	Compensation is Not Enough.	EDOC	2003	DBLP DOI BibTeX RDF	middleware, workflow, transactions, business process modelling, atomicity, compensation
16	James H. Anderson, Yong-Jik Kim	An improved lower bound for the time complexity of mutual exclusion.	Distributed Comput.	2002	DBLP DOI BibTeX RDF	Lower bounds, Shared memory, Time complexity, Mutual exclusion, Atomicity, Local spinning
16	John Tromp, Paul M. B. Vitányi	Randomized two-process wait-free test-and-set.	Distributed Comput.	2002	DBLP DOI BibTeX RDF	Test-and-set objects, Asynchronous distributed protocols, Wait-free read/write registers, Fault-tolerance, Randomized algorithms, Shared memory, Atomicity, Symmetry breaking, Adaptive adversary
16	Gopi K. Attaluri, Kenneth Salem	The Presumed-Either Two-Phase Commit Protocol.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	Two-phase commit protocol, presumed-abort, presumed-commit, atomicity, distributed transaction
16	Bertrand Ducourthial, Sébastien Tixeuil	Self-stabilization with r-operators.	Distributed Comput.	2001	DBLP DOI BibTeX RDF	r -operators, Read-write atomicity, Distributed systems, Self-stabilization, Unfair scheduling
16	Jan Jakubik	Basic elements in a pseudo MV-algebra.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Basic element, B-atomicity, Direct product decomposition, Strong subdirect product, Pseudo MV-algebra
16	Alessandro Panconesi, Marina Papatriantafilou, Philippas Tsigas, Paul M. B. Vitányi	Randomized Naming Using Wait-Free Shared Variables.	Distributed Comput.	1998	DBLP DOI BibTeX RDF	Naming problem, Unique process ID, Asynchronous distributed protocols, Wait-free read/write registers, Test-and-set objects, Fault-tolerance, Randomized algorithms, Shared memory, Atomicity, Symmetry breaking, Adaptive adversary
16	Paul F. Reynolds Jr., Craig Williams, Raymond R. Wagner Jr.	Isotach Networks.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	interprocess coordination, isochronicity, interconnection networks, concurrency control, multiprocessor systems, atomicity, sequential consistency, Logical time
16	Ajay D. Kshemkalyani	Causality between Nonatomic Poset Events in Distributed Computations.	FTDCS	1997	DBLP DOI BibTeX RDF	Distributed system, Synchronization, Time, Atomicity, Causality
16	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
16	Kenneth P. Smith, Barbara T. Blaustein, Sushil Jajodia, LouAnna Notargiacomo	Correctness Criteria for Multilevel Secure Transactions.	IEEE Trans. Knowl. Data Eng.	1996	DBLP DOI BibTeX RDF	multilevel secure transactions, transaction execution correctness criteria, distributed databases, concurrency control, Atomicity, database security, locking protocols
16	Marcus Costa Sampaio, Stéphane Turc	Cooperative Transactions: A Data-Driven Approach.	HICSS (1)	1996	DBLP DOI BibTeX RDF	Cooperative transactions, cooperative atomicity, fault tolerance, distributed systems, concurrency control, persistency, nested transactions, correctness criteria
16	Kenneth Salem, Hector Garcia-Molina, Jeannie Shands	Altruistic Locking.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	scheduling, atomicity, locking, serializability
16	Job Zwiers, Wil Janssen	Partial Order Based Design of Concurrent Systems.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	partial order models, communication closed layers, program transformation, program verification, atomicity, hierarchical graphs
16	Jaap-Henk Hoepman, John Tromp	Binary Snapshots.	WDAG	1993	DBLP DOI BibTeX RDF	waitfree implementations, shared memory, atomicity, snapshot, linearisability
16	Yonatan Aumann, Michael O. Rabin	Clock Construction in Fully Asynchronous Parallel Systems and PRAM Simulation (Extended Abstract)	FOCS	1992	DBLP DOI BibTeX RDF	clock construction, fully asynchronous parallel systems, PRAM simulation, probability, atomicity, dynamic scheduler
16	Gerhard Weikum	Principles and Realization Strategies of Multilevel Transaction Management.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	atomicity persistence concurrency control, multilevel transactions, persistence, serializability
16	Roberto Gorrieri, Ugo Montanari	Distributed Implementation of CCS.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics
16	Maurice Herlihy	Extending Multiversion Time-Stamping Protocols to Exploit Type Information.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF	fault tolerance, concurrency control, atomicity, Abstract data types, serializability, multiple versions
16	Michael Hammer, David W. Shipman	Reliability Mechanisms for SDD-1: A System for Distributed Databases.	ACM Trans. Database Syst.	1980	DBLP DOI BibTeX RDF	reliability, distributed databases, recovery, atomicity
10	Amitabha Roy 0002, Steven Hand 0001, Tim Harris 0001	Hybrid binary rewriting for memory access instrumentation.	VEE	2011	DBLP DOI BibTeX RDF
10	Cyprien Noël	Extensible software transactional memory.	C3S2E	2010	DBLP DOI BibTeX RDF	software architecture, synchronization, transactional memory, concurrent programming, composability, object replication
10	Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley	PACER: proportional detection of data races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, sampling, data races, bugs
10	Dasarath Weeratunge, Xiangyu Zhang 0001, William N. Sumner, Suresh Jagannathan	Analyzing concurrency bugs using dual slicing.	ISSTA	2010	DBLP DOI BibTeX RDF	dual slicing, concurrency bugs, execution indexing
10	Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh	Transactions in the jungle.	SPAA	2010	DBLP DOI BibTeX RDF	transactional memory, correctness, memory models
10	Wei Zhang 0022, Chong Sun, Shan Lu 0001	ConMem: detecting severe concurrency bugs through an effect-oriented approach.	ASPLOS	2010	DBLP DOI BibTeX RDF	software testing, concurrency bugs
10	Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte	A randomized scheduler with probabilistic guarantees of finding bugs.	ASPLOS	2010	DBLP DOI BibTeX RDF	testing, concurrency, randomized algorithms, race conditions
10	Alex A. Aravind, Wim H. Hesselink	A queue based mutual exclusion algorithm.	Acta Informatica	2009	DBLP DOI BibTeX RDF
10	Jörg Kienzle, Ekwa Duala-Ekoko, Samuel Gélineau	AspectOptima: A Case Study on Aspect Dependencies and Interactions.	T. Aspect-Oriented Software Development	2009	DBLP DOI BibTeX RDF	aspect dependencies, aspect collaboration, aspect-oriented language features, aspect binding, inter-aspect ordering, inter-aspect configurability, per-object aspects, reusability, dynamic aspects, aspect interference
10	Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen	CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.	CAV	2009	DBLP DOI BibTeX RDF
10	Emery D. Berger, Ting Yang, Tongping Liu, Gene Novark	Grace: safe multithreaded programming for C/C++.	OOPSLA	2009	DBLP DOI BibTeX RDF	deterministic concurrency, sequential semantics, concurrency, determinism, fork-join
10	Martin Weser, Jianwei Zhang 0001	Autonomous planning for mobile manipulation services based on multi-level robot skills.	IROS	2009	DBLP DOI BibTeX RDF
10	Brandon Lucia, Luis Ceze	Finding concurrency bugs with context-aware communication graphs.	MICRO	2009	DBLP DOI BibTeX RDF
10	Yunji Chen, Yi Lv, Weiwu Hu, Tianshi Chen 0002, Haihua Shen, Pengyu Wang, Hong Pan	Fast complete memory consistency verification.	HPCA	2009	DBLP DOI BibTeX RDF
10	Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun	Feedback-directed barrier optimization in a strongly isolated STM.	POPL	2009	DBLP DOI BibTeX RDF	bytecode rewriting, deoptimization, strong isolation, weak isolation, transactional memory, hot swap
10	Martín Abadi, Andrew Birrell, Tim Harris 0001, Johnson Hsieh, Michael Isard	Implementation and Use of Transactional Memory with Dynamic Separation.	CC	2009	DBLP DOI BibTeX RDF
10	Xu Chen, Yun Mao, Zhuoqing Morley Mao, Jacobus E. van der Merwe	DECOR: DEClaritive network management and OpeRation.	PRESTO	2009	DBLP DOI BibTeX RDF	network management, declarative language
10	Aravind Yalamanchi, Dieter Gawlick	Compensation-aware data types in RDBMS.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	and constraints, concurrency control, compensation, business transactions
10	Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar	A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.	RV	2009	DBLP DOI BibTeX RDF
10	Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis	Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset.	DISC	2009	DBLP DOI BibTeX RDF
10	Khushboo Kanjani, Hyunyoung Lee, Jennifer L. Welch	Byzantine fault-tolerant implementation of a multi-writer regular register.	IPDPS	2009	DBLP DOI BibTeX RDF
10	Mojtaba Mehrara, Jeff Hao, Po-Chun Hsu, Scott A. Mahlke	Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory.	PLDI	2009	DBLP DOI BibTeX RDF	automatic parallelization, software transactional memory, thread-level speculation, profile-guided optimization, loop level parallelism
10	Soyeon Park, Yuanyuan Zhou 0001, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu 0001	PRES: probabilistic replay with execution sketching on multiprocessors.	SOSP	2009	DBLP DOI BibTeX RDF	replay, concurrency bug
10	Jeremy Condit, Edmund B. Nightingale, Christopher Frost 0001, Engin Ipek, Benjamin C. Lee, Doug Burger, Derrick Coetzee	Better I/O through byte-addressable, persistent memory.	SOSP	2009	DBLP DOI BibTeX RDF	performance, file systems, phase change memory
10	Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, Emmett Witchel	Operating systems transactions.	SOSP	2009	DBLP DOI BibTeX RDF	txos, operating systems, transactions, transactional memory, race conditions
10	Wooseok Ryu, Bonghee Hong	A Reprocessing Model Based on Continuous Queries for Writing Data to RFID Tag Memory.	DASFAA	2009	DBLP DOI BibTeX RDF	Write Transaction, Tag Memory, RFID, Continuous Query
10	Michael J. Butler	Decomposition Structures for Event-B.	IFM	2009	DBLP DOI BibTeX RDF
10	Satish Devane, Deepak B. Phatak	Secure Transaction Protocol for CEPS Compliant EPS in Limited Connectivity Environment.	EC-Web	2009	DBLP DOI BibTeX RDF	E-commerce, Electronic Payment system, Payment Protocol
10	Matthew Lang, Paolo A. G. Sivilotti	On the Impossibility of Maximal Scheduling for Strong Fairness with Interleaving.	ICDCS	2009	DBLP DOI BibTeX RDF
10	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
10	Hagit Attiya, Alessia Milani	Transactional Scheduling for Read-Dominated Workloads.	OPODIS	2009	DBLP DOI BibTeX RDF
10	Tomer Heber, Danny Hendler, Adi Suissa	On the Impact of Serializing Contention Management on STM Performance.	OPODIS	2009	DBLP DOI BibTeX RDF
10	Haris Volos 0001, Andres Jaan Tack, Neelam Goyal, Michael M. Swift, Adam Welc	xCalls: safe I/O in memory transactions.	EuroSys	2009	DBLP DOI BibTeX RDF	xCalls, transactional memory, concurrent programming, I/O, system calls
10	Jie Yu 0016, Satish Narayanasamy	A case for an interleaving constrained shared-memory multi-processor.	ISCA	2009	DBLP DOI BibTeX RDF	parallel programming, multiprocessors, software reliability, concurrency bugs
10	Patrick Longa, Ali Miri	Fast and Flexible Elliptic Curve Point Arithmetic over Prime Fields.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Parallel, Public key cryptosystems, High-Speed Arithmetic
10	Frederic Montagut, Refik Molva, Silvan Tecumseh Golega	The Pervasive Workflow: A Decentralized Workflow System Supporting Long-Running Transactions.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF