2779 search results - page 12 / 556 » Modelling Immunological Memory |
132
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
The application of hardware-parameterized models to distributed systems can result in omission of key bottlenecks such as the full cost of inter-node communication in a shared mem...
112
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
164
click to vote
ICDCN
2012
Springer
13 years 10 months ago
2012
Springer
Synchronization in distributed systems is expensive because, in general, threads must stall to obtain a lock or to operate on volatile data. Transactional memory, on the other hand...
124
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...
129
click to vote
COMPUTER
1998
15 years 2 months ago
1998
provide tools or abstractions that allow developers to program in parallel. But what hardware do we need to support shared memory threads? The hardware should provide a well-defin...