Resultado da Pesquisa
A expressão de busca foi <secondaryty ci and firstg dea and y 2011 and not is * and ref conference>.
2 referências encontradas buscando em 17 dentre 17 Arquivos.
Data e hora local de busca: 25/04/2024 01:38.
1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP8W/39FUNPS
Repositóriosid.inpe.br/mtc-m18/2011/04.11.14.55
Última Atualização2011:04.11.14.55.13 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m18/2011/04.11.14.55.13
Última Atualização dos Metadados2018:06.04.03.55.26 (UTC) administrator
Chave de CitaçãoFialho:2011:InReOp
TítuloInteresting Results with an Optimizing Compiler when Refactoring Embedded Code
FormatoCD, On-line.
Ano2011
Data de Acesso25 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho269 KiB
2. Contextualização
AutorFialho, Márcio Afonso Arimura
GrupoDEA-ETE-INPE-MCT-BR
AfiliaçãoINPE
Endereço de e-Mail do Autormaaf@dea.inpe.br
EditorAmbrosio, Ana Maria
Mattiello-Francisco, Maria Fátima
Batista, João Camargo
Barbosa, Raul
Cancela, Héctor
Endereço de e-Mailrizesimoes@uol.com.br
Nome do EventoLatin-American Symposium on Dependable Computing, 5 (LADC).
Localização do EventoSão José dos Campos
Data25 - 29 apr. 2011
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais (INPE)
Cidade da EditoraSão José dos Campos
VolumeSuplemental
Título do LivroProceedings
OrganizaçãoInstituto Nacional de Pesquisas Espaciais (INPE)
Histórico (UTC)2011-04-11 14:55:13 :: rizesimoes@uol.com.br -> administrator ::
2012-04-17 16:49:01 :: administrator -> rizesimoes@uol.com.br :: 2011
2012-04-17 16:52:42 :: rizesimoes@uol.com.br -> administrator :: 2011
2018-06-04 03:55:26 :: administrator -> :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
ResumoThis paper presents interesting results obtained when refactoring a piece of code compiled with an optimizing compiler. Some of the results were surprising, and at a first glance, contradictory. Most of these results can be explained by the optimizations performed by the compiler. This article concludes with lessons learned about compiler optimizations and some recommendations useful to achieve better code optimization.
ÁreaETES
TipoIndustrial Track
ArranjoFonds > Produção anterior à 2021 > DIDEA > Interesting Results with...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 11/04/2011 11:55 0.8 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP8W/39FUNPS
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP8W/39FUNPS
Idiomaen
Arquivo AlvoStarIdent_Refactoring_Final.pdf
Grupo de Usuáriosadministrator
rizesimoes@uol.com.br
administrator
Visibilidadeshown
5. Fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3F6GF6B
Lista de Itens Citandosid.inpe.br/bibdigital/2013/11.04.22.00 1
Acervo Hospedeirosid.inpe.br/mtc-m18@80/2008/03.17.15.17
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor shorttitle sponsor tertiarymark tertiarytype url versiontype

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP8W/39FGS65
Repositóriosid.inpe.br/mtc-m18/2011/04.08.21.59
Última Atualização2011:04.08.21.59.45 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m18/2011/04.08.21.59.45
Última Atualização dos Metadados2018:06.04.03.55.26 (UTC) administrator
Chave de CitaçãoKucinskis:2011:VaReDe
TítuloValidation of Reasoning and Decision-Making of a Satellite Autonomous On-board Software
FormatoCD, On-line.
Ano2011
Data de Acesso25 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho146 KiB
2. Contextualização
AutorKucinskis, Fabrício de Novaes
GrupoDEA-ETE-INPE-MCT-BR
AfiliaçãoINPE
Endereço de e-Mail do Autorfabricio@dea.inpe.br
EditorAmbrosio, Ana Maria
Mattiello-Francisco, Maria Fátima
Batista, João Camargo
Barbosa, Raul
Cancela, Héctor
Endereço de e-Mailrizesimoes@uol.com.br
Nome do EventoLatin-American Symposium on Dependable Computing, 5 (LADC).
Localização do EventoSão José dos Campos
Data25 - 29 apr. 2011
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais (INPE)
Cidade da EditoraSão José dos Campos
VolumeSuplemental
Título do LivroProceedings
OrganizaçãoInstituto Nacional de Pesquisas Espaciais (INPE)
Histórico (UTC)2011-04-08 21:59:45 :: rizesimoes@uol.com.br -> administrator ::
2012-04-17 16:48:59 :: administrator -> rizesimoes@uol.com.br :: 2011
2012-04-17 16:52:42 :: rizesimoes@uol.com.br -> administrator :: 2011
2018-06-04 03:55:26 :: administrator -> :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
ResumoWe have been working at INPE on the concept of goal-based operations. This means commanding our satellites through goals (i.e. "take pictures of 'x' place, store them and send me later"), instead of sequences of commands. When receiving a goal, the satellite reasons to convert it to the appropriate commands. Goal-based operations involve the increase of the satellite's autonomy. To accomplish this, we are developing an on-board service that manages a knowledge base, and a replanning application that reasons over this knowledge to decide the best way to achieve a goal. However, autonomous applications present a challenge for validation: how can one validate a system that is made to take actions that would be expected from a human operator? This paper describes a work in progress on the increase of the operational autonomy of INPEs satellites, and presents our concerns and approach regarding the validation of the autonomous on-board software.
ÁreaETES
TipoStudent Forum
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDEA > Validation of Reasoning...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 08/04/2011 18:59 0.8 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP8W/39FGS65
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP8W/39FGS65
Idiomaen
Arquivo Alvo82071_1.pdf
Grupo de Usuáriosadministrator
rizesimoes@uol.com.br
administrator
Visibilidadeshown
5. Fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3F6GF6B
Lista de Itens Citandosid.inpe.br/bibdigital/2013/11.04.22.00 2
Acervo Hospedeirosid.inpe.br/mtc-m18@80/2008/03.17.15.17
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor shorttitle sponsor tertiarymark tertiarytype url versiontype