1592 search results - page 302 / 319 » The state of the email address |
104
click to vote
JSSPP
1995
Springer
15 years 3 months ago
1995
Springer
During the past ve years scientists discovered that modern UNIX workstations connected with ethernet and ber networks could provide enough computational performance to compete wit...
137
click to vote
AGP
2010
IEEE
15 years 3 months ago
2010
IEEE
This chapter tackles the relation between declarative languages and multi-agent systems by following the dictates of the five Ws (and one H) that characterize investigations. The ...
131
click to vote
ICS
2010
Tsinghua U.
15 years 2 months ago
2010
Tsinghua U.
The growing influence of wire delay in cache design has meant that access latencies to last-level cache banks are no longer constant. Non-Uniform Cache Architectures (NUCAs) have ...
102
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We address the learning of trust based on past observations and context information. We argue that from the truster's point of view trust is best expressed as one of several ...
CAV
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...