Sciweavers

5171 search results - page 425 / 1035
» Deterministic Parallel Processing
Sort
View
FCCM
2009
IEEE
189views VLSI» more  FCCM 2009»
15 years 10 months ago
Application Specific Customization and Scalability of Soft Multiprocessors
Although soft microprocessors are widely used in FPGAs, limited work has been performed regarding how to automatically and efficiently generate soft multiprocessors. In this paper...
Deepak Unnikrishnan, Jia Zhao, Russell Tessier
CONCUR
2004
Springer
15 years 9 months ago
A Semantics for Concurrent Separation Logic
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
Stephen D. Brookes
DATE
2003
IEEE
180views Hardware» more  DATE 2003»
15 years 9 months ago
Communication Centric Architectures for Turbo-Decoding on Embedded Multiprocessors
Software implementations of channel decoding algorithms are attractive for communication systems with their large variety of existing and emerging standards due to their flexibil...
Frank Gilbert, Michael J. Thul, Norbert Wehn
PVG
2003
IEEE
164views Visualization» more  PVG 2003»
15 years 9 months ago
From Cluster to Wall with VTK
This paper describes a new set of parallel rendering components for VTK, the Visualization Toolkit. The parallel rendering units allow for the rendering of vast quantities of geom...
Kenneth Moreland, David Thompson
PVM
1999
Springer
15 years 8 months ago
Building MPI for Multi-Programming Systems Using Implicit Information
Abstract. With the growing importance of fast system area networks in the parallel community, it is becoming common for message passing programs to run in multi-programming environ...
Frederick C. Wong, Andrea C. Arpaci-Dusseau, David...