Osmar Marchi dos Santos

Fast and accurate transaction-level model of a wormhole network-on-chip with priority preemptive virtual channel arbitration

Leandro Soares Indrusiak, Osmar Marchi dos Santos · 2011 · 23 citations

Engineering, Computer Architecture, Network Analysis +19

Verifying Object-Based Graph Grammars

Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro · Electronic Notes in Theoretical Computer Science · 2004 · 19 citations · Full text

Engineering, Obgg Derivations, Verification +23

Modular Analytical Performance Models for Ad Hoc Wireless Networks

Fernando Luís Dotti, Paulo Fernandes, Afonso Sales et al. · 2005 · 16 citations

Network Science, Throughput Behavior, Engineering +11

Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java

Andy Wellings, Alan R. Burns, Osmar Marchi dos Santos et al. · 2007 · 13 citations

Engineering, Verification, Software Engineering +21

Fast Simulation of Networks-on-Chip with Priority-Preemptive Arbitration

Leandro Soares Indrusiak, James Harbin, Osmar Marchi dos Santos · ACM Transactions on Design Automation of Electronic Systems · 2015 · 11 citations

Engineering, Edge Computing, High-performance Architecture +15