Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Selection of Wind Turbine Systems for the Sultanate of OmanA. A. Younis, M. ; Quteishat, AnasComputer Systems Science and Engineering, 2023, Vol.45 (1), p.343-359 [Periódico revisado por pares]Sem texto completo |
|
2 |
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 |
|
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
|
Empirical autopsy of deep video captioning encoder-decoder architectureAafaq, Nayyer ; Akhtar, Naveed ; Liu, Wei ; Mian, AjmalArray (New York), 2021-03, Vol.9, p.100052, Article 100052 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
A Hazards-Based Correctness Statement for Pipelined CircuitsAagaard, Mark D.Correct Hardware Design and Verification Methods, 2003, p.66-80 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Relating Multi-step and Single-Step Microprocessor Correctness StatementsAagaard, Mark D. ; Day, Nancy A. ; Lou, MengFormal Methods in Computer-Aided Design, 2002, p.123-141 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto 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: Ata de Congresso
|
Information Assurance Architecture with Storyboarding ModelsDas, A.10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007, p.377-378IEEETexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
An elitist area-power density trade-off in VLSI floorplan using genetic algorithmDas, A. ; Choudhury, S. R. ; Kumar, B. K. ; Pradhan, S. N.2012 7th International Conference on Electrical and Computer Engineering, 2012, p.729-732IEEETexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
A study on performance benefits of core morphing in an asymmetric multicore processorDas, A ; Rodrigues, R ; Koren, I ; Kundu, S2010 IEEE International Conference on Computer Design, 2010, p.17-22IEEETexto completo disponível |