1580 search results - page 281 / 316 » Non-Interference Through Determinism |
DDEP
2000
Springer
14 years 2 months ago
2000
Springer
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...
CGO
2010
IEEE
14 years 2 months ago
2010
IEEE
To improve the performance of transactional memory (TM), researchers have found many eager and lazy optimizations for conflict detection, the process of determining if transaction...
IPCCC
1999
IEEE
14 years 2 months ago
1999
IEEE
Performance evaluation of modern, highly speculative, out-of-order microprocessors and the corresponding production of detailed, valid, accurate results have become serious challe...
RSP
1999
IEEE
14 years 2 months ago
1999
IEEE
Over the past decade, the steady growth rate of FPGA device capacities has enabled the development of multi-FPGA prototyping environments capable of implementing millions of logic...
RTSS
1999
IEEE
14 years 2 months ago
1999
IEEE
Typically, temporal validity of real-time data is maintained by periodic update transactions. In this paper, we examine the problem of period and deadline assignment for these upda...