|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2968 occurrences of 1582 keywords
|
|
|
Results
Found 5202 publication records. Showing 5202 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
100 | Injong Rhee |
Optimizing a FIFO, scalable spin lock using consistent memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), December 4-6, 1996, Washington, DC, USA, pp. 106-114, 1996, IEEE Computer Society, 0-8186-7689-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
FIFO optimization, scalable spin lock, consistent memory, FIFO queue based scalable spin lock, non atomic read, atomic swap operation, timing guarantee, scalable mutual exclusion problem, NUMA architectures, FSSL algorithm, write operations, non atomic memory operations, weakly consistent memories, multiprocessors, shared memory systems, real time applications, atomic operations |
65 | Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani |
Inferring locks for atomic sections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 304-315, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
atomic sections, static lock inference, concurrency |
65 | Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer |
Autolocker: synchronization inference for atomic sections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 346-358, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
pessimistic, atomic, lock |
64 | Jim Gray 0001 |
A View of Database System Performance Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Banff, Alberta, Canada, May 11-14, 1987, pp. 3-4, 1987, ACM, 0-89791-225-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
64 | David Hovemeyer, William W. Pugh, Jaime Spacco |
Atomic Instructions in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings, pp. 133-154, 2002, Springer, 3-540-43759-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
61 | Ahmad Hanif Ahmad Baharin, Ralf Mühlberger |
Living with the sound of the past: experiencing sonic atomic interaction using the sound diary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHINZ ![In: Proceedings of the 10th ACM SIGCHI New Zealand Chapter's International Conference on Computer-Human Interaction, CHINZ 2009, Auckland, New Zealand, July 6-7, 2009, pp. 101-104, 2009, ACM, 978-1-60558-574-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
atomic interaction, first-person research, sonic atomic interaction, sonification, earcons, auditory icons |
61 | Achour Mostéfaoui, Michel Raynal |
Low cost consensus-based Atomic Broadcast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 18-20 December 2000, Los Angeles, CA, USA, pp. 45-52, 2000, IEEE Computer Society, 0-7695-0975-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distrbuted processing, Consensus-based Atomic Broadcast protocol, fault-tolerant, protocols, fault tolerant computing, Consensus, Atomic Broadcast, fault-tolerant distributed systems |
59 | Brian N. Bershad, David D. Redell, John R. Ellis |
Fast Mutual Exclusion for Uniprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-V Proceedings - Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, Massachusetts, USA, October 12-15, 1992., pp. 223-233, 1992, ACM Press, 0-89791-534-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
54 | Tim Harris 0001 |
Language constructs for transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 1, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
atomic blocks, transactional memory, stm |
54 | Marcos Kawazoe Aguilera, Idit Keidar, Dahlia Malkhi, Alexander Shraer |
Dynamic atomic storage without consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, pp. 17-25, 2009, ACM, 978-1-60558-396-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
atomic storage, dynamic systems, shared-memory emulations |
54 | Bettina Kemme, Fernando Pedone, Gustavo Alonso, André Schiper, Matthias Wiesmann |
Using Optimistic Atomic Broadcast in Transaction Processing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(4), pp. 1018-1032, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
optimistic processing, transaction processing, atomic broadcast, Replicated databases |
54 | Lefteris M. Kirousis, Evangelos Kranakis, Paul M. B. Vitányi |
Atomic Multireader Register. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 2nd International Workshop, Amsterdam, The Netherlands, July 8-10, 1987, Proceedings, pp. 278-296, 1987, Springer, 3-540-19366-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
regular, atomic, Register, reader, writer, shared register |
52 | Christian Hammer 0001, Julian Dolby, Mandana Vaziri, Frank Tip |
Dynamic detection of atomic-set-serializability violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 231-240, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dynamic analysis, atomicity, serializability, data races, concurrent object-oriented programming |
52 | Rachid Guerraoui, André Schiper |
Genuine Atomic Multicast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings, pp. 141-154, 1997, Springer, 3-540-63575-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
52 | Stephen W. Melvin, Yale N. Patt |
Performance benefits of large execution atomic units in dynamically scheduled machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 3rd international conference on Supercomputing, ICS 1989, Heraklion, Crete, Greece, June 5-9, 1989, pp. 427-432, 1989, ACM, 0-89791-309-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
50 | Damien Imbs, Michel Raynal |
Help When Needed, But No More: Efficient Read/Write Partial Snapshot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings, pp. 142-156, 2009, Springer, 978-3-642-04354-3. The full citation details ...](Pics/full.jpeg) |
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 |
49 | Jim X. Chen, Harry Wechsler, Jian Cui |
Image-Based Fast Small Triangle Rasterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAT ![In: Advances in Artificial Reality and Tele-Existence, 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 29 - December 1, 2006, Proceedings, pp. 918-927, 2006, Springer, 3-540-49776-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Atomic primitives, pixmaps, rasterization, bitmaps, triangles, image-based |
48 | Michel Raynal, Matthieu Roy |
Allowing Atomic Objects to Coexist with Sequentially Consistent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings, pp. 59-73, 2005, Springer, 3-540-28126-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Atomic Consistency, Combination of consistency criteria, Shared Memory Abstraction, Message Passing, NP-Completeness, Asynchronous System, Sequential Consistency, Linearizability |
48 | Partha Dutta, Rachid Guerraoui, Ron R. Levy, Arindam Chakraborty |
How fast can a distributed atomic read be? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004, pp. 236-245, 2004, ACM, 1-58113-802-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
time-complexity, atomic registers, shared-memory emulation |
48 | Luís E. T. Rodrigues, Michel Raynal |
Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems and Its Use in Quorum-Based Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(5), pp. 1206-1217, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
crash/recovery, consensus, asynchronous systems, quorum, atomic broadcast, weighted voting, replica management, Distributed fault-tolerance |
48 | Bettina Kemme, Fernando Pedone, Gustavo Alonso, André Schiper |
Processing Transactions over Optimistic Atomic Broadcast Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31 - June 4, 1999, pp. 424-431, 1999, IEEE Computer Society, 0-7695-0222-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Optimistic Processing, Replication, Transactions, Group Communication, Atomic Broadcast |
48 | Andrew M. Tyrrell, Geof F. Carpenter |
CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(7), pp. 629-639, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
fault tolerance, CSP, concurrent systems, Atomic actions |
46 | Siyuan Xin, Xingyuan Chen, Huilin Tang, Ning Zhu |
Research on DoS Atomic Attack Oriented to Attack Resistance Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 1747-1752, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Wojciech Mostowski |
Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 444-459, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Sergio Mena, André Schiper |
A new look at atomic broadcast in the asynchronous crash-recovery model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005),26-28 October 2005, Orlando, FL, USA, pp. 202-214, 2005, IEEE Computer Society, 0-7695-2463-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
46 | Joachim Niehren, Martin Müller 0001, Jean-Marc Talbot |
Entailment of Atomic Set Constraints is PSPACE-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 285-294, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
46 | John Tromp |
How to Construct an Atomic Variable (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings, pp. 292-302, 1989, Springer, 3-540-51687-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
43 | Weijia Jia 0001, Jiannong Cao 0001, Edgar Nett, Jörg Kaiser |
A high performance reliable atomic group protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 378-385, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
high performance reliable atomic group protocol, group communication multicast protocol, single logical-clock token ring approach, multicast messages, optimized fault-tolerant algorithms, process failures, message total ordering, atomic delivery, fault tolerant computing, message passing, local area networks, local area network, transport protocols, atomicity, network partitioning, total ordering, token networks |
43 | Fritz Henglein, Jakob Rehof |
The Complexity of Subtype Entailment for Simple Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 352-361, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
subtype entailment complexity, atomic entailment, coNP-completeness, complexity-theoretic marker, exponential explosion, subtype inference, structural complexity bounds, computability, satisfiability, axiomatization, linear-time algorithm |
43 | Zhixue Wu, Ken Moody, Jean Bacon, Robert J. Stroud |
Data consistency in a distributed persistent object system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 635-644, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
distributed persistent object system, atomic data type, PC++, conflict relationship, object operations, recovery code, object-oriented programming, data integrity, distributed databases, concurrency control, object-oriented databases, synchronisation, synchronisation, abstract data types, data consistency, persistent system |
42 | Michael A. Bender, Haodong Hu, Bradley C. Kuszmaul |
Performance guarantees for B-trees with different-sized atomic keys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2010, June 6-11, 2010, Indianapolis, Indiana, USA, pp. 305-316, 2010, ACM, 978-1-4503-0033-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
B-tree with different-sized keys, atomic keys, dynamic programming |
42 | Yousef J. Al-Houmaily, Panos K. Chrysanthis |
1-2PC: the one-two phase atomic commit protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 684-691, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Internet transactions, atomic commit protocol |
42 | John Derrick, Heike Wehrheim |
Using Coupled Simulations in Non-atomic Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, pp. 127-147, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Non-atomic refinement, coupled simulations, Z, action refinement |
42 | Peter T. Johnstone |
An "Unsitely" Result on Atomic Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(1-2), pp. 7-15, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
atomic morphism, topos theory |
42 | Carole Delporte-Gallet, Hugues Fauconnier |
Real-Time Fault-Tolerant Atomic Broadcast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: The Eighteenth Symposium on Reliable Distributed Systems, SRDS 1999, Lausanne, Switzerland, October 19-22, 1999, Proceedings, pp. 48-55, 1999, IEEE Computer Society, 0-7695-0290-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
real-time distributed algorithms, fault-tolerance, atomic broadcast, partial synchrony |
42 | Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda |
The Elusive Atomic Register. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 41(2), pp. 311-339, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
linearizability, atomic register, wait-free synchronization |
42 | Yehuda Afek, Hagit Attiya, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit |
Atomic Snapshots of Shared Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 40(4), pp. 873-890, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
consistent state, fault-tolerance, atomic, snapshot |
41 | César Andrés, Carlos Molinero, Manuel Núñez 0001 |
A Hierarchical Methodology to Specify and Simulate Complex Computational Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part I, pp. 347-356, 2009, Springer, 978-3-642-01969-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Tim Harris 0001, Mark Plesko, Avraham Shinnar, David Tarditi |
Optimizing memory transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 14-25, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
critical regions, transactional memory, atomicity |
41 | Gail E. Kaiser |
Concurrent meld. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 120-122, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
MELD |
40 | Nicolas Schiper, Fernando Pedone |
On the Inherent Cost of Atomic Broadcast and Multicast in Wide Area Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking, 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008., pp. 147-157, 2008, Springer, 978-3-540-77443-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Nicolas Schiper, Fernando Pedone |
Solving Atomic Multicast When Groups Crash. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings, pp. 481-495, 2008, Springer, 978-3-540-92220-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
40 | Rachid Guerraoui, Michel Raynal |
From Unreliable Objects to Reliable Objects: The Case of Atomic Registers and Consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings, pp. 47-61, 2007, Springer, 978-3-540-73939-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Chryssis Georgiou, Nicolas C. Nicolaou, Alexander A. Shvartsman |
Brief Announcement: Fault-Tolerant SemiFast Implementations of Atomic Read/Write Registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings, pp. 537-539, 2006, Springer, 3-540-44624-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Lisa Higham, Colette Johnen |
Relationships between communication models in networks using atomic registers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans |
Nomad: A Security Model with Non Atomic Actions and Deadlines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20-22 June 2005, Aix-en-Provence, France, pp. 186-196, 2005, IEEE Computer Society, 0-7695-2340-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
40 | Richard Ekwall, André Schiper, Péter Urbán |
Token-based Atomic Broadcast using Unreliable Failure Detectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 18-20 October 2004, Florianpolis, Brazil, pp. 52-65, 2004, IEEE Computer Society, 0-7695-2239-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Rachid Guerraoui |
Atomic Object Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, pp. 118-138, 1994, Springer, 3-540-58202-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
40 | Irene Greif, Robert Seliger, William E. Weihl |
Atomic Data Abstractions in a Distributed Collaborative Editing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA, January 1986, pp. 160-172, 1986, ACM Press. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
38 | Rachid Guerraoui, Michel Hurfin, Achour Mostéfaoui, Rui Carlos Oliveira, Michel Raynal, André Schiper |
Consensus in Asynchronous Distributed Systems: A Concise Guided Tour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Distributed Systems ![In: Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems, pp. 33-47, 1999, Springer, 3-540-67196-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Crash/no Recovery, Crash/Recovery, Consensus, Asynchronous Distributed Systems, Atomic Broadcast, Atomic Commitment |
38 | Maged M. Michael, Michael L. Scott |
Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 267-273, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
relative performance, preemption safe locking, non blocking synchronization, multiprogrammed shared memory multiprocessors, inopportune preemption, synchronized parallel applications, concurrent atomic update, non blocking lock free algorithms, kernel support, universal atomic primitive, 12 processor SGI Challenge multiprocessor, multiprogrammed machines, priority queues, multiprogramming, stacks, concurrent data structures, counters, FIFO queues, shared data structures |
37 | Hisham Haddad, Herbert Tesser |
Reusable subsystems: domain-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 971-975, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
atomic domain, domain-based reuse methodologies, reusable subsystems, wrapper |
37 | Jeannette M. Wing |
Using Larch to Specify Avalon/C++ Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1076-1088, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Avalon/C++ objects, subatomic, nonfunctional properties, complex properties, formal specification, formal specification, atomic, recoverable, Larch |
36 | Chryssis Georgiou, Nikolas Hadjiprocopiou, Peter M. Musial |
Evaluating a Dependable Sharable Atomic Data Service on a Planetary-Scale Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP ![In: Algorithms and Architectures for Parallel Processing, 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings, pp. 580-592, 2009, Springer, 978-3-642-03094-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Atomic Memory Service, Planetary Scale Experiments, Provable Guarantees, Performance Evaluation, Distributed Architecture |
36 | Udo Bartlang, Jörg P. Müller |
DhtFlex: A Flexible Approach to Enable Efficient Atomic Data Management Tailored for Structured Peer-to-Peer Overlays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Third International Conference on Internet and Web Applications and Services, ICIW 2008, 8-13 June 2008, Athens, Greece, pp. 377-384, 2008, IEEE Computer Society, 978-0-7695-3163-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dhtflex, p2p, atomic operations, dht |
36 | Olivier Rütti, Sergio Mena, Richard Ekwall, André Schiper |
On the Cost of Modularity in Atomic Broadcast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 635-644, 2007, IEEE Computer Society, 0-7695-2855-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
microprotocols, performance cost, experimental evaluation, modular design, atomic broadcast |
36 | Eun-A Jun, Seok Won Jung, Jeom Goo Kim, Jong In Lim 0001 |
Efficient an Implementation Method Research of a Smart Card Atomic Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2007, International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II, pp. 113-121, 2007, Springer, 978-3-540-74475-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Card Operating System (COS), Data integrity, Atomic operation |
36 | Kenneth B. Russell, David Detlefs |
Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 263-272, 2006, ACM, 1-59593-348-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
rebias, revoke, Java, optimization, synchronization, monitor, atomic, lock, bias, reservation |
36 | Rida A. Bazzi, Yin Ding |
Bounded Wait-Free f-Resilient Atomic Byzantine Data Storage Systems for an Unbounded Number of Clients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings, pp. 299-313, 2006, Springer, 3-540-44624-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fault Tolerance, Replication, Atomic, Timestamps, Wait-Free, Byzantine |
36 | Tongjun Li |
On Axiomatic Characterization of Approximation Operators Based on Atomic Boolean Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 129-134, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
atomic Boolean algebras, rough sets, mappings, Approximation operators |
36 | Roy Friedman, Michel Raynal, Corentin Travers |
Two Abstractions for Implementing Atomic Objects in Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers, pp. 73-87, 2005, Springer, 3-540-36321-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Atomic object, Distributed system, Shared memory, Dynamic system, Server, Quorum, Crash failures, Communication primitive |
36 | Paul D. Ezhilchelvan, Doug Palmer, Michel Raynal |
An Optimal Atomic Broadcast Protocol and an Implementation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 15-17 January 2003, Guadalajara, Mexico, pp. 32-, 2003, IEEE Computer Society, 0-7695-1929-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Communication Step, Notifying Broadcast, Consensus, Asynchronous Distributed System, Crash Failure, Atomic Broadcast, Reliable Broadcast |
36 | Kai Brünnler |
Atomic Cut Elimination for classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 86-97, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
atomic cut, sequent calculus, cut elimination, natural deduction, classical logic |
36 | Kiyokuni Kawachiya, Akira Koseki, Tamiya Onodera |
Lock reservation: Java locks can mostly do without atomic operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002., pp. 130-141, 2002, ACM, 1-58113-471-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
thread locality, Java, synchronization, monitor, lock, reservation, atomic operation |
36 | Paul C. Attie, E. Allen Emerson |
Synthesis of concurrent programs for an atomic read/write model of computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 23(2), pp. 187-242, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
specification, temporal logic, concurrent programs, program synthesis, atomic registers |
36 | Beverly A. Sanders |
Using atomic await commands to develop concurrent programs in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Concepts Tools ![In: Softw. Concepts Tools 19(4), pp. 168-174, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Atomic await, Java, Concurrent programming |
36 | Andy J. Wellings, Alan Burns 0001 |
Implementing Atomic Actions in Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(2), pp. 107-123, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
exception handling, conversations, Software fault tolerance, Ada 95, atomic actions, recovery blocks |
36 | Lefteris M. Kirousis, Paul G. Spirakis, Philippas Tsigas |
Reading Many Variables in One Atomic Operation: Solutions with Linear or Sublinear Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(7), pp. 688-696, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
sublinear complexity, deterministic protocol, memory location, Archimedean time assumption, computational complexity, protocols, distributed algorithms, time complexity, probabilistic algorithm, linear complexity, space complexity, atomic operation |
36 | Gruia-Catalin Roman, Jerome Y. Plun, C. Donald Wilcox |
Dynamic Synchrony Among Atomic Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(6), pp. 677-685, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
dynamicsynchrony, Swarm notation, leader election problem, concurrencycontrol, parallel programming, synchronization, concurrent programming, atomic actions, concurrent algorithm, sequential processes |
35 | Naveen Neelakantam, David R. Ditzel, Craig B. Zilles |
A real system evaluation of hardware atomicity for software speculation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010, pp. 29-38, 2010, ACM, 978-1-60558-839-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
optimization, checkpoint, atomicity, speculation, dynamic translation |
35 | Cormac Flanagan, Shaz Qadeer |
A type and effect system for atomicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, pp. 338-349, 2003, ACM, 1-58113-662-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multithreading, atomicity, race conditions, static checking |
35 | António Luís Pinto Ferreira de Sousa, Rui Oliveira 0001, Francisco Moura, Fernando Pedone |
Partial Replication in the Database State Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: IEEE International Symposium on Network Computing and Applications (NCA 2001), October 8-10, 2001, Cambridge, MA, USA, pp. 298-309, 2001, IEEE Computer Society, 0-7695-1432-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Ferad Zyulkyarov, Tim Harris 0001, Osman S. Unsal, Adrián Cristal, Mateo Valero |
Debugging programs that use atomic blocks and transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2010, Bangalore, India, January 9-14, 2010, pp. 57-66, 2010, ACM, 978-1-60558-877-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
debugging, transactional memory |
34 | Vijay Menon 0002, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc |
Single global lock semantics in a weakly atomic STM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 43(5), pp. 15-26, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Java |
34 | Sang-Hack Jung, Yanlin Guo, Harpreet S. Sawhney, Rakesh Kumar 0001 |
Action video retrieval based on atomic action vocabulary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimedia Information Retrieval ![In: Proceedings of the 1st ACM SIGMM International Conference on Multimedia Information Retrieval, MIR 2008, Vancouver, British Columbia, Canada, October 30-31, 2008, pp. 245-252, 2008, ACM, 978-1-60558-312-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
action video, video retrieval, action recognition |
34 | Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng |
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 21(1), pp. 41-51, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
model checking, formal method, timed automaton |
34 | Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, Jennifer L. Welch |
GeoQuorums: implementing atomic memory in mobile ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 18(2), pp. 125-155, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Dynamic distributed algorithms, Fault-tolerance, Ad hoc networks, Mobile networks, Location-aware |
34 | Dominic St-Jacques, Thomas Boitani, Pierre-Alain Dumas, Marc-Antoine Ducas, Marc-Antoine Fortin, Sylvain Martel |
Atomic-scale Positioning Reference Grid System for Miniature Robots with Embedded Scanning Tunnelling Capability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 1339-1344, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Yousef J. Al-Houmaily, Panos K. Chrysanthis |
ML-1-2PC: An Adaptive Multi-level Atomic Commit Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceeding, pp. 275-290, 2004, Springer, 3-540-23243-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Andrew G. Fry |
Expressing Database Transactions as Atomic-Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 7th International Database Engineering and Applications Symposium (IDEAS 2003), 16-18 July 2003, Hong Kong, China, pp. 320-328, 2003, IEEE Computer Society, 0-7695-1981-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | Luís E. T. Rodrigues, Michel Raynal |
Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 20th International Conference on Distributed Computing Systems, Taipei, Taiwan, April 10-13, 2000, pp. 288-295, 2000, IEEE Computer Society, 0-7695-0601-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Distributed Fault Tolerant Systems, Distributed Algorithms, Communication Protocols |
34 | Fernando Pedone, Rachid Guerraoui, André Schiper |
Exploiting Atomic Broadcast in Replicated Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings, pp. 513-520, 1998, Springer, 3-540-64952-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Matt Blaze, Gerrit Bleumer, Martin Strauss 0001 |
Divertible Protocols and Atomic Proxy Cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '98, International Conference on the Theory and Application of Cryptographic Techniques, Espoo, Finland, May 31 - June 4, 1998, Proceeding, pp. 127-144, 1998, Springer, 3-540-64518-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Robert J. Stroud, Zhixue Wu |
Using Metaobject Protocols to Implement Atomic Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'95 - Object-Oriented Programming, 9th European Conference, Århus, Denmark, August 7-11, 1995, Proceedings, pp. 168-189, 1995, Springer, 3-540-60160-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
34 | Michael K. Reiter |
Secure Agreement Protocols: Reliable and Atomic Group Multicast in Rampart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS '94, Proceedings of the 2nd ACM Conference on Computer and Communications Security, Fairfax, Virginia, USA, November 2-4, 1994., pp. 68-80, 1994, ACM, 0-89791-732-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
34 | Jeannette M. Wing |
Verifying Atomic Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 731-758, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types |
34 | Stephen W. Melvin, Michael Shebanow, Yale N. Patt |
Hardware support for large atomic units in dynamically scheduled machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 21st Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1988, San Diego, California, USA, November 28 - December 2, 1988, pp. 60-63, 1988, ACM/IEEE, 0-8186-1919-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
34 | David P. Reed |
Implementing Atomic Actions on Decentralized Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Seventh Symposium on Operating System Principles, SOSP 1979, Asilomar Conference Grounds, Pacific Grove, California, USA, 10-12, December 1979, pp. 163, 1979, ACM, 0-89791-009-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
34 | Warren A. Montgomery |
Polyvalues: A Tool for Implementing Atomic Updates to Distributed Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Seventh Symposium on Operating System Principles, SOSP 1979, Asilomar Conference Grounds, Pacific Grove, California, USA, 10-12, December 1979, pp. 143-149, 1979, ACM, 0-89791-009-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Xavier Défago, André Schiper, Péter Urbán |
Total order broadcast and multicast algorithms: Taxonomy and survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 36(4), pp. 372-421, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
atomic multicast, global ordering, fault-tolerance, classification, Distributed systems, distributed algorithms, message passing, survey, taxonomy, group communication, atomic broadcast, total ordering, agreement problems |
33 | Issei Fujishiro, Yuji Maeda, Hiroshi Sato |
Interval Volume: A Solid Fitting Technique for Volumetric Data Display and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 6th IEEE Visualization Conference, IEEE Vis 1995, Atlanta, GA, USA, October 29 - November 3, 1995, Proceedings, pp. 151-158, 1995, IEEE Computer Society Press, 0-8186-7187-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
atomic collisions, solid fitting technique, volumetric data display, volumetric data analysis, 3D subvolumes, field values, closed interval, dominant surface fitting algorithm, marching cubes algorithm, volumetric dataset, high-resolution polyhedral solid data structure extraction, rendering methods, 4D simulated data, atomic collisions, geometric model, data analysis, solid modelling, data visualisation, isosurfaces, surface fitting, physics computing, rendering (computer graphics), interval volume |
31 | Edson Borin, Youfeng Wu, Cheng Wang 0013, Wei Liu 0014, Maurício Breternitz Jr., Shiliang Hu, Esfir Natanzon, Shai Rotem, Roni Rosner |
TAO: two-level atomicity for dynamic binary optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the CGO 2010, The 8th International Symposium on Code Generation and Optimization, Toronto, Ontario, Canada, April 24-28, 2010, pp. 12-21, 2010, ACM, 978-1-60558-635-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
atomic execution, dynamic binary optimization, large region optimization, hardware/software co-design |
31 | Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, R. K. Shyamasundar |
May-happen-in-parallel analysis of X10 programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2007, San Jose, California, USA, March 14-17, 2007, pp. 183-193, 2007, ACM, 978-1-59593-602-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
may-happen-in-parallel, parallel program analysis, concurrent, atomic, activity, place, X10 |
31 | Fernando Pedone, Rachid Guerraoui, André Schiper |
The Database State Machine Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 14(1), pp. 71-98, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
state machine approach, synchronous replication, transaction processing, atomic broadcast, database replication, optimistic concurrency control |
31 | Martin C. Rinard |
Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 17(4), pp. 337-371, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
atomic operations commutativity analysis, parallel computing, synchronization, parallelizing compilers, optimistic synchronization |
31 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Distributed Systems ![In: Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems, pp. 453-471, 1999, Springer, 3-540-67196-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
available systems, fault-tolerance, distributed system, replication, atomic transactions |
31 | Hagit Attiya, Amotz Bar-Noy, Danny Dolev |
Sharing Memory Robustly in Message-Passing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(1), pp. 124-142, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
processor and link failures, fault-tolerance, message passing, shared memory, emulation, atomic registers, wait-freedom |
31 | Rita V. Rodríguez |
A relativistic temporal algebra for efficient design of distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 3(1), pp. 31-45, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Atomic relation, incomparable events, interval temporal model, relativistic space-time, temporal algebra, distributed system, relation algebra |
30 | Lasse Kliemann, Anand Srivastav |
Models of Non-atomic Congestion Games - From Unicast to Multicast Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmics of Large and Complex Networks ![In: Algorithmics of Large and Complex Networks - Design, Analysis, and Simulation [DFG priority program 1126], pp. 292-318, 2009, Springer, 978-3-642-02093-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
non-atomic congestion games, Wardrop model, unicast routing, multicast routing, price of anarchy |
30 | Piotr Zielinski |
Low-latency atomic broadcast in the presence of contention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 20(6), pp. 435-450, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Generic Broadcast, Synchronized clocks, Fault-tolerance, Atomic Broadcast |
Displaying result #1 - #100 of 5202 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|