Search for dissertations about: "Wang Yi"

Showing result 11 - 15 of 21 swedish dissertations containing the words Wang Yi.

  2. 11. Mechanistic photodissociation of small molecules explored by electronic structure calculation and dynamics simulation

    Author : Qiu Fang; Yi Luo; Haobin Wang; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theoretical chemistry; Teoretisk kemi;

    Abstract : .... READ MORE

  4. 12. A Generic Approach to Schedulability Analysis of Real-Time Systems

    Author : Elena Fersman; Wang Yi; Ed Brinksma; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : 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. READ MORE

  5. 13. New Techniques for Building Timing-Predictable Embedded Systems

    Author : Nan Guan; Wang Yi; Lothar Thiele; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; WCET analysis; cache analysis; abstract interpretation; multiprocessor scheduling; fixed-priority scheduling; EDF; multi-core processors; response time analysis; utilization bound; real-time calculus; scalability; Datavetenskap med inriktning mot realtidssystem; Computer Science with specialization in Real Time Systems;

    Abstract : 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. READ MORE

  6. 14. Design and Verification of Component Based Real-Time Systems

    Author : John Håkansson; Paul Pettersson; Wang Yi; Johan Lilius; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Component Based Software; Real-Time Systems; Model Checking; Verification; Timed Automata; Embedded Systems; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Abstract : 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. READ MORE

  7. 15. Infinite Structures in Timed Systems

    Author : Pavel Krcal; Wang Yi; Joel Ouaknine; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theoretical computer science; Teoretisk datalogi; Datalogi; Computing Science;

    Abstract : 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. READ MORE