Sciweavers

29046 search results - page 470 / 5810
» Computable Models
Sort
View
MHCI
2009
Springer
16 years 1 months ago
A model of two-thumb chording on a phone keypad
Nirmal J. Patel, James Clawson, Thad Starner
133
Voted
RELMICS
2009
Springer
16 years 1 months ago
A Model of Internet Routing Using Semi-modules
John N. Billings, Timothy G. Griffin
SPIN
2009
Springer
16 years 1 months ago
Experience with Model Checking Linearizability
Martin T. Vechev, Eran Yahav, Greta Yorsh
166
Voted
CLUSTER
2008
IEEE
16 years 1 months ago
A novel model for synthesizing parallel I/O workloads in scientific applications
Dan Feng, Qiang Zou, Hong Jiang, Yifeng Zhu