Sciweavers

4911 search results - page 786 / 983
» Tree dependence analysis
Sort
View
ICCD
2005
IEEE
108views Hardware» more  ICCD 2005»
15 years 9 months ago
Methods for Modeling Resource Contention on Simultaneous Multithreading Processors
Simultaneous multithreading (SMT) seeks to improve the computation throughput of a processor core by sharing primary resources such as functional units, issue bandwidth, and cache...
Tipp Moseley, Dirk Grunwald, Joshua L. Kihm, Danie...
79
Voted
ICCAD
2006
IEEE
127views Hardware» more  ICCAD 2006»
15 years 9 months ago
Importance of volume discretization of single and coupled interconnects
This paper presents figures of merit and error formulae to determine which interconnects require volume discretization in the GHZ range. Most of the previous work focused mainly o...
Ahmed Shebaita, Dusan Petranovic, Yehea I. Ismail
91
Voted
ICCAD
2004
IEEE
141views Hardware» more  ICCAD 2004»
15 years 9 months ago
The effects of energy management on reliability in real-time embedded systems
Abstract—The slack time in real-time systems can be used by recovery schemes to increase system reliability as well as by frequency and voltage scaling techniques to save energy....
Dakai Zhu, Rami G. Melhem, Daniel Mossé
ICCAD
2001
IEEE
124views Hardware» more  ICCAD 2001»
15 years 9 months ago
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zh...
WOSP
2010
ACM
15 years 7 months ago
Analytical modeling of lock-based concurrency control with arbitrary transaction data access patterns
Nowadays the 2-Phase-Locking (2PL) concurrency control algorithm still plays a core rule in the construction of transactional systems (e.g. database systems and transactional memo...
Pierangelo di Sanzo, Roberto Palmieri, Bruno Cicia...