4752 search results - page 714 / 951 » Dependability in Web Software |
178
click to vote
HIPEAC
2010
Springer
16 years 4 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 ...
244
click to vote
PLPV
2009
ACM
16 years 4 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
208
click to vote
WOSP
2010
ACM
16 years 2 months ago
2010
ACM
Nowadays the 2-Phase-Locking (2PL) concurrency control algorithm still plays a core rule in the construction of transactional systems (e.g. database systems and transactional memo...
175
click to vote
WOSP
2010
ACM
16 years 2 months ago
2010
ACM
For garbage-collected applications, dynamically-allocated objects are contained in a heap. Programmer productivity improves significantly if there is a garbage collector to autom...
225
click to vote
PPPJ
2009
ACM
16 years 2 months ago
2009
ACM
Continuations, or ’the rest of the computation’, are a concept that is most often used in the context of functional and dynamic programming languages. Implementations of such ...