558 search results - page 64 / 112 » Programming the FlexRAM parallel intelligent memory system |
128
Voted
ILC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
108
click to vote
ISPAN
2005
IEEE
15 years 8 months ago
2005
IEEE
Commodity hardware and software are growing increasingly more complex, with advances such as chip heterogeneity and specialization, deeper memory hierarchies, ne-grained power ma...
134
Voted
ACRI
2006
Springer
15 years 8 months ago
2006
Springer
For simulating physical and chemical processes on molecular level asynchronous cellular automata with probabilistic transition rules are widely used being sometimes referred to as ...
118
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Parallel programs that modify shared data in a cachecoherent multiprocessor with a write-invalidate coherence protocol create ownership overhead in the form of ownership acquisiti...
127
Voted
MICRO
2003
IEEE
15 years 7 months ago
2003
IEEE
Silicon technology will continue to provide an exponential increase in the availability of raw transistors. Effectively translating this resource into application performance, how...