Search Sciweavers | Sciweavers

9520 search results - page 415 / 1904

» is 2011

407

click to vote

RECOMB
2011
Springer

242views Computational Biology» more RECOMB 2011»

Simultaneous Structural Variation Discovery in Multiple Paired-End Sequenced Genomes

14 years 10 months ago

Download www.cs.sfu.ca

Fereydoun Hormozdiari, Iman Hajirasouliha, Andrew ...

claim paper

Read More »

180

click to vote

SAC
2011
ACM

137views Applied Computing» more SAC 2011»

Sector log: fine-grained storage management for solid state drives

14 years 10 months ago

Download calab.kaist.ac.kr

Seongwook Jin, Jae-Hong Kim, Jaegeuk Kim, Jaehyuk ...

claim paper

Read More »

189

click to vote

SAC
2011
ACM

163views Applied Computing» more SAC 2011»

Stream: a strategy for transition between requirements models and architectural models

14 years 10 months ago

Download portal.cin.ufpe.br

Márcia Lucena, Jaelson Castro, Carla T. L. ...

claim paper

Read More »

246

click to vote

SAC
2011
ACM

172views Applied Computing» more SAC 2011»

Quotients revisited for Isabelle/HOL

14 years 10 months ago

Download score.cs.tsukuba.ac.jp

Higher-Order Logic (HOL) is based on a small logic kernel, whose

Cezary Kaliszyk, Christian Urban

claim paper

Read More »

208

click to vote

SCN
2011
Springer

183views Communications» more SCN 2011»

From mobile phones to responsible devices

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers