Sciweavers

2663 search results - page 411 / 533
» How to Choose a Timing Model
Sort
View
FMCAD
2007
Springer
14 years 1 months ago
Boosting Verification by Automatic Tuning of Decision Procedures
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan ...
EPIA
2009
Springer
14 years 1 months ago
Item-Based and User-Based Incremental Collaborative Filtering for Web Recommendations
Abstract. In this paper we propose an incremental item-based collaborative filtering algorithm. It works with binary ratings (sometimes also called implicit ratings), as it is typi...
Catarina Miranda, Alípio Mário Jorge
CASES
2006
ACM
14 years 1 months ago
Incremental elaboration for run-time reconfigurable hardware designs
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
Arran Derbyshire, Tobias Becker, Wayne Luk
COORDINATION
2000
Springer
14 years 1 months ago
OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces
Abstract. Tuple spaces have turned out to be one of the most fundamental abstractions for coordinating communicating agents. At the same time, researchers continue to propose new v...
Stéphane Ducasse, Thomas Hofmann, Oscar Nie...
ASPDAC
2008
ACM
119views Hardware» more  ASPDAC 2008»
14 years 2 days ago
A stochastic local hot spot alerting technique
- With the increasing levels of variability in the behavior of manufactured nano-scale devices and dramatic changes in the power density on a chip, timely identification of hot spo...
Hwisung Jung, Massoud Pedram