Buscar
Mostrando ítems 1-10 de 28
TacoFlow: optimizing SAT program verification using dataflow analysis
(Springer Heidelberg, 2015-01)
In previous work, we presented TACO, a tool for efficient bounded verification. TACO translates programs annotated with contracts to a SAT problem which is then solved resorting to off-the-shelf SAT-solvers. TACO may deem ...
Design and Analysis of Optical Interconnection Networks for a Dataflow Parallel Computer
(Springer, 2008-01-01)
This work shows the design, simulation, and analysis of two optical interconnection networks for a Dataflow parallel computer architecture. To verify the optical interconnection network performance on the Dataflow architecture, ...
Design and Analysis of Optical Interconnection Networks for a Dataflow Parallel Computer
(Springer, 2008-01-01)
This work shows the design, simulation, and analysis of two optical interconnection networks for a Dataflow parallel computer architecture. To verify the optical interconnection network performance on the Dataflow architecture, ...
Design and analysis of optical interconnection networks for a dataflow parallel computer
(2008-12-01)
This work shows the design, simulation, and analysis of two optical interconnection networks for a Dataflow parallel computer architecture. To verify the optical interconnection network performance on the Dataflow architecture, ...
Uma adaptação do escalonador estático da biblioteca dataflow sucuri para computação in-situ
(Universidade Federal do Rio de JaneiroBrasilInstituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de EngenhariaPrograma de Pós-Graduação em Engenharia de Sistemas e ComputaçãoUFRJ, 2020)
Using PVM in the simulation of a hybrid dataflow architecture
(1996-01-01)
The aim of this work is to propose the migration of a hybrid dataflow architecture simulator developed on an uniprocessor system (sequential execution) to a multiprocessor system (parallel execution), using a message passing ...
Avaliação da execução de aplicações orientadas à dados na arquitetura de redes em chip IPNoSys
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2012-08-17)
The increasing complexity of integrated circuits has boosted the development of communications architectures like Networks-on-Chip (NoCs), as an architecture; alternative for interconnection of Systems-on-Chip (SoC). ...