Výsledky vyhledávání - software and electrical engineering software notations and tools general programming languages~

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Autoři: Luís Caires

Resource Type: eBook.

Témata: Information theory, Computer industry, Computer science, Software engineering, Computer system performance, Electronic data processing

Categories: COMPUTERS / Programming / Compilers, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Energy-aware parallelization flow and toolset for C code

Autoři: LAZARESCU, MIHAI TEODOR Albert Cohen Adrien Guatto a další

Přispěvatelé: LAZARESCU, MIHAI TEODOR Albert Cohen Adrien Guatto a další

Zdroj: Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems. :79-88

Témata: Energy estimation, 02 engineering and technology, 01 natural sciences, 7. Clean energy, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, Program parallelization, 13. Climate action, Data dependency analysis, 0103 physical sciences, Computing methodologies, Parallel computing methodologies, Parallel programming languages, Software and its engineering, Software notations and tools, General programming languages, Language types, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, SDG 7 - Affordable and Clean Energy, Exeention profiling, SDG 7 – Betaalbare en schone energie

Popis souboru: application/pdf

Přístupová URL adresa: https://iris.polito.it/retrieve/handle/11583/2565955/63537/scopes.pdf
https://iris.polito.it/handle/11583/2565955
https://iris.polito.it/bitstream/11583/2565955/1/scopes.pdf
https://www.narcis.nl/publication/RecordID/oai%3Apure.tue.nl%3Apublications%2F25ead65a-3bc7-4184-a08d-888b1d0d3900
https://dl.acm.org/doi/10.1145/2609248.2609264
https://research.tue.nl/en/publications/energy-aware-parallelization-flow-and-toolset-for-c-code
https://hal.archives-ouvertes.fr/hal-01257245

Concurrent programming for the control of hexapod walking

Autoři: Laurent Thiry Bernard Thirion Université de Haute Alsace, Pole Essor

Přispěvatelé: Laurent Thiry Bernard Thirion Université de Haute Alsace, Pole Essor

Zdroj: ACM SIGAda Ada Letters. :17-28

Témata: Language types, 0209 industrial biotechnology, Software notations and tools, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, General programming languages

Přístupová URL adresa: https://hal.science/hal-00951278v1
https://doi.org/10.1145/507548.507551
https://dl.acm.org/doi/10.1145/507548.507551
https://hal.archives-ouvertes.fr/hal-00951278
http://www.sigada.org/ada_letters/march2002/thirion.pdf

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autoři: Alessandra Russo Andy Schürr

Resource Type: eBook.

Témata: Software engineering, Programming languages (Electronic computers), Computer science, Computer organization, Computers

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Practical virtual method call resolution for Java

Autoři: Sundaresan, Vijay Hendren, Laurie Razafimahefa, Chrislain a další

Zdroj: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. :264-280

Témata: Language types, Software notations and tools, Software and its engineering, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, General programming languages

Popis souboru: application/pdf

Přístupová URL adresa: https://archive-ouverte.unige.ch/unige:155911/ATTACHMENT01
https://dl.acm.org/doi/10.1145/354222.353189

Assessing the Usefulness of a Visual Programming IDE for Large-Scale Automation Software

Autoři: Bianca Wiesmayr Alois Zoitl Rick Rabiser a další

Přispěvatelé: Bianca Wiesmayr Alois Zoitl Rick Rabiser a další

Zdroj: 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). :297-307

Témata: Usefulness study, IEC 61499, Usefulness-Studie, Modeling tools, Modellgetriebene Entwicklung, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Open source software, Model-driven engineering, Modellierungstools

Přístupová URL adresa: https://digital.obvsg.at/obvulioa/content/titleinfo/6603944/full.pdf
https://epub.jku.at/obvulioa/content/titleinfo/6603944
https://dblp.uni-trier.de/db/conf/models/models2021.html#WiesmayrZR21
https://doi.org/10.1109/MODELS50736.2021.00037
https://epub.jku.at/id/6603944
https://permalink.obvsg.at/ULI/AC16341662

Designing and Interpreting a Mathematical Programming Language

Autoři: Hüseyin PEHLİVAN

Zdroj: Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi, Vol 23, Iss 6, Pp 1027-1041 (2019)
Volume: 23, Issue: 6 1027-1041
Sakarya University Journal of Science
Sakarya Üniversitesi Fen Bilimleri Enstitüsü Dergisi

