sign in · help · news · about ·

BibSonomy :: author :: Reif ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(552)

<< < 1 | 2 | 3 > >>

Synthesizing Efficient Out-of-Core Programs for Block Recursive Algorithms Using Block-Cyclic Data Distributions.
Zhiyong Li 0002, John H. Reif, and Sandeep K. S. Gupta IEEE Trans. Parallel Distrib. Syst. 10(3):297-315 (1999)
to dblp by dblp on Feb 7, 2012, 12:00 AM
URL | BibTeX
Models and Resource Metrics for Parallel and Distributed Computation.
Zhiyong Li 0002, Peter Mills, and John H. Reif Parallel Algorithms Appl. 8(1):35-59 (1996)
to dblp by dblp on Feb 7, 2012, 12:00 AM
URL | BibTeX
Synthesizing Efficient Out-of-Core Programs for Block Recursive Algorithms Using Block-Cyclic Data Distributions.
Zhiyong Li 0002, John H. Reif, and Sandeep K. Gupta ICPP, Vol. 2, page 142-149. (1996)
to dblp by dblp on Feb 7, 2012, 12:00 AM
URL | BibTeX
Models and resource metrics for parallel and distributed computation.
Zhiyong Li 0002, Peter Mills, and John H. Reif HICSS 2, page 51-60. (1995)
to dblp by dblp on Feb 7, 2012, 12:00 AM
URL | BibTeX
Generating Efficient Programs for Two-Level Memories from Tensor-products.
Sandeep K. S. Gupta, Zhiyong Li 0002, and John H. Reif Parallel and Distributed Computing and Systems, page 510-513. IASTED/ACTA Press, (1995)
to dblp by dblp on Feb 7, 2012, 12:00 AM
URL | BibTeX
Efficient approximate solution of sparse linear systems
J.H. Reif Computers \& Mathematics with Applications 36(9):37--58 (1998)
to imported linear sparse by ytyoun on Feb 3, 2012, 6:37 AM
BibTeX
A Compositional Proof System for the Modal mu-Calculus
Henrik Reif Andersen, Colin Stirling, and Glynn Winskel LICS, page 144-153. IEEE Computer Society, (1994)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Boolean Expression Diagrams Extended Abstract.
Henrik Reif Andersen, and Henrik Hulgaard LICS, page 88-98. IEEE Computer Society, (1997)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Partial Model Checking Extended Abstract
Henrik Reif Andersen LICS, page 398-407. IEEE Computer Society, (1995)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Information Systems Accreditation: A New Criteria Structure and New Flexibility.
John T. Gorgone, George M. Kasper, Richard Redmond, and Harry L. Reif AMCIS, page 403. Association for Information Systems, (2005)
to dblp by dblp on Jan 6, 2012, 12:00 AM
URL | BibTeX
An EKF-Based Nonlinear Observer with a Prescribed Degree of Stability.
Konrad Reif, Frank Sonnemann, and Rolf Unbehauen Automatica 34(9):1119-1123 (1998)
to dblp by dblp on Dec 29, 2011, 12:00 AM
URL | BibTeX
Optical Techniques for Image Compression.
John H. Reif, and Akitoshi Yoshida Data Compression Conference, page 32-41. IEEE Computer Society, (1992)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Image Compression Methods with Distortion Controlled Capabilities.
Tassos Markas, and John H. Reif Data Compression Conference, page 93-102. IEEE Computer Society, (1991)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Data Compression Techniques for Stock Market Prediction.
S. Azhar, Greg J. Badros, A. Glodjo, Ming-Yang Kao, and John H. Reif Data Compression Conference, page 72-82. IEEE Computer Society, (1994)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Multispectral Image Compression Algorithms.
Tassos Markas, and John H. Reif Data Compression Conference, page 391-400. IEEE Computer Society, (1993)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Efficient Lossless Compression of Trees and Graphs.
Shenfeng Chen, and John H. Reif Data Compression Conference, page 428. IEEE Computer Society, (1996)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Fast Pattern Matching for Entropy Bounded Text.
Shenfeng Chen, and John H. Reif Data Compression Conference, page 282-291. IEEE Computer Society, (1995)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Optimal Lossless Compression of a Class of Dynamic Sources.
John H. Reif, and James A. Storer Data Compression Conference, page 501-510. IEEE Computer Society, (1998)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Low-Cost Prevention of Error Propagation for Data Compression with Dynamic Dictionaries.
James A. Storer, and John H. Reif Data Compression Conference, page 171-180. IEEE Computer Society, (1997)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Fast and Compact Volume Rendering in the Compressed Transform Domain.
Sefeng Chen, and John H. Reif Data Compression Conference, page 271-280. IEEE Computer Society, (1997)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100