| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
31/07/1996 |
|
Data da última atualização: |
28/09/2007 |
|
Autoria: |
ZHANG, L.; KATWIJK, J. V. |
|
Título: |
Towards a viewpoint oriented design methodology for muti-processor real-time systems. |
|
Ano de publicação: |
1994 |
|
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 8., WORKSHOP DE QUALIDADE DE SOFTWARE, 1994, Curitiba. Anais... Curitiba: Centro Internacional de Técnologia de Software, 1994. |
|
Páginas: |
p.223-250. |
|
Idioma: |
Inglês |
|
Conteúdo: |
In this paper we describe a design methodology for the development of (potentially multi-processor) real-time system. Our proposed methodology differs fundamentally from current methodology and serves to help manage the complexity of massive-intensive systems. One of the distinguishing aspects of this methodology is in its ability to express timing constraints and verify to what extent such constraints are met. A second distinguishing aspect of this methodology is to develoop a system according to five views of systems. In particular, the pproblems concerned with the transformation of the specifications into the parallel programs are addressed. The proposed methodology is applied to develop an generator for generating transfer frames, complyant to the CCSDSrecommendations [34], [35]. This onboard generator is implemented on a transputer network [1], [2]. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01409naa a2200145 a 4500
001 1003126
005 2007-09-28
008 1994 bl uuuu u00u1 u #d
100 1 $aZHANG, L.
245 $aTowards a viewpoint oriented design methodology for muti-processor real-time systems.
260 $c1994
300 $ap.223-250.
520 $aIn this paper we describe a design methodology for the development of (potentially multi-processor) real-time system. Our proposed methodology differs fundamentally from current methodology and serves to help manage the complexity of massive-intensive systems. One of the distinguishing aspects of this methodology is in its ability to express timing constraints and verify to what extent such constraints are met. A second distinguishing aspect of this methodology is to develoop a system according to five views of systems. In particular, the pproblems concerned with the transformation of the specifications into the parallel programs are addressed. The proposed methodology is applied to develop an generator for generating transfer frames, complyant to the CCSDSrecommendations [34], [35]. This onboard generator is implemented on a transputer network [1], [2].
700 1 $aKATWIJK, J. V.
773 $tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 8., WORKSHOP DE QUALIDADE DE SOFTWARE, 1994, Curitiba. Anais... Curitiba: Centro Internacional de Técnologia de Software, 1994.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Amazônia Oriental. |
|
Data corrente: |
04/08/2014 |
|
Data da última atualização: |
16/11/2023 |
|
Tipo da produção científica: |
Monitoramento/Zoneamento |
|
Autoria: |
RODRIGUES, T. E.; SILVA, J. M. L. da; GAMA, J. R. N. F.; REGO, R. S. |
|
Afiliação: |
TARCISIO EWERTON RODRIGUES, CPATU; JOAO MARCOS LIMA DA SILVA, CPATU; JOSE RAIMUNDO NATIVIDADE F GAMA, CPATU; RAIMUNDO SILVA REGO, CPATU. |
|
Título: |
Mapa de reconhecimento da alta intensidade dos solos da Floresta Estadual de Antimari, Estado do Acre. |
|
Ano de publicação: |
2002 |
|
Fonte/Imprenta: |
[Belém, PA]: Embrapa Amazônia Oriental, 2002. |
|
Descrição Física: |
1 mapa color. Escala 1:50.000. |
|
Idioma: |
Português |
|
Notas: |
Parte de: RODRIGUES, T. E.; SILVA, J. M. L. da; GAMA, J. R. N. F.; CARDOSO JÚNIOR, E. Q. Caracterização e classificação dos solos da Floresta Estadual do Antimari, Estado do Acre. Belém, PA: Embrapa Amazônia Oriental, 2003. 78 p. il. (Embrapa Amazônia Oriental. Documentos, 152). |
|
Palavras-Chave: |
Acre; Floresta Nacional do Antimari. |
|
Thesagro: |
Solo. |
|
Categoria do assunto: |
-- |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/105978/1/doc-152-mapa-1.pdf
|
|
Marc: |
LEADER 00896nem a2200193 a 4500
001 1991758
005 2023-11-16
008 2002 bl uuuu u0uu1 u #d
100 1 $aRODRIGUES, T. E.
245 $aMapa de reconhecimento da alta intensidade dos solos da Floresta Estadual de Antimari, Estado do Acre.$h[electronic resource]
260 $a[Belém, PA]: Embrapa Amazônia Oriental$c2002
300 $c1 mapa color. Escala 1:50.000.
500 $aParte de: RODRIGUES, T. E.; SILVA, J. M. L. da; GAMA, J. R. N. F.; CARDOSO JÚNIOR, E. Q. Caracterização e classificação dos solos da Floresta Estadual do Antimari, Estado do Acre. Belém, PA: Embrapa Amazônia Oriental, 2003. 78 p. il. (Embrapa Amazônia Oriental. Documentos, 152).
650 $aSolo
653 $aAcre
653 $aFloresta Nacional do Antimari
700 1 $aSILVA, J. M. L. da
700 1 $aGAMA, J. R. N. F.
700 1 $aREGO, R. S.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Amazônia Oriental (CPATU) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
