Search Sciweavers | Sciweavers

29046 search results - page 476 / 5810

» Computable Models

129

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 14 days ago

Download www.cs.utk.edu

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

claim paper

Read More »

142

click to vote

QOSIP
2005
Springer

106views Computer Networks» more QOSIP 2005»

A Performance Model for Multimedia Services Provisioning on Network Interfaces

16 years 11 days ago

Download profs.sci.univr.it

Paola Laface, Damiano Carra, Renato Lo Cigno

claim paper

Read More »

148

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 11 days ago

Download cedric.cnam.fr

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

claim paper

Read More »

135

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 11 days ago

Download anil.recoil.org

Anil Madhavapeddy, David Scott, Richard Sharp

claim paper

Read More »

184

click to vote

WSTST
2005
Springer

271views Applied Computing» more WSTST 2005»

Characteristic Analysis of Agents in Adaptive Consensus Formation Models

16 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers