Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Differential responses of serum and salivary interleukin-6 to acute strenuous exerciseMinetto, M. ; Rainoldi, A. ; Gazzoni, M. ; Terzolo, M. ; Borrione, P. ; Termine, A. ; Saba, L. ; Dovio, A. ; Angeli, A. ; Paccotti, P.European journal of applied physiology, 2005-03, Vol.93 (5-6), p.679-686 [Periódico revisado por pares]Texto completo disponível |
|
2 |
Material Type: Artigo
|
Differential responses of serum and salivary interleukin-6 to acute strenuous exerciseMinetto, M ; Rainoldi, A ; Gazzoni, M ; Terzolo, M ; Borrione, P ; Termine, A ; Saba, L ; Dovio, A ; Angeli, A ; Paccotti, PEuropean journal of applied physiology, 2005-03, Vol.93 (5-6), p.679-686 [Periódico revisado por pares]Germany: Springer Nature B.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
A compositional model for the functional verification of high-level synthesis resultsBorrione, D. ; Dushina, J. ; Pierre, L.IEEE transactions on very large scale integration (VLSI) systems, 2000-10, Vol.8 (5), p.526-530 [Periódico revisado por pares]Piscataway, NJ: IEEETexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
A methodology and design environment for DSP ASIC fixed point refinementCmar, R. ; Rijnders, L. ; Schaumont, P. ; Vernalde, S. ; Bolsens, I.Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078), 1999, p.271-276IEEETexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Functional verification methodology for microprocessors using the Genesys test-program generator. Application to the x86 microprocessors familyFournier, L. ; Arbetman, Y. ; Levinger, M.Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078), 1999, p.434-441IEEETexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Algorithms for solving Boolean satisfiability in combinational circuitsGuerra e Silva, L. ; Silveira, L.M. ; Marques-Silva, J.Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078), 1999, p.526-530IEEETexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Symbolic functional vector generation for VHDL specificationsFerrandi, F. ; Fummi, F. ; Gerli, L. ; Sciuto, D.Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078), 1999, p.442-446IEEETexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
A new parameterizable power macro-model for datapath componentsJochens, G. ; Kruse, L. ; Schmidt, E. ; Nebel, W.Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078), 1999, p.29-36IEEETexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Wavefront technology mappingStok, L. ; Iyer, M.A. ; Sullivan, A.J.Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078), 1999, p.531-536IEEETexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Specification and validation of distributed IP-based designs with JavaCADDalpasso, M. ; Bogliolo, A. ; Benini, L.Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078), 1999, p.684-688IEEETexto completo disponível |