Concept
Fonction pure
Publications associées (11)
Effect of Magnesium and Zinc Ions on the Hydration Kinetics of C3S
Karen Scrivener, Marco Cantoni, Qiao Wang, Amélie Bazzoni
Impure tricalcium silicate (C3S) in portland cement may contain various foreign ions. These ions can stabilize different polymorphs of C3S at room temperature and may affect its reactivity. In this paper, the effects of magnesium and zinc on the polymorph ...
Wiley-Blackwell2014Opis: Reliable Distributed Systems in OCaml
Viktor Kuncak, Dejan Kostic, Pierre-Evariste Dagand
Concurrency and distribution pose algorithmic and implementation challenges in developing reliable distributed systems, making the field an excellent testbed for evaluating programming language and verification paradigms. Several specialized domain-specifi ...
2009Opis: Reliable Distributed Systems in OCaml
Viktor Kuncak, Dejan Kostic, Pierre-Evariste Dagand
Concurrency and distribution pose algorithmic and implementation challenges in developing reliable distributed systems, making the field an excellent testbed for evaluating programming language and verification paradigms. Several specialized domain-specifi ...
2009Exploiting reference idempotency to reduce speculative storage overflow
Recent proposals for multithreaded architectures employ speculative execution to allow threads with unknown dependences to execute speculatively in parallel. The architectures use hardware speculative storage to buffer speculative data, track data dependen ...
2006Reference idempotency analysis: A framework for optimizing speculative execution
Recent proposals for multithreaded architectures allow threads with unknown dependences to execute speculatively in parallel. These architectures use hardware speculative storage to buffer uncertain data, track data dependences and roll back incorrect exec ...
2001