Search Sciweavers | Sciweavers

29046 search results - page 470 / 5810

» Computable Models

115

Voted

MHCI
2009
Springer

119views Human Computer Interaction» more MHCI 2009»

A model of two-thumb chording on a phone keypad

16 years 29 days ago

Download www.nirmalpatel.com

Nirmal J. Patel, James Clawson, Thad Starner

claim paper

Read More »

125

Voted

RELMICS
2009
Springer

111views Theoretical Computer Science» more RELMICS 2009»

A Model of Internet Routing Using Semi-modules

16 years 29 days ago

Download www.cl.cam.ac.uk

John N. Billings, Timothy G. Griffin

claim paper

Read More »

134

Voted

SPIN
2009
Springer

86views Theoretical Computer Science» more SPIN 2009»

Experience with Model Checking Linearizability

16 years 29 days ago

Download domino.research.ibm.com

Martin T. Vechev, Eran Yahav, Greta Yorsh

claim paper

Read More »

109

click to vote

CCGRID
2008
IEEE

102views Distributed And Parallel Com...» more CCGRID 2008»

Modeling the Latency on Production Grids with Respect to the Execution Context

16 years 27 days ago

Download rainbow.polytech.unice.fr

Diane Lingrand, Johan Montagnat, Tristan Glatard

claim paper

Read More »

141

click to vote

CLUSTER
2008
IEEE

110views Distributed And Parallel Com...» more CLUSTER 2008»

A novel model for synthesizing parallel I/O workloads in scientific applications

16 years 27 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers