[IEEE 2015 4th International Conference on Computer Science and Network Technology (ICCSNT) - Harbin, China (2015.12.19-2015.12.20)] 2015 4th International Conference on Computer Science and Network Technology (ICCSNT) - Mitigate I/O access pattern divergence with heterogeneous architecture in HDFS
- 作者HuaShen Shi,
- 文件大小1145.38KB
- 发表时间2015
- DOI10.1109/iccsnt.2015.7490756
- 页码300-304
Unraveling Π11 setsItay Neeman · 2000
UnravelingItay Neeman · 2006
The domestic levels ofKcare iterableAlessandro Andretta; Itay Neeman; John Steel · 2001
A criterion for coarse iterabilityGunter Fuchs; Itay Neeman; Ralf Schindler · 2010
Proper Forcing and L(R)Itay Neeman and Jindřich Zapletal · The Journal of Symbolic Logic · 2001
Hierarchies of Forcing Axioms IItay Neeman and Ernest Schimmerling · The Journal of Symbolic Logic · 2008
Hierarchies of Forcing Axioms IIItay Neeman · The Journal of Symbolic Logic · 2008
The Strength of Blackwell DeterminacyDonald A. Martin, Itay Neeman and Marco Vervoort · The Journal of Symbolic Logic · 2003
Hilbert's Programs: 1917-1922Wilfried Sieg · The Bulletin of Symbolic Logic · 1999
Explicit Provability and Constructive SemanticsSergei N. Artemov · The Bulletin of Symbolic Logic · 2001
Foundations and Applications: Axiomatization and EducationF. William Lawvere · The Bulletin of Symbolic Logic · 2003
Developments in Constructive Nonstandard AnalysisErik Palmgren · The Bulletin of Symbolic Logic · 1998
The Discovery of My Completeness ProofsLeon Henkin · The Bulletin of Symbolic Logic · 1996
THE HYPERUNIVERSE PROGRAMTATIANA ARRIGONI and SY-DAVID FRIEDMAN · The Bulletin of Symbolic Logic · 2013
Logical Consequence RevisitedJosé M. Sagüillo · The Bulletin of Symbolic Logic · 1997
Logicality and InvarianceDenis Bonnay · The Bulletin of Symbolic Logic · 2008