Mobile — 89
NSL — 22
NSL Project — 2

RIOT OS: Towards an OS for the Internet of Things

by Sungyup Lee on 2016-04-12 17:43:42

Date : 2016. 04. 13(Wed) 2:00 P.M. Locate : EB5. 533 Presenter : Sungyup Lee   Title : RIOT OS: Towards an OS for the Internet of Things Author : Emmanuel Baccelli and Oliver Hahm, Mesut Gunes and Matthias Wahlisch Freie , Thomas C. Schmidt   Abstract : The Internet of Things (IoT) is characterized by heterogeneous devices. They range from very lightweight sensors powered by 8-bit microcontrollers (MCUs) to devices equipped with more powerful, but energy-efficient 32-bit processors. Neither a traditional operating system (OS) currently running on Internet hosts, nor typical OS for sensor networks are capable to fulfill the diverse requirements of such a wide range of devices. To leverage the IoT, redundant development should be avoided and maintenance costs should be reduced. In this paper we revisit the requirements for an OS in the IoT. We introduce RIOT OS, an OS that explicitly considers devices with minimal resources but ... Continue reading →


Ravel: Programming IoT Applications as Distributed Models, Views, and Controllers

by Ikhee Shin on 2016-04-04 13:38:14

Date : 2016. 04. 06(Wed) 11:00 A.M. Locate : EB5. 533 Presenter : Ikhee Shin   Title : Ravel: Programming IoT Applications as Distributed Models, Views, and Controllers Author : Laurynas Riliskis, James Hong & Philip Levis   Abstract : The embedded sensor networks are a promising technology to improve our life with home and industrial automation, health monitoring, and sensing and actuation in agriculture. Fitness trackers, thermostats, door locks are just a few examples of Internet of Things that have already become part of our everyday life. Despite advances in sensors, microcontrollers, signal processing, networking and programming languages, developing an Internet of Things application is a laborious task. Many of these complex distributed systems share a 3-tier architecture consisting of embedded nodes, gateways that connect an embedded network to the wider Internet and data services in servers or the cloud. Yet the ... Continue reading →


Spatial Computing

by Seula Hwang on 2016-03-18 17:54:56

Date : 2016. 03. 30(Wed) 11:00 A.M. Locate : EB5. 533 Presenter : Seula Hwang   Title : Spatial Computing Author : Shashi Shekhar, Steven K. Feiner, Walid G. Aref   Abstract : Spatial computing encompasses the ideas, solutions, tools, technologies, and systems that transform our lives by creating a new understanding of locations—how we know, communicate, and visualize our relationship to locations and how we navigate through them. Pervasive GPS allows hikers in national parks, boaters on lakes, children visiting new places, and taxis (or Uber drivers or self-driving cars) and unmanned aerial vehicles to know their locations, nearby facilities, and routes to reach places of interest.   Proceeding : Communications Communications of the ACM, Vol. 59 No. 1, Pages 72-81 10.1145/2756547 Continue reading →


dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel

by Sihyeong Park on 2016-03-10 21:30:17

Date: 2016. 03. 16 (Wed) 11:00 A.M. indefinite delay Locate: EB5. 533 Presenter: Sihyeong Park   Title: dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel Author: Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann   Abstract: Because of shrinking structure sizes and operating voltages, computing hardware exhibits an increasing susceptibility against transient hardware faults: Issues previously only known from avionics systems, such as bit flips caused by cosmic radiation, nowadays also affect automotive and other cost-sensitive “ground-level” control systems. For such cost-sensitive systems, many software-based measures have been suggested to harden applications against transient effects. However, all these measures assume that the underlying operating system works reliably in all cases. We present software-based concepts for constructing an ... Continue reading →


Monitoring Building Door Events using Barometer Sensor in Smartphones

by Jinse Kwon on 2016-03-04 16:28:02

Date : 2016. 03. 09 (Wed) 11:00 A.M. Locate : EB5. 533 Presenter : Jinse Kwon   Title : Monitoring Building Door Events using Barometer Sensor in Smartphones Author : Muchen Wu, Parth H. Pathak, Prasant Mohapatra   Abstract : Building security systems are commonly deployed to detect intrusion and burglary in home and business structures. Such systems can accurately detect door open/close events, but their high-cost of installation and maintenance makes them unsuitable for certain building monitoring applications, such as times of high/low entrance traffic, estimating building occupancy, etc. In this paper, we show that barometer sensors found in latest smartphones can directly detect the building door open/close events anywhere inside an insulated building. The sudden pressure change observed by barometers is sufficient to detect events even in presence of user mobility (e.g. climbing stairs). We study various characteristics of ... Continue reading →


