Explore projects
-
Leif Tinwell / GRD³
MIT LicenseUpdated -
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