Sciweavers

14244 search results - page 634 / 2849
» Modeling Program Predictability
Sort
View
ESOP
2010
Springer
16 years 4 months ago
Parameterized Memory Models and Concurrent Separation Logic
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
Rodrigo Ferreira, Xinyu Feng and Zhong Shao
PAKDD
2004
ACM
127views Data Mining» more  PAKDD 2004»
16 years 5 days ago
Exploiting Recurring Usage Patterns to Enhance Filesystem and Memory Subsystem Performance
In many cases, normal uses of a system form patterns that will repeat. The most common patterns can be collected into a prediction model which will essentially predict that usage p...
Benjamin Rutt, Srinivasan Parthasarathy
200
Voted
CORR
2006
Springer
76views Education» more  CORR 2006»
15 years 6 months ago
Inconsistent parameter estimation in Markov random fields: Benefits in the computation-limited setting
Consider the problem of joint parameter estimation and prediction in a Markov random field: i.e., the model parameters are estimated on the basis of an initial set of data, and th...
Martin J. Wainwright
DSRT
2009
IEEE
15 years 4 months ago
DCS: A Distributed Coordinate System for Network Positioning
Predicting latency between nodes on the internet can have a significant impact on the performance of many services that use latency distances among nodes as a decision making input...
Negar Hariri, Jafar Habibi, Shervin Shirmohammadi,...
SAIG
2001
Springer
15 years 11 months ago
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
Mitchell Wand