Search Sciweavers | Sciweavers

1855 search results - page 9 / 371

» A coding theorem for distributed computation

click to vote

IPPS
2006
IEEE

104views Distributed And Parallel Com...» more IPPS 2006»

Automatic code generation for distributed memory architectures in the polytope model

14 years 11 months ago

Download www.infosun.fim.uni-passau.de

Michael Classen, Martin Griebl

claim paper

Read More »

click to vote

ARTS
1999
Springer

221views Distributed And Parallel Com...» more ARTS 1999»

Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover

14 years 9 months ago

Download people.nas.nasa.gov

This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...

Paul Z. Kolano

claim paper

Read More »

click to vote

IPPS
2000
IEEE

91views Distributed And Parallel Com...» more IPPS 2000»

Non-Memory-Based and Real-Time Zerotree Building for Wavelet Zerotree Coding Systems

14 years 9 months ago

Download ipdps.cc.gatech.edu

Dongming Peng, Mi Lu

claim paper

Read More »

click to vote

PPOPP
2006
ACM

126views Distributed And Parallel Com...» more PPOPP 2006»

Parallel programming and code selection in fortress

14 years 11 months ago

Download labs.oracle.com

Guy L. Steele Jr.

claim paper

Read More »

click to vote

IPPS
2002
IEEE

119views Distributed And Parallel Com...» more IPPS 2002»

Efficient Wavelet-Based Video Coding

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers