Wireless microsensor networks have been identified as one of the most important
technologies for the 21st century. This paper traces the history of research in sensor …

This paper gives a high-level introduction to the topic of formal, interactive, machine-
checked software verification in general, and the verification of operating systems code in …

Scaling the performance of short TCP connections on multicore systems is fundamentally
challenging. Although many proposals have attempted to address various shortcomings …

Tidak dapat dipungkiri bahwa perkembangan teknologi informasi terus menerus
berkembang ke arah yang lebih baik lagi, di mana perkembangan ini telah dimulai sejak …

Recently, there is an increasing interest in building data-center applications with RDMA
because of its low-latency, high-throughput, and low-CPU-utilization benefits. However …

Sensor network nodes exhibit characteristics of both embedded systems and general-
purpose systems. They must use little energy and be robust to environmental conditions …

A virtual machine monitor (VMM) allows multiple operating systems to run concurrently on
virtual machines (VMs) on a single hardware platform. Each VM can be treated as an …

The special constraints of sensor networks impose a number of technical challenges for
employing them. In this survey, we study the issues and existing protocols in three areas …

This paper describes a computer architecture, Spatial Computation (SC), which is based on
the translation of high-level language programs directly into hardware structures. SC …

Pervasive computing environments add a multitude of additional devices to our current
computing landscapes. Specialized embedded systems provide sensor information about …