Sökning: "Protocol"

Visar resultat 6 - 10 av 1572 avhandlingar innehållade ordet Protocol.

  1. 6. Hardware Architecture for Protocol Processing

    Författare :Tomas Henriksson; Axel Jantsch; Linköpings universitet; []
    Nyckelord :TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : Protocol processing is increasingly important. Through the years the hardware architectures for network equipment have evolved constantly. It is important to make a difference between terminals and routers and the different processing tasks they encounter. It is also important to analyze in detail the functional coverage of a hardware architecture. LÄS MER

  3. 7. Implementation and Experimental Evaluation of a Partially Reliable Transport Protocol

    Författare :Katarina Asplund; Anna Brunström; TingTing Zhang; Karlstads universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; partial reliability; transport protocol; Internet; performance evaluation; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Sammanfattning : In the last decade, we have seen an explosive growth in the deployment of multimedia applications on the Internet. However, the transport service provided over the Internet is not always feasible for these applications, since the network was originally designed for other types of applications. 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. Algorithms and Protocols Enhancing Mobility Support for Wireless Sensor Networks Based on Bluetooth and Zigbee

    Författare :Javier García Castaño; Ylva Bäcklund; Miguel Ángel Valero Duboy; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Algorithm; Bluetooth; Mobility; Protocol; Wireless Sensor Network; Zigbee.; Electronics; Elektronik; Elektronik;

    Sammanfattning : Mobile communication systems are experiencing a huge growth. While traditional communication paradigms deal with fixed networks, mobility raises a new set of questions, techniques, and solutions. This work focuses on wireless sensor networks (WSNs) where each node is a mobile device. LÄS MER

  7. 10. Managing Diversity : The Anthologization of "American Literature"

    Författare :Anders Olsson; Mittuniversitetet; []
    Nyckelord :HUMANIORA; HUMANITIES; diversity; protocol; national value; historical value; literary value; Aesthetic subjects; Estetiska ämnen; English language; English;

    Sammanfattning : analys av tvåbandsantologier för USA:s litteratur, deras bild av nationallitteraturen, deras inbördes beroende och deras beroende av det litterära protokoll som den nationella litterära traditionen skapat.... LÄS MER