Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing
 

Summary: Using Rewriting-Logic Notation for Funcional Verification
in Data-Stream Based Reconfigurable Computing
Reiner W. Hartenstein1
, Ricardo P. Jacobi2
1
Fachbereich Informatik
Kaiserslautern University of Technology
hartenst@rhhk.uni-kl.de
2
Depto. De Ciência da Computação
Universidade de Brasília
rjacobi@cic.unb.br
Maurício Ayala-Rincón3
, Carlos H. Llanos4
3
Departamento de Matemática
ayala@mat.unb.br
4
Departamento de Engenharia Mecânica
llanos@unb.br

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics