Sciweavers

2498 search results - page 191 / 500
» Data Structures with Unpredictable Timing
Sort
View
MICRO
1999
IEEE
123views Hardware» more  MICRO 1999»
15 years 6 months ago
Improving Branch Predictors by Correlating on Data Values
Branch predictors typically use combinations of branch PC bits and branch histories to make predictions. Recent improvements in branch predictors have come from reducing the effec...
Timothy H. Heil, Zak Smith, James E. Smith
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
15 years 4 months ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
LISA
2004
15 years 3 months ago
Who Moved My Data? A Backup Tracking System for Dynamic Workstation Environments
Periodic data backup is a system administration requirement that has changed as wireless machines have altered the fundamental structure of networks. These changes necessitate a c...
Gregory Pluta, Larry Brumbaugh, William Yurcik, Jo...
KBS
2007
101views more  KBS 2007»
15 years 2 months ago
A Knowledge Base for the maintenance of knowledge extracted from web data
By applying web mining tools, significant patterns about the visitor behavior can be extracted from data originated in web sites. Supported by a domain expert, the patterns are v...
Juan D. Velásquez, Vasile Palade
IEEEHPCS
2010
14 years 9 months ago
Preliminary results for Atmospheric Remote Sensing data processing through Grid computing
In September 2009, the Indian Remote Sensing OCEANSAT-2 satellite was launched from Sriharikota (India). Moreover, OCEANSAT-2 carry on-board a third payload, called ROSA (Radio Oc...
Lorenzo Mossucca, Olivier Terzo, Maurizio Molinaro...