Sökning: "Datorteknik"

Visar resultat 21 - 25 av 431 avhandlingar innehållade ordet Datorteknik.

  1. 21. Markov Decision Problems in ATM Traffic Control

    Författare :Ernst Nordström; Lars Asplund; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : This thesis discusses how to make cost-effective use of the communication resources in the Broadband Integrated Services Digital Network (B-ISDN), which is based on the Asynchronous Transfer Mode (ATM) switching and multiplexing technique.The thesis deals with two important functions in ATM traffic control, namely Call Admission Control (CAC) and routing, which affects both the network operator's revenue over time and the users' Quality of Service (QOS) and Grade of Service (GOS). LÄS MER

  3. 22. A formalisation of the ITU-T Intelligent Network standard

    Författare :Jan Nyström; Bengt Jonsson; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Systems; Datorteknik;

    Sammanfattning : Telecommunication systems are today among the largest and most heterogeneous computer systems that exist. The functionality offered by them is rapidly increasing, by numerous features: call waiting, credit-card billing and call-forwarding to name a few. LÄS MER

  4. 23. Analysing Fault Tolerance for Erlang Applications

    Författare :Jan Henry Nyström; Bengt Jonsson; Sven-Olof Nyström; John Hughes; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; symbolic evaluation; fault tolerance; erlang; Computer engineering; Datorteknik; Computer Systems; Datorteknik;

    Sammanfattning : ERLANG is a concurrent functional language, well suited for distributed, highly concurrent and fault-tolerant software. An important part of Erlang is its support for failure recovery. Fault tolerance is provided by organising the processes of an ERLANG application into tree structures. LÄS MER

  5. 24. Modelling and Verification of Real-Time Systems Using Timed Automata : Theory and Practice

    Författare :Paul Pettersson; Wang Yi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : During the last decade, model-checking techniques for the verification of timed system have been developed baaed on the theory of timed automata. The practical limitation in applying these techniques to industrial-size systems is the huge amount of time and memory needed to explore and store the state-space of the system model. LÄS MER

  7. 25. Software Techniques for Distributed Shared Memory

    Författare :Zoran Radovic; Erik Hagersten; Sandhya Dwarkadas; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; synchronization; distributed shared memory; write permission cache; nonuniform communication architecture; node affinity; locality; hardware-software trade-off; profiling; flexibility; trap-based memory architecture; Computer engineering; Datorteknik; Data- och systemvetenskap; Computer Systems Sciences;

    Sammanfattning : In large multiprocessors, the access to shared memory is often nonuniform, and may vary as much as ten times for some distributed shared-memory architectures (DSMs). This dissertation identifies another important nonuniform property of DSM systems: nonuniform communication architecture, NUCA. LÄS MER