Výsledky vyhledávání - "Concurrent object oriented programming"

A task framework on top of a concurrent OOP language rooted on agent-oriented abstractions

Autoři: Andrea Santi RICCI, ALESSANDRO

Zdroj: Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control. :139-144

Témata: 0202 electrical engineering, electronic engineering, information engineering, Task frameworks, Agent-Oriented Programming, Concurrent Object-Oriented Programming, ALOO, 02 engineering and technology

Přístupová URL adresa: https://dl.acm.org/doi/10.1145/2541329.2541345
https://dl.acm.org/citation.cfm?doid=2541329.2541345
https://doi.org/10.1145/2541329.2541345
https://dblp.uni-trier.de/db/conf/agere/agere2013.html#SantiR13
https://hdl.handle.net/11585/398334
https://doi.org/10.1145/2541329.2541345

Rendez-vous with metric semantics

Autoři: Erik P. de Vink J. W. de Bakker

Zdroj: Lecture Notes in Computer Science ISBN: 9783540541523
Lecture Notes in Computer Science ISBN: 9783662232064

Témata: concurrent object-oriented programming languages, Semantics in the theory of computing, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), 0102 computer and information sciences, metric semantics, 0101 mathematics, 01 natural sciences, denotational semantics

Popis souboru: application/xml

Přístupová URL adresa: https://ir.cwi.nl/pub/2012/2012D.pdf
https://zbmath.org/490753
https://doi.org/10.1007/bf03038272
https://link.springer.com/article/10.1007/BF03038272
https://dblp.uni-trier.de/db/journals/ngc/ngc12.html#BakkerV93
https://www.narcis.nl/publication/RecordID/oai%3Apure.tue.nl%3Apublications%2Feeb0d0e2-f214-4a60-8f8e-f02adc3ceb84
https://link.springer.com/chapter/10.1007/978-3-662-25209-3_29
https://core.ac.uk/display/158676112
https://ir.cwi.nl/pub/2012/2012D.pdf
https://link.springer.com/content/pdf/10.1007%2F3-540-54152-7_56.pdf
https://www.narcis.nl/publication/RecordID/oai%3Acwi.nl%3A2012
https://research.tue.nl/en/publications/rendez-vous-with-metric-semantics

The inheritance of PN-COOPN

Autoři: Zhang Qian

Zdroj: Wuhan University Journal of Natural Sciences. 3:288-292

Témata: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), COOP, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, Petri nets, 02 engineering and technology, concurrent object-oriented programming

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1293719
https://doi.org/10.1007/bf02829976
https://link.springer.com/content/pdf/10.1007/BF02829976.pdf
https://link.springer.com/article/10.1007/BF02829976

Concurrent object-oriented programming using term graph rewriting techniques

Autoři: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Přispěvatelé: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Zdroj: Information and Software Technology
Inf Software Technol

Témata: Term graph rewriting systems (TGRS), Implementation techniques, Parallel processing systems, Linear logic, 0102 computer and information sciences, 02 engineering and technology, Computer simulation, Dactyl, Logic programming, Concurrent constraint programming, 01 natural sciences, Dactl, Computer programming languages, Object oriented programming, Computational methods, 0202 electrical engineering, electronic engineering, information engineering, Concurrent object-oriented programming, Programming theory, Concurrency control, Term graph rewriting systems

Přístupová URL adresa: https://core.ac.uk/display/24347141
https://dblp.uni-trier.de/db/journals/infsof/infsof38.html#Papadopoulos96
https://www.sciencedirect.com/science/article/pii/0950584996010932
http://www.sciencedirect.com/science/article/pii/0950584996010932
http://gnosis.library.ucy.ac.cy/handle/7/54733

F.: Dynamic detection of atomic-set-serializability violations

Autoři: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip a další

Přispěvatelé: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip a další

