Search Sciweavers | Sciweavers

17185 search results - page 193 / 3437

» Computational and Quantitative Studies

177

click to vote

EDCC
2010
Springer

207views Applied Computing» more EDCC 2010»

Towards verification-based development of in-vehicle safety critical software: a case study

15 years 10 months ago

Download www.win.tue.nl

Martijn M. H. P. van den Heuvel, Reinder J. Bril, ...

claim paper

Read More »

112

Voted

HPDC
2010
IEEE

151views Distributed And Parallel Com...» more HPDC 2010»

Seeking supernovae in the clouds: a performance study

15 years 8 months ago

Download dsl.cs.uchicago.edu

Keith R. Jackson, Lavanya Ramakrishnan, Karl J. Ru...

claim paper

Read More »

123

Voted

HPDC
2010
IEEE

178views Distributed And Parallel Com...» more HPDC 2010»

Case study for running HPC applications in public clouds

15 years 8 months ago

Download dsl.cs.uchicago.edu

Qiming He, Shujia Zhou, Ben Kobler, Daniel C. Duff...

claim paper

Read More »

151

click to vote

HUC
2010
Springer

114views Human Computer Interaction» more HUC 2010»

Ubicomp to the masses: a large-scale study of two tangible interfaces for download

15 years 8 months ago

Download eprints.ecs.soton.ac.uk

Enrico Costanza, Matteo Giaccone, Olivier Kueng, S...

claim paper

Read More »

126

click to vote

CSE
2008
IEEE

81views Theoretical Computer Science» more CSE 2008»

Provenance in Comparative Analysis: A Study in Cosmology

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers