Sökning: "Small Systems"
Visar resultat 1 - 5 av 2330 avhandlingar innehållade orden Small Systems.
1. Enabling Scalable Security in Internet of Things
Sammanfattning : The popular notion of Internet of Things (IoT) implies two salient features: 1. a diversity of small things, i.e., constrained devices; 2. LÄS MER
2. Static Timing Analysis of Parallel Systems Using Abstract Execution
Sammanfattning : The Power Wall has stopped the past trend of increasing processor throughput by increasing the clock frequency and the instruction level parallelism.Therefore, the current trend in computer hardware design is to expose explicit parallelism to the software level. LÄS MER
3. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis
Sammanfattning : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. LÄS MER
4. Runtime Management of Multiprocessor Systems for Fault Tolerance, Energy Efficiency and Load Balancing
Sammanfattning : Efficiency of modern multiprocessor systems is hurt by unpredictable events: aging causes permanent faults that disable components; application spawnings and terminations taking place at arbitrary times, affect energy proportionality, causing energy waste; load imbalances reduce resource utilization, penalizing performance. This thesis demonstrates how runtime management can mitigate the negative effects of unpredictable events, making decisions guided by a combination of static information known in advance and parameters that only become known at runtime. LÄS MER
5. High Performance Hybrid Memory Systems with 3D-stacked DRAM
Sammanfattning : The bandwidth of traditional DRAM is pin limited and so does not scale well with the increasing demand of data intensive workloads. 3D-stacked DRAM can alleviate this problem providing substantially higher bandwidth to a processor chip. LÄS MER