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: Artigo
|
Priorities in WLANsAad, Imad ; Castelluccia, ClaudeComputer networks (Amsterdam, Netherlands : 1999), 2003-03, Vol.41 (4), p.505-526 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
Clustering algorithm for internet of vehicles (IoV) based on dragonfly optimizer (CAVDO)Aadil, Farhan ; Ahsan, Waleed ; Rehman, Zahoor Ur ; Shah, Peer Azmat ; Rho, Seungmin ; Mehmood, IrfanThe Journal of supercomputing, 2018-09, Vol.74 (9), p.4542-4567 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
4 |
Material Type: Artigo
|
Accurate Prediction of Random Telegraph Noise Effects in SRAMs and DRAMsAadithya, K. V. ; Demir, A. ; Venugopalan, S. ; Roychowdhury, J.IEEE transactions on computer-aided design of integrated circuits and systems, 2013-01, Vol.32 (1), p.73-86 [Periódico revisado por pares]IEEETexto completo disponível |
|
5 |
Material Type: Artigo
|
Automated BIST for regular structures embedded in ASIC devicesAadsen, Duane R. ; Scholz, Harold N. ; Zorian, YervantAT&T Technical Journal, 1990-05, Vol.69 (3), p.97-109 [Periódico revisado por pares]Oxford, UK: AT&TTexto completo disponível |
|
6 |
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 |
|
7 |
Material Type: Capítulo de Livro
|
A Hazards-Based Correctness Statement for Pipelined CircuitsAagaard, Mark D. Geist, Daniel ; Tronci, EnricoCorrect Hardware Design and Verification Methods, 2003, p.66-80 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Relating Multi-step and Single-Step Microprocessor Correctness StatementsAagaard, Mark D. ; Day, Nancy A. ; Lou, Meng Aagaard, Mark D. ; O’Leary, John W.Formal Methods in Computer-Aided Design, 2002, p.123-141 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Xs Are for Trajectory Evaluation, Booleans Are for Theorem ProvingAagaard, Mark D. ; Melham, Thomas F. ; O’Leary, John W. Pierre, Laurence ; Kropf, ThomasCorrect Hardware Design and Verification Methods, 1999, p.202-218 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Artigo
|
Correlating cell architecture with osteogenesis: first steps towards live single cell monitoringBorn, A-K ; Rottmar, M ; Lischer, S ; Pleskova, M ; Bruinink, A ; Maniura-Weber, KEuropean cells & materials, 2009-10, Vol.18, p.49-60 [Periódico revisado por pares]Switzerland: Forum Multimedia Publishing LLCTexto completo disponível |