Search Sciweavers | Sciweavers

10996 search results - page 111 / 2200

» Future Directions in Computing

117

click to vote

SPIN
2001
Springer

144views Theoretical Computer Science» more SPIN 2001»

Directed Explicit Model Checking with HSF-SPIN

15 years 6 months ago

Download www.albertolluch.com

Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Le...

claim paper

Read More »

click to vote

IPPS
2000
IEEE

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

Efficient Integration of Compiler-Directed Cache Coherence and Data Prefetching

15 years 6 months ago

Download ipdps.cc.gatech.edu

Hock-Beng Lim, Pen-Chung Yew

claim paper

Read More »

click to vote

HPDC
1999
IEEE

84views Distributed And Parallel Com...» more HPDC 1999»

Direct Queries for Discovering Network Resource Properties in a Distributed Environment

15 years 5 months ago

Download www.cs.cmu.edu

Bruce Lowekamp, David R. O'Hallaron, Thomas R. Gro...

claim paper

Read More »

click to vote

FOCS
2004
IEEE

128views Theoretical Computer Science» more FOCS 2004»

Quantum and Classical Strong Direct Product Theorems and Optimal Time-Space Tradeoffs

15 years 5 months ago

Download www.ucw.cz

Hartmut Klauck, Robert Spalek, Ronald de Wolf

claim paper

Read More »

Voted

ISCOPE
1998
Springer

87views Distributed And Parallel Com...» more ISCOPE 1998»

Object-Oriented Design for Sparse Direct Solvers

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers