Sökning: "Tuan-phong Ngo"
Hittade 1 avhandling innehållade orden Tuan-phong Ngo.
1. Model Checking of Software Systems under Weak Memory Models
Sammanfattning : When a program is compiled and run on a modern architecture, different optimizations may be applied to gain in efficiency. In particular, the access operations (e.g., read and write) to the shared memory may be performed in an out-of-order manner, i. LÄS MER
Resultatsidor:
1