X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Conference Proceeding (1424) 1424
Journal Article (1320) 1320
Patent (265) 265
Publication (133) 133
Book Chapter (122) 122
Dissertation (89) 89
Magazine Article (17) 17
Book / eBook (13) 13
Standard (13) 13
Government Document (4) 4
Book Review (3) 3
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
system-level design (1130) 1130
engineering, electrical & electronic (427) 427
hardware (423) 423
testing (321) 321
design engineering (311) 311
computer science, hardware & architecture (298) 298
physics (264) 264
navigation (260) 260
gyroscopic instruments (257) 257
measuring (257) 257
measuring distances, levels or bearings (257) 257
photogrammetry or videogrammetry (257) 257
surveying (257) 257
computer architecture (229) 229
computational modeling (202) 202
design methodology (192) 192
system level design (183) 183
embedded system (182) 182
system-on-a-chip (180) 180
design (169) 169
computer science (154) 154
computer simulation (154) 154
embedded systems (147) 147
algorithms (140) 140
simulation (136) 136
costs (133) 133
algorithm design and analysis (129) 129
process design (129) 129
application software (128) 128
space exploration (128) 128
systemc (128) 128
analysis (126) 126
optimization (121) 121
energy consumption (118) 118
mathematical models (115) 115
design optimization (110) 110
hardware design languages (110) 110
timing (110) 110
system level (107) 107
design automation (103) 103
very large scale integration (97) 97
controlling (93) 93
performance analysis (93) 93
regulating (93) 93
noise levels (92) 92
field programmable gate arrays (89) 89
libraries (87) 87
computer science, software engineering (86) 86
software (85) 85
システム (85) 85
clocks (83) 83
control systems (82) 82
electronic system level (82) 82
power system modeling (81) 81
design and construction (80) 80
設計 (79) 79
circuits (78) 78
high-level synthesis (78) 78
analytical models (77) 77
telecommunications (77) 77
design space exploration (76) 76
system-level (76) 76
embedded software (75) 75
real time systems (75) 75
system testing (75) 75
engineering (74) 74
productivity (74) 74
delay (73) 73
performance (70) 70
integrated circuits (69) 69
mathematical model (69) 69
studies (69) 69
systems for controlling or regulating non-electric variables (69) 69
computer science, information systems (67) 67
research (67) 67
signalling (67) 67
system-on-chip (66) 66
usage (65) 65
microelectronics (64) 64
models (64) 64
digital signal processing (63) 63
computer science, interdisciplinary applications (60) 60
high level synthesis (59) 59
protocols (58) 58
silicon (58) 58
computing (57) 57
electronic design automation and methodology (57) 57
systems (57) 57
reliability (56) 56
object oriented modeling (55) 55
computer science, theory & methods (54) 54
concurrent computing (54) 54
embedded computing (54) 54
index medicus (54) 54
circuit simulation (52) 52
permission (52) 52
counting (51) 51
software systems (51) 51
architecture (50) 50
decoding (50) 50
more...
Library Location Library Location
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (2825) 2825
Chinese (423) 423
Japanese (156) 156
French (19) 19
Spanish (4) 4
Estonian (2) 2
Korean (2) 2
Portuguese (2) 2
Dutch (1) 1
German (1) 1
Lithuanian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Foundations and Trends in Electronic Design Automation, ISSN 1551-3939, 2013, Volume 7, Issue 1-2, pp. 1 - 176
Journal Article
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, ISSN 0278-0070, 7/2019, pp. 1 - 1
This paper presents a new "Property-Driven Design (PDD)" method that starts from an abstract system model and integrates formal property checking early into a... 
RTL design | formal verification | Computational modeling | Prototypes | path predicate abstraction | Hardware | Software | system-level design | Integrated circuit modeling | Hardware design languages
Journal Article
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, ISSN 0278-0070, 12/2000, Volume 19, Issue 12, pp. 1523 - 1543
Journal Article
IEEE Communications Surveys & Tutorials, ISSN 1553-877X, 2013, Volume 15, Issue 2, pp. 678 - 700
Future generation cellular networks are expected to provide ubiquitous broadband access to a continuously growing number of mobile users. In this context, LTE... 
Radio Resource Management | OFDM | Quality of service | Downlink | Time frequency analysis | System-Level Simulation | Scheduling algorithms | QoS | Bandwidth | scheduling | Resource management | LTE | Long Term Evolution | QUALITY | PERFORMANCE | COMPUTER SCIENCE, INFORMATION SYSTEMS | TELECOMMUNICATIONS | EVOLUTION | WIRELESS | FAIRNESS | OFDMA
Journal Article
IEEE Transactions on Computers, ISSN 0018-9340, 11/2014, Volume 63, Issue 11, pp. 2880 - 2893
The increasing complexity of current embedded systems is pushing their design to higher levels of abstraction, leading to a convergence between hardware and... 
aspect-oriented system design | Software design | Embedded systems | Object oriented modeling | Unified modeling language | high-level synthesis | Hardware | Resource management | HW/SW co-design | System-level design | Usage | Analysis | Resource allocation | Computer programming | Object oriented programming
Journal Article
Foundations and Trends in Electronic Design Automation, ISSN 1551-3939, 05/2018, Volume 12, Issue 2-3, pp. 1 - 281
Journal Article
IEEE Transactions on Computers, ISSN 0018-9340, 10/2019, Volume 68, Issue 10, pp. 1525 - 1538
Journal Article
Journal Article
Future Generation Computer Systems, ISSN 0167-739X, 06/2016
The emergence of cyber-physical-social systems (CPSS) as a novel paradigm has revolutionized the relationship between humans, computers and the physical... 
Design methodology | Cyber-physical-social systems | System-level design
Journal Article
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, ISSN 0278-0070, 02/2018, Volume 37, Issue 2, pp. 420 - 430
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.