Sciweavers

6709 search results - page 427 / 1342
» Performance Modelling of the Computational Hardware: A Stati...
Sort
View
JSSPP
2009
Springer
16 years 1 months ago
Analyzing the EGEE Production Grid Workload: Application to Jobs Submission Optimization
Abstract. Grids reliability remains an order of magnitude below clusters on production infrastructures. This work is aimsed at improving grid application performances by improving ...
Diane Lingrand, Johan Montagnat, Janusz Martyniak,...
CSDA
2007
105views more  CSDA 2007»
15 years 6 months ago
Joint segmentation of wind speed and direction using a hierarchical model
The problem of detecting changes in wind speed and direction is considered. Bayesian priors, with various degrees of certainty, are used to represent relationships between the two...
Nicolas Dobigeon, Jean-Yves Tourneret
VTS
2006
IEEE
101views Hardware» more  VTS 2006»
16 years 25 days ago
Design Optimization for Robustness to Single Event Upsets
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
Quming Zhou, Mihir R. Choudhury, Kartik Mohanram
SIGSOFT
2005
ACM
16 years 7 months ago
Applying classification techniques to remotely-collected program execution data
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
Murali Haran, Alan F. Karr, Alessandro Orso, Adam ...
ICCAD
2004
IEEE
191views Hardware» more  ICCAD 2004»
16 years 3 months ago
Checking consistency of C and Verilog using predicate abstraction and induction
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
Daniel Kroening, Edmund M. Clarke