Sökning: "sprâk"

Hittade 3 avhandlingar innehållade ordet sprâk.

1. 1. Compile-time Safety and Runtime Performance in Programming Frameworks for Distributed Systems

   Författare :Lars Kroll; Seif Haridi; Jim Dowling; Peter Van Roy; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; distributed systems; distributed computing; programming systems; programming languages; computer science; domain specific languages; message-passing; actor model; component model; Informations- och kommunikationsteknik; Information and Communication Technology;

   Sammanfattning : Distributed Systems, that is systems that must tolerate partial failures while exploiting parallelism, are a fundamental part of the software landscape today. Yet, their development and design still pose many challenges to developers when it comes to reliability and performance, and these challenges often have a negative impact on developer productivity. LÄS MER

3. 2. Artificial Software Diversification for WebAssembly

   Författare :Javier Cabrera Arteaga; Benoit Baudry; Martin Monperrus; Tobias Wrigstad; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; WebAssembly; LLVM; Software Diversity; Automatic Software Engineering; Security; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : WebAssembly has become the fourth official web language, along with HTML, CSS and JavaScript since 2019. WebAssembly allows web browsers to execute existing programs or libraries written in other languages, such as C/C++ and Rust. In addition, WebAssembly evolves to be part of edge-cloud computing platforms. LÄS MER

4. 3. Tänka fritt är stort men tänka rätt är större Prolog : En självkritisk studie av juridisk metod i mötet med i tid och rum främmande juridik, med avseende på den rätta och den fria tankens vetenskapliga förutsättningar

   Författare :Henrik Forshamn; Bruno Debaenst; Joel Samuelsson; Lyles Max; Uppsala universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Rättshistoria Historia Allmän rättslära Juridisk encyklopedi Rättshistoriografi Historiografi Juridisk metod Självkritik Källkritik; Rättshistoria; Legal History and Sociology of Law;

   Sammanfattning : Denna avhandling utgör ett rättsvetenskapligt bidrag till historievetenskapens källkritik. Det handlar om att sätta fokus på vad som händer med förståelsen av det förflutna, när historieskrivningen hamnar i händerna på juristen och dennes juridiska metod, med andra ord, när en av dessa självskolade historiker, juristen, lämnar en avgränsad juridik för att ta sig an en i tiden, eller rummet, främmande juridik, som juristen rent faktiskt inte har studerat, i egenskap av just i tiden, och rummet, främmande, och, som man har anledning att misstänka, läses med ögon, inskolade i en av tid och rum avgränsad, och därmed betingad, juridik. LÄS MER