2779 search results - page 75 / 556 » Modelling Immunological Memory |
177
Voted
FMCAD
2007
Springer
16 years 1 months ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...
211
Voted
ICPP
1993
IEEE
15 years 11 months ago
1993
IEEE
Current and emerging high-performance parallel computer architectures generally implement one of two types of communication mechanisms: shared memory (SM) or message passing (MP)....
178
Voted
SIGOPS
2010
15 years 5 months ago
2010
One of the main challenges to harness the potential of Cloud computing is the design of programming models that simplify the development of large-scale parallel applications and t...
217
Voted
DATE
2003
IEEE
16 years 22 days ago
2003
IEEE
More and more the system verification makes use of hardware emulation techniques that allow a speed up in simulation performance up to thousand times. Typically, a design is comp...
264
Voted
VEE
2009
ACM
16 years 2 months ago
2009
ACM
Virtualization essentially enables multiple operating systems and applications to run on one physical computer by multiplexing hardware resources. A key motivation for applying vi...