Sökning: "datorteknik"
Visar resultat 11 - 15 av 431 avhandlingar innehållade ordet datorteknik.
11. Practical verification of real-time systems
Sammanfattning : Formal methods are becoming mature enough to be used on nontrivial examples. They are particularly well fitted for real-time systems whose correctness is defined in terms of correct responses at correct times. Most common real-time systems are of reasonable size and can therefore be handled by an automatic verification tool such as Uppaal. LÄS MER
12. On-chip monitoring for non-intrusive hardware/software observability
Sammanfattning : The increased complexity in today's state-of-the-art computer systems make them hard to analyse, test, and debug. Moreover, the advances in hardware technology give system designers enormous possibilities to explore hardware as a means to implement performance demanding functionality. LÄS MER
13. A Modular Tool Architecture for Worst-Case Execution Time Analysis
Sammanfattning : Estimations of the Worst-Case Execution Time (WCET) are required in providing guarantees for timing of programs used in computer controlled products and other real-time computer systems. To derive program WCET estimates, both the properties of the software and the hardware must be considered. LÄS MER
14. Interprocess communication utilising special purpose hardware
Sammanfattning : Real-Time Systems are computer systems with constraints on the timing of actions. To ease the development and maintenance of application software, Real-time Systems often make use of a Real-Time Operating System (RTOS). Its main task is scheduling of application processes (tasks). LÄS MER
15. An Indirection Architecture for the Internet
Sammanfattning : We present an indirection architecture for the Internet called SelNet. SelNet provides a uniform indirection mechanism for controlling the route that packets take through the network and which functions are invoked to process these packets. LÄS MER
