Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...IEEE MICRO, 2016-09, Vol.36 (5), p.38-49
2016
Volltextzugriff (PDF)
2015 IEEE Symposium on Security and Privacy, 2015, p.20-37
2015
Volltextzugriff (PDF)
2023 60th ACM/IEEE Design Automation Conference (DAC), 2023, p.1-6
2023
Volltextzugriff (PDF)
Computer Aided Verification, p.109-127
Volltextzugriff (PDF)
Computer Aided Verification, p.678-683
Volltextzugriff (PDF)
FM 2008: Formal Methods, p.12-32
Volltextzugriff (PDF)
SIGPLAN notices, 2014-12, Vol.49 (10), p.157-176
2014
Volltextzugriff (PDF)
2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007), 2007, p.97-100
2007
Volltextzugriff (PDF)
2013 IEEE 21st Annual International Symposium on Field-Programmable Custom Computing Machines, 2013, p.145-148
2013
Volltextzugriff (PDF)
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014, p.157-176
2014
Volltextzugriff (PDF)
Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems, 2012, p.325-336
2012
Volltextzugriff (PDF)
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013), 2013, p.177-188
2013
Volltextzugriff (PDF)
2015 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), 2015, p.17-27
2015
Volltextzugriff (PDF)
Embedded Computer Systems: Architectures, Modeling, and Simulation, p.65-74
Volltextzugriff (PDF)
SIGPLAN notices, 2012-06, Vol.47 (4), p.325-336
2012
Volltextzugriff (PDF)
Computer architecture news, 2012-04, Vol.40 (1), p.325-336
2012
Volltextzugriff (PDF)
Proceedings of the Eleventh ACM/IEEE Symposium on Architectures for networking and communications systems, 2015, p.17-27
2015
Volltextzugriff (PDF)
Proceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2006, p.59-68
2006
Volltextzugriff (PDF)
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011), 2011, p.61-71
2011
Volltextzugriff (PDF)
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010, p.11-20
2010
Volltextzugriff (PDF)
2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007), 2007, p.51-60
2007
Volltextzugriff (PDF)
Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2004, p.93-102
2004
Volltextzugriff (PDF)
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design, 2009, p.73-76
2009
Volltextzugriff (PDF)
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2008, p.165-174
2008
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Life Sciences & Biomedicine
- Computer Science, Software Engineering
- Computer Science, Hardware & Architecture
- Humans
- Hardware
- Engineering
- Engineering, Electrical & Electronic
- Hardware Design Languages
- Male
- Microarchitecture
- Registers
- Artificial Intelligence
- Computer Architecture
- Computer Science, Theory & Methods
- Female
- Field Programmable Gate Arrays
- Pipelines
Kollektion
- EZB Electronic Journals Library
- ACM Digital Library【Remote access available】
- IEEE Xplore
- Ingenta
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- MEDLINE
- IngentaConnect Journals
- NUS Single-Journal Subscriptions
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink Series
- Springer Nature
- Wiley Blackwell Single Titles
- JSTOR
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Applied Social Sciences Index & Abstracts (ASSIA)
- PAIS Index
- Taylor & Francis Journals Complete
- BSC - Ebsco (Business Source Ultimate)
- EBSCO_Psychology & Behavioral Sciences Collection
Zeitschrift / Serie
Neu hinzugefügt