Buscar
Mostrando ítems 1-5 de 5
Fiscalização da execução contratual de parcerias público-privadas e o papel dos verificadores independentes (VI): a experiência da utilização de VI em contratos de PPPs celebrados em Minas Gerais
(Universidade Federal de Minas GeraisBrasilDIREITO - FACULDADE DE DIREITOPrograma de Pós-Graduação em DireitoUFMG, 2022-10-19)
Since the inclusion of the Federal Law n.º 11.079/2004 in the Brazilian legal system, partnerships between the public and the private sectors have gained increasing importance on the agendas of governments and society, ...
Shared memory verification for multicore chip designs
(2020)
Multiprocessadores em um único chip, conhecidos como multicores, normalmente proveem uma abstração de memória compartilhada coerente, a qual pode ser obtida por meio da implementação de protocolos de coerência de cache no ...
Verificação de consistência de memória para sistemas integrados multiprocessados
(Florianópolis, SC, 2012)