Search Results - 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

Authors: Luís Caires

Resource Type: eBook.

Subjects: 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

Authors: LAZARESCU, MIHAI TEODOR Albert Cohen Adrien Guatto et al.

Contributors: LAZARESCU, MIHAI TEODOR Albert Cohen Adrien Guatto et al.

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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Laurent Thiry Bernard Thirion Université de Haute Alsace, Pole Essor

Contributors: Laurent Thiry Bernard Thirion Université de Haute Alsace, Pole Essor

Source: ACM SIGAda Ada Letters. :17-28

Subject Terms: 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

Access URL: 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

Authors: Alessandra Russo Andy Schürr

Resource Type: eBook.

Subjects: 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

Authors: Viktor Vafeiadis

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

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

Practical virtual method call resolution for Java

Authors: Sundaresan, Vijay Hendren, Laurie Razafimahefa, Chrislain et al.

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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Bianca Wiesmayr Alois Zoitl Rick Rabiser et al.

Contributors: Bianca Wiesmayr Alois Zoitl Rick Rabiser et al.

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

Subject Terms: 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

Access URL: 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

Authors: Hüseyin PEHLİVAN

Source: 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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Radenski, Atanas

Source: Information Sciences. 87:107-122

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Bul, Y. Soleymanzadeh, K. Bagci, S. et al.

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

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

Access URL: 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

Authors: Einar Broch Johnsen Manuel Wimmer

Resource Type: eBook.

Subjects: 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

Authors: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Subjects: 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

Authors: Thor Myklebust Tor Stålhane Dorthea Mathilde Kristin Vatn

Resource Type: eBook.

Subjects: 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?

Authors: Yee, Ming-Ho Guha, Arjun Ming-Ho Yee and Arjun Guha

Contributors: Yee, Ming-Ho Guha, Arjun Ming-Ho Yee and Arjun Guha

Subject Terms: 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)

File Description: application/pdf

Access URL: 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

Authors: Andre Platzer Kristin Yvonne Rozier Matteo Pradella et al.

Resource Type: eBook.

Subjects: 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

Authors: Naoki Kobayashi James Worrell

Resource Type: eBook.

Subjects: 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

Authors: Simon Gay António Ravara

Resource Type: eBook.

Subjects: QA76.7

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

Mathematical Aspects of Logic Programming Semantics

Authors: Pascal Hitzler Anthony Seda

Resource Type: eBook.

Subjects: 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

Authors: Heike Wehrheim Jordi Cabot

Resource Type: eBook.

Subjects: 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

Authors: Amal Ahmed

Resource Type: eBook.

Subjects: 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