Sciweavers

6366 search results - page 496 / 1274
» Statistical Performance Modeling and Optimization
Sort
View
142
Voted
CLUSTER
2004
IEEE
15 years 8 months ago
Predicting memory-access cost based on data-access patterns
Improving memory performance at software level is more effective in reducing the rapidly expanding gap between processor and memory performance. Loop transformations (e.g. loop un...
Surendra Byna, Xian-He Sun, William Gropp, Rajeev ...
CP
2009
Springer
16 years 5 months ago
From Model-Checking to Temporal Logic Constraint Solving
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
Aurélien Rizk, François Fages
DSN
2007
IEEE
15 years 11 months ago
How to Choose a Timing Model?
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
Idit Keidar, Alexander Shraer
TPDS
2008
76views more  TPDS 2008»
15 years 4 months ago
How to Choose a Timing Model
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
Idit Keidar, Alexander Shraer
LION
2009
Springer
129views Optimization» more  LION 2009»
15 years 11 months ago
Expeditive Extensions of Evolutionary Bayesian Probabilistic Neural Networks
Abstract. Probabilistic Neural Networks (PNNs) constitute a promising methodology for classification and prediction tasks. Their performance depends heavily on several factors, su...
Vasileios L. Georgiou, Sonia Malefaki, Konstantino...