Slide 1
Using Formal Specifications to Monitor and Guide Simulation: Verifying the Cache Coherence Engine of the Alpha 21364 Microprocessor Serdar Tasiran Systems.
Using a Formal Specification and a Model Checker to Monitor and Guide Simulation Verifying the Multiprocessing Hardware of the Alpha 21364 Microprocessor.
Computer Science Department In-N-Out: Reproducing Out-of-Order Superscalar Processor Behavior from Reduced In-Order Traces Kiyeon Lee and Sangyeun Cho.
Practical Simulation: Key Principles & Methodologies: “—making the rubber meet the road”
Wang Juan Lin Yihua Dec 25th,2010 Discussion of resonant cavity and the simulation by software COMSOL.
Rome MUN Booklet
MAASA Profile
Migration and Integration in Malta: from Good Practices to the lack of a Policy
Flood Forecasting In Manitoba
