2805 search results - page 15 / 561 » Modeling Memory for Melodies |
143
Voted
IPPS
2003
IEEE
15 years 9 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...
121
Voted
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...
124
click to vote
ICANN
2001
Springer
15 years 8 months ago
2001
Springer
A network of relaxation oscillators is used to find downbeats in rhythmical patterns. In this study, a novel model is described in detail. Its behavior is tested by exposing it to...
171
Voted
ICDCN
2012
Springer
13 years 11 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...
131
Voted
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 ...