WearDrive: Fast and Energy-Efficient Storage for Wearables

by Jemin Lee on 2016-02-18 17:05:11

Date : 2016. 02. 29. (Mon.) 03:00 P.M. Locate : EB5. 533 Presenter : Jemin Lee   Title: WearDrive: Fast and Energy-Efficient Storage for Wearables Author: Huang J, Badam A, Chandra R, Nightingale EB   Abstract Size and weight constraints on wearables limit their battery capacity and restrict them from providing rich functionality. The need for durable and secure storage for personal data further compounds this problem as these features incur energy-intensive operations. This paper presents WearDrive, a fast storage system for wearables based on battery-backed RAM and an efficient means to offload energy intensive tasks to the phone. WearDrive leverages low-power network connectivity available on wearables to trade the phone’s battery for the wearable’s by performing large and energy-intensive tasks on the phone while performing small and energy-efficient tasks locally using battery-backed RAM. WearDrive improves the performance of ... Continue reading →


전달세미나 : 2016 PRML winter school

by Jinse Kwon on 2016-02-12 11:15:12

Date : 2016. 02. 15 (Mon) 3:00 P.M. Locate : EB5. 533 Presenter : Jinse Kwon Seminar Title : Reviews for 2016 Pattern Recognition and Machine Learning winter school Continue reading →


Heart rate variability & 전달세미나: HCI Korea 2016

by Jinyoung Choi on 2016-01-21 18:00:13

Date : 2016. 02. 01 (Mon) 3:00 P.M. Locate : EB5. 533 Presenter : Jinyoung Choi   Title : Heart rate variablity & 전달세미나: HCI Korea 2016 Author : Marek Malik, J. Thomas Bigger, A. John Camm, Robert E. Kleiger, Alberto Malliani, Arthur J. Moss, Peter J. Schwartz   Abstract   The last two decades have witnessed the recognition of a significant relationship between the autonomic nervous system and cardiovascular mortality, including sudden cardiac death. Experimental evidence for an association between a propensity for lethal arrhythmias and signs of either increased sympathetic or reduced vagal activity has encouraged the development of quantitative markers of autonomic activity. Heart rate variability (HRV) represents one of the most promising such markers. The apparently easy derivation of this measure has opularized its use. ... Continue reading →


전달 세미나: 2016 CES and ICCE, KSCI

by Jinyoung Choi on 2016-01-16 19:26:11

Date : 2016. 01. 18 (Mon) 3:00 P.M. Locate : EB5. 533 Presenter : Jemin Lee, Jinyoung Choi Seminar Title : Reviews for 2016 CES and ICCE, KSCI 2016   Continue reading →


An Open Source Space Hypervisor For Small Satellites

by Jooyeob Kim on 2016-01-04 14:43:14

Date : 2016. 1. 4 (Mon) 3:00 P.M. Locate : EB5. 533 Presenter : Jooyeob Kim   Title : An Open Source Space Hypervisor For Small Satellites Author : Andrew D. Santangelo   Abstract The QuickSAT/Xen using the ARLX extensions is a space hypervisor that will support the virtualization of satellite payloads, systems and software modules on a full range of small satellites including CubeSATs and MicroSATs. ARLX is a set of extensions implemented in version 4.3 of the open source Xen hypervisor utilizing robust automation tools to test and validate the security and related safety of this environment. ARLX implements the ARINC 653 partitioning standard, isolating applications running on the same platform and providing high levels of certified safety and security. QuickSAT™ with the open source stepSATdb data architecture is a satellite design, mission planning, and product lifecycle management framework and environment. It is currently in use on ... Continue reading →


MarketNet: An Asymmetric Transmission Power-based Wireless System for ...

by Wonjun Hwang on 2015-12-10 15:33:32

