Etiqueta de registo: 00733cam 2200217 450
001 1086126
003 http://id.bnportugal.gov.pt/bib/catbnp/1086126
005 20030116134700.0
100 ## $a20020624d2001 k y0pory0103 ba
101 0# $aeng$dpor$deng$dfre
102 ## $aPT
105 ## $aa z---001yy
106 ## $ar
200 1# $a A framework for the transparent replication of real-time applications$bTexto policopiado]$fLuís Miguel Rosário da Silva Pinho
210 #9 $aPorto$c[s.n.],$d2001
215 ## $a154 p.$cil.$d29 cm
320 ## $aBibliografia, p 149-154
328 ## $aTese dout. Eng. Electrotécnica e de Computadores, Univ. Porto, 2001
675 ## $a681.5(043)$vBN$zpor$3297997
675 ## $a004.7(043)$vBN$zpor$3918097
700 #1 $aPinho,$bLuís Miguel,$f1971-$3263198
966 ## $lBN$mFGMON$sS.A. 8140 A.$x1

Etiqueta de registo: 00945nam 2200265 450
001 1092908
003 http://id.bnportugal.gov.pt/bib/catbnp/1092908
010 ## $a972-8688-06-7
100 ## $a20021010d2002 m y0pory01030103ba
101 0# $aeng
102 ## $aPT
105 ## $ay z 100yy
106 ## $ar
200 1# $aProceedings of the ... International Workshop on Real-Time LANs in the Internet Age$fEduardo Manuel de Médicis Tovar, Tmilo Sauter, Luís Miguel Rosário da Silva Pinho
210 #9 $aPorto$cInstituto Politécnico do Porto,$d2002
211 ## $a200210
215 ## $ap.
225 2# $aApontamentos$v1
675 ## $a004.73(042)$vBN$zpor$3961542
702 #1 $aTovar,$bEduardo Manuel de Médicis,$f1967-$4340$3181808
702 #1 $aSauter,$bTmilo,$f1967-$4340$31048635
702 #1 $aPinho,$bLuís Miguel,$f1971-$3263198
710 12 $aThe 2002 International Workshop on Real-Time LANs in the Internet Age$eViena$31048636

Etiqueta de registo: 00230nam 2200025 450
001 1775494
003 http://id.bnportugal.gov.pt/bib/catbnp/1775494
100 ## $a20110325d2009 k y0pory0103 ba
101 0# $aeng$dpor$dfre
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aTime-bounded adaptive quality of service management for cooperative embedded real-time systems$fLuís Miguel Pinho Nogueira$gadvisor Luís Miguel Pinho
210 #9 $aPorto$c[s.n.],$d2009
215 ## $a[2], 214 p.$cil.$d29 cm
215 ## $a1 disco óptico (CD-ROM) em envelope$cil.$d13 x 13 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 193-214
328 #1 $aTese dout. Ciência de Computadores, Fac. de Ciências, Univ. do Porto, 2009
675 ## $a004.45.03(043)$vBN$zpor$31477896
675 ## $a004.75.03(043)$vBN$zpor$31477897
700 #1 $aNogueira,$bLuís Miguel Pinho$31178619
702 #1 $aPinho,$bLuís Miguel,$f1971-$4727$3263198
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 18579 P.$x1
966 ## $lBN$mFGMON$sP. 32287 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1717268
003 http://id.bnportugal.gov.pt/bib/catbnp/1717268
100 ## $a20090629d2007 k y0pory01030103ba
101 0# $apor$deng$dfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aArquitecturas de comunicação industriais para suporte a sistemas computacionais móveis$fVeríssimo Manuel Brandão Lima Santos$gorient. Luís Miguel Pinho, Pedro Ferreira Souto
210 #9 $aPorto$c[s.n.],$d2007
215 ## $a[20], 155 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese mestr.$cEngenharia Electrotécnica e de Computadores (Sistemas Digitais e Informática Industrial)$eDep. de Engenharia Electrotécnica e de Computadores, Fac. de Engenharia, Univ. do Porto$d2007
675 ## $a004.72/.75(043)$vBN$zpor$31388372
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.94(043)$vBN$zpor$31227404
700 #1 $aSantos,$bVeríssimo Manuel Brandão Lima$31383973
702 #1 $aPinho,$bLuís Miguel,$f1971-$4727$3263198
702 #1 $aSouto,$bPedro Alexandre Guimarães Lobo Ferreira do$4727$3472508
712 02 $aUniversidade do Porto.$bFaculdade de Engenharia.$bDepartamento de Engenharia Electrotécnica e de Computadores$4295$3126434
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 15981 P.$x1
966 ## $lBN$mFGMON$sP. 26593 V.$x1

