Estimativa do consumo de energia devido ao software : uma abordagem baseada em redes de Petri coloridas

Estimativa do consumo de energia devido ao software : uma abordagem baseada em redes de Petri coloridas

Made available in DSpace on 2014-06-12T15:59:40Z (GMT). No. of bitstreams: 2 arquivo5479_1.pdf: 5428990 bytes, checksum: 384171f77f7b3c9167469b053e4c8481 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 === Esta tese tem seu foco na análi...

Full description

Bibliographic Details
Main Author:	OLIVEIRA JÚNIOR, Meuse Nogueira de
Other Authors:	MACIEL, Paulo Romero Martins
Language:	Portuguese
Published:	Universidade Federal de Pernambuco 2014
Subjects:	Redes de Petri Coloridas Consumo de energia do software Descrição de processadores
Online Access:	https://repositorio.ufpe.br/handle/123456789/2617

Similar Items

[en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO
by: GIOVANNI CORDEIRO BARROSO
Published: (2009)

Uma abordagem para avaliar o desempenho de algoritmos baseada em simulações automáticas de modelos de Petri coloridas hierárquicas
by: Moraes Júnior, Clarimundo Machado
Published: (2017)

Controle supervisÃrio de sistemas a eventos discretos, usando redes de Petri coloridas
by: Francisco AntÃnio de Alencar Menezes
Published: (2011)

Um método para o desenvolvimento e certiﬁcação de software de sistemas embarcados baseado em redes de petri coloridas e casos de garantia.
by: CÉSAR SOBRINHO, Álvaro Álvares de Carvalho.
Published: (2016)

Análise de políticas de controle de acesso baseado em papéis com rede de Petri colorida.
by: Eduardo Takeo Ueda
Published: (2012)

Análise de políticas de controle de acesso baseado em papéis com rede de Petri colorida.
by: Ueda, Eduardo Takeo
Published: (2012)

Modelagem Computacional e Simulação do Comportamento de uma Solução de Integração no Contexto Acadêmico da Unijuí Utilizando Redes de Petri Coloridas e Temporizadas
by: Kraisig, Adriana Rosélia
Published: (2017)

Verifica??o formal automatizada para sistemas de racioc?nio procedural (PRS) utilizando redes de petri coloridas (RPC)
by: Ara?jo, Ricardo Wagner de
Published: (2015)

AVALIAÇÃO DE AÇÕES PREVENTIVAS DE RISCOS UTILIZANDO TEORIA DE DECISÃO E REDES DE PETRI COLORIDAS
by: Biasoli, Daniel
Published: (2013)

Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"
by: Adenilso da Silva Simão
Published: (2004)

Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"
by: Simão, Adenilso da Silva
Published: (2004)

Avaliação de desempenho e consumo de energia de aplicações embarcadas: uma estratégia baseada em modelos da arquitetura de hardware e no código da aplicação
by: Costa e Silva Nogueira, Bruno
Published: (2014)

Proposta de um procedimento para a modelagem de sistemas de controle de edifícios inteligentes utilizando a rede de Petri colorida.
by: Percy Javier Igei Kaneshiro
Published: (2011)

Proposta de um procedimento para a modelagem de sistemas de controle de edifícios inteligentes utilizando a rede de Petri colorida.
by: Igei Kaneshiro, Percy Javier
Published: (2011)

Fluxo de dados em redes de Petri coloridas e em grafos orientados a atores
by: Grace Anne Pontes Borges
Published: (2008)

Fluxo de dados em redes de Petri coloridas e em grafos orientados a atores
by: Borges, Grace Anne Pontes
Published: (2008)

Transformação de redes de Petri coloridas em processos de decisão markovianos com probabilidades imprecisas.
by: Mônica Goes Eboli
Published: (2010)

Transformação de redes de Petri coloridas em processos de decisão markovianos com probabilidades imprecisas.
by: Eboli, Mônica Goes
Published: (2010)

Especificação formação do gerenciamento de risco de equipamentos médicos baseado na ISO 14971:2009 utilizando redes de petri coloridas
by: Reis Neto, José Cavalcante
Published: (2017)

<b>Aplicação da modelagem por redes de Petri para avaliação ocupacional de trabalhadores</b>
by: Jonas Lied, et al.
Published: (2009-07-01)

Segmentação de imagens coloridas baseada na mistura de cores e redes neurais
by: Diego Rafael Moraes
Published: (2018)

Segmentação de imagens coloridas baseada na mistura de cores e redes neurais
by: Moraes, Diego Rafael
Published: (2018)

A depressão no teste das Pirâmides Coloridas de Pfister
by: Anna Elisa de Villemor Amaral, et al.
Published: (2004-08-01)

Avaliação estocástica de consumo de energia no projeto de sistemas embarcados
by: Ferreira de Carvalho, Fernando
Published: (2014)

CAUSAS DA ILUMINAÇÃO NÃO UNIFORME EM FOTOGRAFIAS AÉREAS COLORIDAS
by: Daniel Carneiro da Silva, et al.
Published: (2009-09-01)

Redução energética : Optimização e Redução do Consumo de Energia
by: Lemes, Gabriela Meurer
Published: (2009)

Uma abordagem estática para recomendar estruturas de dados Java para melhorar o consumo de energia
by: ARAÚJO NETO, José Benito Fernandes de
Published: (2018)

Estimativa de desempenho de software e consumo de energia em MPSoCs
by: Johann Filho, Sérgio
Published: (2013)

Modelagem e análise de desempenho e consumo de energia em aplicações móveis
by: MENDONÇA NETO, Júlio Rodrigues de
Published: (2016)

Gestão do consumo de energia : eliminação de desperdício
by: Costa, Paula Velho Azevedo
Published: (2009)

Modelagem de políticas de estoques : uma abordagem baseada em Redes de Petri
by: José Carlos e Silva, Mauro
Published: (2014)

O epigrama Sim.21 FGE e a Colunata Colorida
by: Robert de Brose
Published: (2009-09-01)

Análise de desempenho do protocolo CAN para aplicação na área agrícola utilizando redes de Petri coloridas
by: Wellington Carlos Lopes
Published: (2007)

Análise de desempenho do protocolo CAN para aplicação na área agrícola utilizando redes de Petri coloridas
by: Lopes, Wellington Carlos
Published: (2007)

Estratégia de modelagem para controle de FMS combinando redes de Petri e um sistema Fuzzy
by: Reis, Felipe Bezerra dos
Published: (2016)

Termodinámica. MTA2. Consumo de energía en calentadores electricos y a gas
Published: (2013)

Determinação de perfis de consumo baseada em mapas de Kohonen modificados
by: Bidarra, Rui Manuel Proença
Published: (2012)

A time Petri net based approach for software synthesis in Hard Real-Time embedded systems with multiple processors
by: TAVARES, Eduardo Antônio Guimarães
Published: (2014)

Análise de risco da operação de espaçamento temporal aerotransportado por meio de um modelo em rede de Petri estocástica e dinamicamente colorida.
by: Ítalo Romani de Oliveira
Published: (2007)

Análise de risco da operação de espaçamento temporal aerotransportado por meio de um modelo em rede de Petri estocástica e dinamicamente colorida.
by: Oliveira, Ítalo Romani de
Published: (2007)

Cannot write session to /tmp/vufind_sessions/sess_olh076663hct7sq5e89289hr2u