Recife, Pernambuco, Brasil
877 seguidores Más de 500 os

Unirse para ver el perfil

Acerca de

I am a productive, hard working and quick-learning system engineer. I enjoy technical…

Actividad

Unirse para ver toda la actividad

Experiencia y educación

  • GoTo

Mira la experiencia completa de Silvino

Mira su cargo, antigüedad y más

o

Al hacer clic en «Continuar» para unirte o iniciar sesión, aceptas las Condiciones de uso, la Política de privacidad y la Política de cookies de LinkedIn.

Licencias y certificaciones

Publicaciones

  • Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets

    Springer

    This paper presents an approach for analyzing embedded systems’ software energy consumption and performance based on probabilistic modeling. Such an approach applies Coloured Petri Net modeling language (N) for ing simulation and analysis. The proposed approach offers three basic contributions for embedded system analysis field:(i)code modeling, a probabilistic model for scenarios exploration being presented, (ii) formalism, a formal and widespread modeling language (N) being…

    This paper presents an approach for analyzing embedded systems’ software energy consumption and performance based on probabilistic modeling. Such an approach applies Coloured Petri Net modeling language (N) for ing simulation and analysis. The proposed approach offers three basic contributions for embedded system analysis field:(i)code modeling, a probabilistic model for scenarios exploration being presented, (ii) formalism, a formal and widespread modeling language (N) being applied, with previously validated engines and algorithms for simulation;(iii) flexibility, the proposed approach enabling modeling of different micro-controllers at different abstraction levels.

    Otros autores

  • Pre-Runtime Scheduling Considering Timing And Energy Constraints In Embedded Systems With Multiple Processors

    Springer

    In this paper, a pre-runtime scheduling approach for hard real-time embedded systems with multiple processors is presented considering stringent timing and energy constraints. This paper adopts a formal approach, based on time Petri nets, for synthesizing feasible schedules.

    Otros autores

  • Publish/Subscribe Cloud Middleware for Real-Time Disease Surveillance

    -

    This paper presents the design and implementation of a cloud-based middleware built on top of the Google Cloud Platform (PaaS), in order to exchange real-time information about outbreak notifications of global diseases in a system-level by using an extension of the HL7 Fast Healthcare Interoperability Resources (FHIR) specification to statistical data based on the ICD-10 medical classification list. The proposed solution aims to allow healthcare organizations to their systems…

    This paper presents the design and implementation of a cloud-based middleware built on top of the Google Cloud Platform (PaaS), in order to exchange real-time information about outbreak notifications of global diseases in a system-level by using an extension of the HL7 Fast Healthcare Interoperability Resources (FHIR) specification to statistical data based on the ICD-10 medical classification list. The proposed solution aims to allow healthcare organizations to their systems to send and receive notifications, so the alerts are spread to all the subscribed systems using webhooks in a publish/subscribe fashion.

    Otros autores
    Ver publicación

Proyectos

  • BRB - BankLink

    - actualidad

    Otros creadores

Idiomas

  • English

    Competencia bilingüe o nativa

  • Portuguese

    Competencia bilingüe o nativa

  • Spanish

    Competencia básica profesional

Recomendaciones recibidas

10 personas han recomendado a Silvino

Unirse para verlo

Más actividad de Silvino

Ver el perfil completo de Silvino

  • Descubrir a quién conocéis en común
  • Conseguir una presentación
  • ar con Silvino directamente
Unirse para ver el perfil completo

Perfiles similares

Otras personas con el nombre de Silvino Neto en Brasil

Hay 82 personas más con el nombre de Silvino Neto en Brasil en LinkedIn

Ver a otras personas con el nombre de Silvino Neto

Añade nuevas aptitudes con estos cursos

Ver todos los cursos