Sciweavers

27 search results - page 2 / 6
» A Scalable Memory Model for Low-Level Code
Sort
View
ICC
2007
IEEE
108views Communications» more  ICC 2007»
14 years 17 days ago
A Novel Multiple Description Scalable Speech Codec Based on Sinusoidal Model
—Robust and flexible speech codecs are required more and more by speech communication over unreliable and heterogeneous channels such as the internet. In this paper, a novel mult...
Yue Lang, Shenghui Zhao, Jingming Kuang
SC
2009
ACM
13 years 11 months ago
Plasma fusion code coupling using scalable I/O services and scientific workflows
In order to understand the complex physics of mother nature, physicist often use many approximations to understand one area of physics and then write a simulation to reduce these ...
Norbert Podhorszki, Scott Klasky, Qing Liu, Cipria...
EP
1998
Springer
13 years 10 months ago
Memory Scalability in Constraint-Based Multimedia Style Sheet Systems
Abstract. Multimedia style sheet systems uniformly use a constraintbased model of layout. Constraints provide a uniform mechanism for all aspects of style management and layout and...
Terry Cumaranatunge, Ethan V. Munson
SCI
1999
Springer
13 years 10 months ago
Shared Memory Parallelization of the GROMOS96 Molecular Dynamics Code
This paper describes the parallelization of a commercial molecular dynamics simulation code, GROMOS96, on a SCI (Scalable Coherent Interface) interconnected PC cluster. The underly...
Marcus Dormanns
POPL
2007
ACM
14 years 6 months ago
Types, bytes, and separation logic
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
Harvey Tuch, Gerwin Klein, Michael Norrish