Calibration of Cognitive Classification Systems for Radar Networks for Increased Reliability

Cognitive radar frameworks rely on the ability to quantify and reason on future uncertainty, which allows for the selection of an optimal decision policy. These methods require that the uncertainty estimates provided by the underlying statistical model are well-calibrated, i.e. consistent with true uncertainty. In this work, the utilization of...

Iron: Managing obligations in higher-order concurrent separation logic

Precise management of resources and the obligations they impose, such as the need to dispose of memory, close locks, and release file handles, is hardÐespecially in the presence of concurrency, when some resources are shared, and different threads operate on them concurrently. We present Iron, a novel higher-order concurrent<br/>separation logic...

Mission-Driven Resource Management for Reconfigurable Sensing Systems

Modern sensors, such as multifunctional radars, comprise many settings and the number of controllable settings is increasing due to technological advance. Although having many settings allows many capabilities, it simultaneously requires an automatic manager to control them. This paper proposes mission-driven resource management to control...

Understanding and Improving the Performance Consistency of Distributed Computing Systems

With the increasing adoption of distributed systems in both academia and industry, and with the increasing computational and storage requirements of distributed applications, users inevitably demand more from these systems. Moreover, users also depend on these systems for latency and throughput sensitive applications, such as interactive...

Network Resource Awareness and Prediction on Mobile Devices

In the past several years, personal mobile devices have developed rapidly as versatile computing platforms, capable of installing and running many different applications. Often, these devices are equipped with multiple (wireless) network interfaces supporting internet access through one or more networks. The availability of these networks is...

Performance analysis of multichannel medium access control algorithms for opportunistic spectrum access

In this paper, different control channel (CC) implementations for multichannel medium access control (MAC) algorithms are compared and analyzed in the context of opportunistic spectrum access (OSA) as a function of spectrum-sensing performance and licensed user activity. The analysis is based on a discrete Markov chain model of a subset of...

Making Water Everyone's Business

Vision Statement and Key Messages Vision statement Actions needed Responsibility for implementation The Use of Water Today The world's water resources Main uses of water for human purposes Threats to nature-and to people Key water management issues Water Futures Turning points in water futures Scenarios and models Projected water use and water...