Sökning: "atomic data"

Visar resultat 21 - 25 av 347 avhandlingar innehållade orden atomic data.

1. 21. Communication in safety-critical distributed real-time systems

   Författare :Henrik Lönn; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; protocols; dependability; atomic broadcast; distributed real-time systems; membership agreement; clock synchronisation;

   Sammanfattning : .... LÄS MER

3. 22. Clocks, DBMs and States in Timed Systems

   Författare :Johan Bengtsson; Joost-Pieter Katoen; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Information technology; Informationsteknik; Datavetenskap; Computer Science;

   Sammanfattning : Today, computers are used to control various technical systems in our society. In many cases, time plays a crucial role in the operation of computers embedded in such systems. This thesis is about techniques and tools for the analysis of timing behaviours of computer systems. LÄS MER

4. 23. Formal Development of Safe and Secure Java Card Applets

   Författare :Wojciech Mostowski; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; object-oriented design; Java Card; formal verification; formal specification; dynamic logic;

   Sammanfattning : This thesis is concerned with formal development of Java Card applets. Java Card is a technology that provides a means to program smart cards with (a subset of) the Java language. In recent years Java Card technology gained great interest in the formal verification community. There are two reasons for this. LÄS MER

5. 24. Language-based Approaches to Safe and Efficient Distributed Programming

   Författare :Xin Zhao; Philipp Haller; Roberto Guanciale; Wolfgang De Meuter; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Programming languages; Distributed systems; Type system; Replicated data types; Computer Science; Datalogi;

   Sammanfattning : Distributed systems address the increasing demand for fast access to resources and fault tolerance for data. Strong consistency ensures that all clients observe consistent data updates atomically on all servers in a distributed system, and it is widely used in systems such as relational databases. LÄS MER

7. 25. Atomic Electrons as Sensitive Probes of Nuclear Properties and Astrophysical Plasma Environments : A Computational Approach

   Författare :Asimina Papoulia; Matematisk fysik; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Fysicumarkivet A:2021:Papoulia; Computational atomic structure; Relativistic atomic theory; Transition probabilities; Abundance analysis; Landé g­-factors; Hyperfine structure; Nuclear quadrupole moments; Isotope shift; Field shift; Nuclear deformation;

   Sammanfattning : This thesis deals with the relativistic modeling of atoms and ions. To interpret the stellar spectra and gain more insight from astrophysical observations, the underlying processes that generate the spectra need to be well understood and described. LÄS MER