2173 search results - page 375 / 435 » On the Values of Reducibility Candidates |
MICRO
2002
IEEE
15 years 4 months ago
2002
IEEE
Data prefetching effectively reduces the negative effects of long load latencies on the performance of modern processors. Hardware prefetchers employ hardware structures to predic...
VRML
1999
ACM
15 years 4 months ago
1999
ACM
We describe the use of artificial life (genetic) algorithms to generate auditory behaviors within 3D graphical environments. Small, high-quality soundfiles are algorithmically rec...
105
click to vote
CAV
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
175
click to vote
DIAGRAMS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Area-proportional Venn diagrams are a popular way of visualizing the relationships between data sets, where the set intersections have a specified numerical value. In th...
PODC
2010
ACM
15 years 3 months ago
2010
ACM
We study the problem of clock synchronization in highly dynamic networks, where communication links can appear or disappear at any time. The nodes in the network are equipped with...