4747 search results - page 598 / 950 » Shuffle Memory System |
161
click to vote
TACAS
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
203
click to vote
ICPPW
2006
IEEE
16 years 27 days ago
2006
IEEE
Applications augmented with adaptive capabilities are becoming common in parallel computing environments which share resources such as main memory, network, or disk I/O. For large...
187
click to vote
IEEEPACT
2006
IEEE
16 years 26 days ago
2006
IEEE
On machines with high-performance processors, the memory system continues to be a performance bottleneck. Compilers insert prefetch operations and reorder data accesses to improve...
162
click to vote
ISCAS
2006
IEEE
16 years 26 days ago
2006
IEEE
— With the growth of Internet users and services, the IP address has been exhausted. In order to solve this problem, the short term solution was presented, i.e., CIDR (Classless ...
164
click to vote
ACSD
2005
IEEE
16 years 14 days ago
2005
IEEE
We introduce and study problems of distributed observation with bounded or unbounded memory. We are given a system modeled as a finite-word language L over some finite alphabet ...