Sökning: "Experimental Verification"
Visar resultat 16 - 20 av 162 avhandlingar innehållade orden Experimental Verification.
16. Energy performance of buildings / methodologies for experimental verification
Sammanfattning : .... LÄS MER
17. Dominator-based Algorithms in Logic Synthesis and Verification
Sammanfattning : Today's EDA (Electronic Design Automation) industry faces enormous challenges. Their primary cause is the tremendous increase of the complexity of modern digital designs. Graph algorithms are widely applied to solve various EDA problems. LÄS MER
18. Energy from Ocean Waves : Full Scale Experimental Verification of a Wave Energy Converter
Sammanfattning : A wave energy converter has been constructed and its function and operational characteristics have been thoroughly investigated and published. The wave energy converter was installed in March of 2006 approximately two kilometers off the Swedish west coast in the proximity of the town Lysekil. LÄS MER
19. Towards Formal Verification in a Component-based Reuse Methodology
Sammanfattning : Embedded systems are becoming increasingly common in our everyday lives. As techonology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components (Intellectual Property blocks). LÄS MER
20. Dynamic effects on yacht sails and rudders
Sammanfattning : In search of increased performance, modern sailing vessels are becoming more and more complex, introducing additional challenges in the design process. The dynamic behaviour of the vessel is of great importance to safe and efficient operation and thus needs to be accounted for when evaluating the performance. LÄS MER