Sciweavers

352 search results - page 2 / 71
» Quantifying Instruction Criticality
Sort
View
HF
2010
54views more  HF 2010»
13 years 3 months ago
The Effects of Critical Thinking Instruction on Training Complex Decision Making
Anne S. Helsdingen, Karel van den Bosch, Tamara va...
MICRO
2002
IEEE
97views Hardware» more  MICRO 2002»
13 years 9 months ago
Instruction fetch deferral using static slack
In this paper we present an approach to boosting performance and tolerating latency by deferring non-critical instructions into a deferred queue for later processing. As such, ins...
Gregory A. Muthler, David Crowe, Sanjay J. Patel, ...
HPCA
2004
IEEE
14 years 5 months ago
Reducing the Scheduling Critical Cycle Using Wakeup Prediction
For highest performance, a modern microprocessor must be able to determine if an instruction is ready in the same cycle in which it is to be selected for execution. This creates a...
Todd E. Ehrhart, Sanjay J. Patel
ISVLSI
2008
IEEE
149views VLSI» more  ISVLSI 2008»
13 years 11 months ago
Uncriticality-Directed Low-Power Instruction Scheduling
Intelligent mobile information devices require lowpower and high-performance processors. In order to reduce energy consumption with maintaining computing performance, we proposed ...
Shingo Watanabe, Toshinori Sato
IPPS
1998
IEEE
13 years 9 months ago
Automatically Proving UNITY Safety Properties with Arrays and Quantifiers
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
Xavier Thirioux