|
|
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 |
14 | John M. Linebarger, Christopher D. Janneck, G. Drew Kessler |
Shared Simple Virtual Environment: An Object-Oriented Framework for Highly Interactive Group Collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 7th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2003), 23-25 October 2003, Delft, The Netherlands, pp. 170-180, 2003, IEEE Computer Society, 0-7695-2036-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
object-focused tasks, group collaboration modes, concurrency control mechanisms, collaborative virtual environments, application frameworks, Multi-user virtual reality, interaction mechanisms |
14 | Thomas C. Hudson, Aron T. Helser, Diane H. Sonnenwald, Mary C. Whitton |
Managing Collaboration in the nanoManipulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: IEEE Virtual Reality Conference 2003 (VR 2003), 22-26 March 2003, Los Angeles, CA, USA, Proceedings, pp. 180-, 2003, IEEE Computer Society, 0-7695-1882-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
nanoManipulator, concurrency control, collaborative virtual environments, distributed collaboration, scientific collaboration, state replication |
14 | Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son, Eddie Y. M. Chan |
On Transaction Processing with Partial Validation and Timestamp Ordering in Mobile Broadcast Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 51(10), pp. 1196-1211, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
partial validation, concurrency control, Transaction processing, broadcast disks, mobile clients, timestamp ordering |
14 | Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black |
Reactive Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Object-Oriented Real-Time Distributed Computing ![In: 5th International Symposiun on Object Oriented Real-Time Distributed Computing, ISORC 2002, Washington, DC, USA, April 29 - May 1, 2002, pp. 155-158, 2002, IEEE Computer Society, 0-7695-1558-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
concurrency, object-oriented, programming model, reactive, event-based |
14 | Jessica Chen |
Formal Modelling of Java GUI Event Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 359-370, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Java Swing and AWT, Model Checking, Concurrency, Nondeterminism, Labelled Transition Systems |
14 | Paul Gastin, Madhavan Mukund |
An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, pp. 938-949, 2002, Springer, 3-540-43864-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
concurrency, Temporal logics, Mazurkiewicz traces |
14 | Bharat Adsul, Milind A. Sohoni |
Complete and Tractable Local Linear Time Temporal Logics over Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings, pp. 926-937, 2002, Springer, 3-540-43864-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Concurrency, Temporal Logics, Limits, Mazurkiewicz Traces |
14 | Ernst-Erich Doberkat |
The Demonic Product of Probabilistic Relations. ![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. 114-128, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Probabilistic relations, demonic product, concurrency, bisimulation |
14 | Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo |
Proving Correctness of Timed Concurrent Constraint Programs. ![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. 37-51, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Concurrency, constraints, temporal logic, real-time programming |
14 | Raul Silaghi, Alfred Strohmeier |
Critical Evaluation of the EJB Transaction Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIDJI ![In: Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002, Revised Papers, pp. 15-28, 2002, Springer, 3-540-00679-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Auction System, Concurrency, Transactions, Deadlock, EJB, Enterprise JavaBeans |
14 | Nordine Melab, Sébastien Cahon, El-Ghazali Talbi, Ludovic Duponchel |
Parallel GA-Based Wrapper Feature Selection for Spectroscopic Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
NIRspectroscopy, Genetic Algorithms, Parallelism, Feature Selection, Concurrency |
14 | Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day |
Composable semantics for model-based notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, November 18-22, 2002, pp. 149-158, 2002, ACM, 1-58113-514-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
model-based notations, communication, concurrency, composition, operational semantics, formal analysis |
14 | Steve A. Schneider, Helen Treharne |
Communicating B Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 416-435, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Concurrency, CSP, B-Method, Combining Formalisms |
14 | Keijo Heljanko, Victor Khomenko, Maciej Koutny |
Parallelisation of the Petri Net Unfolding Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 371-385, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
parallel algorithms, Model checking, Petri nets, concurrency, causality, unfolding |
14 | Sudsanguan Ngamsuriyaroj, Ali R. Hurson, Thomas F. Keefe |
Maintaining Consistency of the Security Policy using Timestamp Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC ![In: 2002 International Symposium on Information Technology (ITCC 2002), 8-10 April 2002, Las Vegas, NV, USA, pp. 164-170, 2002, IEEE Computer Society, 0-7695-1506-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Performance, Concurrency control, Security policy, Consistency control, Timestamp ordering |
14 | Pietro Cenciarelli |
Configuration Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 200-215, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
configuration structures, Java, semantics, concurrency, sequent calculus |
14 | Hamza Mazouzi, Amal El Fallah Seghrouchni, Serge Haddad |
Open protocol design for complex interactions in multi-agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 517-526, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
distributed observation, protocol diagrams, formal specification, validation, colored petri nets, true concurrency, AUML |
14 | Avigdor Gal, John Mylopoulos |
Toward Web-Based Application Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 13(4), pp. 683-702, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
concurrency control, domain model, Semantic interoperability, change propagation |
14 | Shengyuan Wang, Jian Yu, Chongyi Yuan |
A Net-Based Multi-tier Behavior Inheritance Modelling Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, pp. 279-286, 2001, Springer, 3-540-43075-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Behavior Inheritance, Petri Net, Concurrency, Object Orientation, Modelling Method |
14 | Michael Leuschel |
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings, pp. 14-28, 2001, Springer, 3-540-41768-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Implementation and Compilation, Verification, Concurrency, Specification |
14 | Volker Diekert, Paul Gastin |
Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 55-69, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
concurrency, Temporal logics, Mazurkiewicz traces |
14 | Michele Boreale |
Symbolic Trace Analysis of Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 667-681, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
formal methods for security protocols, concurrency, spi-calculus |
14 | David Chen 0002, Chengzheng Sun |
Undoing any operation in collaborative graphics editing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of GROUP 2001, ACM 2001 International Conference on Supporting Group Work, September 30 - October 3, 2001, Boulder, Colorado, USA, pp. 197-206, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
undo/redo, distributed computing, concurrency control, consistency maintenance, collaborative editing, graphics editing, multi-versioning |
14 | François Siewe, Dang Van Hung |
Deriving Real-Time Programs from Duration Calculus Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, pp. 92-97, 2001, Springer, 3-540-42541-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Continuous specification, discrete design, Hoare triples, concurrency, real-time program, shared variables |
14 | Sandeep Lodha, Ajay D. Kshemkalyani |
A Fair Distributed Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(6), pp. 537-549, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distributed system, Algorithm, concurrency, synchronization, fairness, mutual exclusion |
14 | Brendan P. Mahony, Jin Song Dong |
Timed Communicating Object Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(2), pp. 150-177, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Software/system specification, real-time systems, formal methods, concurrency, CSP, object-oriented modeling, Z |
14 | Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf 0013, Stephen Michell |
Integrating object-oriented programming and protected objects in Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(3), pp. 506-539, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
concurrency, Ada 95, inheritance anomaly, concurrent object-oriented programming |
14 | H. C. M. Kleijn, Maciej Koutny |
Process Semantics of P/T-Nets with Inhibitor Arcs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding, pp. 261-281, 2000, Springer, 3-540-67693-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis |
14 | Yonglak Sohn, Songchun Moon |
Verified Order-Based Transaction Scheduling Scheme for Multilevel Secure Database Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings, pp. 254-263, 2000, Springer, 3-540-67978-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Database, Concurrency Control, Covert Channel, Multilevel security |
14 | Yoshinao Isobe, Kazuhito Ohmaki |
A process logic for distributed system synthesis . ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore, pp. 62-69, 2000, IEEE Computer Society, 0-7695-0915-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
process logic, distributed system synthesis, concurrent behavior, interleaving behavior, DS algebra, SP logic, computability, process algebra, process algebra, satisfiability, algebraic specification, concurrency theory |
14 | Valentin Muresan, Xiaojun Wang 0001, Valentina Muresan, Mircea Vladutiu |
Distribution-graph based approach and extended tree growing technique in power-constrained block-test scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 465-470, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
distribution-graph based approach, extended tree growing technique, power-constrained block-test scheduling, unequal-length block-test scheduling, power dissipation constraints, test concurrency, assigned power dissipation limits, balanced test power dissipation, least mean square error function, global priority function, system-level test scheduling algorithm, scheduling, VLSI, fault diagnosis, logic testing, high level synthesis, integrated circuit testing, automatic test pattern generation, trees (mathematics), least mean squares methods |
14 | Patrick Th. Eugster, Rachid Guerraoui, Joe Sventek |
Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2000 - Object-Oriented Programming, 14th European Conference, Sophia Antipolis and Cannes, France, June 12-16, 2000, Proceedings, pp. 252-276, 2000, Springer, 3-540-67660-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
publish/ subscribe, concurrency, distribution, Abstraction, collection, asynchrony |
14 | Stuart Reges |
Conservatively radical Java in CS1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2000, Austin, Texas, USA, March 7-12, 2000, pp. 85-89, 2000, ACM, 1-58113-213-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java, Java, concurrency, GUI, CS1 |
14 | Daniel Schulz, Frank Mueller 0001 |
A thread-aware debugger with an open interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000, pp. 201-211, 2000, ACM, 1-58113-266-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
active debugging, open interface, concurrency, debugging, threads |
14 | Rajeev Joshi, Jayadev Misra |
Toward a theory of maximally concurrent programs (shortened version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA., pp. 319-328, 2000, ACM, 1-58113-183-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
parallel programs, concurrency |
14 | Rafael Ramírez 0001, Andrew E. Santosa, Roland H. C. Yap |
Concurrent Programming Made Easy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan, pp. 151-, 2000, IEEE Computer Society, 0-7695-0583-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
constraint-based methodology, temporal constraint logic program, system concurrency, parallel programming, concurrent programming, concurrent systems, declarative specification, concurrent applications |
14 | Jean Fanchon |
Trace Channel Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings, pp. 304-323, 1999, Springer, 3-540-66132-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Fifo Nets, Coloured Nets, concurrent automata, recognisability, concurrency, asynchronous communication, Mazurkiewicz traces |
14 | Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel |
Weak Bisimulation and Open Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 67-76, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
semantics, Concurrency, denotational semantics, categorical models |
14 | Brian Warboys, Dharini Balasubramaniam, Robert Mark Greenwood, Graham N. C. Kirby, Ken Mayes, Ronald Morrison, David S. Munro |
Collaboration and Composition: Issues for a Second Generation Process Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings, pp. 75-90, 1999, Springer, 3-540-66538-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
process-based environments, hyper-programming, concurrency control, persistence, process languages |
14 | Evaggelia Pitoura, Panos K. Chrysanthis |
Scalable Processing of Read-Only Transactions in Broadcast Push. ![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. 432-439, 1999, IEEE Computer Society, 0-7695-0222-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
push-based delivery, wireless data management, multiversion concurrency control, broadcast, data dissemination, transaction management, client/server systems |
14 | Miguel Katrib, Damián Fernández, Ernesto Pimentel 0001 |
Synchronizing Java Threads Using Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (31) ![In: TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1999, Nanjing, China, pp. 51-60, 1999, IEEE Computer Society, 0-7695-0393-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Java, Concurrency, Synchronization, Object-Oriented, Assertions |
14 | Carlos Herrero, Javier Oliver 0001 |
Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings, pp. 395-403, 1999, Springer, 3-540-66694-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Extensions of $lambda$-calculus, Concurrency, Object-Orientation, Process Algebra |
14 | Pierre Breguet, Luigi Zaffalon |
Railway Scale Model Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 170-180, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
simulation, concurrency, resource management, rendezvous, protected objects, Education and training |
14 | Jörg Kienzle, Alfred Strohmeier |
Shared Recoverable Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 397-411, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Recoverable Objects, Controlled Types, Abort Deferred Regions, Concurrency, Object-Oriented Programming, Transactions, Software Fault Tolerance, Ada 95 |
14 | Injong Rhee |
A Modular Algorithm for Resource Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 11(3), pp. 157-168, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Modular construction, Message passing distributed systems, Concurrency, Resource allocation, Dining philosophers |
14 | Arcot Sowmya, S. Ramesh 0001 |
Extending Statecharts with Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(3), pp. 216-231, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
FNLOG, real-time, formal specifications, robotics, Concurrency, temporal logic, specification languages, statecharts, reactive systems, state-machines |
14 | Hans Fleischhack, Bernd Grahlmann |
A Compositional Petri Net Semantics for SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings, pp. 144-164, 1998, Springer, 3-540-64677-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
ARQ protocol, Petri Net Semantics, Concurrency, SDL, Compositionality, Procedures, Infinity, Dynamic Processes |
14 | Seunghoon Choi, Chisu Wu |
Partitioning and Allocation of Objects in Heterogeneous Distributed Environments Using the Niched Pareto Genetic-Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 5th Asia-Pacific Software Engineering Conference (APSEC '98), 2-4 December 1998, Taipei, Taiwan, ROC, pp. 322-329, 1998, IEEE Computer Society, 0-8186-9183-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Heterogeneous Distributed Environments, the Niched Pareto Genetic Algorithm, Load Balance, Concurrency, Object-orientation, Partitioning, Allocation, Communication Cost, Graph-theoretic Approach |
14 | Ulrike Lechner |
Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 171-187, 1998, Springer, 3-540-64303-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Concurrency, Object orientation, Reuse, Interpretation, Rewriting, ?-calculus, Maude, Inheritance Anomaly |
14 | Paul Ammann, Sushil Jajodia, Indrakshi Ray |
Applying Formal Methods to Semantic-Based Decomposition of Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 22(2), pp. 215-254, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
concurrency control, database management systems, transaction processing |
14 | Sang Hyuk Son, Robert C. Beckinger, David A. Baker |
DRDB: a distributed real-time database server for high-assurance time-critical applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 362-367, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
DRDB, distributed real time database server, high assurance time critical applications, critical tasks, scheduling decisions, concurrency control mechanisms, functional real time database server, operational platform, distributed real time database issues, distributed databases, timing constraints, data consistency, simulated environment, real time database systems, safety critical applications, operating environment |
14 | Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae |
Task.o object modeling approach for robot workcell programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 109-114, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Task o object modeling approach, robot workcell programming, object oriented programming paradigms, Task object Coupling, ToC programming technique, development steps, concurrency, autonomy, robot programming |
14 | Franz Puntigam |
Coordination Requirements Expressed in Types for Active Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'97 - Object-Oriented Programming, 11th European Conference, Jyväskylä, Finland, June 9-13, 1997, Proceedings, pp. 367-388, 1997, Springer, 3-540-63089-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
concurrency, active objects, Type model |
14 | Shao-Juen Ho, Tei-Wei Kuo, Aloysius K. Mok |
Similarity-based load adjustment for real-time data-intensive applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 144-153, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
similarity-based load adjustment, real-time data-intensive applications, application semantics, semantics-based concurrency control, read events, write events, system workload, transaction skipping, performance, resource allocation, air traffic control, data consistency, simulation experiments, correctness criteria |
14 | Sonia Mettali Gammar, Farouk Kamoun |
A comparison of scheduling algorithms for real time distributed transactional systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 29-31 October 1997, Tunis, Tunisia, Proceedings, pp. 257-261, 1997, IEEE Computer Society, 0-8186-8153-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
real time distributed transactional systems, distributed database update, globally consistent orderings, nonpreemptive earliest deadline first, simulation, distributed databases, concurrency control, consensus, scheduling algorithms, deadlines, serializability, client server, tokens, timeliness, system parameters, database consistency |
14 | Rob J. van Glabbeek, W. P. Weijland |
Branching Time and Abstraction in Bisimulation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 43(3), pp. 555-600, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
process algebra semantic equivalence, concurrency, abstraction, bisimulation, action refinement, branching time |
14 | Barry C. L. Leung, Peter P. K. Chiu |
Behaviour Equation as Solution of Inheritance Anomaly in Concurrent Object-Oriented Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 360-366, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
behaviour equation, concurrent object-oriented programming languages, synchronisation code reuse, super class, object-based concurrency, parallel programming, object-oriented programming, inheritance, inheritance anomaly, concurrent object |
14 | Yasuhiro Hirano, Fumiaki Miura, Tetsuji Satoh |
Extendible Hashing for Concurrent Insertions and Retrievals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 235-242, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
bucket multi-versioning, concurrent insertions, concurrent retrievals, global depth, directory entries, asynchronous modification, lock conflicts, read-only access, split bucket, simulation, concurrency control, multiprocessing systems, configuration management, speedup, file organisation, extendible hashing, processor number |
14 | David Harel, Eran Gery |
Executable Object Modeling with Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings., pp. 246-257, 1996, IEEE Computer Society, 0-8186-7246-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
O-charts, diagrammatic languages, direct invocation, executable object modeling, hierarchical OMT-like language, integrated set, multiple-thread concurrency, object-oriented programming, C++, software tools, statecharts, object-oriented languages, object-oriented systems, active objects |
14 | Peng-Jun Wan, Allalaghatta Pavan |
TWDM Single-Hop Lightwave Networks Using Multiple Fixed Transceivers at Each Station. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 21st Conference on Local Computer Networks, Minneapolis, Minnesota, USA, October 13-16, 1996, pp. 486-490, 1996, IEEE Computer Society, 0-8186-7617-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
TWDM single-hop lightwave networks, multiple fixed transceivers, time and wavelength division multiplexing, single mode optical fiber, lightwave networks, optical passive star couplers, general hardware configuration, multiple fixed transmitters, fixed receivers, maximal concurrency, time division multiplexing |
14 | Evaggelia Pitoura, Bharat K. Bhargava |
A Framework for Providing Consistent and Recoverable Agent-Based Access to Heterogeneous in Mobile Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 24(3), pp. 44-49, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
mobile computing, agents, workflow, concurrency control, transactions, recovery, multidatabases |
14 | David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann |
Specification and Analysis of System Architecture Using Rapide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(4), pp. 336-355, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
partially ordered event sets, formal constraints, constraint-based specification, event patterns, simulation, architecture, concurrency, prototyping, causality, Rapide, architecture definition languages |
14 | H. Rebecca Callison |
A Time-Sensitive Object Model for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 4(3), pp. 287-317, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
programming techniques, real-time processing models, fault tolerance, concurrency, timing constraints, object models |
14 | Bernd Dreier, Theo Ungerer |
Implementing distributed shared memory based on DCE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 84-90, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
DCE, Open Software Foundation, security problems, shared file management, heterogeneous computer network, globally shared address space, translator algorithms, precompiler, parallel programming, parallel programming, concurrency, computer networks, shared memory systems, distributed shared memory, threads, distributed programming, distributed memory systems, file organisation, remote procedure calls, remote procedure calls, runtime system, POSIX, multithreaded programs, Distributed Computing Environment |
14 | Riccardo Focardi, Roberto Gorrieri, V. Panini |
The security checker: a semantics-based tool for the verification of security properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland, pp. 60-69, 1995, IEEE Computer Society, 0-8186-7033-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
security checker, semantics-based tool, security properties verification, security process algebra, concurrency workbench, formal specification, formal verification, specifications, process algebra, confidentiality, security of data, automatic verification |
14 | Craig Farnsworth, David A. Edwards, Jianwei Liu, Shiv S. Sikand |
A hybrid asynchronous system design environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: Second Working Conference on Asynchronous Design Methodologies, May 30-31, 1995, London, England, UK, pp. 91-98, 1995, IEEE Computer Society, 0-8186-7098-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
hybrid asynchronous system design environment, hybrid design scheme, asynchronous circuit synthesis, Tangram silicon complier, synchronous design techniques, concurrency, high level synthesis, asynchronous circuits, power reduction, performance gains, micropipelines |
14 | D. K. Arvind 0001, Robert D. Mullins, Vinod E. F. Rebello |
Micronets: a model for decentralising control in asynchronous processor architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: Second Working Conference on Asynchronous Design Methodologies, May 30-31, 1995, London, England, UK, pp. 190-199, 1995, IEEE Computer Society, 0-8186-7098-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
decentralising control, asynchronous processor architectures, micronets, communicating resources, four-phase protocol, hazard avoidance mechanisms, SPICE-level simulations, computer architecture, computer architecture, pipeline processing, processor architectures, fine-grain concurrency |
14 | Raja Neogi, Meghanad D. Wagh |
Parallel processing algorithms and architecture for multimedia on-demand servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 798-804, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
parallel processing algorithms, parallel processing architecture, multimedia on-demand servers, videotape rental stores, specialized high performance programmable multiprocessor architecture, continuous playback, mediastreams, dynamic phase shifts, media distribution, maximum concurrency extraction, dynamically changing demand, parallel algorithms, networking, parallel architectures, multimedia communication, multimedia computing, distributed environment, interactive video |
14 | Filip Thoen, Marco Cornero, Gert Goossens, Hugo De Man |
Real-time multi-tasking in software synthesis for information processing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), September 13-15, 1995, Cannes, France, pp. 48-53, 1995, ACM, 0-89791-771-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
automatic processor mapping, automatically generated application-specific solution, concurrent process system specification, flexible execution models, hardware resource utilization, information processing systems, internal representation model, mobile satellite communication, personal terminal receiver demodulator, real-time multi-tasking, static information, time utilization, real-time systems, embedded systems, concurrency control, processor scheduling, timing constraints, computer aided software engineering, software synthesis, multiprocessing programs |
14 | Robert Haacke, B. Montgomery Pettitt |
The scaling of molecular dynamics on the KSR1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 142-154, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
particle based simulation techniques, highly parallelizable, irreproducible trajectories, reproducible simulations, KSR1 parallel computer, parallel algorithms, concurrency, parallel machines, digital simulation, physics, molecular dynamics, physics computing, performance penalty, molecular dynamics method, ESP |
14 | 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 |
14 | Rainer Weinreich, Reinhold Plösch |
Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment. ![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. 309-318, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
PDC model, Proxy/Dispatcher/Collocutor technique, operating-system processes, local objects, dynamically bound, machine boundaries, Process-Build, implementation phase, distributed systems, parallel programming, concurrency, prototyping, distributed processing, software tools, parallel systems, object-oriented methods, operating systems (computers), software prototyping, real-time requirements, software life cycle, prototyping tool, distributed object-oriented systems |
14 | Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra |
Analyzing the logical structure of data flow diagrams in software documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 575-578, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
logical structure analysis, Calculus of Communicating Systems, Edinburgh Concurrency Workbench, CWB, deep understanding, equivalence, CCS, document understanding, software documents, flowcharting, formal description, data flow diagrams, data flow diagram |
14 | Kenneth J. Goldman, Nancy A. Lynch |
Quorum Consensus in Nested Transaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 19(4), pp. 537-585, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
hierarchical proofs, concurrency control, data replication, I/O automata, nested transactions, quorum consensus |
14 | François Pacull, Alain Sandoz, André Schiper |
Duplex: A Distributed Collaborative Editing Environment in Large Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: CSCW '94, Proceedings of the Conference on Computer Supported Cooperative Work, Chapel Hill, NC, USA, October 22-26, 1994, pp. 165-173, 1994, ACM, 0-89791-689-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
concurrency control, large scale networks, collaborative editing, distributed groupware |
14 | Jonathan P. Munson, Prasun Dewan |
A Flexible Object Merging Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: CSCW '94, Proceedings of the Conference on Computer Supported Cooperative Work, Chapel Hill, NC, USA, October 22-26, 1994, pp. 231-242, 1994, ACM, 0-89791-689-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
flexible coupling, merging, versions, undo, optimistic concurrency control, diff |
14 | Gopi K. Attaluri |
An efficient expected cost algorithm for dynamic indexing of spatial objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31 - November 3, 1994, Toronto, Ontario, Canada, pp. 2, 1994, IBM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
range locking, runtime complexity, indexing, concurrency control, spatial databases |
14 | Tracy Camp, Phil Kearns, Mohan Ahuja |
Proof Rules for Flush Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(4), pp. 366-378, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
flush channels, asynchronous communication constructs, datagrams, receipt-order restrictions, message-by-message basis, Hoare-style partial correctness verification methodology, concurrency, distributed processing, program verification, distributed program, virtual circuits |
14 | Linda A. Ness |
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(4), pp. 410-423, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
L.0, truly concurrent executable temporal logic language, true concurrency model, execution algorithm, standard imperative programming, state predicates, equality predicates, hierarchical message structure, Futurebus+, simulation, protocols, protocols, specification, temporal logic, specification languages, simulation languages |
14 | Luis-Felipe Cabrera, John McPherson, Peter M. Schwarz, James C. Wyllie |
Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(10), pp. 950-961, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
QuickSilver distributed file system, Starburst relational database manager, atomic properties, mutual consistency, client-server transactions, recoverable data structures, shadow copies, concurrency, relational databases, distributed databases, transaction processing, atomicity, network operating systems, stable storage, transaction systems |
14 | Paolo Ciancarini |
Coordinating Rule-Based Software Processes with ESP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 2(3), pp. 203-227, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
multiuser programming environment, concurrency, logic programming, software process, software process modeling, rule-based programming |
14 | Uri Abraham |
On system executions and states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 3(1), pp. 17-30, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Correctness of programs, system execution, cores of executions, global time, semantics of concurrency |
14 | Richard N. Taylor, Gregory F. Johnson |
Separations of concerns in the Chiron-1 user interface development and management system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERCHI ![In: Human-Computer Interaction, INTERACT '93, IFIP TC13 International Conference on Human-Computer Interaction, 24-29 April 1993, Amsterdam, The Netherlands, jointly organised with ACM Conference on Human Aspects in Computing Systems CHI'93, pp. 367-374, 1993, ACM, 0-89791-575-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
GUI construction, event-based integration, modularization of UIMS, Ada, concurrency, user interface management systems (UIMS), artists |
14 | Shmuel S. Tyszberowicz, Amiram Yehudai |
OBSERV - A Prototyping Language and Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 1(3), pp. 269-309, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
CRUISE, interactive programming environments, modeling with finite state machines, static checker, simulator, real time systems, embedded systems, concurrency, logic programming, graphical user interface, software reuse, OBSERV, OBSERV, browsers, object-oriented approach |
14 | Meichun Hsu, Bin Zhang 0004 |
Performance Evaluation of Cautious Waiting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 17(3), pp. 477-512, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
cautious waiting, concurrency control |
14 | Peter D. Mosses |
On the Action Semantics of Concurrent Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 398-424, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
action notation, semantics, concurrency, synchronization, distributed processing, asynchrony, action semantics |
14 | Ellen E. Witte, Roger D. Chamberlain, Mark A. Franklin |
Parallel Simulated Annealing using Speculative Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(4), pp. 483-494, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
problem independent algorithm, parallel simulated annealingalgorithm, serial decision sequence, task assignment problem, parallel algorithms, concurrency, simulated annealing, processors, hypercube multiprocessor, speculative computation |
14 | Nicholas Bambos, Jean C. Walrand |
On Stability and Performance of Parallel Processing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 38(2), pp. 429-452, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
stability theory, subadditive ergodic theory, parallel processing, queueing theory, queueing networks, database concurrency control |
14 | Thomas A. Henzinger, Zohar Manna, Amir Pnueli |
Timed Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 226-251, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
real time, concurrency, Transition systems |
14 | Serge Lacourte |
Exceptions in Guide, an Object-Oriented Language for Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings, pp. 268-287, 1991, Springer, 3-540-54262-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
concurrency, consistency, object-oriented languages, exceptions |
14 | Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa |
Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'91 European Conference on Object-Oriented Programming, Geneva, Switzerland, July 15-19, 1991, Proceedings, pp. 231-250, 1991, Springer, 3-540-54262-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Object-Based Concurrency, Resource Management, Reflection, Actors, Virtual Time, Object Groups |
14 | Glenn S. Benson, Ian F. Akyildiz, William F. Appelbe |
A Formal Protection Model of Security in Centralized, Parallel, and Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 8(3), pp. 183-213, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
protection model, access control, concurrency control, distributed system security, operating system security |
14 | David M. Goldschlag |
Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1005-1023, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity |
14 | Gul Agha |
The Structure and Semantics of Actor Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings, pp. 1-59, 1990, Springer, 3-540-53931-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Programming Language Theory, Concurrent Programming Structures, Distributed Systems, Concurrency, Object-Oriented Programming, Actors, Multiprocessor Architectures |
14 | Bernhard Klaassen |
A Hierarchical Multirate Method for Circuit Simulation on Parallel Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Advances in Computing and Information - ICCI'90, International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, Proceedings, pp. 493-496, 1990, Springer, 3-540-53504-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Electrical circuit simulation, multirate integration, multilevel Newton method, concurrency |
14 | Anne F. Brindle, Richard N. Taylor, David F. Martin |
A Debugger for Ada Tasking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(3), pp. 293-304, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Ada debugger, tasking constructs, single-processor Ada interpreter, sequential debugging, dynamic execution status, parallel programming, parallel programming, Ada, concurrency, program debugging, program interpreters, Ada tasking |
14 | Raphael A. Finkel, Michael L. Scott, Yeshayahu Artsy, Hung-Yang Chang |
Experience with Charlotte: Simplicity and Function in a Distributed Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(6), pp. 676-685, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Charlotte distributed operating system, computation-intensive problems, large-grain parallelism, Crystal multicomputer, VAX-11/750 computers, kernel/process interface, bidirectional communication paths, synchronous nonblocking communications, multitask kernel, absolute distributed information, high-level tools, Lynx distributed programming language, kernal primitives, concurrency, abstraction, finite-state machines, local area network, local area networks, operating systems (computers), software packages, multiprocessing programs, computer communications software |
14 | Norman R. Howes, Alfred C. Weaver |
Measurements of Ada Overhead in OSI-Style Communications Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(12), pp. 1507-1517, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
OSI-style communications systems, Ada model, seven-layer OSI reference model, single-processor machines, VAX 11/785, Rational 1000, expected message delay, novel model, server tasks, eight-processor Sequent Model 821, 14-processor Encore Multimax 320, Buhr model, server task model, Ada rendezvous, Ada overhead per message, parallel programming, Ada, concurrency, standards, computer networks, open systems, communications model, procedure calls |
14 | Robert A. Mueller, Michael R. Duda, Philip H. Sweany, Jack S. Walicki |
Horizon: A Retargetable Compiler for Horizontal Microarchitectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(5), pp. 575-583, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
horizontal microarchitectures, vertical migration, complex application code, horizontal microcode, optimized microcode, concurrency, abstraction, timing, program compilers, microprogramming, retargetable compiler, assembly languages, Horizon |
14 | Bao-Chyuan Jenq, Walter H. Kohler, Donald F. Towsley |
A Queueing Network Model for a Distributed Database Testbed System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(7), pp. 908-921, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
distributed database testbed system, transaction workload, transaction recovery protocol, write-ahead logging, centralized two-phase commit, protocols, distributed databases, queueing theory, program testing, system recovery, queueing network model, two-phase locking, commit protocol, distributed deadlock detection, concurrency control protocol |
|
|