Results 11 to 20 of about 131,806 (207)
Defining correctness conditions for concurrent objects in multicore architectures [PDF]
, 2015 Correctness of concurrent objects is defined in terms of conditions that determine allowable relationships between histories of a concurrent object and those of the corresponding sequential object.
Derrick, J +3 more
core +2 more sources
Towards a Precise Semantics for Object-Oriented Modeling Techniques [PDF]
, 2014 In this paper we present a possible way how a precise semantics of object oriented modeling techniques can be achieved and what the possible benefits are .We outline the main modeling techniques used in the SysLab project sketch how a precise semantics ...
Breu, Ruth +4 more
core +2 more sources
Algorithmische Kunst als Bildungsgegenstand
MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung, 2019 Die algorithmische Revolution hat bewirkt, dass heute viele Menschen einen leistungsstarken Computer bei sich tragen und zu Hause weitere stehen haben. Diese Computer sind mit dem Internet zu einem populären Medium verwachsen.
Susanne Grabowski, Frieder Nake
doaj +1 more source
On the average running time of odd-even merge sort [PDF]
, 1995 This paper is concerned with the average running time of Batcher's odd-even merge sort when implemented on a collection of processors. We consider the case where $n$, the size of the input, is an arbitrary multiple of the number $p$ of processors used ...
Rüb, C.
core +1 more source
Erstellung und Weiterentwicklung von Open Educational Resources im Selbstversuch
MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung, 2019 Open Educational Resources (OER) versprechen einerseits den Abbau von Hürden im Bildungszugang und andererseits die Vermeidung redundanter Arbeit bei der Erstellung ähnlicher und gleichzeitig qualitativ hochwertiger Bildungsressourcen in ...
Jens Lechtenbörger
doaj +1 more source
Vom Hin und Her zwischen Medienbildung und Informatischer Bildung
MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung, 2021 Informatik hier, Medienpädagogik dort. Informatische Bildung hier, Medienbildung dort. Der Diskurs um digitale Medien in der Bildung zeigt eine duale Aufspaltung bzw.
David Stadler, Nina Grünberger
doaj +1 more source
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata [PDF]
, 2021 The probabilistic bisimilarity distance of Deng et al. has been proposed as a robust quantitative generalization of Segala and Lynch's probabilistic bisimilarity for probabilistic automata. In this paper, we present a characterization of the bisimilarity
Bacci, Giorgio +5 more
core +3 more sources
Digital Humanities – Eine Herausforderung an die Informatik und an die Geisteswissenschaften
Zeitschrift für digitale Geisteswissenschaften, 2018 This paper presents the relationship between the disciplines involved in the digital humanities, focusing in particular on the role of computer science.
Klaus-Georg Deck
doaj +1 more source
eInformatics@Austria – Grundlehre Informatik online mit 7 MOOCs
Zeitschrift für Hochschulentwicklung, 2023 Im Projekt eInformatics@Austria erstellen fünf österreichische Universitäten Online-Kurse der Grundlehre Informatik. Ziel ist es, sieben qualitativ und künstlerisch hochwertige Massive Open Online Courses (MOOCs) zu entwickeln und online auf der ...
Friedrich Gelbard
doaj +1 more source
Persönlichkeiten der Informatik
Informatische Bildung in SchulenIm Prolog wird das Thema Geschiche der Mathematik in einem Beitrag des RFDZ – Informatik betrachtet. Im folgenden Kapitel werden die Entwicklungen des Computers im Kontext der einzelnen Persönlichkeiten der Informatik aus einem Hardware – Blickwinkel ...
Karl Josef Fuchs
doaj +1 more source