918 search results - page 20 / 184 » Speculative Issue Logic |
130
click to vote
MICRO
2010
IEEE
14 years 11 months ago
2010
IEEE
To extend the exponential performance scaling of future chip multiprocessors, improving energy efficiency has become a first-class priority. Single-chip heterogeneous computing ha...
137
click to vote
TAP
2010
Springer
14 years 11 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
110
click to vote
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
138
click to vote
WCAE
2006
ACM
15 years 7 months ago
2006
ACM
Two of the most important design issues for modern processors are power and performance. It is important for students in computer organization classes to understand the tradeoff b...
108
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Mobile payments are predicted to have a bright future as m-commerce becomes more popular. However, this promising application has not been as successful as anticipated. This can b...