Sökning: "Yi Wang"
Visar resultat 11 - 15 av 21 avhandlingar innehållade orden Yi Wang.
11. Mechanistic photodissociation of small molecules explored by electronic structure calculation and dynamics simulation
Sammanfattning : .... LÄS MER
12. A Generic Approach to Schedulability Analysis of Real-Time Systems
Sammanfattning : This thesis presents a framework for design, analysis, and implementation of embedded systems. We adopt a model of timed automata extended with asynchronous processes i.e. tasks triggered by events. LÄS MER
13. New Techniques for Building Timing-Predictable Embedded Systems
Sammanfattning : Embedded systems are becoming ubiquitous in our daily life. Due to close interaction with physical world, embedded systems are typically subject to timing constraints. At design time, it must be ensured that the run-time behaviors of such systems satisfy the pre-specified timing constraints under any circumstance. LÄS MER
14. Design and Verification of Component Based Real-Time Systems
Sammanfattning : The design of embedded real-time systems is becoming more and more challengingdue to the increasing complexity of new hardware platforms, requirements onnew system functionality, and economical constraints on system development.Component based design has been successful for the development of general-purposecomputer systems such as destop and e-business. LÄS MER
15. Infinite Structures in Timed Systems
Sammanfattning : Real time systems distinguish themselves by explicitly stating timing constraints in the system specification. This requires specific methods and tools in system design to ensure such constraints. We focus on one of the methods applied in the validation phase, namely formal verification. LÄS MER