نتائج البحث

The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties.

• Authors : Zamorano Flores, Juan Rafael; Puente Alfaro, Juan Antonio de la; Pulido Pavón, José Antonio

Subjects: Informática; Telecomunicaciones

• Source: Online Published Papers of Data Systems in Aerospace DASIA 2008 | Data Systems in Aerospace DASIA 2008 | 27/05/2008-30/05/2008 | Palma de Mallorca, España

تفاصيل العنوان

Adaptación de señales de E/S de un DSP para el simulador de centrales eléctricas Virtual Machine

• Authors : Macera Fumis, Lucía; Platero Gaona, Carlos Antonio

Subjects: Electrónica; Ingeniería Industrial

تفاصيل العنوان

Desarrollo de una aplicación web descentralizada para efectuar transacciones de tokens no fungibles

• Authors : Schäfer Moreno, Adrián; Bordel Sánchez, Borja

Subjects: Informática

تفاصيل العنوان

Seguridad en la Blockchain de Ethereum: explotación y mitigación de vulnerabilidades modernas en Smart Contracts

• Authors : Taibo Escarramán, Alejandro; Bordel Sánchez, Borja

Subjects: Informática

تفاصيل العنوان

Ada real-time services and virtualization

• Authors : Zamorano Flores, Juan Rafael; Esquinas Fernández, Ángel; Puente Alfaro, Juan Antonio de la

Subjects: Telecomunicaciones; Informática

• Source: Ada Letters, ISSN 1094-3641, 2013-04, Vol. 33, No. 1

تفاصيل العنوان

Gestión de redes virtualizadas mediante sistema de orquestación de contenedores

• Authors : Puentes Vallejo, Miguel Ángel; Nevado Ramos, Julián; Serrano Romero, Javier

Subjects: Informática

تفاصيل العنوان

Specification and verification of WebAssembly programs

• Authors : Munuera Mazarro, David; Montenegro Montes, Manuel

Subjects: Informática

تفاصيل العنوان

SpecJSON: a speculative JSON parsing library for Java

• Authors : Sánchez Marín, Carlos;

Subjects: Informática

تفاصيل العنوان

Integration of embedded data processing algorithms inside PAMELA devices

• Authors : Ruiz González, Mariano; Barrera López de Turiso, Eduardo; Fernández Bernardo, Nestor

Subjects: Electrónica

• Source: 7th European Workshop on Structural Health Monitoring | 7th European Workshop on Structural Health Monitoring (EWSHM 2014) | 8/07/2014 - 11/07/2014 | Nantes, France

تفاصيل العنوان

A semantic-based approach to attain reproducibility of computational environments in scientific workflows: a case study

• Authors : Santana-Perez, Idafen; Ferreira da Silva, Rafael; Rynge, Mats

Subjects: Informática

• Source: Euro-Par 2014: Parallel Processing Workshops | Euro-Par 2014 International Workshops | 25-26 Aug 2014 | Oporto, Portugal

تفاصيل العنوان