6111 search results - page 626 / 1223 » Time, Hardware, and Uniformity |
372
click to vote
ISQED
2002
IEEE
16 years 10 days ago
2002
IEEE
State-of-the-art verification tools are based on efficient operations on Boolean formulas. Traditional manipulation techniques are based on Binary Decision Diagrams (BDDs) and SAT...
176
click to vote
ITC
2002
IEEE
16 years 10 days ago
2002
IEEE
The advantage to “one test at a time” fault diagnosis is its ability to implicate the components of complicated defect behaviors. The disadvantage is the large size and opacit...
181
click to vote
MICRO
2002
IEEE
16 years 10 days ago
2002
IEEE
Instruction cache aware compilation seeks to lay out a program in memory in such a way that cache conflicts between procedures are minimized. It does this through profile-driven...
187
click to vote
MSE
2002
IEEE
16 years 10 days ago
2002
IEEE
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
169
click to vote
SIGMETRICS
2010
ACM
16 years 7 days ago
2010
ACM
In this paper, we present a comprehensive analysis of real smartphone usage during a 6-month study of real user activity on the Android G1 smartphone. Our goal is to study the hig...