Resultados de 1 a 10 de 48.279 para Busca Geral
Mostrar Somente
- Recursos Online (43.066)
- Revistas revisadas por pares (30.287)
Refinado por:
assunto:
Applied Sciences
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
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 |
| 2 |
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 |
| 3 |
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 |
| 4 |
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.Correct Hardware Design and Verification Methods, 1999, p.202-218 [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 ; Poon, Percy ; Thistle, PaulCommunications of the ACM, 2007-12, Vol.50 (12), p.40-45New York, NY: ACMTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Spherical Dome of Laminated Birch Plywood, FinlandAalto, Ari ; Tuomala, Markku ; Mäki-Marttunen, Mauri ; Heinisuo, MarkkuStructural engineering international : journal of the International Association for Bridge and Structural Engineering (IABSE), 2000-08, Vol.10 (3), p.164-166 [Periódico revisado por pares]Zürich: Taylor & FrancisSem texto completo |
| 7 |
Material Type: Ata de Congresso
|
|
Hardware Support for Prescient Instruction PrefetchAamodt, T.M. ; Chow, P. ; Hammarlund, P. ; Wang, Hong ; Shen, J.P.10th International Symposium on High Performance Computer Architecture (HPCA'04), 2004, p.84-84Los Alamitos CA: IEEETexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
THREE PROJECTS: A COMPARATIVE STUDYAL_ AFabricate 2011, 2017, p.207UCL PressTexto 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: Artigo
|
|
Multiprocessor fault diagnosis under local constraintsDas, A. ; Thulasiraman, K. ; Agarwal, V.K. ; Lakshmanan, K.B.IEEE transactions on computers, 1993-08, Vol.42 (8), p.984-988 [Periódico revisado por pares]New York, NY: IEEETexto completo disponível |
Resultados de 1 a 10 de 48.279 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (43.066)
- Revistas revisadas por pares (30.287)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (31.186)
- Anais de Congresso (10.975)
- Book Chapters (4.119)
- magazinearticle (1.989)
- Livros (9)
- Dissertações (1)
-
Mais opções
Assunto
- Exact Sciences And Technology (45.480)
- Technology (43.345)
- Science & Technology (43.211)
- Computer Science (38.435)
- Computer Science, Hardware & Architecture (33.323)
- Engineering (24.002)
- Computer Science; Control Theory; Systems (21.521)
- Engineering, Electrical & Electronic (20.772)
- Software (17.011)
- Electronics (14.895)
- Computer Science, Theory & Methods (14.508)
- Computer Science, Software Engineering (10.680)
- Semiconductor Electronics. Microelectronics. Optoelectronics. Solid State Devices (10.005)
- Integrated Circuits (8.733)
- Telecommunications And Information Theory (8.330)
- Telecommunications (8.206)
- Computer Systems And Distributed Systems. User Interface (8.060)
- Computer Science, Information Systems (7.522)
- Architecture (7.406)
-
Mais opções
Data de Publicação
- Antes de1988 (3.764)
- 1988Até1995 (8.241)
- 1996Até2003 (11.813)
- 2004Até2012 (19.490)
- Após 2012 (5.359)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (35.544)
- IEEE Electronic Library (IEL) Journals (15.162)
- ScienceDirect Additional Titles (8.214)
- ANTE: Abstracts in New Technology & Engineering (7.236)
- IngentaConnect Journals (5.184)
- EBSCOhost Computers and Applied Sciences Complete (4.744)
- SpringerLINK Lecture Notes in Computer Science (2015) (4.723)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (4.723)
- IEEE Electronic Library (IEL) Conference Proceedings (4.453)
- ACM Digital Library Complete (3.846)
- Gale Academic OneFile (3.358)
- EBSCOhost Business Source Complete (3.217)
- Aerospace Database (2.899)
- SPIE Digital Library (Journals) (2.611)
- JSTOR eBooks (2.601)
- Wiley Online Library - AutoHoldings Journals (2.487)
- Materials Research Database (2.106)
- SPIE Conference Proceedings by volume (1.929)
- Springer Nature - Complete Springer Journals (1.927)
- Springer Nature - Springer Journals All 2022 (1.831)
-
Mais opções
Nome da Publicação
- Ieee Transactions On Computers (2.157)
- Ieee Transactions On Very Large Scale Integration (2.075)
- Ieee Transactions On Neural Networks (1.830)
- Computer Networks (1.695)
- Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems (1.679)
- Communications Of The Acm (1.464)
- Networks (1.160)
- Ieee Transactions On Reliability (1.134)
- Computer Journal (844)
- Journal Of Network And Computer Applications (826)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 