Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Impact of Denial of Service Attacks on Ad Hoc NetworksAad, I. ; Hubaux, J.-P. ; Knightly, E.W.IEEE/ACM transactions on networking, 2008-08, Vol.16 (4), p.791-802 [Periódico revisado por pares]New York: IEEETexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
Test algorithm for memory cell disturb failuresAadsen, D. ; Fenstermaker, L. ; Higgins, F. ; Ilyoung Kim ; Lewandowski, J. ; Nagy, J.J.Proceedings. International Workshop on Memory Technology, Design and Testing (Cat. No.98TB100236), 1998, p.53-56IEEETexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
PBS: proven Boolean simplificationAagaard, M. ; Leeser, M.IEEE transactions on computer-aided design of integrated circuits and systems, 1994-04, Vol.13 (4), p.459-470 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
A framework for specifying and designing pipelinesAagaard, M. ; Leeser, M.Computer Design: VLSI in Computers and Processors (ICCD '93, 1993, p.548-551IEEE Comput. Soc. PressTexto completo disponível |
5 |
Material Type: Livro
|
![]() |
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, or, USA, November 6-8, 2002, ProceedingsAagaard, Mark D ; O'Leary, John W Aagaard, Mark D. ; O’Leary, John W.Berlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
6 |
Material Type: Artigo
|
![]() |
A methodology for efficient hardware verificationAagaard, Mark ; Leeser, MiriamFormal methods in system design, 1994-07, Vol.5 (1-2), p.95-117 [Periódico revisado por pares]Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Scalable Network Monitoring in High Speed NetworksChoi, Baek-Young ; Du, David Hung-Chang ; Zhang, Zhi-LiNew York, NY: Springer Science + Business Media 2011Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
High-Level Synthesis: from Algorithm to Digital CircuitCoussy, Philippe ; Morawiec, Adam Morawiec, Adam ; Coussy, PhilippeDordrecht: Springer Netherlands 2008Sem texto completo |
9 |
Material Type: Ata de Congresso
|
![]() |
Real-Time Implementation of Fast Fourier Transform (FFT) and Finding the Power Spectrum Using LabVIEW and CompactRIODas, A. D. ; Mahapatra, K. K.2013 International Conference on Communication Systems and Network Technologies, 2013, p.169-173IEEESem texto completo |
10 |
Material Type: Artigo
|
![]() |
Efficient characterisation of cellular automataDas, A.K. ; Ganguly, A. ; Dasgupta, A. ; Bhawmik, S. ; Chaudhuri, P.P.IEE proceedings. Part E, Computers and digital techniques, 1990, Vol.137 (1), p.81-87Sem texto completo |