Sciweavers

4810 search results - page 115 / 962
» Modeling Value Speculation
Sort
View
MICRO
2005
IEEE
110views Hardware» more  MICRO 2005»
15 years 12 months ago
Scalable Store-Load Forwarding via Store Queue Index Prediction
Conventional processors use a fully-associative store queue (SQ) to implement store-load forwarding. Associative search latency does not scale well to capacities and bandwidths re...
Tingting Sha, Milo M. K. Martin, Amir Roth
CHI
1999
ACM
15 years 10 months ago
A Better Mythology for System Design
The past decades have seen huge improvements in computer systems but these have proved difficult to translate into comparable improvements in the usability and social integration)...
Jed Harris, D. Austin Henderson Jr.
ACMDIS
2010
ACM
15 years 4 months ago
Design's processional character
In this paper, we examine the ideas behind and reactions to a prototype online tool designed, in-house, for an art college's interaction design department. The web-based prot...
Laurel Swan, Diana Tanase, Alex S. Taylor
GECON
2007
Springer
113views Business» more  GECON 2007»
16 years 15 days ago
Taxonomy of Grid Business Models
Grid Computing, initially intended to provide access to computational resources for high-performance computing applications, broadened its focus by addressing computational needs o...
Jörn Altmann, Mihaela Ion, Ashraf Adel Bany M...
CAV
1990
Springer
114views Hardware» more  CAV 1990»
15 years 10 months ago
Formal Verification of Digital Circuits Using Symbolic Ternary System Models
Ternary system modeling involves extending the traditional set of binary values
Randal E. Bryant, Carl-Johan H. Seger