Browsing by Subject "Verification"
Now showing items 1-4 of 4
-
(Energy Systems Laboratory (http://esl.tamu.edu); Texas A&M University (http://www.tamu.edu), 2010)Energy efficient buildings require high quality standards for all their technical equipment to enable their efficient and successful operation and management. Building simulations enable engineers to design integrated HVAC ...
-
(2017-07-17)Cache coherency is crucial to multi-core systems with a shared memory programming model. Coherency protocols have been formally verified at the architectural level with relative ease. However, several subtle issues creep ...
-
(2017-05-02)A new morphing based technique is proposed for the verification of deterministic precipitation forecasts. It provides accurate estimates of the components of the precipitation forecast error for a significantly longer range ...
-
(2012-02-14)Due to recent aggressive process scaling into the nanometer regime, power delivery network design faces many challenges that set more stringent and specific requirements to the EDA tools. For example, from the perspective ...