Search Results - concurrent object-oriented programming~
-
1
Authors:
Source: Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control. :127-138
Subject Terms: AGENT-ORIENTED PROGRAMMING, Actors, Active Objects, ALOO, Concurrent Programming, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences
-
2
Authors:
Contributors:
Source: Information and Software Technology
Inf Software TechnolSubject Terms: 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
-
3
Authors: et al.
Source: Machines, Vol 9, Iss 2, p 41 (2021)
Subject Terms: autonomous vehicle, vehicle dynamics, torque vectoring, object-oriented programming, real-time simulations, Mechanical engineering and machinery, TJ1-1570
File Description: electronic resource
-
4
Authors: et al.
Contributors: et al.
Source: Rahimi, E. (ed.), CSERC '19: The 8th Computer Science Education Research Conference, Larnaca Cyprus, November, 2019, pp. 58-65
Bijlsma, A, Huizing, K, Kuiper, R, Passier, H J M, Pootjes, H J & Smetsers, S 2019, Evaluation of a Structured Design Methodology for Concurrent Programming. in E Rahimi & D Stikkolorum (eds), CSERC '19 : Proceedings of the 8th Computer Science Education Research Conference. Association for Computing Machinery, New York, NY, pp. 58–65, 8th Computer Science Education Research Conference (CSERC'19), Larnaca, Cyprus, 18/11/19. https://doi.org/10.1145/3375258.3375266Subject Terms: 4. Education, 05 social sciences, Software Science, 0202 electrical engineering, electronic engineering, information engineering, object-oriented programming, concurrency, 02 engineering and technology, Program design, 0503 education, Java, Education
Access URL: https://research.ou.nl/en/publications/evaluation-of-a-structured-design-methodology-for-
concurrent -prog
https://dblp.uni-trier.de/db/conf/cserc/cserc2019.html#BijlsmaHKPPS19
https://www.narcis.nl/publication/RecordID/oai%3Arepository.ubn.ru.nl%3A2066%2F219622
https://dl.acm.org/doi/10.1145/3375258.3375266
https://repository.ubn.ru.nl/handle/2066/219622
https://doi.org/10.1145/3375258.3375266
https://hdl.handle.net/2066/219622
https://repository.ubn.ru.nl//bitstream/handle/2066/219622/219622.pdf -
5
Authors:
Source: Electronic Proceedings in Theoretical Computer Science. 420:44-53
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), Programming Languages (cs.PL), Logic in Computer Science (cs.LO)
Access URL: http://arxiv.org/abs/2505.20850
-
6
-
7
-
8
Authors:
Source: Electronic Proceedings in Theoretical Computer Science, Vol 69, Iss Proc. PLACES 2010, Pp 12-28 (2011)
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Mathematics, Programming Languages (cs.PL)
-
9
Authors:
Source: Formal Aspects of Computing. 30:163-192
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, runtime semantics, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Programming Languages, verification/analysis parameterised by semantics, object-oriented programming, SCOOP, GROOVE, 16. Peace & justice, concurrency abstractions, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Programming Languages and Compilers, Computer Science - Distributed, Parallel, and Cluster Computing, distributed programming with message passing, operational semantics, concurrent asynchronous programming, graph transformation systems, Distributed, Parallel, and Cluster Computing (cs.DC), software engineering, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: https://ink.library.smu.edu.sg/sis_research/4857
http://arxiv.org/abs/1710.03928
http://export.arxiv.org/abs/1710.03928
https://export.arxiv.org/pdf/1710.03928
https://arxiv.org/pdf/1710.03928.pdf
https://arxiv.org/abs/1710.03928
https://dl.acm.org/doi/10.1007/s00165-017-0443-1
https://doi.org/10.1007/s00165-017-0443-1
https://ink.library.smu.edu.sg/sis_research/4857/
http://ui.adsabs.harvard.edu/abs/2017arXiv171003928C/abstract
https://dblp.uni-trier.de/db/journals/corr/corr1710.html#abs-1710-03928
https://link.springer.com/article/10.1007%2Fs00165-017-0443-1 -
10
Authors:
Source: Proceedings of the 9th International Conference on Applied Informatics, Volume 2. :293-300
-
11
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Programming Languages and Systems. 46:1-59
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, communication, Communication, Higher-Kinded Types, 0202 electrical engineering, electronic engineering, information engineering, Choreographies, communication, higher-kinded types, higher-kinded types, Choreographies, 02 engineering and technology, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Programming Languages (cs.PL)
File Description: application/pdf
Access URL: http://arxiv.org/abs/2005.09520
-
12
Authors: et al.
Source: ACM Transactions on Programming Languages and Systems. 31:1-48
Subject Terms: Technology, Science & Technology, Aliasing, Verification, ownership, 0803 Computer Software, Software Engineering, local reasoning, 4612 Software engineering, 4606 Distributed computing and systems software, 0102 computer and information sciences, 02 engineering and technology, Computer Science, Software Engineering, 01 natural sciences, VERIFICATION, verification condition generation, modular reasoning, 0806 Information Systems, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, data races, concurrent programs, verification, MONITORS
Access URL: https://lirias.kuleuven.be/bitstream/123456789/208281/1/toplas.pdf
https://dialnet.unirioja.es/servlet/articulo?codigo=2960433
https://doi.acm.org/10.1145/1452044.1452045
https://research.microsoft.com/apps/pubs/default.aspx?id=77391
http://research.microsoft.com/pubs/77391/AProgrammingModel(Toplas2008).pdf
https://dl.acm.org/doi/10.1145/1452044.1452045
https://core.ac.uk/display/34412582
https://lirias.kuleuven.be/handle/123456789/208281
https://doi.org/10.1145/1452044.1452045 -
13
Authors: Michel Charpentier
Resource Type: eBook.
Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Parallel, COMPUTERS / Languages / Java, COMPUTERS / Languages / C#
-
14
Authors:
Contributors:
Subject Terms: Object-oriented programming, Concurrency, Type systems, Linear objects, Session types, Teses de mestrado - 2010
File Description: application/pdf
Availability: http://hdl.handle.net/10451/5900
-
15
Authors: Drake, Maria Rosa
Subject Terms: Programming Languages and Compilers, Computer Sciences
File Description: application/pdf
-
16
Authors: et al.
Contributors: et al.
Source: Bijlsma, A, Huizing, C, Kuiper, R, Passier, H J M, Pootjes, H J & Smetsers, J E W 2017, A Structured Design Methodology for Concurrent Programming. in V Pieterse, M van Eekelen & M Giannakos (eds), Proceedings of the 6th Computer Science Education Research Conference, CSERC 2017 : November 13 and 14, Helsinki, Finland. ACM Digital Library, ICPS: ACM International Conference Proceeding Series, pp. 1-9, The 6th Computer Science Education Research Conference, Helsinki, Finland, 13/11/17. https://doi.org/10.1145/3162087.3162088
Subject Terms: 4. Education, Concurrency, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, Object-oriented programming, 02 engineering and technology, Program design, 0503 education, Java, Education
Access URL: https://research.tue.nl/nl/publications/a-structured-design-methodology-for-
concurrent -programming
https://www.narcis.nl/publication/RecordID/oai%3Apure.tue.nl%3Apublications%2Fa62e31f3-b61d-41b4-bb99-74030a616746
https://dl.acm.org/doi/10.1145/3162087.3162088
https://core.ac.uk/display/160133577 -
17
Source: Proceedings of the International Conference on Biomedical Electronics and Devices. :53-62
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Access URL: http://www.cplire.ru/Lab144/biodevices2014.pdf
-
18
Authors: et al.
Source: Journal of Shanghai University (English Edition). 8:295-300
Subject Terms: 16. Peace & justice
-
19
Authors:
Source: Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94). :124-135
Subject Terms: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
-
20
Authors:
Source: Proceedings of Twentieth Euromicro Conference. System Architecture and Integration. :258-264
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology
Nájsť tento článok vo Web of Science 
Full Text Finder