14244 search results - page 99 / 2849 » Modeling Program Predictability |
HIPEAC
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. The shared-cache contention on Chip Multiprocessors causes performance degradation to applications and hurts system fairness. Many previously proposed solutions schedule ...
NFM
2011
13 years 5 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
ASPLOS
1998
ACM
14 years 2 months ago
1998
ACM
Dynamic storage allocation has become increasingly important in many applications, in part due to the use of the object-oriented paradigm. At the same time, processor speeds are i...
ICCSA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The accurate prediction of Web navigation patterns has immense commercial value as the Web evolves into a primary medium for marketing and sales for many businesses. Ofte...
CCGRID
2008
IEEE
14 years 4 months ago
2008
IEEE
Long term load prediction can assist task scheduling and load balancing greatly in distributed environment such as computational grid. Due to the dynamic property of grid environm...