Témata: Computer Software, Chemistry, programming languages, parsers, 0202 electrical engineering, electronic engineering, information engineering, formal grammars, interpreters, 02 engineering and technology, TA1-2040, Engineering (General). Civil engineering (General), Bilgisayar Yazılımı, QD1-999

Popis souboru: application/pdf

Přístupová URL adresa: http://www.saujs.sakarya.edu.tr/en/download/article-file/793014
https://doaj.org/article/281ebe4fd146479f96e035790d2e2ab9
https://avesis.ktu.edu.tr/yayin/6d35aa2a-f169-4936-9c2d-33b943339510/designing-and-interpreting-a-mathematical-programming-language
http://www.saujs.sakarya.edu.tr/en/pub/issue/44246/494974
https://www.saujs.sakarya.edu.tr/tr/download/article-file/793014
https://dergipark.org.tr/tr/pub/saufenbilder/issue/44246/494974

Introducing objects and parallelism to an imperative programming language

Autoři: Radenski, Atanas

Zdroj: Information Sciences. 87:107-122

Témata: software tools, parallelism, Programming Languages and Compilers, programming languages, software notation, object oriented languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, software engineering, 3. Good health

Popis souboru: application/pdf

Přístupová URL adresa: https://digitalcommons.chapman.edu/cgi/viewcontent.cgi?article=1214&context=scs_articles
https://digitalcommons.chapman.edu/cgi/viewcontent.cgi?article=1214&context=scs_articles
https://digitalcommons.chapman.edu/scs_articles/208/
http://digitalcommons.chapman.edu/cgi/viewcontent.cgi?article=1214&context=scs_articles
https://dblp.uni-trier.de/db/journals/isci/isci87.html#Radenski95
https://www.sciencedirect.com/science/article/abs/pii/0020025595001239

A Tool for Modeling JsonLogic based Business Process Rules

Autoři: Bul, Y. Soleymanzadeh, K. Bagci, S. a další

Zdroj: 2019 1st International Informatics and Software Engineering Conference (UBMYK). :1-5

Témata: JsonLogic, 0202 electrical engineering, electronic engineering, information engineering, Business Process Rule, Model-driven Software Development, 02 engineering and technology, Domain-specific Modeling Language

Přístupová URL adresa: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=8965462
http://xplorestaging.ieee.org/ielx7/8959514/8965428/08965462.pdf?arnumber=8965462

Fundamental Approaches to Software Engineering

Autoři: Einar Broch Johnsen Manuel Wimmer

Resource Type: eBook.

Témata: Computer systems, Software engineering--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Foundations of Software Science and Computation Structures

Autoři: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Témata: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

The AI Act and The Agile Safety Plan

Autoři: Thor Myklebust Tor Stålhane Dorthea Mathilde Kristin Vatn

Resource Type: eBook.

Témata: Software engineering, Artificial intelligence--Law and legislation--European Union countries, Artificial intelligence--Safety measures, Data protection, Risk management

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Security / General, COMPUTERS / Hardware / General

Do Machine Learning Models Produce TypeScript Types That Type Check?

Autoři: Yee, Ming-Ho Guha, Arjun Ming-Ho Yee and Arjun Guha

Přispěvatelé: Yee, Ming-Ho Guha, Arjun Ming-Ho Yee and Arjun Guha

Témata: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, deep learning, 02 engineering and technology, ddc:004, Type migration, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2302.12163
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.37

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Autoři: Andre Platzer Kristin Yvonne Rozier Matteo Pradella a další

Resource Type: eBook.

Témata: Formal methods (Computer science)--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Naoki Kobayashi James Worrell

Resource Type: eBook.

Témata: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Behavioural Types : From Theory to Tools

Autoři: Simon Gay António Ravara

Resource Type: eBook.

Témata: QA76.7

Categories: COMPUTERS / Software Development & Engineering / General, SCIENCE / Energy

Mathematical Aspects of Logic Programming Semantics

Autoři: Pascal Hitzler Anthony Seda

Resource Type: eBook.

Témata: Logic programming, Programming languages (Electronic computers)--Semantics

Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy

Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Autoři: Heike Wehrheim Jordi Cabot

Resource Type: eBook.

Témata: Software engineering--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autoři: Amal Ahmed

Resource Type: eBook.

Témata: Programming languages (Electronic computers), Computer organization, Computer science, Computers

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General