Search Results - software and electrical engineering software notations and tools general programming languages*

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

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

USING UML SCENARIOS IN B2B SYSTEMS

Authors: Abdeslam Jakimi Ayoub Sabraoui Elarbi Badidi et al.

Source: International Islamic University Malaysia Engineering Journal, Vol 11, Iss 1 (2010)

Subject Terms: FOS: Computer and information sciences, Business process modeling, Class diagram, QoS-Aware Web Services Composition and Semantic Matching, Social Sciences, Business, Management and Accounting, Set (abstract data type), 02 engineering and technology, Operator (biology), Autonomic Computing and Self-Adaptive Systems, Biochemistry, Gene, Work in process, Management Information Systems, Process Modeling Languages, Engineering, Artificial Intelligence, FOS: Mathematics, Genetics, 0202 electrical engineering, electronic engineering, information engineering, Sequence diagram, Use Case Diagram, Unified Modeling Language, Biology, Business Process Model and Notation, Software engineering, Arithmetic, Activity diagram, Workflow Mining and Business Process Management, Object-oriented programming, Engineering (General). Civil engineering (General), Computer science, Business process, Programming language, Process (computing), Chemistry, Operations management, Notation, FOS: Biological sciences, Computer Science, Physical Sciences, Repressor, TA1-2040, Transcription factor, Software, Mathematics, Information Systems, Sequence (biology)

Access URL: https://journals.iium.edu.my/ejournal/index.php/iiumej/article/download/50/23
https://doaj.org/article/8e53755fc3324286a7bce5da36fc7d3a

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

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

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

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

Changing focus: making sustainability a major theme in existing university modules.

Authors: O'Neill, Ian Gui, Meei Mei

Source: Discover Sustainability; 9/1/2024, Vol. 5 Issue 1, p1-20, 20p

Subject Terms: SOFTWARE engineering, SUSTAINABLE development, CHEMICAL engineering, SUSTAINABILITY, CHEMICAL engineers

Geographic Terms: UNITED Kingdom

Company/Entity: QUEEN'S University of Belfast

Model-driven engineering for mobile robotic systems: a systematic mapping study.

Authors: Casalaro, Giuseppina Lucia Cattivera, Giulio Ciccozzi, Federico et al.

Source: Software & Systems Modeling; Feb2022, Vol. 21 Issue 1, p19-49, 31p

Subject Terms: SOFTWARE engineers, ENGINEERS, ROBOTICS, ELECTRICAL engineering, ROBOTICS software, SOFTWARE engineering

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

NESTML: a generic modeling language and code generation tool for the simulation of spiking neural networks with advanced plasticity rules.

Authors: Linssen, Charl Babu, Pooja N. Eppler, Jochen M. et al.

Source: Frontiers in Neuroinformatics; 2025, p1-21, 21p

Subject Terms: ARTIFICIAL neural networks, MODELING languages (Computer science), SYNAPSES, C++, SYNTAX (Grammar)

The role of formalism in system requirements (full version)

Authors: Bruel, Jean-Michel Ebersold, Sophie Galinier, Florian et al.

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Formal Languages and Automata Theory (cs.FL), 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Formal Languages and Automata Theory, 02 engineering and technology, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/1911.02564

An electrical engineering perspective on naturality in computational physics.

Authors: Kotiuga, P. Robert Lahtinen, Valtteri

Source: Advances in Computational Mathematics; Oct2024, Vol. 50 Issue 5, p1-41, 41p

Cooperatively Interacting Vehicles

Authors: Christoph Stiller Matthias Althoff Christoph Burger et al.

Resource Type: eBook.

Subjects: Intelligent transportation systems, Automated vehicles, Electrical engineering

Categories: TECHNOLOGY & ENGINEERING / Automotive, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Electrical

Domain-specific languages for software engineering

Authors: Marjan Mernik Jan Heering

Source: Proceedings of the 35th Annual Hawaii International Conference on System Sciences. :3649-3650

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: http://ieeexplore.ieee.org/document/927266/
https://www.computer.org/csdl/proceedings-article/hicss/2001/09819071/12OmNzd7c1z
https://www.computer.org/csdl/pds/api/csdl/proceedings/download-article/12OmNzd7c1z/pdf

On some innovations in teaching the formal semantics using software tools.

Authors: Steingartner, William

Source: Ecological Genomics; 2021, Vol. 11 Issue 1, p2-11, 10p

Mod2Panel: A Design Framework for Model-Based Automated Generation of Interactive Panels.

Authors: Gang Chen Chunmei Wen

Source: Information Technology & Control; 2023, Vol. 52 Issue 2, p471-486, 16p

Subject Terms: STRUCTURAL panels, CONTROL boards (Electrical engineering)