[ACM Press the 9th International Conference - Bali, Indonesia (2015.01.08-2015.01.10)] Proceedings of the 9th International Conference on Ubiquitous Information Management and Communication - IMCOM '15 - Minimizing consistency-control overhead with rollback-recovery for storage class memory
- 作者Lee, Hyun Ku; Kim, Junghoon; Kang, Dong Hyun; Eom, Young Ik
- 文件大小771.23KB
- 发表时间2015
- DOI10.1145/2701126.2701227
- 页码1-6
Intumescent polylactide: A nonflammable materialGaëlle Fontaine; Serge Bourbigot · 2009
Flame retardancy of polylactide: an overviewBourbigot, Serge; Fontaine, Gaëlle · Polymer Chemistry · 2010
Growth temperature and OprF porin affect cell surface physicochemical properties and adhesive capacities ofPseudomonas fluorescensMF37Gaëlle Hemery; Sylvie Chevalier; Marie-Noëlle Bellon-Fontaine; Dominique Haras; Nicole Orange · 2007
Cycle detection in computation tree logicFontaine, Gaëlle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana · Information and Computation · 2018
Thermal Degradation and Fire Behavior of High Performance PolymersRamgobin, Aditya; Fontaine, Gaëlle; Bourbigot, Serge · Polymer Reviews · 2019
On the Data Complexity of Consistent Query Answeringten Cate, Balder; Fontaine, Gaëlle; Kolaitis, Phokion G. · Theory of Computing Systems · 2015
Processing and nanodispersion: A quantitative approach for polylactide nanocompositeSerge Bourbigot; Gaëlle Fontaine; Séverine Bellayer; René Delobel · 2008
Synthesis of graft copolymers from α-oxanorbornenyl macromonomersMorandi, Gaëlle; Mantovani, Giuseppe; Montembault, Véronique; Haddleton, David M.; Fontaine, Laurent · New Journal of Chemistry · 2007
Boolean satisfiability with transitivity constraintsBryant, Randal E.; Velev, Miroslav N. · ACM Transactions on Computational Logic · 2002
LTL over description logic axiomsBaader, Franz; Ghilardi, Silvio; Lutz, Carsten · ACM Transactions on Computational Logic · 2012
Structural FocalizationSimmons, Robert J. · ACM Transactions on Computational Logic · 2014
Quantitative languagesChatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. · ACM Transactions on Computational Logic · 2010
Propositional computability logic IIJaparidze, Giorgi · ACM Transactions on Computational Logic · 2006
Compilability of propositional abductionLiberatore, Paolo; Schaerf, Marco · ACM Transactions on Computational Logic · 2007
On compositionality and its limitationsRabinovich, Alexander · ACM Transactions on Computational Logic · 2007
Erratum to splitting an operatorVennekens, Joost; Gilis, David; Denecker, Marc · ACM Transactions on Computational Logic · 2007