NDLI: Safe system-level concurrency on resource-constrained nodes

Please wait, while we are loading the content...

Chaos: versatile and efficient all-to-all data sharing and in-network processing at scale

iSleep: unobtrusive sleep quality monitoring using smartphones

Piggyback CrowdSensing (PCS): energy efficient crowdsourcing of mobile sensor data by exploiting smartphone app opportunities

Carat: collaborative energy diagnosis for mobile devices

Accelerometer-based transportation mode detection on smartphones

Powering indoor sensing with airflows: a trinity of energy harvesting, synchronous duty-cycling, and sensing

The sound of silence

Projection matrix optimisation for compressive sensing based applications in embedded systems

A sensor data streaming service for visualizing urban public spaces

Let the tree Bloom: scalable opportunistic routing with ORPL

Lifestreams: a modular sense-making toolset for identifying important patterns from everyday life

FOCUS: clustering crowdsourced videos by line-of-sight

Safe system-level concurrency on resource-constrained nodes

Social-Loc: improving indoor localization with social sensing

Sentinel: occupancy based HVAC actuation using existing WiFi infrastructure within commercial buildings

SocialWeaver: collaborative inference of human conversation networks using smartphones

Exploiting physical layer information to mitigate cross-technology interference effects on low-power wireless networks

Exploiting ultra-low-power ultrasonic wake-up triggering for sensor nodes distance measurements

Practical error correction for resource-constrained wireless networks: unlocking the full power of the CRC

iDiary: from GPS signals to a text-searchable diary

coRide: carpool service with a win-win fare model for large-scale taxicab networks

Minerva: distributed tracing and debugging in wireless sensor networks

$E^{3}:$ energy-efficient engine for frame rate adaptation on smartphones

Monjolo: an energy-harvesting energy meter architecture

Real-time classification via sparse representation in acoustic sensor networks

AMRITA remote triggered wireless sensor network laboratory framework

Comparison of two paradigms for image analysis in visual sensor networks

Temperature hints for sensornet routing

FOCUS: clustering crowdsourced videos by line-of-sight

Smart traffic monitoring with participatory sensing

Interoperable mobile agents in heterogeneous wireless sensor networks

An adaptive energy management scheme for real-time landslide detection

Mirage: body motion and activity recognition using off-body static electric field sensing

Revealing the limits of spatio-temporal high-resolution pollution maps

mockSensor: faking remote sensors as embedded sensors for a functional enhancement of Android

SparseGPS: energy efficient GPS acquisition via sparse approximation

High-fidelity environmental monitoring using wireless sensor networks

A robust iterative filtering technique for wireless sensor networks in the presence of malicious attacks

ProvinciaSense: extending the capillary WiFi infrastructure of Lazio region with static and mobile sensor networks

Network sensing through smartphone-based crowdsourcing

Exploring smartphone-based participatory computing to improve pervasive surveillance

A site properties assessment framework for wireless sensor networks

A Cooja-based tool for maintaining sensor network coverage requirements in a building

YAMATO: a wearable floor map generation system

Supporting interoperability of things in IoT systems

CoSense: a collaborative sensing platform for mobile devices

BodySim: a multi-domain modeling and simulation framework for body sensor networks research and design

A reliable wireless nurse call system: overview and pilot results from a summer camp for teenagers with duchenne muscular dystrophy

Powering indoor sensing with airflows: a trinity of energy harvesting, synchronous duty-cycling, and sensing

WSN-aided people localization: a ray tracing network planning and performance analysis tool

A user-centric mobility sensing system for transportation activity surveys

Towards spatial macroprogramming for sensing and actuating robot swarms

Kintense: a robust, accurate, real-time and evolving system for detecting aggressive actions from streaming 3D skeleton data

Fine-grained analysis of packet loss symptoms in wireless sensor networks

Plants as sensing devices: the PLEASED experience

Using a platform for mobile gesture-based interaction to control smart objects

Self-organized Bluetooth scatternets for wireless sensor networks

Unobtrusive indoor surveillance of patients at home using multiple Kinect sensors

Plug&Play site management or, why your solar panel should be like your webcam

Improving energy predictions in EH-WSNs with Pro-Energy-VLT

Introducing the MagoNode platform

User profiling and micro-accounting for smart energy management

Adaptive cross-layer routing for underwater acoustic sensor networks with the SUNSET framework

SUNSET: an innovative framework for underwater simulation, emulation and real-life testing

Disambiguating household energy-harvesting energy meter data streams

Communication in extreme wireless sensor networks

Building embedded applications via REST services for the internet of things

Synchronous transmissions enable simple yet accurate protocol modeling

Bliss Buzzer, a system to monitor health and stress with real-time feedback

Structural health monitoring in an underground construction site: the roman experience

Extrapolation from participatory sensing data

Using unlabeled Wi-Fi scan data to discover occupancy patterns of private households

Securing data provenance in body area networks using lightweight wireless link fingerprints

Adapting protocol characteristics of CoAP using sensed indication for vehicular analytics

Understanding the effects of carrier frequency difference in concurrent transmission

Pushing a standard wireless sensor network stack for ultra-low data rates

ThermoSense: thermal array sensor networks in building management

Directional transmissions and receptions for high throughput burst forwarding

HeartSense: estimating blood pressure and ECG from photoplethysmograph using smart phones

Are those trees messing with my wireless sensor network?

Twonet: large-scale wireless sensor network testbed with dual-radio nodes

Tracking smartphones using low-power sensor nodes

Towards TCP communication with the low power wireless bus

High-sensitivity cloud-offloaded instant GPS for indoor environments

Towards the benchmarking of ultra-low latency communication protocols for wireless sensor and actuator networks

A prototype system of the MAD-SS wide area sensor network using a weather balloon

Optimizing mission allocation in wireless sensor networks under geographically correlated failures

Ambient sound-based proximity detection with smartphones

KinSpace: to provide fall prevention using Kinect

Safe system-level concurrency on resource-constrained nodes

Content Provider	ACM Digital Library
Author	Rodriguez, Noemi Tsigas, Philippas Ierusalimschy, Roberto Landsiedel, Olaf Sant'Anna, Francisco
Abstract	Despite the continuous research to facilitate WSNs development, most safety analysis and mitigation efforts in concurrency are still left to developers, who must manage synchronization and shared memory explicitly. In this paper, we present a system language that ensures safe concurrency by handling threats at compile time, rather than at runtime. Based on the synchronous programming model, our design allows for a simple reasoning about concurrency that enables compile-time analysis resulting in deterministic and memory-safe programs. As a trade-off, our design imposes limitations on the language expressiveness, such as doing computationally-intensive operations and meeting hard real-time responsiveness. To show that the achieved expressiveness and responsiveness is sufficient for a wide range of WSN applications, we implement widespread network protocols and the CC2420 radio driver. The implementations show a reduction in source code size, with a penalty of memory increase below 10% in comparison to nesC. Overall, we ensure safety properties for programs relying on high-level control abstractions that also lead to concise and readable code.
Starting Page	1
Ending Page	14
Page Count	14
File Format	PDF
ISBN	9781450320276
DOI	10.1145/2517351.2517360
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2013-11-11
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in