1992 search results - page 96 / 399 » Memory modeling for system synthesis |
158
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
163
click to vote
WOMPAT
2001
Springer
15 years 10 months ago
2001
Springer
In contrast to the common belief that OpenMP requires data-parallel extensions to scale well on architectures with non-uniform memory access latency, recent work has shown that it ...
151
click to vote
DIAGRAMS
2000
Springer
15 years 10 months ago
2000
Springer
This paper examines capacity limits in mental animation of static diagrams of mechanical systems and interprets these limits within current theories of working memory. I review emp...
126
click to vote
DATE
2007
IEEE
16 years 1 days ago
2007
IEEE
Non-volatile Flash memories are becoming more and more popular in Systems-on-Chip (SoC). Embedded Flash (eFlash) memories are based on the well-known floatinggate transistor conce...
174
click to vote
ML
2006
ACM
15 years 5 months ago
2006
ACM
Abstract Trained musicians intuitively produce expressive variations that add to their audience's enjoyment. However, there is little quantitative information about the kinds ...