Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen

Treffer 1 - 20 von 105

1

Experiences and Proposals of Use of Generative AI in Advanced Software Courses
Palacios-Alonso, Daniel ; Urquiza-Fuentes, Jaime ; Velazquez-Iturbide, J. Angel ; et al.
2024 IEEE Global Engineering Education Conference (EDUCON) Global Engineering Education Conference (EDUCON), 2024 IEEE. :1-10 May, 2024

Konferenz
Merkliste
2

A Data‐Driven Methodology for Quality Aware Code Fixing.
Karanikiotis, Thomas ; Symeonidis, Andreas L. ; Serrano, Manuel Angel
IET Software (Wiley-Blackwell). 5/6/2025, Vol. 2025, p1-25. 25p.

Fachzeitschrift
Merkliste
5

Time optimization for polynomial series using a long For in C.
Medina Ángel, Gustavo ; Cruz Chávez, Marco ; Burlak, Gennadiy
International Journal of Combinatorial Optimization Problems & Informatics. 2020, Vol. 11 Issue 3, p130-135. 6p.

POLYNOMIAL time algorith... PROGRAMMING languages TARDINESS
Fachzeitschrift
Merkliste
6

Application to monitoring a USB control with Ruby in Windows and Linux Ubuntu.
ESPARZA-CASTILLO, Ramón Ángel ; LÓPEZ-ROMO, José Alonso ; MEZA-IBARRA, Iván Dostoyewski ; et al.
Journal of Scientific & Technical Applications / Revista de Aplicación Científica & Técnica; Jan-Jun2022, Vol. 8 Issue 21, p10-15, 6p

USB flash drives RUBY (Computer program l... VIDEO games UBUNTU (Operating system... WINDOWS (Graphical user...
Fachzeitschrift
Merkliste
7

Academic Success Assessment through Version Control Systems.
Guerrero-Higueras, Ángel Manuel ; Fernández Llamas, Camino ; Sánchez González, Lidia ; et al.
Applied Sciences (2076-3417); Feb2020, Vol. 10 Issue 4, p1492, 11p

COMPUTER programming PROGRAMMING languages COMPUTER science INFORMATION & communicat... SOURCE code MACHINE learning
Fachzeitschrift
Merkliste
8

A systematic review of code generation proposals from state machine specifications
Domı´nguez, Eladio ; Pérez, Beatriz ; Rubio, Ángel L. ; et al.
Information & Software Technology. OCt2012, Vol. 54 Issue 10, p1045-1066. 22p.

Fachzeitschrift
Merkliste
9

Mejoras en el juego de geocaching de Classpip (1)
Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors ; Valero García, Miguel ; Franco Martos, Angel ; et al.

E-Ressource
Merkliste
10

Model-based Toolchain for Core Flight System (cFS) Embedded Systems.
Valente, Hugo ; de Miguel, Miguel ; Pérez-Muñoz, Ángel ; et al.
ACM Transactions on Embedded Computing Systems; May2025, Vol. 24 Issue 3, p1-28, 28p

COMPUTER software develo... ARTIFICIAL satellite lau... SYSTEMS software FINANCIAL risk DESIGN software
Fachzeitschrift
Merkliste
11

QUALITATIVE BENCHMARKING STUDY OF SOFTWARE FOR SWITCH PERFORMANCE EVALUATION.
Julca Coscol, Ángel Bernardo ; Tapia Prado, Christian David ; Hilario Falcón, Francisco Manuel ; et al.
3C Tecnologia; 12/1/2021, Vol. 10 Issue 4, p35-48, 14p

PROGRAMMING languages COMPUTER software manage... COMPUTER software QUALITY of service COMPUTER network securit...
Fachzeitschrift
Merkliste
12

Comparative Analysis of Cross-Platform Frameworks.
GAVILÁNEZ ALVAREZ, OSCAR DANILO ; PUENTE RIOFRÍO, MARIANA ISABEL ; MEJÍA CABEZAS, NORA TAHIRÍ ; et al.
Journal of Namibian Studies; 2023 Special Issue, Vol. 34, p2465-2486, 22p

COMPUTER software develo... COMPARATIVE studies APPLICATION software COMPUTER software develo... WEBSITES SEARCH engines
Fachzeitschrift
Merkliste
13

Mejoras en el juego de geocaching de Classpip (2)
Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors ; Valero García, Miguel ; Ramírez Morón, Javier ; et al.

E-Ressource
Merkliste
14

Synthesis of verifiable concurrent Java components from formal models.
Mariño, Julio ; Alborodo, Raúl N. N. ; Fredlund, Lars-Åke ; et al.
Software & Systems Modeling; Feb2019, Vol. 18 Issue 1, p71-105, 35p

JAVA programming languag... ERROR analysis in mathem... PROGRAMMING languages MATHEMATICAL notation MODEL-driven software ar...
Fachzeitschrift
Merkliste
15

Developing and programming a watershed traversal algorithm (WTA) in GRID-DEM and adapting it to hydrological processes
Mateo Lázaro, Jesús ; Sánchez Navarro, José Ángel ; García Gil, Alejandro ; et al.
Computers & Geosciences. Feb2013, Vol. 51, p418-429. 12p.

COMPUTER software develo... COMPUTER programming WATERSHEDS ALGORITHMS GRID computing DIGITAL elevation models
Fachzeitschrift
Merkliste
16

Evaluation of Strategies for the Development of Efficient Code for Raspberry Pi Devices.
Corral-García, Javier ; González-Sánchez, José-Luis ; Pérez-Toledano, Miguel-Ángel
Sensors (14248220); Nov2018, Vol. 18 Issue 11, p4066, 1p

RASPBERRY Pi INTERNET of things ENERGY consumption COMPUTER programming COMPUTER software
Fachzeitschrift
Merkliste
17

Dieses Ergebnis kann Gästen nicht angezeigt werden.

18

Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT).
Germán Márquez, A. ; Varela-Vaca, Ángel Jesús ; Gómez López, María Teresa ; et al.
Computers & Security. Apr2024, Vol. 139, pN.PAG-N.PAG. 1p.

Fachzeitschrift
Merkliste
19

A Coding Rule Conformance Checker Integrated into GCC
Marpons, Guillem ; Mariño, Julio ; Carro, Manuel ; et al.
ENTCS: Electronic Notes in Theoretical Computer Science. Aug2009, Vol. 248, p149-159. 11p.

Coding theory C++ Logic programming Quality assurance Declarative programming... Computer software
Zeitschrift
Merkliste
20

Memory Allocation for Embedded Systems with a Compile-Time-Unknown Scratch-Pad Size.
NGHI NGUYEN ; DOMINGUEZ, ANGEL ; BARUA, RAJEEV
ACM Transactions on Embedded Computing Systems; Apr2009, Vol. 8 Issue 3, p21-21-31, 31p, 9 Diagrams, 1 Chart, 14 Graphs

COMPUTER memory manageme... EMBEDDED computer system... COMPILERS (Computer prog... PROGRAMMING languages CACHE memory RANDOM access memory
Fachzeitschrift
Merkliste

Filter