50 search results - page 9 / 10 » Concluding Remarks |
HPCA
1998
IEEE
15 years 2 months ago
1998
IEEE
Scalability and reliability are inseparable in high-performance computing. Fault-isolation through hardware is a popular means of providing reliability. Unfortunately, such isolat...
111
Voted
IJNSEC
2007
14 years 10 months ago
2007
Mobile Ad hoc NETwork (MANET) comprises of nodes, which are free to move randomly, yet cooperate to forward packets between source and destination over a multi-hop wireless networ...
81
Voted
PODC
2000
ACM
15 years 2 months ago
2000
ACM
Stampede is a parallel programming system to facilitate the programming of interactive multimedia applications on clusters of SMPs. In a Stampede application, a variable number of...
AIL
2005
14 years 10 months ago
2005
In this paper we show how dialogue-based theories of argumentation can contribute to the construction of effective systems of dispute resolution. Specifically we consider the role ...
96
Voted
ESOP
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...