2756 search results - page 42 / 552 » Computation-Centric Memory Models |
123
Voted
FPL
2010
Springer
15 years 1 months ago
2010
Springer
FPGA devices are mostly utilized for customized application designs with heavily pipelined and aggressively parallel computations. However, little focus is normally given to the FP...
134
Voted
PC
2007
15 years 3 months ago
2007
Physically based simulation of cloth in virtual environments is a computationally demanding problem. It involves modeling the internal material properties of the textile (physical...
173
Voted
APCSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Although they have been the main server technology for many years, multiprocessors are undergoing a renaissance due to multi-core chips and the attractive scalability properties of...
110
click to vote
FMCAD
2007
Springer
15 years 10 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...
122
Voted
SIGOPS
2010
15 years 2 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...