Resultados de 1 a 10 de 45.402 para Busca Geral
Mostrar Somente
- Revistas revisadas por pares (36.339)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
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 |
| 2 |
Material Type: Ata de Congresso
|
|
Combining Equivalence Verification and Completion FunctionsAagaard, Mark D. ; Ciubotariu, Vlad C. ; Higgins, Jason T. ; Khalvati, Farzad Martin, Andrew K. ; Hu, Alan J.Formal Methods in Computer-Aided Design, 2004, p.98-112 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Synchronization-at-Retirement for Pipeline VerificationAagaard, Mark D. ; Day, Nancy A. ; Jones, Robert B. Martin, Andrew K. ; Hu, Alan J.Formal Methods in Computer-Aided Design, 2004, p.113-127 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
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 |
| 5 |
Material Type: magazinearticle
|
|
Trespass, nuisance, and spam: 11th century common law meets the internetAALBERTS, Robert J ; POON, Percy S ; THISTLE, Paul DCommunications of the ACM, 2007-12, Vol.50 (12), p.40-45New York, NY: Association for Computing MachineryTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Framework for Analysis of Power System Operation in Smart CitiesAamir, Muhammad ; Uqaili, Muhammad Aslam ; Amir, Samreen ; Chowdhry, B. S. ; Rafique, Faisal ; Poncela, JavierWireless personal communications, 2014-06, Vol.76 (3), p.399-408 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Different roles and mutual dependencies of data, information, and knowledge — An AI perspective on their integrationAamodt, Agnar ; Nygård, MadsData & knowledge engineering, 1995-09, Vol.16 (3), p.191-222 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Automated product taxonomy mapping in an e-commerce environmentAanen, Steven S. ; Vandic, Damir ; Frasincar, FlaviusExpert systems with applications, 2015-02, Vol.42 (3), p.1298-1313 [Periódico revisado por pares]Amsterdam: Elsevier LtdTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Hybrid Architectures for Efficient and Secure Face Authentication in Embedded SystemsAaraj, N. ; Ravi, S. ; Raghunathan, A. ; Jha, N.K.IEEE transactions on very large scale integration (VLSI) systems, 2007-03, Vol.15 (3), p.296-308 [Periódico revisado por pares]Piscataway, NJ: IEEETexto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
New screen methodology for ultra thin gate oxide technologyAaron Wang ; Wu, C.H. ; Shiue, R.Y. ; Huang, H.M. ; Wu, K.2004 IEEE International Reliability Physics Symposium. Proceedings, 2004, p.659-660Piscataway NJ: IEEETexto completo disponível |
Resultados de 1 a 10 de 45.402 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Revistas revisadas por pares (36.339)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (31.872)
- Anais de Congresso (10.880)
- Book Chapters (1.929)
- magazinearticle (720)
- Livros (1)
-
Mais opções
Assunto
- Exact Sciences And Technology (45.355)
- Science & Technology (45.342)
- Computer Science (32.208)
- Computer Science; Control Theory; Systems (30.647)
- Software (29.527)
- Memory Organisation. Data Processing (27.581)
- Engineering (18.473)
- Engineering, Electrical & Electronic (15.985)
- Information Systems. Data Bases (15.621)
- Computer Science, Information Systems (13.453)
- Electronics (13.380)
- Computer Science, Theory & Methods (11.603)
- Computer Science, Artificial Intelligence (11.204)
- Semiconductor Electronics. Microelectronics. Optoelectronics. Solid State Devices (10.535)
- Integrated Circuits (9.802)
- Integrated Circuits By Function (9.322)
- Data Processing. List Processing. Character String Processing (8.230)
- Artificial Intelligence (8.085)
-
Mais opções
Data de Publicação
- Antes de1988 (1.446)
- 1988Até1994 (3.333)
- 1995Até2001 (6.946)
- 2002Até2009 (19.665)
- Após 2009 (14.066)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (39.595)
- Elsevier ScienceDirect Journals (11.284)
- IEEE Electronic Library (IEL) Journals (10.853)
- IngentaConnect Journals (9.027)
- SpringerLINK Lecture Notes in Computer Science (8.127)
- SpringerLINK Lecture Notes in Computer Science (2015) (8.113)
- ANTE: Abstracts in New Technology & Engineering (6.689)
- EBSCOhost Computers and Applied Sciences Complete (5.017)
- SpringerLink (Online service) (3.833)
- Springer Nature - Springer Journals All 2022 (3.570)
- IEEE Electronic Library (IEL) Conference Proceedings (3.165)
- Materials Research Database (3.105)
- METADEX (2.730)
- ACM Digital Library Complete (2.578)
- Gale Academic OneFile Select (2.384)
- Free E-Journal (出版社公開部分のみ） (2.287)
- SPIE Digital Library (Journals) (2.071)
- EBSCOhost Business Source Complete (1.996)
- Engineered Materials Abstracts (1.827)
- Aerospace Database (1.555)
-
Mais opções
Idioma
Nome da Publicação
- Ieee Journal Of Solid-State Circuits (1.046)
- Ieee Transactions On Knowledge And Data Engineering (983)
- Ieee Transactions On Very Large Scale Integration (868)
- Expert Systems With Applications (781)
- Ieee Electron Device Letters (690)
- Lecture Notes In Computer Science (648)
- Ieee Transactions On Electron Devices (646)
- Decision Support Systems (631)
- Ieee Transactions On Magnetics (584)
- Information Processing Letters (567)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 