4445 search results - page 871 / 889 » Use of statistical timing analysis on real designs |
110
click to vote
SAT
2010
Springer
14 years 10 months 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...
115
click to vote
MOBICOM
2012
ACM
13 years 2 months ago
2012
ACM
While a natural fit for modeling and understanding mobile networks, time-varying graphs remain poorly understood. Indeed, many of the usual concepts of static graphs have no obvi...
83
Voted
VISUALIZATION
2000
IEEE
15 years 4 months ago
2000
IEEE
Splatting is widely applied in many areas, including volume, point-based, and image-based rendering. Improvements to splatting, such as eliminating popping and color bleeding, occ...
122
click to vote
SIGMETRICS
1995
ACM
15 years 3 months ago
1995
ACM
Synthesizing architectural requirements from an application viewpoint can help in making important architectural design decisions towards building large scale parallel machines. I...
MICRO
2008
IEEE
15 years 6 months ago
2008
IEEE
Hardware signatures have been recently proposed as an efficient mechanism to detect conflicts amongst concurrently running transactions in transactional memory systems (e.g., Bulk...