Explore projects
-
Updated
-
Updated
-
Translation of "A Formal Approach to Secure Speculation" to Isabelle.
Updated -
Updated
-
Filip, Yvonna (UG - Comp Sci & Elec Eng) / tm-study-pact14
Apache License 2.0Performance and Energy consuption study on concurrent programming focused on Transactional Memory.
Updated