Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Risk analysis - a new aspect on protection and local control designAabo, Y ; Guin, R ; Lundqvist, B7th International Conference on Developments in Power Systems Protection (DPSP 2001), 2001, p.347-350London: IEETexto completo disponível |
|
2 |
Material Type: Artigo
|
Analysis of Superimposed Oriented PatternsAach, T. ; Mota, C. ; Stuke, I. ; Muhlich, M. ; Barth, E.IEEE transactions on image processing, 2006-12, Vol.15 (12), p.3690-3700 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
3 |
Material Type: Artigo
|
Enhancing IEEE 802.11 MAC in congested environmentsAad, Imad ; Ni, Qiang ; Barakat, Chadi ; Turletti, ThierryComputer communications, 2005-09, Vol.28 (14), p.1605-1617 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
Verifying a logic-synthesis algorithm and implementation: a case study in software verificationAagaard, M. ; Leeser, M.IEEE transactions on software engineering, 1995-10, Vol.21 (10), p.822-833 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
|
5 |
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 |
|
6 |
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 |
|
7 |
Material Type: Ata de Congresso
|
A methodology for large-scale hardware verificationAAGAARD, Mark D ; JONES, Robert B ; MELHAM, Thomas F ; O'LEARY, John W ; SEGER, Carl-Johan HLecture notes in computer science, 2000, p.263-282 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
8 |
Material Type: Artigo
|
Evolutionary Learning Processes to Design the Dilation-Erosion Perceptron for Weather ForecastingARAUJO, Ricardo de ANeural processing letters, 2013-06, Vol.37 (3), p.303-333 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
A cognitive science approach to metametric fuzzinessDas, A.Proceedings IEEE SoutheastCon 2002 (Cat. No.02CH37283), 2002, p.432-436Piscataway NJ: IEEETexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
SWIM: scalable weakly-consistent infection-style process group membership protocolDas, A. ; Gupta, I. ; Motivala, A.Proceedings International Conference on Dependable Systems and Networks, 2002, p.303-312Los Alamitos CA: IEEETexto completo disponível |