Sökning: "Computer science"

Visar resultat 26 - 30 av 2880 avhandlingar innehållade orden Computer science.

1. 26. Dynamic Adaptations of Synchronization Granularity in Concurrent Data Structures

   Författare :Kjell Winblad; Konstantinos Sagonas; Erez Petrank; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; concurrent data structures; contention adapting; range queries; lock-freedom; adaptivity; linearizability; ordered sets; maps; key-value stores; concurrent priority queues; relaxed concurrent data structures; locks; delegation locking; Computer Science; Datavetenskap;

   Sammanfattning : The multicore revolution means that programmers have many cores at their disposal in everything from phones to large server systems. Concurrent data structures are needed to make good use of all the cores. Designing a concurrent data structure that performs well across many different scenarios is a difficult task. LÄS MER

3. 27. Investigations into Information Semantics and Ethics of Computing

   Författare :Gordana Dodig-Crnkovic; Björn Lisper; Lars-Göran Johansson; Jan Gustafsson; Luciano Floridi; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Computing and Philosophy; Philosophy of Computing; Philosophy of Information; Computer science; Datavetenskap; Computer Science; datavetenskap;

   Sammanfattning : The recent development of the research field of Computing and Philosophy has triggered investigations into the theoretical foundations of computing and information.This thesis consists of two parts which are the result of studies in two areas of Philosophy of Computing (PC) and Philosophy of Information (PI) regarding the production of meaning (semantics) and the value system with applications (ethics). LÄS MER

4. 28. Advances in Functional Decomposition: Theory and Applications

   Författare :Andrés Martinelli; Elena Dubrova; Jon Muzio; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; computer science; electronic system design; Boolean decomposition; binary decision diagram; logic synthesis; graph algorithm; Computer science; Datavetenskap;

   Sammanfattning : Functional decomposition aims at finding efficient representations for Boolean functions. It is used in many applications, including multi-level logic synthesis, formal verification, and testing. This dissertation presents novel heuristic algorithms for functional decomposition. LÄS MER

5. 29. Understanding Software Design for Creating Better Design Environments

   Författare :Rodi Jolak; Göteborgs universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Software Engineering; Software Modeling; Design Effort; Software Design Environments; UML; Empirical Software Engineering;

   Sammanfattning : Context: Software design is considered an essential activity to analyze software requirements in order to produce a description of the software's internal structure that will serve as the basis for its construction. Models are a means to describe complex systems at several levels of abstraction and from a diversity of perspectives. LÄS MER

7. 30. Server-Aided Privacy-Preserving Proximity Testing

   Författare :Ivan Oleinikov; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; active security; MPC; privacy; secure proximity testing;

   Sammanfattning : Proximity testing is at the core of many Location-Based online Services (LBS) which we use in our daily lives to order taxis, find places of interest nearby, connect with people. Currently, most such services expect a user to submit his location to them and trust the LBS not to abuse this information, and use it only to provide the service. LÄS MER