|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7652 occurrences of 2452 keywords
|
|
|
Results
Found 10697 publication records. Showing 10697 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Wen-mei W. Hwu, Yale N. Patt |
Exploiting horizontal and vertical concurrency via the HPSm microprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 20st Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1987, Colorado Springs, Colorado, USA, December 1-4, 1987, pp. 154-161, 1987, ACM/IEEE, 0-89791-250-0. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Gérard Boudol, Ilaria Castellani |
On the Semantics of Concurrency: Partial Orders and Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'87), pp. 123-137, 1987, Springer, 3-540-17660-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Otto Nurmi, Eljas Soisalon-Soininen, Derick Wood |
Concurrency Control in Database Structures with Relaxed Balance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California, USA, pp. 170-176, 1987, ACM, 0-89791-223-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | J. Eliot B. Moss, Walter H. Kohler |
Concurrency Features for the Trellis/Owl Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'87 European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, Proceedings, pp. 171-180, 1987, Springer, 3-540-18353-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Rob J. van Glabbeek, Frits W. Vaandrager |
Petri Net Models for Algebraic Theories of Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 224-242, 1987, Springer, 3-540-17945-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
15 | J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog |
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings, pp. 149-157, 1985, Springer, 3-540-15650-X. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Philip S. Yu, Daniel M. Dias, John T. Robinson, Balakrishna R. Iyer, Douglas W. Cornell |
Modelling of Centralized Concurrency Control in a Multi-System Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Austin, Texas, USA, August 26-29, 1985, pp. 183-191, 1985, ACM, 0-89791-169-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Thomasian, In Kyung Ryu |
Analysis of Some Optimistic Concurrency Control Schemes Based on Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems, Austin, Texas, USA, August 26-29, 1985, pp. 192-203, 1985, ACM, 0-89791-169-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Udi Manber, Richard E. Ladner |
Concurrency Control In a Dynamic Search Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 9(3), pp. 439-455, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
15 | Christos H. Papadimitriou, Paris C. Kanellakis |
On Concurrency Control by Multiple Versions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 9(1), pp. 89-99, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
15 | Gael N. Buckley, Abraham Silberschatz |
Concurrency Control in Graph Protocols by Using Edge Locks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada, pp. 45-50, 1984, ACM, 0-89791-128-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
15 | Nancy A. Lynch |
Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 8(4), pp. 484-502, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
transaction, atomicity, breakpoint |
15 | Michael J. Carey 0001 |
An Abstract Model of Database Concurrency Control Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD'83, Proceedings of Annual Meeting, San Jose, California, USA, May 23-26, 1983., pp. 97-107, 1983, ACM Press, 978-0-89791-104-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Michael J. Carey 0001 |
Granularity Hierarchies in Concurrency Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta, Georgia, USA, pp. 156-165, 1983, ACM, 0-89791-097-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
15 | Gunter Schlageter |
Problems of Optimistic Concurrency Control in Distributed Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 12(3), pp. 62-66, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Christos H. Papadimitriou, Paris C. Kanellakis |
On Concurrency Control by Multiple Versions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California, USA, pp. 76-82, 1982, ACM, 0-89791-070-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
15 | Richard Edwin Stearns, Daniel J. Rosenkrantz |
Distributed Database Concurrency Controls Using Before-Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, Ann Arbor, Michigan, USA, April 29 - May 1, 1981, pp. 74-83, 1981, ACM Press, 978-0-89791-040-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
15 | Wen-Te K. Lin |
Performance Evaluation of Two Concurrency Control Mechanisms in a Distributed Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, Ann Arbor, Michigan, USA, April 29 - May 1, 1981, pp. 84-92, 1981, ACM Press, 978-0-89791-040-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
15 | Yat-Sang Kwong, Derick Wood |
On B-Trees: Routing Schemes and Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1980 ACM SIGMOD International Conference on Management of Data, Santa Monica, California, USA, May 14-16, 1980., pp. 207-211, 1980, ACM Press. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
15 | Rudolf Munz, Gunter Krenz |
Concurrency in Database Systems - A Simulation Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1977 ACM SIGMOD International Conference on Management of Data, Toronto, Canada, August 3-5, 1977., pp. 111-120, 1977, ACM, 978-1-4503-7343-2. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
15 | Bruce P. Lester |
Program Schemas with Concurrency: Execution Time and Hangups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, USA, January 1975, pp. 185-193, 1975, ACM Press. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
15 | Sandya Mannarswamy, Dhruva R. Chakrabarti, Kaushik Rajan, Sujoy Saraswati |
Compiler aided selective lock assignment for improving the performance of software 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. 37-46, 2010, ACM, 978-1-60558-877-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
performance, parallelization, compilers, multithreading |
15 | Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad |
Thorn: robust, concurrent, extensible scripting on the JVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 117-136, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
pattern matching, scripting, actors |
15 | Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad |
Thorn: robust concurrent scripting on the JVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 789-790, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
pattern matching, scripting, actors |
15 | Mike Dodds, Xinyu Feng 0001, Matthew J. Parkinson, Viktor Vafeiadis |
Deny-Guarantee Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 363-377, 2009, Springer, 978-3-642-00589-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Antonio Monzon, José L. Fernández-Sánchez |
Deadlock risk assessment in architectural models of real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: IEEE Fourth International Symposium on Industrial Embedded Systems, SIES 2009, Ecole Polytechnique Federale de Lausanne, Switzerland, July 8-10, 2009, pp. 181-190, 2009, IEEE, 978-1-4244-4110-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Jim Larson |
Erlang for Concurrent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 6(5), pp. 18-23, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Murat Demirbas, Onur Soysal, Muzammil Hussain |
TRANSACT: A Transactional Framework for Programming Wireless Sensor/Actor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 7th International Conference on Information Processing in Sensor Networks, IPSN 2008, St. Louis, Missouri, USA, April 22-24, 2008, pp. 295-306, 2008, IEEE Computer Society, 978-0-7695-3157-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Claudio V. Russo |
Join patterns for visual basic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, pp. 53-72, 2008, ACM, 978-1-60558-215-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
join patterns, visual basic, asynchronous message passing |
15 | Ivo Barone, Andrea De Lucia, Fausto Fasano, Esterino Rullo, Giuseppe Scanniello, Genoveffa Tortora |
COMOVER: Concurrent model versioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28 - October 4, 2008, Beijing, China, pp. 462-463, 2008, IEEE Computer Society, 978-1-4244-2613-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Juha Puustjärvi |
Exploiting a database system in scheduling internet-based workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2008 - The Tenth International Conference on Information Integration and Web-based Applications Services, 24-26 November 2008, Linz, Austria, pp. 71-76, 2008, ACM, 978-1-60558-349-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
internet-based workflows, databases, workflows, SQL, isolation |
15 | Alessandro Ricci, Mirko Viroli |
simpA: an agent-oriented approach for prototyping concurrent applications on top of Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, PPPJ 2007, Lisboa, Portugal, September 5-7, 2007, pp. 185-194, 2007, ACM, 978-1-59593-672-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
agents & artifacts, simpA, concurrent programming |
15 | Kelly Heffner, David Tarditi, Michael D. Smith 0001 |
Extending Object-Oriented Optimizations for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), Brasov, Romania, September 15-19, 2007, pp. 119-129, 2007, IEEE Computer Society, 0-7695-2944-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meuter |
Linguistic symbiosis between actors and threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDL ![In: Proceedings of the 2007 International Conference on Dynamic Languages (ICDL 2007), organised in conjunction with the 15th International Smalltalk Joint Conference 2007, Lugano, Switzerland, 25-31 August 2007, pp. 222-248, 2007, ACM, 978-1-60558-084-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
AmbientTalk, linguistic symbiosis, events, threads, actors |
15 | Vivek Sarkar |
Programming Challenges for Petascale and Multicore Parallel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC ![In: High Performance Computing and Communications, Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings, pp. 1, 2007, Springer, 978-3-540-75443-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Vijay A. Saraswat |
X10: Concurrent Programming for Modern Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, pp. 1, 2007, Springer, 978-3-540-76636-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Ricci, Mirko Viroli, Giulio Piancastelli |
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADS ![In: Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers, pp. 261-278, 2007, Springer, 978-3-540-85057-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Volker Diekert, Manfred Kufleitner |
On First-Order Fragments for Words and Mazurkiewicz Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings, pp. 1-19, 2007, Springer, 978-3-540-73207-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Zhifang Li, Lei Li 0022, Hao Cui, Hai Wan |
An Adaptive-Granularity Locking Algorithm and Its Application in Collaborative Authoring System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2007, April 26-28, 2007, Melbourne, Australia, pp. 168-173, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Shan Lu 0001, Weihang Jiang, Yuanyuan Zhou 0001 |
A study of interleaving coverage criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 533-536, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
concurrent program, interleaving, coverage criteria |
15 | Shigeru Kusakabe, Mitsuhiro Aono, Masaaki Izumi, Satoshi Amamiya, Yoshinari Nomura, Hideo Taniguchi, Makoto Amamiya |
Scalability of continuation-based fine-grained multithreading in handling multiple I/O requests on FUCE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the 4th Conference on Computing Frontiers, 2007, Ischia, Italy, May 7-9, 2007, pp. 225-236, 2007, ACM, 978-1-59593-683-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fine-grained multithreading, operating systems, I/O |
15 | 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 |
15 | Brian D. Carlstrom, Austen McDonald, Michael Carbin, Christos Kozyrakis, Kunle Olukotun |
Transactional collection classes. ![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. 56-67, 2007, ACM, 978-1-59593-602-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
collection classes, Java, transactional memory, multiprocessor architecture |
15 | Abdelsalam Shanneb, John Potter |
Lock Selection Made Easy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWEC ![In: 17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia, pp. 341-350, 2006, IEEE Computer Society, 0-7695-2551-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Xin Li 0020, Reinhard von Hanxleden |
A concurrent reactive Esterel processor based on multi-threading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 912-917, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multithreading, processor architecture, synchronous languages, esterel |
15 | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
Timed Unfoldings for Networks of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006., pp. 292-306, 2006, Springer, 3-540-47237-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Chris R. Jesshope |
muTC - An Intermediate Language for Programming Chip Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia-Pacific Computer Systems Architecture Conference ![In: Advances in Computer Systems Architecture, 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings, pp. 147-160, 2006, Springer, 3-540-40056-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Self-adaptive computing, data-driven com-putation, programming chip multiprocessors, concurrent languages |
15 | Peter Van Roy |
Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, pp. 2-12, 2006, Springer, 3-540-33438-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Simon Kahan, Petr Konecny |
"MAMA!": a memory allocator for multithreaded architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2006, New York, New York, USA, March 29-31, 2006, pp. 178-186, 2006, ACM, 1-59593-189-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Eldorado, MTA, malloc, parallel memory allocation, multithreading, combining |
15 | Saisanthosh Balakrishnan, Gurindar S. Sohi |
Program Demultiplexing: Data-flow based Speculative Parallelization of Methods in Sequential Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 33rd International Symposium on Computer Architecture (ISCA 2006), June 17-21, 2006, Boston, MA, USA, pp. 302-313, 2006, IEEE Computer Society, 0-7695-2608-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Steve Dekorte |
Io: a small programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 166-167, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
prototype-based, object oriented, languages, actors, lazy evaluation, coroutines |
15 | Chia-Chu Chiang |
A Formal Specification-Based Approach to Distributed Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA, pp. 197-205, 2004, IEEE Computer Society, 0-7695-2094-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Goetz Graefe, Michael J. Zwilling |
Transaction support for indexed views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Paris, France, June 13-18, 2004, 2004, ACM, 1-58113-859-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Brad Long, Roger Duke, Doug Goldson, Paul A. Strooper, Luke Wildman |
Mutation-Based Exploration of a Method for Verifying Concurrent Java Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Yongyan Wang, Qiang Wang, Hongan Wang, Guozhong Dai |
Dynamic Adjustment of Execution Order in Real-Time Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Bhushan Bauskar, Boleslaw Mikolajczak |
Modeling inheritance anomaly in concurrent systems using colored Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (5) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 4873-4878, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Changxiu Cheng, Paiwei Shen, Mingbo Zhang, Feng Lu |
An Extended Locking Method for Geographical Database with Spatial Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV, pp. 972-980, 2004, Springer, 3-540-22129-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Torbjörn Lager, Fredrik Kronlid |
The CURRENT Platform: Building Conversational Agents in Oz. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOZ ![In: Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers, pp. 161-174, 2004, Springer, 3-540-25079-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Sérgio Soares, Paulo Borba |
Aspect-oriented implementation method: progressive or non-progressive approach? ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 128-129, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
implementation method, progressive implementation, Java, aspect-oriented programming, separation of concerns, AspectJ |
15 | Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen |
A Compositional Operational Semantics for JavaMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification: Theory and Practice ![In: Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, pp. 290-303, 2003, Springer, 3-540-21002-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Frédéric Peschanski, David Julien |
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets. ![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. 79-97, 2003, Springer, 3-540-40253-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Evaggelia Pitoura, Panos K. Chrysanthis |
Multiversion Data Broadcast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(10), pp. 1224-1230, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Mobile computing, broadcast, consistency, versioning, transaction management |
15 | Jürgen Dingel |
A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 14(2), pp. 123-197, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming |
15 | Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen |
Verification for Java's Reentrant Multithreading Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings, pp. 5-20, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Jun Chen, Songting Chen, Elke A. Rundensteiner |
A Transactional Model for Data Warehouse Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2002, 21st International Conference on Conceptual Modeling, Tampere, Finland, October 7-11, 2002, Proceedings, pp. 247-262, 2002, Springer, 3-540-44277-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | João Paulo Barros |
Specific proposals for the use of petri nets in a concurrent programming course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 7th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2002, Aarhus, Denmark, June 24-28, 2002, pp. 165-167, 2002, ACM, 1-58113-499-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
FSP, process algebra, state machines, introductory course, LTSA |
15 | Joffroy Beauquier, Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit |
Group Mutual Exclusion In Tree Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 9th International Conference on Parallel and Distributed Systems, ICPADS 2002, Taiwan, ROC, December 17-20, 2002, pp. 111-116, 2002, IEEE Computer Society, 0-7695-1760-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Distributed algorithms, mutual exclusion, group mutual exclusion |
15 | Tom Holvoet, Pierre Verbaeten |
Using Petri Nets for Specifying Active Objects and Generative Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Object-Oriented Programming and Petri Nets ![In: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets., pp. 38-72, 2001, Springer, 3-540-41942-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Kazunori Ueda |
Resource-Passing Concurrent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, pp. 95-126, 2001, Springer, 3-540-42736-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic |
A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA, pp. 96-103, 2000, IEEE Computer Society, 0-7695-0607-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Katerina Goseva-Popstojanova, Kishor S. Trivedi |
Stochastic Modeling Formalisms for Dependability, Performance and Performability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance Evaluation ![In: Performance Evaluation: Origins and Directions, pp. 403-422, 2000, Springer, 3-540-67193-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | W. F. Sánchez, Juan Hernández Núñez, Juan Manuel Murillo, José Luis Herrero, Roberto Rodríguez 0001 |
Adaptability of Object Distribution Protocols Using the Disguises Model Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOA ![In: International Symposium on Distributed Objects and Applications, DOA 2000, Antwerp, Belgium, September 21-23, 2000, pp. 315-, 2000, IEEE Computer Society, 0-7695-0819-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Ralf Schenkel, Gerhard Weikum, Norbert Weißenberg, Xuequn Wu |
Federated Transaction Management with Snapshot Isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMLDO - Selected Papers ![In: Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers, pp. 1-25, 1999, Springer, 3-540-67201-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Jan Lindström, Kimmo E. E. Raatikainen |
Dynamic Adjustment of Serialization Order Using Timestamp Intervals in Real-Time Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 13-20, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Martin C. Rinard, Monica S. Lam |
The Design, Implementation, and Evaluation of Jade. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(3), pp. 483-545, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
parallel computing, parallel programming languages |
15 | Gleb Naumovich, George S. Avrunin |
A Conservative Data Flow Algorithm for Detecting All Pairs of Statement That May Happen in Parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998, pp. 24-34, 1998, ACM, 978-1-58113-108-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Francesc D. Muñoz-Escoí, Pablo Galdámez, José M. Bernabéu-Aubán |
A Synchronisation Mechanism for Replicated Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM '98: Theory and Practice of Informatics, 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21-27, 1998, Proceedings, pp. 389-398, 1998, Springer, 3-540-65260-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Vivek Garg, David E. Schimmel |
CCSIMD: A Concurrent Communication and Computation Framework for SIMD Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCRCW ![In: Parallel Computer Routing and Communication, Second International Workshop, PCRCW'97, Atlanta, Georgia, USA, June 26-27, 1997, Proceedings, pp. 55-64, 1997, Springer, 3-540-64571-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Kwei-Jay Lin, Ching-Sang Peng, Tony P. Ng |
An Active Real-Time Database Model for Air Traffic Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARTDB ![In: Active, Real-Time, and Temporal Database Systems, Second International Workshop, ARTDB-97, Como, Italy, September 8-9, 1997, Proceedings, pp. 73-97, 1997, Springer, 3-540-65649-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Krithi Ramamritham, Rajendran M. Sivasankaran, John A. Stankovic, Donald F. Towsley, Ming Xiong |
Integrating Temporal, Real-Time, and Active Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 25(1), pp. 8-12, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima |
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 3rd Asia-Pacific Software Engineering Conference (APSEC '96), December 4-7, 1996, Seoul, South Korea, pp. 345-354, 1996, IEEE Computer Society, 0-8186-7638-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
ordered sequence testing criterion (OSC), C concurrent program, probe insertion, Software test, monitoring, UNIX, coverage |
15 | Dale Miller 0001 |
Linear Logic as Logic Programming: An Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, First International Conference, LACL '96, Nancy, France, September 23-25, 1996, Selected Papers, pp. 63-67, 1996, Springer, 3-540-63700-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Dennis E. Shasha, François Llirbat, Eric Simon, Patrick Valduriez |
Transaction Chopping: Algorithms and Performance Studies ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 20(3), pp. 325-363, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
locking, serializability, tuning, multidatabase |
15 | Dexter P. Bradshaw, Per-Åke Larson, Jacob Slonim |
Transaction scheduling in dynamic composite multidatabase systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1995 Conference of the Centre for Advanced Studies on Collaborative Research, November 7-9, 1995, Toronto, Ontario, Canada, pp. 9, 1995, IBM. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
15 | Abdelsalam Helal, Tung-Hui Ku, Judson Fortner |
Quasi-Dynamic Two-Phase Locking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29 - December 2, 1994, pp. 211-218, 1994, ACM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
pre-declaration, adaptability, two-phase locking, resource contention, data contention |
15 | Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi 0001 |
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings, pp. 114-132, 1994, Springer, 3-540-58431-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Dale Miller 0001 |
Specifications Using Multiple-Conclusion Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 3-4, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Gustavo Alonso, Divyakant Agrawal, Amr El Abbadi |
Reducing Recovery Constraints on Locking based Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA, pp. 129-138, 1994, ACM Press, 0-89791-642-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Dominique Bolignano, Mourad Debbabi |
Higher Order Communication Processes with Value-Passing, Assignment and Return of Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, Third International Symposium, ISAAC '92, Nagoya, Japan, December 16-18, 1992, Proceedings, pp. 319-331, 1992, Springer, 3-540-56279-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Dennis E. Shasha, Eric Simon, Patrick Valduriez |
Simple Rational Guidance for Chopping Up Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, San Diego, California, USA, June 2-5, 1992., pp. 298-307, 1992, ACM Press, 978-0-89791-521-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | David B. Lomet |
MLR: A Recovery Method for Multi-level Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, San Diego, California, USA, June 2-5, 1992., pp. 185-194, 1992, ACM Press, 978-0-89791-521-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Paola Glavan, Dean Rosenzweig |
Communicating Evolving Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers, pp. 182-215, 1992, Springer, 3-540-56992-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Crispin Cowan |
Optimistic replication in HOPE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, November 9-12, 1992, Toronto, Ontario, Canada, 2 Volumes, pp. 269-282, 1992, IBM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
15 | Christian Neusius |
Synchronizing Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings, pp. 118-132, 1991, Springer, 3-540-54262-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Jay Almarode |
Issues in the Design and Implementation of a Schema Designer for an OODBMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings, pp. 200-218, 1991, Springer, 3-540-54262-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Robert Jellinghaus |
Eiffel Linda: an object-oriented Linda dialect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 25(12), pp. 70-84, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Linda, Eiffel |
15 | Michael J. Carey 0001, Sanjay Krishnamurthi, Miron Livny |
Load Control for Locking: The 'Half-and-Half' Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, USA, pp. 72-84, 1990, ACM Press, 0-89791-352-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Bernd J. Krämer |
Specifying concurrent objects. ![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. 162-164, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
15 | Dimitris Christodoulakis |
Modeling the semantics of smalltalk-80 with Petri nets. ![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. 156-158, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Smalltalk-80 |
15 | Gail E. Kaiser |
Transactions for concurrent object-oriented programming systems. ![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. 136-138, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
|
|