Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
About
About the Institutional Repository
Use Policy
FAQs (Frequently Asked Questions)
Credits
Access Statistics
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Repositório PUCRS
Search
Search:
All Repository
DOCUMENTOS INSTITUCIONAIS
PUBLICAÇÕES CIENTÍFICAS
TRABALHOS DE CONCLUSÃO DE CURSO
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-6 of 6 (Search time: 0.002 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2002
Computing: The Shape of an Evolving Discipline
Lilian Cassel
;
Gordon Davies
;
Deepak Kumar
;
Avelino Francisco Zorzo
2002
Uso de Linux como Sistema Embarcado.
Avelino Francisco Zorzo
;
Celso Maciel da Costa
;
Daniel Belz
;
Carlos Valvassori
;
Luis Caruso
;
Ricardo Scop
2002
Uso de Redes de Autômatos Estocásticos para Modelar Mecanismos Tolerantes a Falhas.
Luciano Azevedo Cassol
;
Avelino Francisco Zorzo
;
Paulo Henrique Lemelle Fernandes
2002
Controle de Célula de Produção de Tempo Real com DMIs.
Leandro Azevedo Cassol
;
Avelino Francisco Zorzo
2002
Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions
Jie Xu
;
B. Randell
;
A Romanovsky
;
Stroud, R.J.
;
Avelino Francisco Zorzo
;
Ercument Canver
;
von Henke, F.
2002
TLA Specification of a Mechanism for Concurrent Exception Handling
Avelino Francisco Zorzo
;
Brian Randell
;
Alexander Romanovsky
Explore
Author
1
A Romanovsky
1
Alexander Romanovsky
1
B. Randell
1
Brian Randell
1
Carlos Valvassori
1
Celso Maciel da Costa
1
Daniel Belz
1
Deepak Kumar
1
Ercument Canver
1
Gordon Davies
.
next ►
Subject
1
Autômatos Estocásticos
1
Computing curricula
1
concurrent exception handling
1
Coordinated Atomic Actions
1
Célula de produção
1
Dependability
1
Dependable Multiparty Interaction
1
Fault Tolerance
1
Formal Specification
1
Interações multiparticipantes con...
.
next ►