-
1Academic Journal
المؤلفون: Antonio da Silva, Pablo Parra, Óscar R. Polo, Sebastián Sánchez
المصدر: Modelling and Simulation in Engineering, Vol 2014 (2014)
مصطلحات موضوعية: Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2Academic Journal
المؤلفون: Segundo Esteban, Jose M. Girón-Sierra, Óscar R. Polo, Manuel Angulo
المصدر: Sensors, Vol 16, Iss 11, p 1817 (2016)
مصطلحات موضوعية: attitude determination and control, magnetometer sensor, Sun sensors, Kalman filter, low cost satellites, quaternion, condition number, Chemical technology, TP1-1185
وصف الملف: electronic resource
-
3Academic Journal
المؤلفون: Jonatan Sánchez, Antonio da Silva, Pablo Parra, Óscar R. Polo, Agustín Martínez Hellín, Sebastián Sánchez
المصدر: Electronics; Volume 10; Issue 10; Pages: 1179
مصطلحات موضوعية: virtual platform, fault injection, hypervisor, multicore
وصف الملف: application/pdf
Relation: Computer Science & Engineering; https://dx.doi.org/10.3390/electronics10101179
-
4Academic Journal
المؤلفون: Iván Gamino del Río, Agustín Martínez Hellín, Óscar R. Polo, Miguel Jiménez Arribas, Pablo Parra, Antonio da Silva, Jonatan Sánchez, Sebastián Sánchez
المصدر: Electronics, Vol 9, Iss 1873, p 1873 (2020)
مصطلحات موضوعية: processor architecture, trace mechanism, critical software characterization, worst-case execution time, risc-v vhdl ip core, instruction set architecture, Electronics, TK7800-8360
Relation: https://www.mdpi.com/2079-9292/9/11/1873; https://doaj.org/toc/2079-9292; https://doaj.org/article/79f6c0e6271d4034b5de58c06a980f21
-
5
المؤلفون: Pablo Parra, Antonio da Silva, Borja Losa, J. Ignacio García, Óscar R. Polo, Agustín Martínez, Sebastián Sánchez
المصدر: ACM Transactions on Embedded Computing Systems.
مصطلحات موضوعية: Hardware and Architecture, Software
-
6
المؤلفون: Sebastián F. Sánchez, Alberto Carrasco, Pablo Parra, Aarón Montalvo, Agustín Albillos Martínez, Antonio da Silva, Óscar R. Polo
المصدر: Software and Systems Modeling. 21:2367-2394
مصطلحات موضوعية: Ground support equipment, Process (engineering), Computer science, business.industry, Control unit, Domain (software engineering), Software, Proof of concept, Modeling and Simulation, Software engineering, business, Requirements analysis, Software verification
-
7
المؤلفون: Lauri Panitzsch, A. Ravanbakhsh, R. Elftmann, Björn Schuster, Francisco Espinosa Lara, Aarón Montalvo, Nils Janitzek, Alberto Carrasco, I. Cernuda, Robert F. Wimmer-Schweingruber, V. Knierim, S. Boden, G. M. Mason, Raul Gomez-Herrero, George C. Ho, B. Andrews, Sebastián F. Sánchez, Manuel Prieto, M. Yedla, Cesar Martin, L. Seimetz, Óscar R-Polo, Stephan Böttcher, Shrinivasrao R. Kulkarni, Óscar Ramón Ramos Gutiérrez, Agustín Albillos Martínez, Javier Rodriguez-Pacheco, Jan-Christoph Terasa
المصدر: Acta Astronautica. 187:12-23
مصطلحات موضوعية: 020301 aerospace & aeronautics, Stray light, business.industry, Payload, Suite, Cruise, Aerospace Engineering, 02 engineering and technology, 01 natural sciences, Particle detector, law.invention, Orbiter, 0203 mechanical engineering, law, 0103 physical sciences, Environmental science, Aerospace engineering, business, Engineering design process, 010303 astronomy & astrophysics, Heliosphere
-
8
المؤلفون: Javier Fernandez, Sebastián Sánchez, Agustín Albillos Martínez, Óscar R. Polo, Pablo Parra, Antonio da Silva
المصدر: IEEE Transactions on Emerging Topics in Computing. 9:78-89
مصطلحات موضوعية: Instrument control, Principle of compositionality, business.industry, Process (engineering), Computer science, 020207 software engineering, 02 engineering and technology, Application software, computer.software_genre, Computer Science Applications, Human-Computer Interaction, Embedded software, Composability, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Computer Science (miscellaneous), 020201 artificial intelligence & image processing, Engineering design process, Software engineering, business, computer, Information Systems
-
9
المؤلفون: Agustín Albillos Martínez, Antonio da Silva, Sebastián Sánchez, Pablo Parra, Alberto Carrasco, Óscar R. Polo
المصدر: Acta Astronautica. 178:314-328
مصطلحات موضوعية: business.industry, Computer science, Software development, Control unit, Aerospace Engineering, Space exploration, law.invention, Orbiter, Software, Software deployment, law, Systems engineering, Satellite, Model-driven architecture, business, computer, computer.programming_language
-
10
المؤلفون: Sebastián Sánchez, Agustín Martínez Hellín, Pablo Parra, Óscar R. Polo, Jonatan Sánchez, Iván Gamino del Río, Antonio da Silva, Miguel Jiménez Arribas
المصدر: Electronics, Vol 9, Iss 1873, p 1873 (2020)
Electronics
Volume 9
Issue 11مصطلحات موضوعية: TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES, Source code, Computer Networks and Communications, Computer science, media_common.quotation_subject, critical software characterization, lcsh:TK7800-8360, Static program analysis, 02 engineering and technology, Tracing, 01 natural sciences, Execution time, Instruction set, Worst-case execution time, 0103 physical sciences, processor architecture, 0202 electrical engineering, electronic engineering, information engineering, Overhead (computing), Instrumentation (computer programming), Electrical and Electronic Engineering, 010303 astronomy & astrophysics, media_common, risc-v vhdl ip core, business.industry, Processor design, ComputingMethodologies_MISCELLANEOUS, lcsh:Electronics, real-time trace, Static analysis, worst-case execution time, 020202 computer hardware & architecture, Microarchitecture, hybrid analysis, Embedded software, trace mechanism, Hardware and Architecture, Control and Systems Engineering, Embedded system, Signal Processing, software instrumentation, instruction set architecture, business
وصف الملف: application/pdf
-
11
المؤلفون: Óscar R. Polo, Antonio da Silva, Sebastián F. Sánchez, Pablo Parra
المصدر: Acta Astronautica. 143:203-211
مصطلحات موضوعية: Source code, Unit testing, business.industry, Computer science, media_common.quotation_subject, Code coverage, Aerospace Engineering, 020207 software engineering, 02 engineering and technology, Fault injection, 01 natural sciences, Reliability engineering, Software, Software deployment, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Model-driven architecture, business, 010303 astronomy & astrophysics, computer, Agile software development, media_common, computer.programming_language
-
12
المصدر: SPLC (B)
مصطلحات موضوعية: Dependency (UML), business.industry, Computer science, Software development, computer.software_genre, Domain (software engineering), Set (abstract data type), Variable (computer science), Software, Feature (computer vision), Component (UML), Data mining, business, computer
-
13
المؤلفون: Pablo Parra, Alberto Carrasco, Óscar R. Polo, Agustín Albillos Martínez, Sebastián Sánchez, Aarón Montalvo
المصدر: RE Workshops
مصطلحات موضوعية: Model checking, Instrument control, Computer science, business.industry, Process (computing), Telecommand, Software development process, Software, Component (UML), Model-driven architecture, Software engineering, business, computer, computer.programming_language
-
14
المؤلفون: Pablo Parra, Javier Fernández-Salgado, Klaus Krogmann, Michael Hauck, Agustín Martínez Hellín, Sebastián Sánchez-Prieto, Óscar R. Polo
المصدر: Journal of Systems and Software. 114:20-37
مصطلحات موضوعية: Correctness, business.industry, Computer science, Preemption, 020207 software engineering, 02 engineering and technology, Priority inversion, Software, Embedded software, Priority inheritance, Hardware and Architecture, Component (UML), Component-based software engineering, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Model-driven architecture, Software engineering, business, computer, Information Systems, computer.programming_language
-
15
المؤلفون: Manuel Prieto, Sebastián F. Sánchez, Antonio da Silva, Óscar R. Polo, Pablo Parra, Agustín Albillos Martínez, David Guzman
المصدر: Microprocessors and Microsystems. 80:103610
مصطلحات موضوعية: Service (systems architecture), Source code, Computer Networks and Communications, Computer science, media_common.quotation_subject, 020208 electrical & electronic engineering, Software execution, 02 engineering and technology, computer.software_genre, 020202 computer hardware & architecture, Artificial Intelligence, Hardware and Architecture, RTEMS, VHDL, 0202 electrical engineering, electronic engineering, information engineering, Operating system, Human multitasking, Overhead (computing), Interrupt, Field-programmable gate array, Implementation, computer, Software, media_common, computer.programming_language
-
16
المؤلفون: Alberto Regadío, Óscar García Población, Sindulfo Ayuso, Juan Jose Blanco, J. Ignacio García Tejedor, Sebastián Sánchez-Prieto, Óscar R. Polo
المصدر: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 973:164166
مصطلحات موضوعية: Physics, Nuclear and High Energy Physics, Photomultiplier, Muon, 010504 meteorology & atmospheric sciences, Physics::Instrumentation and Detectors, Instrumentation, Astrophysics::Instrumentation and Methods for Astrophysics, Scintillator, 01 natural sciences, Computational physics, law.invention, Telescope, law, Angle of incidence (optics), TRACER, 0103 physical sciences, Cosmic-ray observatory, 010303 astronomy & astrophysics, 0105 earth and related environmental sciences
-
17
المصدر: RUC. Repositorio da Universidade da Coruña
instnameمصطلحات موضوعية: Control orbital, Control algorithm, Formaciones en vuelo de satélites, Political science, Orbital control, Humanities, Satellites flying formations
-
18
المؤلفون: Sebastián Sánchez Prieto, Óscar R. Polo, José Miguel Fernández Fructuoso, Roberto Maurice Flores Le Roux, José Barros-Rodríguez
المساهمون: Universitat Politècnica de Catalunya. Departament de Física, Universitat Politècnica de Catalunya. GMNE - Grup de Mètodes Numèrics en Enginyeria
المصدر: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)مصطلحات موضوعية: Modal parameters identification, Engineering, Damping (Mechanics), Modal analysis, Modal testing, Aerospace Engineering, Amortiment (Mecànica), Signal, Damping, Enginyeria mecànica [Àrees temàtiques de la UPC], Control theory, Robustness (computer science), Singular value decomposition, Aeroelasticity, Flight flutter, Aeroelasticitat, Flutter (Aerodynamics), business.industry, Mechanical Engineering, QR factorization, Aeronàutica i espai::Aerodinàmica [Àrees temàtiques de la UPC], QR decomposition, Modal, Flutter, business, SVD
وصف الملف: application/pdf
-
19
المؤلفون: Pablo Parra, Sebastián F. Sánchez, Óscar R. Polo, Antonio da Silva
المصدر: Acta Astronautica. 95:198-209
مصطلحات موضوعية: Engineering, Software, business.industry, Embedded system, Software fault tolerance, Runtime verification, Software construction, Aerospace Engineering, Verification, Software verification and validation, business, Software verification, Booting
-
20
المؤلفون: Pablo Parra, Lorenzo Cercos, S. Esteban, Manuel Angulo, Óscar R. Polo
المصدر: Acta Astronautica. 93:94-105
مصطلحات موضوعية: Engineering, business.industry, Real-time computing, Hardware-in-the-loop simulation, Aerospace Engineering, Control reconfiguration, Attitude control, Software, Validation rule, Industrial PC, Control system, Component-based software engineering, business, Simulation