[ACM Press the 18th International Conference - Pythagorion, Greece (2018.07.15-2018.07.19)] Proceedings of the 18th International Conference on Embedded Computer Systems Architectures, Modeling, and Simulation - SAMOS '18 - Efficient resource management for data centers
- 作者Karakostas, Vasileios; Svärd, Petter; Koziris, Nectarios; Goumas, Georgios; Lakew, Ewnetu Bayuh; Elmroth, Erik; Gerangelos, Stefanos; Kolberg, Simon; Nikas, Konstantinos; Psomadakis, Stratos; Siakavaras, Dimitrios
- 文件大小871.63KB
- 发表时间2018
- DOI10.1145/3229631.3236095
- 页码244-246
Algebras with fuzzy equalitiesRadim Bělohlávek; Vilém Vychodil · 2006
Fuzzy Horn logic IIRadim Bělohlávek; Vilém Vychodil · Archive for Mathematical Logic · 2006
An answer to Demirci's open question, a clarification of his result, and a correction of his interpretation of the resultRadim Bělohlávek; Vilém Vychodil · 2006
Homology of proof-netsFrançois Métayer · Archive for Mathematical Logic · 1994
Countable models of 1-based theoriesAnand Pillay · Archive for Mathematical Logic · 1992
Intuitionistic typical ambiguityDaniel Dzierzgowski · Archive for Mathematical Logic · 1992
Onκ-complete reduced productsTapani Hyttinen · Archive for Mathematical Logic · 1992
The monadic theory of (ω2,Shmuel Lifsches; Saharon Shelah · Archive for Mathematical Logic · 1992
Strong counterexamples to Borel hyperdeterminacyC. Ward Henson · Archive for Mathematical Logic · 1992
Subsets of models of arithmeticRoman Kossak; Jeffrey B. Paris · Archive for Mathematical Logic · 1992
Constructibility in higher order arithmeticsA. Sochor · Archive for Mathematical Logic · 1993