X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Conference Proceeding (184) 184
Journal Article (183) 183
Patent (63) 63
Book Chapter (39) 39
Book / eBook (18) 18
Web Resource (12) 12
Government Document (3) 3
Reference (2) 2
Book Review (1) 1
Magazine Article (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
algorithms (56) 56
computer science, hardware & architecture (48) 48
logic design (46) 46
integrated circuits (45) 45
engineering (42) 42
engineering, electrical & electronic (41) 41
circuits and systems (40) 40
physics (37) 37
placement (35) 35
optimization (34) 34
counting (29) 29
routing (29) 29
design and construction (28) 28
calculating (27) 27
computing (27) 27
computer science, interdisciplinary applications (26) 26
electric digital data processing (26) 26
computer-aided engineering and design (25) 25
design engineering (25) 25
very large scale integration (24) 24
delay (23) 23
timing (23) 23
runtime (21) 21
algorithm design and analysis (20) 20
logic circuits (20) 20
studies (20) 20
testing (20) 20
design automation (19) 19
electronic design automation and methodology (19) 19
circuit synthesis (18) 18
design (18) 18
analysis (17) 17
circuits (17) 17
computer science (17) 17
mathematical models (17) 17
quantum computing (16) 16
research (16) 16
logic gates (15) 15
physics - quantum physics (15) 15
computer aided design (14) 14
computer science, software engineering (14) 14
circuit testing (13) 13
computer science, theory & methods (13) 13
cryptography (13) 13
design optimization (13) 13
logic (13) 13
physical design (13) 13
robustness (13) 13
semiconductor chips (13) 13
usage (13) 13
clocks (12) 12
computational modeling (12) 12
floorplanning (12) 12
integrated circuit interconnections (12) 12
synthesis (12) 12
boolean functions (11) 11
electronics and microelectronics, instrumentation (11) 11
fault tolerance (11) 11
partitioning algorithms (11) 11
quantum physics (11) 11
very-large-scale integration (11) 11
benchmark testing (10) 10
computer simulation (10) 10
computer-aided design (10) 10
controlling (10) 10
layout (10) 10
mathematical analysis (10) 10
performance and reliability (10) 10
performing operations (10) 10
physics, mathematical (10) 10
rechnerunterstützter schaltungsentwurf (10) 10
regulating (10) 10
transporting (10) 10
vlsi (10) 10
arithmetic and logic structures (9) 9
backtrack search (9) 9
circuit design (9) 9
circuit optimization (9) 9
circuit simulation (9) 9
cnf (9) 9
computation (9) 9
computer architecture (9) 9
computer hardware (9) 9
control or regulating systems in general (9) 9
electricity (9) 9
field programmable gate arrays (9) 9
functional elements of such systems (9) 9
humans (9) 9
integrated circuit layout (9) 9
mathematical optimization (9) 9
microprocessors (9) 9
monitoring or testing arrangements for such systems orelements (9) 9
physics, particles & fields (9) 9
sat (9) 9
symbolic and algebraic manipulation (9) 9
symmetry (9) 9
vlsi-schaltung (9) 9
computer bugs (8) 8
graph automorphism (8) 8
layout integrierter schaltungen (8) 8
more...
Library Location Library Location
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Journal Article
ACM Computing Surveys (CSUR), ISSN 0360-0300, 02/2013, Volume 45, Issue 2, pp. 1 - 34
Journal Article
2013, Lecture notes in electrical engineering, ISBN 9781493900800, Volume 166, 157
As well as explaining how to integrate chip optimizations in powerful new ways, this comprehensive introduction to physical synthesis takes the reader... 
Integrated circuits | Industrial chemistry & manufacturing technologies | Timing circuits | Design and construction
eBook
Proceedings of the IEEE, ISSN 0018-9219, 11/2015, Volume 103, Issue 11, pp. 1985 - 2003
Journal Article
2016, ISBN 1482254603, 808
The second of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Second Edition , Electronic Design Automation for IC... 
Power Electronics | Circuits & Devices | Industrial Electronics | Integrated circuits | Manufacturing processes
eBook
PloS one, ISSN 1932-6203, 2015, Volume 10, Issue 4, p. e0122601
...Author(s): Maria S. Nazarenko [sup.1] [sup.3]*, Anton V. Markov [sup.1] [sup.3], Igor N. Lebedev [sup.2] [sup.3], Maxim B. Freidin [sup.1], Aleksei A. Sleptcov... 
GENE-EXPRESSION | ATHEROSCLEROSIS | ISLANDS | ARTERIES | MULTIDISCIPLINARY SCIENCES | Mammary Arteries - metabolism | Plaque, Atherosclerotic - genetics | Atherosclerosis - genetics | Epigenesis, Genetic | Homeodomain Proteins - metabolism | Humans | Middle Aged | Male | MicroRNAs - metabolism | Coronary Vessels - metabolism | Saphenous Vein - metabolism | DNA Methylation | Coronary Disease - metabolism | Female | Plaque, Atherosclerotic - pathology | Atherosclerosis - pathology | Coronary Vessels - pathology | Genome-Wide Association Study | Plaque, Atherosclerotic - metabolism | Molecular Sequence Annotation | Saphenous Vein - pathology | Organ Specificity | Atherosclerosis - metabolism | Homeodomain Proteins - genetics | Coronary Disease - pathology | Coronary Disease - genetics | Mammary Arteries - pathology | CpG Islands | Aged | MicroRNAs - genetics | Epigenetic inheritance | Genetic aspects | Research | Coronary heart disease | Genomics | Risk factors | Laboratories | Genes | Gene regulation | Smooth muscle | Cardiovascular disease | Genomes | Tissues | Population genetics | Arteries | Angiogenesis | Veins | Surgery | Atherosclerosis | DNA methylation | Heart diseases | Deoxyribonucleic acid--DNA | Plaques | Age | CpG islands | Coronary artery | Hoxd4 gene | Gene expression | Patients | Coronary artery disease | Biological activity | Human performance | MicroRNAs | Arteriosclerosis | Coronary vessels | Epigenetics | Vascular tissue | Methylation | Cardiovascular diseases | Deoxyribonucleic acid | DNA
Journal Article
Space science reviews, ISSN 1572-9672, 2017, Volume 214, Issue 1, pp. 1 - 62
Journal Article
12/2017, 2, ISBN 9781482254624, 664
The first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Second Edition , Electronic Design Automation for IC System... 
Power Electronics | Circuits & Devices | Industrial Electronics
eBook
04/2016, Second edition., ISBN 9781482254624, 665
The first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Second Edition, Electronic Design Automation for IC System... 
Integrated circuits | Mechanical engineering & materials | Computer-aided design
eBook
2013, 2013, Lecture Notes in Electrical Engineering, ISBN 9789400797987, Volume 115, 129
Combining theory with practical examples, this volume presents a comprehensive overview of logic circuits. The text presents techniques used to analyze, design... 
Logic circuits | Electronics & communications engineering | Uncertainty (Information theory) | Engineering | Performance and Reliability | Arithmetic and Logic Structures | Computer Hardware | Circuits and Systems | Symbolic and Algebraic Manipulation | Logic Design | Uncertainty
eBook
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, ISSN 1063-8210, 12/2003, Volume 11, Issue 6, pp. 1120 - 1135
Journal Article
ACM Transactions on Design Automation of Electronic Systems (TODAES), ISSN 1084-4309, 01/2008, Volume 13, Issue 1, pp. 1 - 35
...Probabilistic Transfer Matrices in Symbolic Reliability Analysis of Logic Circuits SMITA KRISHNASWAMY, GEORGE F. VIAMONTES, IGOR L. MARKOV, and JOHN P. HAYES... 
Symbolic analysis | fault tolerance | Fault tolerance | DISTRIBUTIONS | COMPUTER SCIENCE, SOFTWARE ENGINEERING | COMPUTER SCIENCE, HARDWARE & ARCHITECTURE | performance | reliability | symbolic analysis
Journal Article
Algorithmica, ISSN 0178-4617, 4/2011, Volume 59, Issue 4, pp. 461 - 470
Journal Article
by Chen, W and Mibe, T and Dutta, D and Gao, H and Laget, JM and Mirazita, M and Rossi, P and Stepanyan, S and Strakovsky, II and Amaryan, MJ and Anghinolfi, M and Bagdasaryan, H and Battaglieri, M and Bellis, M and Berman, BL and Biselli, AS and Bookwalter, C and Branford, D and Briscoe, WJ and Brooks, WK and Burkert, VD and Careccia, SL and Carman, DS and Casey, L and Cole, PL and Collins, P and Crede, V and Daniel, A and Dashyan, N and De Vita, R and De Sanctis, E and Deur, A and Dhamija, S and Dickson, R and Djalali, C and Dodge, GE and Doughty, D and Egiyan, H and Eugenio, P and Fedotov, G and Fradi, A and Garcon, M and Gilfoyle, GP and Giovanetti, KL and Girod, FX and Gohn, W and Gothe, RW and Griffioen, KA and Guidal, M and Hakobyan, H and Hanretty, C and Hassall, N and Heddle, D and Hicks, K and Holtrop, M and Hyde, CE and Ilieva, Y and Ireland, DG and Ishkhanov, BS and Isupov, EL and Jo, HS and Johnstone, JR and Joo, K and Keller, D and Khandaker, M and Khetarpal, P and Kim, W and Klein, A and Klein, FJ and Kramer, LH and Kubarovsky, V and Kuhn, SE and Kuleshov, SV and Kuznetsov, V and Livingston, K and Lu, HY and Markov, N and McCracken, ME and McKinnon, B and Meyer, CA and Mineeva, T and Mokeev, V and Moreno, B and Moriya, K and Nadel-Turonski, P and Nasseripour, R and Niccolai, S and Niculescu, I and Niroula, MR and Osipenko, M and Ostrovidov, AI and Park, K and Park, S and Pereira, SA and Pogorelko, O and Pozdniakov, S and Price, JW and Procureur, S and Protopopescu, D and Raue, BA and ... and CLAS Collaboration and Thomas Jefferson Lab National Accelerator Facility
PHYSICAL REVIEW LETTERS, ISSN 0031-9007, 07/2009, Volume 103, Issue 1
We report a measurement of the differential cross section for the gamma n -> pi(-)p process from the CLAS detector at Jefferson Laboratory in Hall B for photon... 
CHARGED PION-PHOTOPRODUCTION | CLAS | PHYSICS, MULTIDISCIPLINARY | MOMENTUM | PHOTODISINTEGRATION | MODEL | ENERGIES | SCALING LAWS | Physics - Nuclear Experiment | PIONS | PARTICLE ACCELERATORS | DIFFERENTIAL CROSS SECTIONS | DEUTERIUM | CEBAF ACCELERATOR | PHOTONS
Journal Article
18.