Old Web
English
Sign In
Acemap
>
authorDetail
>
Raul Acosta Hernandez
Raul Acosta Hernandez
University of São Paulo
Mathematics
Scheduling (computing)
Sequential logic
Formal equivalence checking
Computation
3
Papers
16
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
A Monolithic 32-channel Front-End and DSP ASIC for Gaseous Detectors
2019
IEEE Transactions on Instrumentation and Measurement
Hugo Hernandez
Bruno Sanches
Dionísio de Carvalho
Marco Bregant
Armando Ayala Pabón
Ronaldo Wilton da Silva
Raul Acosta Hernandez
Tiago Oliveira Weber
Andre Luis do Couto
Arthur Lombardi Campos
Heiner Alarcon Cubas
Tarciso A. Martins
Marcelo Gameiro Munhoz
Wilhelmus Van Noije
Show All
Source
Cite
Save
Citations (6)
Transformations on the FSMD of the RTL code with combinational logic statements for equivalence checking of HLS
2015
Raul Acosta Hernandez
Marius Strum
Wang Jiang Chau
Show All
Source
Cite
Save
Citations (4)
The Multiple Pairs SMO: A modified SMO algorithm for the acceleration of the SVM training
2009
IJCNN | International Joint Conference on Neural Network
Raul Acosta Hernandez
Marius Strum
Wang Jiang Chau
Jose Artur Quilici González
Show All
Source
Cite
Save
Citations (6)
1
map