Sökning: "message-passing concurrency"
Visar resultat 1 - 5 av 10 avhandlingar innehållade orden message-passing concurrency.
1. Efficient memory management for message-passing concurrency, Part I : Single-threaded execution
Sammanfattning : Manual memory management is error prone. Some of the errors it causes, in particular memory leaks and dangling pointers, are hard to find. Manual memory management becomes even harder when concurrency enters the picture. LÄS MER
2. Programming Model and Protocols for Reconfigurable Distributed Systems
Sammanfattning : Distributed systems are everywhere. From large datacenters to mobile devices, an ever richer assortment of applications and services relies on distributed systems, infrastructure, and protocols. Despite their ubiquity, testing and debugging distributed systems remains notoriously hard. LÄS MER
3. Language Constructs for Safe Parallel Programming on Multi-Cores
Sammanfattning : The last decade has seen the transition from single-core processors to multi-cores and many-cores. This move has by and large shifted the responsibility from chip manufacturers to programmers to keep up with ever-increasing expectations on performance. LÄS MER
4. Functional Programming for Embedded Systems
Sammanfattning : Embedded Systems application development has traditionally been carried out in low-level machine-oriented programming languages like C or Assembler that can result in unsafe, error-prone and difficult-to-maintain code. Functional programming with features such as higher-order functions, algebraic data types, polymorphism, strong static typing and automatic memory management appears to be an ideal candidate to address the issues with low-level languages plaguing embedded systems. LÄS MER
5. Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management
Sammanfattning : The Internet as of 2014 connects billions of devices, and is expected to connect tens of billions by 2020. To meet escalating requirements, networks must be scalable, easy to manage, and be able to efficiently execute programs and disseminate data. The prevailing use of centralized systems and control in, e.g. LÄS MER