Thermal sensing is one of the most commonly desired features in IoT devices to monitor either environmental or system/chip conditions. An accurate temperature sensor usually requires carefully calibrated, high-accuracy ADCs, which prevents their use in ultra-low-power sensor nodes. In some sensing architectures, a highly accurate timing reference can replace the ADC [1]. With this in mind, we o...

Road Traffic Crash (RTC) is the eighth leading cause of death globally. In a recent World Health Organization report, there were 5,192 RTC deaths reported from Pakistan in 2010. The Road Traffic Injury Research and Prevention Center (RTIRPC) is a unique public-private public health enterprise in Karachi, and collects data from five major public and private hospitals' emergency departments in th...

To analyze complex and heterogeneous real-time embedded systems, recent works have proposed interface techniques between real-time calculus (RTC) and timed automata (TA), in order to take advantage of the strengths of each technique for analyzing various components. But the time to analyze a state-based component modeled by TA may be prohibitively high, due to the state space explosion problem....

This document describes the behavior of signaling intermediaries in Real-Time Communication (RTC) deployments, sometimes referred to as Session Border Controllers (SBCs), when performing Hosted NAT Traversal (HNT). HNT is a set of mechanisms, such as media relaying and latching, that such intermediaries use to enable other RTC devices behind NATs to communicate with each other. This document is...

This document describes the behavior of signaling intermediaries in Real-Time Communication (RTC) deployments, sometimes referred to as Session Border Controllers (SBCs), when performing Hosted NAT Traversal (HNT). HNT is a set of mechanisms, such as media relaying and latching, that such intermediaries use to enable other RTC devices behind NATs to communicate with each other. This document is...

The asymptotic regimes of the N-site complex Toda chain (CTC) with fixed ends related to the classical series of simple Lie algebras are classified. It is shown that the CTC models have much richer variety of asymptotic regimes than the real Toda chain (RTC). Besides asymp-totically free propagation (the only possible regime for the RTC), CTC allow bound state regimes, various intermediate regi...

Architecture Analysis and Design Language (AADL) captures both platform and software architectures of embedded systems in a component oriented fashion. Properties embedded in an AADL model enable several high-level analysis techniques. In this work, we explore how to perform analysis of end-to-end timing characteristics of an AADL model using Real-Time Calculus (RTC). We identify properties of ...

In this work, a novel Robin transmission condition (RTC)-enhanced discontinuous Galerkin (DG) method is proposed for the dc IR-drop analysis of power distribution networks with Joule heating effects included. Unlike conventional DG method, straightforwardly applied to discretize second-order spatial partial differential governing equations electrostatic potential <inline-formula xmlns:mml="http...

This paper presents an exploratory study into the use of real-time communication (RTC) systems to support distributed work. Motivated by the authors’ dissatisfaction with theories assuming individually rational actors, the paper suggests the idea of informated presence to capture phenomena emerging from employees’ increasingly computer-mediated engagement with their work environment. Four case ...

AIMS This article presents the validation study of a questionnaire (MAC2-A), created to assess motivation for change in Italian adult subjects with alcohol related problems who require or are referred for assessment and treatment. The questionnaire evaluates readiness to change (RTC), self-efficacy and discrepancy. METHODS The questionnaire was validated on 419 subjects referred to 23 health ...