Sökning: "independent guarantee"

Visar resultat 16 - 20 av 39 avhandlingar innehållade orden independent guarantee.

  1. 16. On Provably Correct Decision-Making for Automated Driving

    Författare :Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deductive verification; formal methods; supervisory control theory; formal verification; Automated driving; model checking; hybrid systems.; decision-making;

    Sammanfattning : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER

  3. 17. Safety Proofs for Automated Driving using Formal Methods

    Författare :Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; safety argument; automata learning; supervisory control theory; Automated driving; theorem proving; formal methods; formal verification; model checking;

    Sammanfattning : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER

  4. 18. Lock-free Concurrent Search

    Författare :Bapi Chatterjee; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Wait-free; Help-aware; Non-blocking; Concurrency; Linearizability; Lock-based; Lock-free-kD-tree; Amortized Complexity; Data Structure; Binary Search Tree; Blocking; Search; Concurrent; kD-tree; Linked-list; Lock-free; Range Search; Language-portable; Help-optimal; Nearest Neighbour Search; Linearizable; Synchronization;

    Sammanfattning : The contemporary computers typically consist of multiple computing cores with high compute power. Such computers make excellent concurrent asynchronous shared memory system. LÄS MER

  5. 19. Portable Tools for Interoperable Grids : Modular Architectures and Software for Job and Workflow Management

    Författare :Johan Tordsson; Erik Elmroth; Ramin Yahyapour; Umeå universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Grid computing; scheduling; resource brokering; performance predictions; advance reservations; coallocation; standards-based infrastructure; interoperability; service-oriented architecture; job management; workflows; data flow; Computer science; Datavetenskap;

    Sammanfattning : The emergence of Grid computing infrastructures enables researchers to shareresources and collaborate in more efficient ways than before, despite belongingto different organizations and being geographically distributed. While the Gridcomputing paradigm offers new opportunities, it also gives rise to newdifficulties. LÄS MER

  7. 20. A Modular Tool Architecture for Worst-Case Execution Time Analysis

    Författare :Andreas Ermedahl; Hans Hansson; Reinhard Wilhelm; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer engineering; Datorteknik; Computer Systems; Datorteknik;

    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