Date : 2015. 12. 10 (Mon) 10:00 A.M. Locate : EB5. 533 Presenter : Wonjun Hwang   Title : MarketNet: An Asymmetric Transmission Power-based Wireless System for Managing e-Price Tags in Markets Author : Hyung-Sin Kim, Hosoo Cho, Myung-Sup Lee, Jeongyeup Paek, JeongGil Ko, Saewoong Bahk Seoul National University, Chung-Ang University, Ajou Univerisity   Abstract Updating price tags in a large-scale market is a recurrent task, still performed manually in most markets. Given that human-errors can easily lead to customer complaints and accounting inaccuracies, the ability to autonomously reconfigure price tags can be of significant benefit. With the introduction of low-power display techniques such as electronic ink, applications of enabling electronic, wirelessly reconfigurable price tags show potential for future deployment. In this work, we examine networking architectures that can be applied in such scenarios. ... Continue reading →


ALPS: A Bluetooth and Ultrasound Platform for Mapping and Localization

by Jinse Kwon on 2015-12-03 11:56:42

Date : 2015. 12. 03 (Mon) 10:00 A.M. Locate : EB5. 533 Presenter : Jinse Kwon   Title : ALPS: A Bluetooth and Ultrasound Platform for Mapping and Localization Author : Patrick Lazik, Niranjini Rajagopal, Oliver Shih, Bruno Sinopoli, Anthony Rowe Carnegie Mellon University   Abstract   The proliferation of Bluetooth Low-Energy (BLE) chipsets on mobile devices has lead to a wide variety of userinstallable tags and beacons designed for location-aware applications. In this paper, we present the Acoustic Location Processing System (ALPS), a platform that augments BLE transmitters with ultrasound in a manner that improves ranging accuracy and can help users configure indoor localization systems with minimal effort. A user places three or more beacons in an environment and then walks through a calibration sequence with their mobile device where they touch key points in the environment ... Continue reading →


Designing Content-driven Intelligent Notification Mechanisms for Mobile Applications

by Jemin Lee on 2015-11-26 21:21:36

Date : 2015. 11. 30. (Mon.) 10:00 A.M. Locate : EB5. 533 Presenter : Jemin Lee   Title: Designing Content-driven Intelligent Notification Mechanisms for Mobile Applications Author: Abhinav Mehrotra, Mirco Musolesi, Robert Hendley, Veljko Pejovic Abstract An increasing number of notifications demanding the smartphone user's attention, often arrive at an inappropriate moment, or carry irrelevant content. In this paper we present a study of mobile user interruptibility with respect to notification content, its sender, and the context in which a notification is received. In a real-world study we collect around 70,000 instances of notifications from 35 users. We group notifications according to the applications that initiated them, and the social relationship between the sender and the receiver. Then, by considering both content and context information, such as the current activity of a user, we discuss the design of classifiers for learning ... Continue reading →


InterruptMe: Designing Intelligent Prompting Mechanisms for Pervasive Applications

by Jinyoung Choi on 2015-11-16 16:07:36

Date : 2015. 11. 23. (Mon) 10:00 A.M. Locate : EB5. 533 Presenter : Jinyoung Choi   Title : InterruptMe: Designing Intelligent Prompting Mechanisms for Pervasive Applications Author : Veljko Pejovic  University of Birmingham, United Kingdom   Abstract   The mobile phone represents a unique platform for interactive applications that can harness the opportunity of an immediate contact with a user in order to increase the impact of the delivered information. However, this accessibility does not necessarily translate to reachability, as recipients might refuse an initiated contact or disfavor a message that comes in an inappropriate moment. In this paper we seek to answer whether, and how, suitable moments for interruption can be identified and utilized in a mobile system. We gather and analyze a real-world smartphone data trace and show that users’ broader context, including their activity, location, time of day, emotions and ... Continue reading →


Optimising Hot Paths in a Dynamic Binary Translator.

by Jooyeob Kim on 2015-10-19 11:07:06

Date : 2015. 10. 26 (Mon) 10:00 A.M. Locate : EB5. 533 Presenter : Jooyeob Kim   Title : Optimising Hot Paths in a Dynamic Binary Translator. Author : David Ung , Cristina Cifuentes   Abstract   In dynamic binary translation, code is translated "on the fly" at run-time, while the user perceives ordinary execution of the program on the target machine. Code fragments that are frequently executed follow the same sequence of flow control over a period of time. These fragments form a hot path and are optimised to improve the overall performance of the program. Multiple hot paths may also exist in programs. A program may choose to execute in one hot path for some time, but later switch to another hot path, or even cycle between hot paths. Hence, each hot path is able to capture the most frequent execution pattern for a particular run-time stage of the program. The end result is that scattered code is collectec~ merged and optimised in a ... Continue reading →