Sökning: "Underlying Semantics"
Visar resultat 1 - 5 av 16 uppsatser innehållade orden Underlying Semantics.
1. Nietzsche, and the Significance of Historical Philosophizing : On the Use of History for Philosophical Matters
Master-uppsats, Linköpings universitet/Avdelningen för filosofi och tillämpad etikSammanfattning : This thesis explores Friedrich Nietzsche's use of history for philosophical purposes, focusing on two central themes in Nietzsche's writings: the genealogical methodology, and perspectival epistemology. My aim is to demonstrate how Nietzsche's concept of "historical philosophizing" is intricately connected to his moral philosophy. LÄS MER
2. Relaxed Priority Queue & Evaluation of Locks
Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : We present a new, lock-free and concurrent priority queue, utilizing some ideas from [1] by Rukundo et al., that relaxes the traditional sequential semantics of the delete_min operation to achieve better scalability and performance. LÄS MER
3. Modelling Parallel Stochastic-Time Systems Using Timed and Synchronous Layers : Introducing the Parallel Stochastic Timed State Machine
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : In the development phase of real-world cyper-physical systems, modelling and analysis often plays a vital role. For instance, before a new system is produced and deployed, questions such as ‘what is the probability that the system will fail within its lifetime?’ must be answered. LÄS MER
4. μSPL - Proprietary Graphics Language Transpiler : Asserting translation correctness using runtime verification
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : The Swedish Armed Forces are currently considering extending the operational life of the Saab JAS 39 Gripen C/D multirole fighter aircraft by an additional 10 to 20 years. This has resulted in a need to upgrade many of the hardware components originally developed in the late 1980s and early 1990s. LÄS MER
5. A Dangerous or Necessary Style? : An examination of the relevance of style in philosophy
Kandidat-uppsats, Uppsala universitet/Filosofiska institutionenSammanfattning : No form of philosophy is without literary style. This is not always appreciated and opponents of style within philosophy often seem to be unaware of the role of style. LÄS MER