Essays about: "Abstraction Construction"
Showing result 1 - 5 of 8 essays containing the words Abstraction Construction.
-
1. Simplifying multi-agent games with imperfect information against nature using predetermined strategies : Reducing the complexity of strategy synthesis for games by treating things in our control as if they were out of our control
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : We study games on graphs, where a coalition of agents work against an adversarial nature to achieve an objective. The agents have to collaborate while making their moves simultaneously, while receiving differing information about the state of the game and without a means of agent-to-agent communication. READ MORE
-
2. Exploring frugal innovation and its enablement of sustainable product development
University essay from Blekinge Tekniska Högskola/Institutionen för industriell ekonomiAbstract : In developed countries, companies' product innovation has the problem of not incorporating sustainability in a sufficiently high degree. Companies in developed countries will however continue to innovate since it is required to stay competitive. READ MORE
-
3. A Specification for Time-Predictable Communication on TDM-based MPSoC Platforms
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Formal System Design (ForSyDe) aims to bring the design of multiprocessor systems-on-chip (MPSoCs) to a higher level of abstraction and bridge the abstraction gap by transformational design refinement. The current research is focused on a correct-by-construction design flow, which requires design space exploration including formal models of computation and timepredictable platforms. READ MORE
-
4. Validation of theoretical cost model for Power and Reliability : Case study of a reliable Central Direct Memory Access system
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Safety-critical applications employed in automotive, avionics and aerospace domains are placed under strict demands for performance, power efficiency and fault tolerance. Development of system hardware and software satisfying all criteria is challenging and time-consuming. READ MORE
-
5. Building Programming Languages, Construction by Construction
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : The task of implementing a programming language is a task that entails a great deal of work. Yet much of this work is similar for different programming languages: most languages require, e.g., parsing, name resolution, type-checking, and optimization. READ MORE