4722 search results - page 652 / 945 » Encoding Program Executions |
136
Voted
SC
2004
ACM
15 years 9 months ago
2004
ACM
RPC is one of the programming models envisioned for the Grid. In Internet connected Large Scale Grids such as Desktop Grids, nodes and networks failures are not rare events. This ...
149
Voted
CASSIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
121
Voted
CGO
2003
IEEE
15 years 9 months ago
2003
IEEE
Software dynamic translation (SDT) is a technology that permits the modification of an executing program’s instructions. In recent years, SDT has received increased attention, f...
130
Voted
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
Processor caches already play a critical role in the performance of today’s computer systems. At the same time, the data integrity of words coming out of the caches can have ser...
154
Voted
MICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...