Sökning: "Computer"
Visar resultat 16 - 20 av 7022 avhandlingar innehållade ordet Computer.
16. Functional EDSLs for Web Applications
Sammanfattning : This thesis aims to make the development of complex web applications easier, faster and safer through the application of strongly typed functional programming techniques. Traditional web applications are commonly written in the de facto standard language of the web, JavaScript, which, being untyped, provides no guarantees regarding the data processed by programs, increasing the burden of testing and defensive programming. LÄS MER
17. Symbolic Supervisory Control of Resource Allocation Systems
Sammanfattning : Supervisory control theory (SCT) is a formal model-based methodology for verification and synthesis of supervisors for discrete event systems (DES). The main goal is to guarantee that the closed-loop system fulfills given specifications. SCT has great promise to assist engineers with the generation of reliable control functions. LÄS MER
18. Adaptive Resource Management Techniques for High Performance Multi-Core Architectures
Sammanfattning : Reducing the average memory access time is crucial for improving the performance of applications executing on multi-core architectures. With workload consolidation this becomes increasingly challenging due to shared resource contention. Previous works has proposed techniques for partitioning of shared resources (e.g. LÄS MER
19. Design of Energy-Efficient High-Performance ASIP-DSP Platforms
Sammanfattning : In the last ten years, limited clock frequency scaling and increasing power density has shifted IC design focus towards parallelism, heterogeneity and energy efficiency. Improving energy efficiency is by no means simple and it calls for a reevaluation of old design choices in processor architecture, and perhaps more importantly, development of new programming methodologies that exploit the features of modern architectures. LÄS MER
20. Clustering in the Big Data Era: methods for efficient approximation, distribution, and parallelization
Sammanfattning : Data clustering is an unsupervised machine learning task whose objective is to group together similar items. As a versatile data mining tool, data clustering has numerous applications, such as object detection and localization using data from 3D laser-based sensors, finding popular routes using geolocation data, and finding similar patterns of electricity consumption using smart meters. LÄS MER