Etiqueta de registo: 00861cam 2200253 450
001 706866
003 http://id.bnportugal.gov.pt/bib/catbnp/706866
005 19990107000000.0
095 ## $aPTBN00920592
100 ## $a19970924d1996 k y0pory0103 ba
101 0# $apor$deng$dfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aArquitecturas para sistemas de controlo de tempo real$bTexto policopiado]$fLuís Miguel Rosário da Silva Pinho
210 #9 $aPorto$c[s.n.],$d1996
215 ## $aXV, 191 p.$cil.$d30 cm$erésumé, abstract (2 f.)
320 ## $aBibliografia, p. 169-173
328 ## $aTese mestr. Engª. Electrotécnica e de Computadores, Univ. Porto, 1996
675 ## $a621.3(043)$vBN$zpor$3297328
675 ## $a681.3(043.2)$vBN$zpor$3300199
675 ## $a67(043.2)$vBN$zpor$3517202
700 #1 $aPinho,$bLuís Miguel,$f1971-$3263198
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 84523 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1951889
003 http://id.bnportugal.gov.pt/bib/catbnp/1951889
100 ## $a20161229d2016 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $a A framework for the development of parallel and distributed real-time embedded systems$fRicardo Garibay Martínez$gorient. Luis Miguel Moreira Lino Ferreira, Luís Miguel Rosário da Silva Pinho
210 #9 $aPorto$c[s.n.],$d2016
215 ## $aXXII, 154 p.$cil.$d30 cm
328 #1 $aTese dout. Engenharia Electrotécnica e de Computadores, Universidade do Porto, 2016
675 ## $a004.03(043)$vBN$zpor$31229757
700 #1 $aGaribay Martínez,$bRicardo$31667053
702 #1 $aFerreira,$bLuís Miguel Moreira Lino,$f1971-$4727$3280652
702 #1 $aPinho,$bLuís Miguel,$f1971-$4727$3263198
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 46559 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1981714
003 http://id.bnportugal.gov.pt/bib/catbnp/1981714
100 ## $a20180205d2017 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aIntegrating dataflow and non-dataflow real-time application models on multicore platforms$fHazem Ismail Abdelaziz Ali$gsupervisor Luís Miguel Rosário da Silva Pinho, Kjell Benny Akesson
210 #9 $aPorto$c[s.n.]$d2017
215 ## $aXXV, 112 p.$cil.$d30 cm
328 #1 $aTese dout. Engenharia Eletrotécnica e de Computadores, Faculdade de Engenharia, Universidade do Porto, 2017
675 ## $a004.41/.43(043)$vBN$zpor$31380775
675 ## $a004.2(043)$vBN$zpor$31234195
700 #0 $aHazem,$bIsmail Abdelaziz Ali$31703750
702 #1 $aPinho,$bLuís Miguel,$f1971-$4727$3263198
702 #1 $aAkesson,$bKjell Benny$4727$31703752
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 49724 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2014317
003 http://id.bnportugal.gov.pt/bib/catbnp/2014317
100 ## $a20190212d2018 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aDynamic contracts for verification and enforcement of real-time systems properties$fAndré de Matos Pedro$gorient. Jorge Sousa Pinto, Luís Miguel Pinho
210 #9 $a[S.l.$cs.n.],$d2018
215 ## $aXVII, 144 p.$d30 cm
328 #1 $aTese dout. Informática (MAP-i), Escola de Engenharia, Univ. do Minho, de Aveiro e do Porto, 2018
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.41(043)$vBN$zpor$3869101
700 #1 $aPedro,$bAndré de Matos$31741753
702 #1 $aPinto,$bJorge Sousa$4727$31464233
702 #1 $aPinho,$bLuís Miguel,$f1971-$4727$3263198
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 52955 V.

Etiqueta de registo: 00000nam 2200025 450
001 2012825
003 http://id.bnportugal.gov.pt/bib/catbnp/2012825
100 ## $a20190129d2018 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aReal-time software transactional memory$fAntónio Manuel de Sousa Barros$gsupervisor Luís Miguel Rosário da Silva Pinho
210 #9 $aPorto$c[s.n.],$d2018
215 ## $aXXIV, 184 p.$cil.$d30 cm
328 #1 $aTese dout. Engenharia Electrotécnica e de Computadores, Fac. Engenharia, Univ. Porto, 2018
675 ## $a004.4(043)$vBN$zpor$3787169
675 ## $a004.2(043)$vBN$zpor$31234195
700 #1 $aBarros,$bAntónio Manuel de Sousa $31425002
702 #1 $aPinho,$bLuís Miguel,$f1971-$4727$3263198
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 52650 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2037346
003 http://id.bnportugal.gov.pt/bib/catbnp/2037346
100 ## $a20200103d2018 m y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay z 000yy
106 ## $ar
200 1# $aScheduling parallel real-time tasks in multiprocessor platforms$fCláudio Roberto Ribeiro Maia$gsupervisor Luís Miguel Pinho Nogueira, Luís Miguel Rosário da Silva Pinho
210 #9 $aPorto$c[s.n.],$d2018
215 ## $aXIV, 112 p.$d30 cm
328 #1 $aTese dout. Engenharia Electrotécnica e de Computadores, Fac. Engenharia, Univ. Porto, 2018
675 ## $a004.2(043)$vBN$zpor$31234195
675 ## $a004.3(043)$vBN$zpor$31227412
700 #1 $aMaia,$bCláudio Roberto Ribeiro$31772029
702 #1 $aNogueira,$bLuís Miguel Pinho$4727$31178619
702 #1 $aPinho,$bLuís Miguel,$f1971-$4727$3263198
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 55183 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2037466
003 http://id.bnportugal.gov.pt/bib/catbnp/2037466
100 ## $a20200106d2019 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aMultiprocessor scheduling and mapping techniques for real-time parallel applications$fJosé Carlos Nunes da Fonseca$gsupervisor Vincent Michel Philippe Nélis, Luís Miguel Rosário da Silva Pinho
210 #9 $aPorto$c[s.n.],$d2019
215 ## $aXVII, 146 p.$cil.$d30 cm
328 #1 $aTese dout. Engenharia Electrotécnica e de Computadores, Faculdade de Engenharia, Universidade do Porto, 2019
675 ## $a681.5(043)$vBN$zpor$3297997
675 ## $a004.9(043)$vBN$zpor$3788403
700 #1 $aFonseca,$bJosé Carlos Nunes da$31772184
702 #1 $aNélis,$bVincent Michel Philippe $4727$31772185
702 #1 $aPinho,$bLuís Miguel,$f1971-$4727$3263198
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 174152 V.$x1