Coelho Jr., Claudionor
40  results:
Search for persons X
?
1

Boosted Embeddings for Time-Series Forecasting:

, In: Machine Learning, Optimization, and Data Science; Lecture Notes in Computer Science,
 
?
3

Selection of formal verification heuristics for parallel ex..:

Safe, Georgia Penido ; Coelho Jr., Claudionor ; Vieira, Luiz Filipe M....
International Journal on Software Tools for Technology Transfer.  14 (2011)  1 - p. 95-108 , 2011
 
?
4

Exception handling in microprocessors using assertion libra..:

, In: Proceedings of the 17th symposium on Integrated circuits and system design,
 
?
6

An Embedded Converter from RS232 to Universal Serial Bus:

, In: Proceedings of the 14th symposium on Integrated circuits and systems design,
 
?
7

System-level partitioning with uncertainty:

, In: Proceedings of the seventh international workshop on Hardware/software codesign,
 
?
8

Dynamic scheduling and synchronization synthesis of concurr..:

, In: Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design,
 
1-15