Sciweavers

1724 search results - page 237 / 345
» Concurrency in the Data Warehouse
Sort
View
PPOPP
1991
ACM
15 years 10 months ago
Coarse-Grain Parallel Programming in Jade
This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those ...
Monica S. Lam, Martin C. Rinard
USENIX
2008
15 years 8 months ago
Striping without Sacrifices: Maintaining POSIX Semantics in a Parallel File System
Striping is a technique that distributes file content over multiple storage servers and thereby enables parallel access. In order to be able to provide a consistent view across fi...
Jan Stender, Björn Kolbeck, Felix Hupfeld, Eu...
FMCO
2008
Springer
109views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Session-Based Compilation Framework for Multicore Programming
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
Nobuko Yoshida, Vasco Thudichum Vasconcelos, Herv&...
FORMATS
2008
Springer
15 years 8 months ago
Formal Modeling and Scheduling of Datapaths of Digital Document Printers
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan B...
CDES
2007
81views Hardware» more  CDES 2007»
15 years 7 months ago
Parallel and Fault-Tolerant Routing in Nanoscale Spin-Wave Architectures
- In this paper, we present a number of parallel and fault-tolerant routing schemes for a set of nanoscale spin-wave architectures. The architectures considered here have several f...
Mary Mehrnoosh Eshaghian-Wilner, Shiva Navab