6781 search results - page 1302 / 1357 » Processors for Mobile Applications |
CAV
1999
Springer
14 years 3 days 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...
ECOOP
1999
Springer
14 years 2 days ago
1999
Springer
Object-oriented programming techniques have been used with great success for some time. But the techniques of object-oriented programming have been largely confined to the single a...
HIPC
1999
Springer
14 years 2 days ago
1999
Springer
Abstract. In this work we put into evidence how the memory performance of a WebServer machine may depend on the sharing induced by process migration. We considered a shared-bus sha...
HIPC
1999
Springer
14 years 2 days ago
1999
Springer
We describe a radically new cache architecture and demonstrate that it offers a huge reduction in cache cost, size and power consumption whilst maintaining performance on a wide ra...
ICS
1999
Tsinghua U.
14 years 2 days ago
1999
Tsinghua U.
Current high-end parallel systems achieve low-latency, highbandwidth network communication through the use of aggressive design techniques and expensive mechanical and electrical ...