Search Sciweavers | Sciweavers

34181 search results - page 218 / 6837

» The Computer System GRAPHOGRAPH

107

click to vote

PARA
2004
Springer

212views Applied Computing» more PARA 2004»

MHD Modeling of the Interaction Between the Solar Wind and Solar System Objects

15 years 8 months ago

Download www.irf.se

Andreas Ekenbäck, Mats Holmström

claim paper

Read More »

127

click to vote

PARA
2004
Springer

204views Applied Computing» more PARA 2004»

Maximum-Weighted Matching Strategies and the Application to Symmetric Indefinite Systems

15 years 8 months ago

Download www.cs.utk.edu

Stefan Röllin, Olaf Schenk

claim paper

Read More »

click to vote

RTA
2004
Springer

108views Theoretical Computer Science» more RTA 2004»

A Verification Technique Using Term Rewriting Systems and Abstract Interpretation

15 years 8 months ago

Download css.jaist.ac.jp

Toshinori Takai

claim paper

Read More »

138

click to vote

SAC
2010
ACM

130views Applied Computing» more SAC 2010»

Query systems in similarity-based databases: logical foundations, expressive power, and completeness

15 years 8 months ago

Download vychodil.inf.upol.cz

Radim Belohlávek, Vilém Vychodil

claim paper

Read More »

click to vote

CCGRID
2003
IEEE

124views Distributed And Parallel Com...» more CCGRID 2003»

P2P-RPC: Programming Scientific Applications on Peer-to-Peer Systems with Remote Procedure Call

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers