Search Sciweavers | Sciweavers

29046 search results - page 476 / 5810

» Computable Models

144

click to vote

IPPS
2005
IEEE

100views Distributed And Parallel Com...» more IPPS 2005»

A Realistic Network/Application Model for Scheduling Divisible Loads on Large-Scale Platforms

16 years 1 months ago

Download www.cs.utk.edu

Loris Marchal, Yang Yang, Henri Casanova, Yves Rob...

claim paper

Read More »

156

click to vote

QOSIP
2005
Springer

106views Computer Networks» more QOSIP 2005»

A Performance Model for Multimedia Services Provisioning on Network Interfaces

16 years 1 months ago

Download profs.sci.univr.it

Paola Laface, Damiano Carra, Renato Lo Cigno

claim paper

Read More »

167

click to vote

SPIN
2005
Springer

95views Theoretical Computer Science» more SPIN 2005»

Memory Efficient State Space Storage in Explicit Software Model Checking

16 years 1 months ago

Download cedric.cnam.fr

Sami Evangelista, Jean-François Pradat-Peyr...

claim paper

Read More »

157

click to vote

SPIN
2005
Springer

108views Theoretical Computer Science» more SPIN 2005»

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions

16 years 1 months ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

201

click to vote

WSTST
2005
Springer

271views Applied Computing» more WSTST 2005»

Characteristic Analysis of Agents in Adaptive Consensus Formation Models

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers