366 search results - page 52 / 74 » Circuit optimization using statistical static timing analysi... |
107
Voted
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
121
click to vote
CASES
2006
ACM
15 years 7 months ago
2006
ACM
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
96
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Parallel processing using multiple processors is a well-established technique to accelerate many different classes of applications. However, as the density of chips increases, ano...
121
Voted
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--NABBIT is a work-stealing library for execution of task graphs with arbitrary dependencies which is implemented as a library for the multithreaded programming language Ci...
127
click to vote
SAT
2010
Springer
15 years 7 days ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...