Sökning: "Concurrent"

Visar resultat 6 - 10 av 627 avhandlingar innehållade ordet Concurrent.

1. 6. On Concurrent Error Detection and Error Propagation

   Författare :Joakim Ohlsson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; error models; control flow monitoring; simulation experiments; concurrent error detection; permanent faults; watchdog processors; fault injection; transient faults;

   Sammanfattning : This thesis addresses three important steps in the selection of error detection mechanisms for microprocessors: (i) the design and evaluation of error detection mechanisms, (ii) the study of microprocessor error behavior and propagation and (iii) the design and use of error models. The first part of the thesis evaluates four error detection methods with respect to para- meters such as error detection coverage and performance loss, while the second and third parts focus on determining the error patterns most likely to occur in a computer system when different types of faults are present and how to incorporate those error patterns into error models. LÄS MER

3. 7. Abstractions to Control the Future

   Författare :Francisco Ramón Fernández Reyes; Tobias Wrigstad; Björn Victor; Martin Steffen; Uppsala universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; concurrent; programming; type system; future; actors; active objects; Computer Science; Datavetenskap;

   Sammanfattning : Multicore and manycore computers are the norm nowadays, and users have expectations that their programs can do multiple things concurrently. To support that, developers use concur- rency abstractions such as threads, promises, futures, and/or channels to exchange information. LÄS MER

4. 8. Effective Techniques for Stateless Model Checking

   Författare :Stavros Aronis; Konstantinos Sagonas; Bengt Jonsson; Patrice Godefroid; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Concurrent; Parallel; Model Checking; Partial Order Reduction; Dynamic Partial Order Reduction; DPOR; Sleep Set Blocking; Source Sets; Source DPOR; Wakeup Trees; Optimal DPOR; Observers; Verification; Bounding; Exploration Tree Bounding; Testing; Erlang; Concuerror; Protocol; Chain Replication; CORFU; Computer Science; Datavetenskap;

   Sammanfattning : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. LÄS MER

5. 9. On Manufacturing System Development in the Context of Concurrent Engineering

   Författare :Dario Aganovic; KTH; []
   Nyckelord :Concurrent Engineering; Engineering Design; Development Methods and Tools; Manufacturing System; Information Management;

   Sammanfattning : This thesis presents an extension of the contemporaryengineering design theory towards a unified view onsimultaneous development of products and manufacturing systems,i.e. concurrent engineering. LÄS MER

7. 10. Synchronous and Concurrent Transmissions for Consensus in Low-Power Wireless

   Författare :Beshr Al Nahas; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Consesnsus; IoT; IIoT; Capture Effect; Distributed Computing; Wireless Networks; Sensing; TSCH; Bluetooth; Industrial Internet of Things; WSN; Concurrent Transmissions;

   Sammanfattning : With the emergence of the Internet of Things, autonomous vehicles and the Industry 4.0, the need for dependable yet adaptive network protocols is arising. Many of these applications build their operations on distributed consensus. For example, UAVs agree on maneuvers to execute, and industrial systems agree on set-points for actuators. LÄS MER