5107 search results - page 328 / 1022 » Design Issue Of ECTST |
100
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
129
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
139
click to vote
ISQED
2007
IEEE
15 years 10 months ago
2007
IEEE
— In the past, dynamic voltage and frequency scaling (DVFS) has been widely used for power and energy optimization in embedded system design. As thermal issues become increasingl...
132
click to vote
MICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
Modern chip multiprocessors (CMPs) are designed to exploit both instruction-level parallelism (ILP) within processors and thread-level parallelism (TLP) within and across processo...
119
click to vote
TABLETOP
2007
IEEE
15 years 10 months ago
2007
IEEE
Extending the tabletop to the third dimension has the potential to improve the quality of applications involving 3D data and tasks. Recognizing this, a number of researchers have ...