Search results: Found 3

Listing 1 - 3 of 3
Sort by
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Author:
ISBN: 9783866448858 Year: Pages: XXI, 412 p. DOI: 10.5445/KSP/1000028867 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.

Kupfer- und Eisenoxide als Konversions-Elektrodenmaterialien für Lithium-Ionen-Batterien: Thermodynamische und Elektrochemische Untersuchungen

Author:
Book Series: Schriftenreihe des Instituts für Angewandte Materialien, Karlsruher Institut für Technologie ISSN: 21929963 ISBN: 9783731504825 Year: Volume: 56 Pages: XVI, 291 p. DOI: 10.5445/KSP/1000051891 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

Conversion-type electrodes are promising electrode materials for future lithium ion batteries since they exhibit high specific capacities compared to intercalation-type eclectrodes. In this work, a thermodynamic approach was used to elucidate the electrochemical behavior of conversion-type electrodes using Li-Cu-O and Li-Fe-O as model material systems. electrochemical properties can be calculated using self-sonstistent thermodynamic descriptions developed in this work.

Wirtschaftsbauten in der antiken Stadt. Internationales Kolloquium 16.-17. November 2012 Karlsruhe

Author:
Book Series: Materialien zu Bauforschung und Baugeschichte / Karlsruher Institut für Technologie, Institut Kunst- und Baugeschichte, Fachgebiet Baugeschichte ISSN: 0940578X ISBN: 9783731505402 Year: Volume: 20 Pages: 253 p. DOI: 10.5445/KSP/1000055788 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Arts in general
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

We are well informed about the economy during antiquity, and commercial buildings like the Basilica have been studied numerous times by archaeologists and architectural historians. However, an interdisciplinary exchange of ideas has been lacking in the past. This publication of conference proceedings tries to fill this gap; it includes papers on monetary transactions, forms of trade and trade relations, and introductions to warehouses and market places.The main focus is on the Roman Basilica, whose development started almost overnight about 200 BC at the Forum Romanum and which expressed the new hegemony of the Roman Republic, which had also become the center of all commercial activity in the Mediterranean, in regards to urban development. Two papers address the further development of the term Basilica and its influence for the building of churches and for architectural theory in general until today.

Listing 1 - 3 of 3
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (3)


License

CC by-sa (2)

CC by-nc-nd (1)


Language

german (2)

english (1)


Year
From To Submit

2016 (2)

2012 (1)