Zdroj: http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer08icse.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel Programming, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, D.2.4 [Software Engineering, Software/Program Verification—Reliability, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atom- icity, Serializability, Dynamic Analysis

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.554.292

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.554.292
http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer08icse.pdf

Dynamic Detection of Atomic-Set-Serializability Violations

Autoři: Christian Hammer Julian Dolby Mandana Vaziri a další

Přispěvatelé: Christian Hammer Julian Dolby Mandana Vaziri a další

Zdroj: http://www.infosun.fim.uni-passau.de/st/papers/icse08/icse08-hammer.pdf.

Témata: Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atomicity, Serializability, Dynamic Analysis

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.5310

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.5310
http://www.infosun.fim.uni-passau.de/st/papers/icse08/icse08-hammer.pdf

Concurrent object oriented programming with Asynchronous References

Autoři: Pierre Vignéras The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Pierre Vignéras The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.vigneras.org/pierre/resources/articles/coopwar.pdf.

Témata: Concurrent object oriented programming, Asynchronous method

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.182.1981; http://www.vigneras.org/pierre/resources/articles/coopwar.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.182.1981
http://www.vigneras.org/pierre/resources/articles/coopwar.pdf

Associating synchronization constraints with data in an object-oriented language

Autoři: Mandana Vaziri Frank Tip Julian Dolby a další

Přispěvatelé: Mandana Vaziri Frank Tip Julian Dolby a další

Zdroj: http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf.

Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming-parallel programming, D.2.4 [Software Engineering, Software/Program Verification-reliability, F.3.1 [Logics And Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Languages, Theory Keywords Concurrent Object-Oriented Programming, Data Races, Serializability, Programming Model

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.9435; http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.9435
http://www.cs.cornell.edu/People/egs/cornellonly/syslunch/spring06/papers/vaziri.pdf

JR: Flexible Distributed Programming in an Extended Java

Autoři: Aaron W. Keen Tingjian Ge Justin T. Maris a další

Přispěvatelé: Aaron W. Keen Tingjian Ge Justin T. Maris a další

Zdroj: http://www.cs.ucdavis.edu/~olsson/pubs/2004/jr.ps.

Témata: General Terms, Design, Languages Additional Key Words and Phrases, Concurrency, concurrent object-oriented programming, Java, SR

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.2590; http://www.cs.ucdavis.edu/~olsson/pubs/2004/jr.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.2590
http://www.cs.ucdavis.edu/~olsson/pubs/2004/jr.ps

JR: Flexible distributed programming in an extended Java

Autoři: Aaron W. Keen Tingjian Ge Justin T. Maris a další

Přispěvatelé: Aaron W. Keen Tingjian Ge Justin T. Maris a další

Zdroj: http://tiedye-srv.csc.calpoly.edu/~akeen/papers/toplas2004.pdf.

Témata: General Terms, Design, Languages Additional Key Words and Phrases, Concurrency, concurrent object-oriented programming, Java, SR

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.8409

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.117.8409
http://tiedye-srv.csc.calpoly.edu/~akeen/papers/toplas2004.pdf

Object-Oriented Programming and Protected Objects in Ada 95

Autoři: A. J. Wellings B. Johnson B. Sanden a další

Přispěvatelé: A. J. Wellings B. Johnson B. Sanden a další

Zdroj: ftp://ftp.cs.york.ac.uk/papers/rtspapers/R:Wellings:2000.ps

Témata: concurrent object-oriented programming, inheritance anomaly, Ada 95

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.4233

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.4233

Integrating ObjectOriented Programming and Protected Objects in Ada 95

Autoři: A. J. Wellings B. Johnson B. Sanden a další

Přispěvatelé: A. J. Wellings B. Johnson B. Sanden a další

Zdroj: http://lgl.epfl.ch/pub/Papers/kienzle-Toplas.pdf.

Témata: General Terms, Languages Additional Key Words and Phrases, Concurrency, concurrent object-oriented programming, inheritance anomaly, Ada 95 This article extends and unifies the approaches described in Kiddle and Wellings [1998, Michell

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.7445

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.7445
http://lgl.epfl.ch/pub/Papers/kienzle-Toplas.pdf

Integrating Object-Oriented Programming and Protected Objects in Ada 95

Autoři: A. J. Wellings B. Johnson B. Sanden a další

Přispěvatelé: A. J. Wellings B. Johnson B. Sanden a další

Zdroj: http://www.cs.york.ac.uk/ftpdir/reports/YCS-99-316.ps.gz.

Témata: concurrent object-oriented programming, inheritance anomaly

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.5609

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.5609
http://www.cs.york.ac.uk/ftpdir/reports/YCS-99-316.ps.gz

Extensible Protected Types in Ada-EPT

Autoři: O.P. Kiddle A. J. Wellings The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: O.P. Kiddle A. J. Wellings The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.york.ac.uk/ftpdir/reports/YCS-98-299.ps.Z.

Témata: concurrent object-oriented programming, Ada 95

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.5191

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.5191
http://www.cs.york.ac.uk/ftpdir/reports/YCS-98-299.ps.Z

High Level Parallel Programming: The Illinois Concert System

Autoři: Andrew Chien Julian Dolby Bishwaroop Ganguly a další

Přispěvatelé: Andrew Chien Julian Dolby Bishwaroop Ganguly a další

Zdroj: http://www-csag.ucsd.edu/papers/csag/external/high-level-concert.ps.

Témata: concurrent object-oriented programming, compiler optimization, runtime systems

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.6748

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.6748
http://www-csag.ucsd.edu/papers/csag/external/high-level-concert.ps

Inheritance Anomaly - A Formal Treatment

Autoři: Lobel Crnogorac Anand S. Rao S. Rao a další

Přispěvatelé: Lobel Crnogorac Anand S. Rao S. Rao a další

Zdroj: http://www.cs.mu.oz.au/publications/tr_db/./mu_96_42.ps.gz.

Témata: behavioural subtyping, concurrent object-oriented programming

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.340; http://www.cs.mu.oz.au/publications/tr_db/./mu_96_42.ps.gz

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.340
http://www.cs.mu.oz.au/publications/tr_db/./mu_96_42.ps.gz

Inheritance and Expressive Power in Concurrent Object-Oriented Programming

Autoři: Michael Papathomas Juan Hernández Juan Manuel Murillo a další

Přispěvatelé: Michael Papathomas Juan Hernández Juan Manuel Murillo a další

Zdroj: http://webepcc.unex.es/~fernando/lmo97.ps.

Témata: Concurrent Object-Oriented Programming, inheritance anomaly, synchronization

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5166; http://webepcc.unex.es/~fernando/lmo97.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5166
http://webepcc.unex.es/~fernando/lmo97.ps

Concurrent Object-Oriented Programming Using Term Graph Rewriting Techniques

Autoři: George A. Papadopoulos The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: George A. Papadopoulos The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.ucy.ac.cy/IST.ps.gz.

Témata: concurrent object-oriented programming, term graph rewriting systems (TGRS, implementation techniques, Dactl. The generalised computational model of Term Graph Rewriting Systems (TGRS

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.2455; http://www.cs.ucy.ac.cy/IST.ps.gz

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.2455
http://www.cs.ucy.ac.cy/IST.ps.gz

Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages

Autoři: Wooyoung Kim Gul Agha The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Wooyoung Kim Gul Agha The Pennsylvania State University CiteSeerX Archives

Zdroj: http://osl.cs.uiuc.edu/Papers/sc95/sc95.ps.

Témata: Key Words, Concurrent Object-Oriented Programming, Actors, Location Transparency, Migration

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.2000; http://osl.cs.uiuc.edu/Papers/sc95/sc95.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.2000
http://osl.cs.uiuc.edu/Papers/sc95/sc95.ps

Object Oriented Parallel Computation for Plasma Simulation

Autoři: Charles D. Norton Boleslaw K. Szymanski Viktor K. Decyk a další

Přispěvatelé: Charles D. Norton Boleslaw K. Szymanski Viktor K. Decyk a další

Zdroj: ftp://ftp.cs.rpi.edu/pub/nortonc/cacm-oct95.ps

Témata: oriented programming, J.2 [Computer Applications, Physical Sciences and Engineering--- Physics General Terms, Languages, Design Additional Key Words and Phrases, Concurrent object oriented programming, Fortran 90, physics computing

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.3887

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.3887