4722 search results - page 394 / 945 » Representation-independent program analysis |
193
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
Previous studies of application usage show that the performance of collective communications are critical for high-performance computing and are often overlooked when compared to ...
165
click to vote
ARCS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...
146
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
164
click to vote
MICCAI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Vessels supplying malignant tumors are abnormally shaped. This paper describes a blinded study that assessed tumor malignancy by analyzing vessel shape within MR images o...
168
click to vote
IFIP
2003
Springer
15 years 12 months ago
2003
Springer
In multi-hop wireless networks, every node is expected to forward packets for the benefit of other nodes. Yet, if each node is its own authority, then it may selfishly deny packe...