Search Sciweavers | Sciweavers

27354 search results - page 154 / 5471

» Distributed And Parallel Computing

click to vote

ICPADS
2002
IEEE

86views Distributed And Parallel Com...» more ICPADS 2002»

Consistent LBS Solution in Next Generations of Mobile Internet

15 years 3 months ago

Download www.tgis.org.tw

José Costa-Requena, Inmaculada Espigares

claim paper

Read More »

click to vote

IPPS
2002
IEEE

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

Mixed Formal Specifications with PVS

15 years 2 months ago

Download www.cs.unh.edu

Michel Allemand, Jean-Claude Royer

claim paper

Read More »

click to vote

IPPS
2002
IEEE

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

Barrier Synchronization on a Loaded SMP Using Two-Phase Waiting Algorithms

15 years 2 months ago

Download www.cs.huji.ac.il

Dan Tsafrir, Dror G. Feitelson

claim paper

Read More »

click to vote

CONCUR
2001
Springer

133views Distributed And Parallel Com...» more CONCUR 2001»

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains

15 years 2 months ago

Download wwwhome.cs.utwente.nl

Holger Hermanns, Joost-Pieter Katoen

claim paper

Read More »

click to vote

HPDC
2000
IEEE

114views Distributed And Parallel Com...» more HPDC 2000»

Evaluating Cluster-based Network Servers

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers