Sciweavers

3394 search results - page 568 / 679
» A Modal Model of Memory
Sort
View
PPOPP
2012
ACM
13 years 11 months ago
PARRAY: a unifying array representation for heterogeneous parallelism
This paper introduces a programming interface called PARRAY (or Parallelizing ARRAYs) that supports system-level succinct programming for heterogeneous parallel systems like GPU c...
Yifeng Chen, Xiang Cui, Hong Mei
PLDI
2012
ACM
13 years 6 months ago
Speculative linearizability
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa
LCTRTS
2010
Springer
15 years 11 months ago
Design exploration and automatic generation of MPSoC platform TLMs from Kahn Process Network applications
With increasingly more complex Multi-Processor Systems on Chip (MPSoC) and shortening time-to- market projections, Transaction Level Modeling and Platform Aware Design are seen as...
Ines Viskic, Lochi Lo Chi Yu Lo, Daniel Gajski
PADS
2005
ACM
15 years 9 months ago
Simulating Realistic Packet Routing without Routing Protocols
A fundamental requirement for any network simulation environment is the realistic forwarding of packets from a source to a destination in the simulated topology. The routing decis...
George F. Riley, Dheeraj Reddy
JCNS
2000
142views more  JCNS 2000»
15 years 3 months ago
A Temporal Mechanism for Generating the Phase Precession of Hippocampal Place Cells
The phase relationship between the activity of hippocampal place cells and the hippocampal theta rhythm systematically precesses as the animal runs through the region in an environ...
Amitabha Bose, Victoria Booth, Michael Recce