Explore projects
-
-
Alcolado Nuthall, George E (PG/R - Comp Sci & Elec Eng) / nerf_sim
Apache License 2.0Archived 0Updated -
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