475 search results - page 45 / 95 » Formal Analysis of Processor Timing Models |
172
click to vote
CLUSTER
1999
IEEE
15 years 6 months ago
1999
IEEE
Three protocols for gossip-based failure detection services in large-scale heterogeneous clusters are analyzed and compared. The basic gossip protocol provides a means by which fai...
180
click to vote
SAS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
192
click to vote
ENTCS
2007
15 years 6 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
196
click to vote
LATIN
2010
Springer
16 years 1 months ago
2010
Springer
Topological self-stabilization is an important concept to build robust open distributed systems (such as peer-to-peer systems) where nodes can organize themselves into meaningful n...
179
click to vote
MANSCI
2007
15 years 6 months ago
2007
We develop a formal model of the timing of resource development by competing …rms. Our aim is to deepen and extend resource-level theorizing about sustainable competitive advant...