E-LIB Suche - Ergebnisse für: Dotti, Fernando Luís

1

A library for services transparent replication:

, In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing,

Pereira, Paola Martins ; Dotti, Fernando Luís ; Meinhardt, Cristina. - p. 268-275 , 2019

Link: https://dl.acm.org/doi/1..

2

Boosting concurrency in Parallel State Machine Replication:

, In: Proceedings of the 20th International Middleware Conference,

Escobar, Ian Aragon ; Alchieri, Eduardo ; Dotti, Fernando Luís. - p. 228-240 , 2019

Link: https://dl.acm.org/doi/1..

3

Modelling the impacts of policies on advanced biofuel feeds..:

Ribeiro, Lauro André ; Pereira da Silva, Patrícia ; Ribeiro, Leila.
Journal of Cleaner Production. 142 (2017) - p. 2471-2479 , 2017

Link: https://doi.org/10.1016/..

4

Efficient and Deterministic Scheduling for Parallel State M..:

, In: 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS),

Mendizabal, Odorico M. ; De Moura, Ruda S.T. ; Dotti, Fernando Luis. - p. 748-757 , 2017

Link: https://doi.org/10.1109/..

5

Analysis of checkpointing overhead in parallel state machin..:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,

Mendizabal, Odorico M. ; Dotti, Fernando Luís ; Pedone, Fernando - p. 534-537 , 2016

Link: https://dl.acm.org/doi/1..

6

A Study on Substrate Network Synchrony Demands to Support H..:

, In: 2014 Brazilian Symposium on Computer Networks and Distributed Systems,

Hasan, Rasha ; Mendizabal, Odorico Machado ; Reis De Oliveira, Romulo. - p. 344-352 , 2014

Link: https://doi.org/10.1109/..

7

Correct transformation: From object-based graph grammars to..:

Ribeiro, Leila ; dos Santos, Osmar Marchi ; Dotti, Fernando Luís.
Science of Computer Programming. 77 (2012) 3 - p. 214-246 , 2012

Link: https://doi.org/10.1016/..

8

Evaluating the impact of an acknowledgment strategy for APR:

, In: Proceedings of the 5th International Latin American Networking Conference,

Nunes, Cristina M. ; Link, Eduardo ; Dotti, Fernando Luís - p. 77-86 , 2009

Link: https://dl.acm.org/doi/1..

9

Verifying Object-based Graph Grammars: An Assume-guarantee ..:

Dotti, Fernando Luís ; Ribeiro, Leila ; Santos, Osmar Marchi dos.
Software & Systems Modeling. 5 (2006) 3 - p. 289-311 , 2006

Link: https://doi.org/10.1007/..

10

Analytical modeling of random waypoint mobility patterns:

, In: Proceedings of the 3rd ACM international workshop on Performance evaluation of wireless ad hoc, sensor and ubiquitous networks,

Delamare, Fábio ; Dotti, Fernando Luís ; Fernandes, Paulo.. - p. 106-113 , 2006

Link: https://dl.acm.org/doi/1..

11

Verifying Object-Based Graph Grammars:

dos Santos, Osmar Marchi ; Dotti, Fernando Luís ; Ribeiro, Leila
Electronic Notes in Theoretical Computer Science. 109 (2004) - p. 125-136 , 2004

Link: https://doi.org/10.1016/..

12

A Graph Transformation View on the Specification of Applica..:

Corradini, Andrea ; Dotti, Fernando Luís ; Ribeiro, Leila
Electronic Notes in Theoretical Computer Science. 50 (2001) 3 - p. 238-246 , 2001

Link: https://doi.org/10.1016/..

13

Structured Markovian models for discrete spatial mobile nod..:

Luís Dotti, Fernando ; Fernandes, Paulo ; Nunes, Cristina M.
Journal of the Brazilian Computer Society. 17 (2011) 1 - p. 31-52 , 2011

Link: https://doi.org/10.1007/..

14

Modelling the impacts of policies on advanced biofuel feeds..:

Ribeiro, Lauro André ; Silva, Patrícia Pereira da ; Ribeiro, Leila.
http://www.sciencedirect.com/science/article/pii/S0959652616318650?via%3Dihub. , 2017

Link: http://hdl.handle.net/10..

15

Stochastic object-based graph grammars:

Mendizabal, Odorico Machado ; Dotti, Fernando Luís ; Ribeiro, Leila
MENDIZABAL, Odorico Machado; DOTTI, Fernando Luís; RIBEIRO, Leila. Stochastic object-based graph grammars. Electronic Notes in Theoretical Computer Science, v. 184, p. 151-170, 2007. Disponível em: . Acesso em: 22 abr. 2007.. , 2007

Link: http://repositorio.furg...