4747 search results - page 362 / 950 » Shuffle Memory System |
141
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
116
click to vote
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
We demonstrate that the performance of commodity parallel systems significantly depends on low-level details, such as storage layout and iteration space mapping, which motivates t...
139
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
- It is attractive to use the OpenMP as a parallel programming model on a Multiprocessor System-On-Chip (MPSoC) because it is easy to write a parallel program in the OpenMP and the...
125
click to vote
PPL
2008
15 years 5 months ago
2008
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...
141
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
We present our system-level co-simulation environment for mixed domain microsystems. The environment provides synchronization and cosimulation between the Chatoyant MOEMS (MicroEl...