Sciweavers

5869 search results - page 1171 / 1174
» Multilingual Information Access
Sort
View
NAR
2011
290views Computer Vision» more  NAR 2011»
14 years 2 months ago
AHD2.0: an update version of Arabidopsis Hormone Database for plant systematic studies
Phytohormone studies enlightened our knowledge of plant responses to various changes. To provide a systematic and comprehensive view of genes participating in plant hormonal regul...
Zhiqiang Jiang, Xiao-Chuan Liu, Zhiyu Peng, Yinan ...
PPOPP
2011
ACM
14 years 2 months ago
GRace: a low-overhead mechanism for detecting data races in GPU programs
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
Mai Zheng, Vignesh T. Ravi, Feng Qin, Gagan Agrawa...
CCS
2011
ACM
13 years 11 months ago
Proofs of ownership in remote storage systems
Cloud storage systems are becoming increasingly popular. A promising technology that keeps their cost down is deduplication, which stores only a single copy of repeating data. Cli...
Shai Halevi, Danny Harnik, Benny Pinkas, Alexandra...
EMSOFT
2011
Springer
13 years 11 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger
116
Voted
ICDT
2012
ACM
242views Database» more  ICDT 2012»
13 years 2 months ago
Win-move is coordination-free (sometimes)
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
Daniel Zinn, Todd J. Green, Bertram Ludäscher
« Prev « First page 1171 / 1174 Last » Next »