Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
The C programming language
Modula-3
Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
On-the-fly detection of data races for programs with nested fork-join parallelism
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
Programming in Oberon: steps beyond Pascal and Modula
Programming in Oberon: steps beyond Pascal and Modula
Active messages: a mechanism for integrated communication and computation
ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
A methodology for implementing highly concurrent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Making paths explicit in the Scout operating system
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
Eraser: a dynamic data race detector for multithreaded programs
ACM Transactions on Computer Systems (TOCS)
The Flux OSKit: a substrate for kernel and language research
Proceedings of the sixteenth ACM symposium on Operating systems principles
Units: cool modules for HOT languages
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Proceedings of the seventeenth ACM symposium on Operating systems principles
Enforcing high-level protocols in low-level software
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
System architecture directions for networked sensors
ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
Embedded Control Systems Development with Giotto
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Calibration as parameter estimation in sensor networks
WSNA '02 Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications
Wireless sensor networks for habitat monitoring
WSNA '02 Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications
Maté: a tiny virtual machine for sensor networks
Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
BCOOPL: A Language for Controlling Component Interactions
The Journal of Supercomputing
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Architectural Reasoning in ArchJava
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Think: A Software Framework for Component-based Operating System Kernels
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
Experience with processes and monitors in Mesa (Summary)
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Impact of Network Density on Data Aggregation in Wireless Sensor Networks
ICDCS '02 Proceedings of the 22 nd International Conference on Distributed Computing Systems (ICDCS'02)
TAG: a Tiny AGgregation service for Ad-Hoc sensor networks
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Knit: component composition for systems software
OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
Computation hierarchy for in-network processing
WSNA '03 Proceedings of the 2nd ACM international conference on Wireless sensor networks and applications
Capriccio: scalable threads for internet services
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Evolving real-time systems using hierarchical scheduling and concurrency analysis
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
TOSSIM: accurate and scalable simulation of entire TinyOS applications
Proceedings of the 1st international conference on Embedded networked sensor systems
Exposing resource tradeoffs in region-based communication abstractions for sensor networks
ACM SIGCOMM Computer Communication Review
Flexible power scheduling for sensor networks
Proceedings of the 3rd international symposium on Information processing in sensor networks
Hood: a neighborhood abstraction for sensor networks
Proceedings of the 2nd international conference on Mobile systems, applications, and services
Implementing software on resource-constrained mobile sensors: experiences with Impala and ZebraNet
Proceedings of the 2nd international conference on Mobile systems, applications, and services
Energy-efficient surveillance system using wireless sensor networks
Proceedings of the 2nd international conference on Mobile systems, applications, and services
The platforms enabling wireless sensor networks
Communications of the ACM - Wireless sensor networks
Race checking by context inference
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
An ultra low-power processor for sensor networks
ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
Deadline Analysis of Interrupt-Driven Software
IEEE Transactions on Software Engineering
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Sensor network-based countersniper system
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
A sensor network application construction kit (SNACK)
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
TinySec: a link layer security architecture for wireless sensor networks
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
ELF: an efficient log-structured flash file system for micro sensor nodes
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
Simulating the power consumption of large-scale sensor network applications
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
Flexible hardware abstraction of the TI MSP430 microcontroller in TinyOS
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
A line in the sand: a wireless sensor network for target detection, classification, and tracking
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Military communications systems and technologies
Directed flood-routing framework for wireless sensor networks
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
galsC: A Language for Event-Driven Embedded Systems
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
From the Editor in Chief: Days of Miracle and Wonder
IEEE Internet Computing
Establishing pairwise keys in distributed sensor networks
ACM Transactions on Information and System Security (TISSEC)
TinyDB: an acquisitional query processing system for sensor networks
ACM Transactions on Database Systems (TODS) - Special Issue: SIGMOD/PODS 2003
Programming ad-hoc networks of mobile and resource-constrained devices
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Software design patterns for TinyOS
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
A programming language for ad-hoc networks of mobile devices
LCR '04 Proceedings of the 7th workshop on Workshop on languages, compilers, and run-time support for scalable systems
A dynamic operating system for sensor nodes
Proceedings of the 3rd international conference on Mobile systems, applications, and services
Software composition and verification for sensor networks
Science of Computer Programming - Special issue on new software composition concepts
Group-based key pre-distribution in wireless sensor networks
Proceedings of the 4th ACM workshop on Wireless security
From statecharts to ESP: programming with events, states and predicates for embedded systems
Proceedings of the 5th ACM international conference on Embedded software
Proceedings of the 5th ACM international conference on Embedded software
Random testing of interrupt-driven software
Proceedings of the 5th ACM international conference on Embedded software
An overview of embedded system design education at berkeley
ACM Transactions on Embedded Computing Systems (TECS)
Cyclops: in situ image sensing and interpretation in wireless sensor networks
Proceedings of the 3rd international conference on Embedded networked sensor systems
VMSTAR: synthesizing scalable runtime environments for sensor networks
Proceedings of the 3rd international conference on Embedded networked sensor systems
Proceedings of the 3rd international conference on Embedded networked sensor systems
A reconfigurable group management middleware service for wireless sensor networks
MPAC '05 Proceedings of the 3rd international workshop on Middleware for pervasive and ad-hoc computing
Management and configuration issues for sensor networks
International Journal of Network Management
Eliminating stack overflow by abstract interpretation
ACM Transactions on Embedded Computing Systems (TECS)
Energy-efficient data organization and query processing in sensor networks
ACM SIGBED Review - Special issue: Best of sensys 2004 work-in-progress
Embedded system education: a new paradigm for engineering schools?
ACM SIGBED Review - Special issue: The first workshop on embedded system education (WESE)
Sdlib: a sensor network data and communications library for rapid and robust application development
Proceedings of the 5th international conference on Information processing in sensor networks
Towards radar-enabled sensor networks
Proceedings of the 5th international conference on Information processing in sensor networks
Platform-based design of wireless sensor networks for industrial applications
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Effective static race detection for Java
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Pluggable abstract domains for analyzing embedded software
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
BOTS: a constraint-based component system for synthesizing scalable software systems
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
snBench: programming and virtualization framework for distributed multitasking sensor networks
Proceedings of the 2nd international conference on Virtual execution environments
Infrastructure for Engineered Emergence on Sensor/Actuator Networks
IEEE Intelligent Systems
Exploring robust component-based software
Proceedings of the 2006 international workshop on Software quality
VigilNet: An integrated sensor network system for energy-efficient surveillance
ACM Transactions on Sensor Networks (TOSN)
An RSSI-based Scheme for Sybil Attack Detection in Wireless Sensor Networks
WOWMOM '06 Proceedings of the 2006 International Symposium on on World of Wireless, Mobile and Multimedia Networks
Virtual Sensors: Abstracting Data from Physical Sensors
WOWMOM '06 Proceedings of the 2006 International Symposium on on World of Wireless, Mobile and Multimedia Networks
ROVERS: Pervasive Computing Platform for Heterogeneous Sensor-Actuator Networks
WOWMOM '06 Proceedings of the 2006 International Symposium on on World of Wireless, Mobile and Multimedia Networks
Language support for interoperable messaging in sensor networks
SCOPES '05 Proceedings of the 2005 workshop on Software and compilers for embedded systems
Soma: a compositional language for distributed systems
ACM SIGPLAN Notices
A rule-based adaptive routing protocol for continuous data dissemination in WSNs
Journal of Parallel and Distributed Computing - Special issue: Algorithms for wireless and ad-hoc networks
GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks
InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
Issues in designing a compilation framework for macroprogrammed networked sensor systems
InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
Programming wireless sensor networks with logical neighborhoods
InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
A software framework for integrated sensor network applications
InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
Integrating wireless EEGs into medical sensor networks
Proceedings of the 2006 international conference on Wireless communications and mobile computing
Platform based design for wireless sensor networks
Mobile Networks and Applications
Beyond event handlers: programming wireless sensors with attributed state machines
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
Avrora: scalable sensor network simulation with precise timing
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
Multiple simultaneous acoustic source localization in urban terrain
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
Adaptive Electrocardiogram Feature Extraction on Distributed Embedded Systems
IEEE Transactions on Parallel and Distributed Systems
Virtual ring routing: network routing inspired by DHTs
Proceedings of the 2006 conference on Applications, technologies, architectures, and protocols for computer communications
Computation hierarchy for in-network processing
Mobile Networks and Applications
ActorNet: an actor platform for wireless sensor networks
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Low-power acoustic modem for dense underwater sensor networks
WUWNet '06 Proceedings of the 1st ACM international workshop on Underwater networks
Simulation of power-aware wireless sensor network architectures
Proceedings of the ACM international workshop on Performance monitoring, measurement, and evaluation of heterogeneous wireless and wired networks
Entirely declarative sensor network systems
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
EnviroSuite: An environmentally immersive programming framework for sensor networks
ACM Transactions on Embedded Computing Systems (TECS)
An implementation of hierarchical signal processing on wireless sensor in TinyOS environment
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Virgil: objects on the head of a pin
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Evaluating the use of motes and TinyOS for a mobile sensor platform
PDCN'06 Proceedings of the 24th IASTED international conference on Parallel and distributed computing and networks
Using logical neighborhoods to enable scoping in wireless sensor networks
Proceedings of the 3rd international Middleware doctoral symposium
TeenyLIME: transiently shared tuple space middleware for wireless sensor networks
Proceedings of the international workshop on Middleware for sensor networks
Multi-level software reconfiguration for sensor networks
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
A hierarchical coordination language for interacting real-time tasks
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
TinySeRSync: secure and resilient time synchronization in wireless sensor networks
Proceedings of the 13th ACM conference on Computer and communications security
t-kernel: providing reliable OS support to wireless sensor networks
Proceedings of the 4th international conference on Embedded networked sensor systems
Run-time dynamic linking for reprogramming wireless sensor networks
Proceedings of the 4th international conference on Embedded networked sensor systems
Protothreads: simplifying event-driven programming of memory-constrained embedded systems
Proceedings of the 4th international conference on Embedded networked sensor systems
The Tenet architecture for tiered sensor networks
Proceedings of the 4th international conference on Embedded networked sensor systems
Capturing high-frequency phenomena using a bandwidth-limited sensor network
Proceedings of the 4th international conference on Embedded networked sensor systems
liteOS: a lightweight operating system for C++ software development in sensor networks
Proceedings of the 4th international conference on Embedded networked sensor systems
A virtualizing OS kernel for wireless sensor networks
Proceedings of the 4th international conference on Embedded networked sensor systems
Score: a sensor core framework for cross-layer design
QShine '06 Proceedings of the 3rd international conference on Quality of service in heterogeneous wired/wireless networks
Interprocedural analysis of asynchronous programs
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficient indexing data structures for flash-based sensor devices
ACM Transactions on Storage (TOS)
Atomicity and visibility in tiny embedded systems
Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems
Efficient type and memory safety for tiny embedded systems
Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems
A service oriented architecture for wireless sensor and actor network applications
SAICSIT '06 Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Declarative failure recovery for sensor networks
Proceedings of the 6th international conference on Aspect-oriented software development
SLEDE: event-based specification of sensor network security protocols
ACM SIGSOFT Software Engineering Notes
A survey on wireless multimedia sensor networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
Expressing and exploiting concurrency in networked applications with aspen
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming
Pervasive games in a mote-enabled virtual world using tuple space middleware
NetGames '06 Proceedings of 5th ACM SIGCOMM workshop on Network and system support for games
RETOS: resilient, expandable, and threaded operating system for wireless sensor networks
Proceedings of the 6th international conference on Information processing in sensor networks
Interface contracts for TinyOS
Proceedings of the 6th international conference on Information processing in sensor networks
Beacon location service: a location service for point-to-point routing in wireless sensor networks
Proceedings of the 6th international conference on Information processing in sensor networks
The design and evaluation of a mobile sensor/actuator network for autonomous animal control
Proceedings of the 6th international conference on Information processing in sensor networks
Lucid dreaming: reliable analog event detection for energy-constrained applications
Proceedings of the 6th international conference on Information processing in sensor networks
Wireless sensor networks: A survey on the state of the art and the 802.15.4 and ZigBee standards
Computer Communications
Tasks: language support for event-driven programming
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Shooter localization and weapon classification with soldier-wearable networked sensors
Proceedings of the 5th international conference on Mobile systems, applications and services
Radio interferometric tracking of mobile wireless nodes
Proceedings of the 5th international conference on Mobile systems, applications and services
Triage: balancing energy and quality of service in a microserver
Proceedings of the 5th international conference on Mobile systems, applications and services
Mace: language support for building distributed systems
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Reliable and efficient programming abstractions for wireless sensor networks
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Offline compression for on-chip ram
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Programming sensor networks using abstract regions
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
Geographic routing made practical
NSDI'05 Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation - Volume 2
NSDI'05 Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation - Volume 2
Rapid Prototyping for Pervasive Applications
IEEE Pervasive Computing
IEEE Transactions on Mobile Computing
A virtual machine generator for heterogeneous smart spaces
VM'04 Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium - Volume 3
An application adaptation layer for wireless sensor networks
Pervasive and Mobile Computing
Interrupt Verification via Thread Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptive Low Power Listening for Wireless Sensor Networks
IEEE Transactions on Mobile Computing
Removing the memory limitations of sensor networks with flash-based virtual memory
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
A virtual machine for sensor networks
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Macroprogramming heterogeneous sensor networks using cosmos
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Software design patterns for TinyOS
ACM Transactions on Embedded Computing Systems (TECS) - Special Section LCTES'05
Automated reduction of the memory footprint of the Linux kernel
ACM Transactions on Embedded Computing Systems (TECS) - Special Section LCTES'05
A system for coarse grained memory protection in tiny embedded processors
Proceedings of the 44th annual Design Automation Conference
Increasing the reliability of wireless sensor networks with a distributed testing framework
Proceedings of the 4th workshop on Embedded networked sensors
Workflow support for wireless sensor and actor networks: a position paper
DMSN '07 Proceedings of the 4th workshop on Data management for sensor networks: in conjunction with 33rd International Conference on Very Large Data Bases
SLEDE: lightweight verification of sensor network security protocol implementations
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Vertical object layout and compression for fixed heaps
CASES '07 Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Why it's nice to be quoted: quasiquoting for haskell
Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Integrating concurrency control and energy management in device drivers
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
Program representations for testing wireless sensor network applications
Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting
SLEDE: lightweight verification of sensor network security protocol implementations
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Resource discovery in activity-based sensor networks
Mobile Networks and Applications
Scenes: Abstracting interaction in immersive sensor networks
Pervasive and Mobile Computing
A component-based architecture for power-efficient media access control in wireless sensor networks
Proceedings of the 5th international conference on Embedded networked sensor systems
Meeting lifetime goals with energy levels
Proceedings of the 5th international conference on Embedded networked sensor systems
Eon: a language and runtime system for perpetual systems
Proceedings of the 5th international conference on Embedded networked sensor systems
The design and implementation of a declarative sensor network system
Proceedings of the 5th international conference on Embedded networked sensor systems
Clairvoyant: a comprehensive source-level debugger for wireless sensor networks
Proceedings of the 5th international conference on Embedded networked sensor systems
Efficient memory safety for TinyOS
Proceedings of the 5th international conference on Embedded networked sensor systems
Exploring in-situ sensing irregularity in wireless sensor networks
Proceedings of the 5th international conference on Embedded networked sensor systems
Data forwarding in extremely low duty-cycle sensor networks with unreliable communication links
Proceedings of the 5th international conference on Embedded networked sensor systems
Flush: a reliable bulk transport protocol for multihop wireless networks
Proceedings of the 5th international conference on Embedded networked sensor systems
A 6LoWPAN application environment
Proceedings of the 5th international conference on Embedded networked sensor systems
Mitigating DoS attacks against broadcast authentication in wireless sensor networks
ACM Transactions on Sensor Networks (TOSN)
Programming models for sensor networks: A survey
ACM Transactions on Sensor Networks (TOSN)
Group-based key predistribution for wireless sensor networks
ACM Transactions on Sensor Networks (TOSN)
Distributed Authentication of Program Integrity Verification in Wireless Sensor Networks
ACM Transactions on Information and System Security (TISSEC)
Slede: a domain-specific verification framework for sensor network security protocol implementations
WiSec '08 Proceedings of the first ACM conference on Wireless network security
Context as autonomic intelligence in a ubiquitous computing environment
International Journal of Internet Protocol Technology
State-oriented programming for TinyOS
Proceedings of the 2007 Summer Computer Simulation Conference
MOCUS: moving object counting using ultrasonic sensor networks
International Journal of Sensor Networks
Cryptanalysis of an elliptic curve cryptosystem for wireless sensor networks
International Journal of Security and Networks
Elliptic curve cryptography-based access control in sensor networks
International Journal of Security and Networks
Proceedings of the 2008 ACM symposium on Applied computing
Testing pervasive software in the presence of context inconsistency resolution services
Proceedings of the 30th international conference on Software engineering
The LiteOS Operating System: Towards Unix-Like Abstractions for Wireless Sensor Networks
IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks
TinyECC: A Configurable Library for Elliptic Curve Cryptography in Wireless Sensor Networks
IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks
When Timing Matters: Enabling Time Accurate and Scalable Simulation of Sensor Network Applications
IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks
Seluge: Secure and DoS-Resistant Code Dissemination in Wireless Sensor Networks
IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks
Architecting reconfigurable component-based operating systems
Journal of Systems Architecture: the EUROMICRO Journal
Race directed random testing of concurrent programs
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Dataflow analysis for concurrent programs using datarace detection
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Tinycasper: a privacy-preserving aggregate location monitoring system in wireless sensor networks
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Resource management aspects for sensor network software
Proceedings of the 4th workshop on Programming languages and operating systems
A high-performance operating system for structured concurrent programs
Proceedings of the 4th workshop on Programming languages and operating systems
Energy-aware compilation for wireless sensor networks
Proceedings of the 2nd international workshop on Middleware for sensor networks
Attack-Resistant Location Estimation in Wireless Sensor Networks
ACM Transactions on Information and System Security (TISSEC)
Scalable and efficient key management for heterogeneous sensor networks
The Journal of Supercomputing
Implementing public-key infrastructure for sensor networks
ACM Transactions on Sensor Networks (TOSN)
ACM Transactions on Sensor Networks (TOSN)
Wireless sensor network survey
Computer Networks: The International Journal of Computer and Telecommunications Networking
Flask: staged functional programming for sensor networks
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Randomized active atomicity violation detection in concurrent programs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Model checking sequential software programs via mixed symbolic analysis
ACM Transactions on Design Automation of Electronic Systems (TODAES)
On-body activity recognition in a dynamic sensor network
Proceedings of the ICST 2nd international conference on Body area networks
Practical asynchronous neighbor discovery and rendezvous for mobile sensing applications
Proceedings of the 6th ACM conference on Embedded network sensor systems
Dustminer: troubleshooting interactive complexity bugs in sensor networks
Proceedings of the 6th ACM conference on Embedded network sensor systems
A methodology for in-network evaluation of integrated logical-statistical models
Proceedings of the 6th ACM conference on Embedded network sensor systems
Resource aware programming in the Pixie OS
Proceedings of the 6th ACM conference on Embedded network sensor systems
MacroLab: a vector-based macroprogramming framework for cyber-physical systems
Proceedings of the 6th ACM conference on Embedded network sensor systems
Bringing sensor networks underwater with low-power acoustic communications
Proceedings of the 6th ACM conference on Embedded network sensor systems
Expressive and modular predicate dispatch for Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards policy-based management of sensor networks
Proceedings of the 3rd international workshop on Middleware for sensor networks
Design and evaluation of reliable data transmission protocol in wireless sensor networks
Mobile Information Systems - Information Assurance and Advanced Human-Computer Interfaces
Energy-efficient relaxed rekeying policies for distributed key management in sensor networks
International Journal of Ad Hoc and Ubiquitous Computing
Verifying liveness for asynchronous programs
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
THAWS: automated design and deployment of heterogeneous wireless sensor networks
WSEAS Transactions on Circuits and Systems
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Implementing Flexible Parallelism for Modular Self-reconfigurable Robots
SIMPAR '08 Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots
SSS '08 Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
ICISS '08 Proceedings of the 4th International Conference on Information Systems Security
An Object-Oriented Component Model for Heterogeneous Nets
Formal Methods for Components and Objects
Proceedings of the 6th International Conference on Advances in Mobile Computing and Multimedia
Algorithms for Location Estimation Based on RSSI Sampling
Algorithmic Aspects of Wireless Sensor Networks
Dynamic Source Routing versus Greedy Routing in a Testbed Sensor Network Deployment
EWSN '09 Proceedings of the 6th European Conference on Wireless Sensor Networks
Failure detectors for wireless sensor-actuator systems
Ad Hoc Networks
Ubiquitous personal assistive system for neuropathy
Proceedings of the 2nd International Workshop on Systems and Networking Support for Health Care and Assisted Living Environments
Programming wireless sensor networks with the TeenyLime middleware
Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware
An Interactive, Source-Centric, Open Testbed for Developing and Profiling Wireless Sensor Systems
International Journal of Distributed Sensor Networks
Lightweight monitoring of sensor software
Proceedings of the 2009 ACM symposium on Applied Computing
SCOPE - Sensor Mote Configuration and Operation Enhancement
ARCS '09 Proceedings of the 22nd International Conference on Architecture of Computing Systems
Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS
Science of Computer Programming
COOJA/MSPSim: interoperability testing for wireless sensor networks
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Linux Kernel Compaction through Cold Code Swapping
Transactions on High-Performance Embedded Architectures and Compilers II
Eliminating the call stack to save RAM
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
A semantic middleware for autonomic wireless sensor networks
WMUPS '09 Proceedings of the 2009 Workshop on Middleware for Ubiquitous and Pervasive Systems
Wireless Sensor Networks for precision horticulture in Southern Spain
Computers and Electronics in Agriculture
ISNN 2009 Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part III
Comprehensive Optimization of Declarative Sensor Network Queries
SSDBM 2009 Proceedings of the 21st International Conference on Scientific and Statistical Database Management
Context-oriented programming with EventJava
International Workshop on Context-Oriented Programming
nAIT: A source analysis and instrumentation framework for nesC
Journal of Systems and Software
Enhanced Coordination in Sensor Networks through Flexible Service Provisioning
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Component-Based Real-Time Operating System for Embedded Applications
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
THAWS: automated wireless sensor network development and deployment
ICC'08 Proceedings of the 12th WSEAS international conference on Circuits
TinyNET: a tiny network framework for TinyOS
Proceedings of the 2009 International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly
Wireless sensor network operating systems: a survey
International Journal of Sensor Networks
Asserting and checking determinism for multithreaded programs
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Journal of Systems and Software
Type-specialized staged programming with process separation
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming
UbiSOA Dashboard: Integrating the Physical and Digital Domains through Mashups
Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009
Deciding branching time properties for asynchronous programs
Theoretical Computer Science
Design and evaluation of lightweight middleware for personal wireless body area network
Personal and Ubiquitous Computing
On meeting lifetime goals and providing constant application quality
ACM Transactions on Sensor Networks (TOSN)
EventJava: An Extension of Java for Event Correlation
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol
Electronic Notes in Theoretical Computer Science (ENTCS)
Self-destruction procedure for mesh wireless sensor networks
SMO'09 Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimization
Surviving sensor network software faults
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Multimedia sensor networks: an approach based on 3D real-time reconstruction
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Bursty traffic over bursty links
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
TOSThreads: thread-safe and non-invasive preemption in TinyOS
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
Macrodebugging: global views of distributed program execution
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
Evaluating a BASIC approach to sensor network node programming
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
Mercury: a wearable sensor network platform for high-fidelity motion analysis
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
YETI: an Eclipse plug-in for TinyOS 2.1
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
Wireless sensor networks for personal health monitoring: Issues and an implementation
Computer Communications
Modeling and executing adaptive sensor network applications with the Matilda UML virtual machine
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Flexible integration of data qualities in wireless sensor networks
Proceedings of the 4th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks
International Journal of Sensor Networks
A flexible approach to WSN development and deployment
International Journal of Sensor Networks
A dynamic platform for run-time adaptation
Pervasive and Mobile Computing
Embedded architecture description language
Journal of Systems and Software
Sidewinder: a predictive data forwarding protocol for mobile wireless sensor networks
SECON'09 Proceedings of the 6th Annual IEEE communications society conference on Sensor, Mesh and Ad Hoc Communications and Networks
Generative dynamic deployment of multiple components in wireless sensor networks
WONS'09 Proceedings of the Sixth international conference on Wireless On-Demand Network Systems and Services
Fine-Grained Tailoring of Component Behaviour for Embedded Systems
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Continuous observation and archival of acoustic scenes using wireless sensor networks
DSP'09 Proceedings of the 16th international conference on Digital Signal Processing
Race-free and memory-safe multithreading: design and implementation in cyclone
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
Challenging VMs on battery-powered embedded devices
Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages
Link layer driver architecture for unified radio power management in wireless sensor networks
ACM Transactions on Embedded Computing Systems (TECS)
Wireless sensor networks for soil science
International Journal of Sensor Networks
Distributed data flow language for multi-party protocols
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
Versatile support for efficient neighborhood data sharing
EWSN'07 Proceedings of the 4th European conference on Wireless sensor networks
Multithreading optimization techniques for sensor network operating systems
EWSN'07 Proceedings of the 4th European conference on Wireless sensor networks
A case study on prototyping power management protocols for sensor networks
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
A pursuer-evader game for sensor networks
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Reinventing computing for real time
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
A concurrency abstraction for reliable sensor network applications
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
A compilation framework for macroprogramming networked sensors
DCOSS'07 Proceedings of the 3rd IEEE international conference on Distributed computing in sensor systems
Protocols for traffic safety using wireless sensor network
ICA3PP'07 Proceedings of the 7th international conference on Algorithms and architectures for parallel processing
Experience with safe dynamic reconfigurations in component-based embedded systems
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Science of Computer Programming
Leveraging fuzzy query processing to support applications in wireless sensor networks
Proceedings of the 2010 ACM Symposium on Applied Computing
Tool-aided design and implementation of indoor surveillance wireless sensor network
SAMOS'07 Proceedings of the 7th international conference on Embedded computer systems: architectures, modeling, and simulation
The Tenet architecture for tiered sensor networks
ACM Transactions on Sensor Networks (TOSN)
Secure group communication with self-healing and rekeying in wireless sensor networks
MSN'07 Proceedings of the 3rd international conference on Mobile ad-hoc and sensor networks
Programming wireless sensor networks with the TeenyLIME middleware
MIDDLEWARE2007 Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware
Statistical runtime checking of probabilistic properties
RV'07 Proceedings of the 7th international conference on Runtime verification
A methodology and supporting tools for the development of component-based embedded systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
OASiS: a service-oriented architecture for ambient-aware sensor networks
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
An algorithm for reconnecting wireless sensor network partitions
EWSN'08 Proceedings of the 5th European conference on Wireless sensor networks
FiGaRo: fine-grained software reconfiguration for wireless sensor networks
EWSN'08 Proceedings of the 5th European conference on Wireless sensor networks
NanoECC: testing the limits of elliptic curve cryptography in sensor networks
EWSN'08 Proceedings of the 5th European conference on Wireless sensor networks
EWSN'08 Proceedings of the 5th European conference on Wireless sensor networks
Adaptive holistic scheduling for query processing in sensor networks
Journal of Parallel and Distributed Computing
Impact of duty cycle variation on WSNs
NTMS'09 Proceedings of the 3rd international conference on New technologies, mobility and security
Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks
T-check: bug finding for sensor networks
Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks
Context-bounded analysis of concurrent queue systems
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Language-based optimisation of sensor-driven distributed computing applications
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Bundle: a group based programming abstraction for cyber physical systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
A concept lattice-based event model for Cyber-Physical Systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
A compact hard real-time operating system for wireless sensor nodes
INSS'09 Proceedings of the 6th international conference on Networked sensing systems
TinyModules: code module exchange in TinyOS
INSS'09 Proceedings of the 6th international conference on Networked sensing systems
Integrating heterogeneous components in software supply chains
Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering
Unit testing for wireless sensor networks
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications
Vertical object layout and compression for fixed heaps
Semantics and algebraic specification
Interaction-based programming towards translucent clouds: position paper
APLWACA '10 Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications
Elon: enabling efficient and long-term reprogramming for wireless sensor networks
Proceedings of the ACM SIGMETRICS international conference on Measurement and modeling of computer systems
On the feasibility of determining angular separation in mobile wireless sensor networks
MELT'09 Proceedings of the 2nd international conference on Mobile entity localization and tracking in GPS-less environments
MobiSense: Mobile body sensor network for ambulatory monitoring
ACM Transactions on Embedded Computing Systems (TECS)
Starburst SSD: an efficient protocol for selective dissemination
ICC'09 Proceedings of the 2009 IEEE international conference on Communications
LooCI: a loosely-coupled component infrastructure for networked embedded systems
Proceedings of the 7th International Conference on Advances in Mobile Computing and Multimedia
Building performance measurement tools for wireless sensor network operating systems
Proceedings of the 7th International Conference on Advances in Mobile Computing and Multimedia
Misco: a MapReduce framework for mobile systems
Proceedings of the 3rd International Conference on PErvasive Technologies Related to Assistive Environments
CentroidM: a centroid-based localization algorithm for mobile sensor networks
SBCCI '10 Proceedings of the 23rd symposium on Integrated circuits and system design
Adaptive spatiotemporal node selection in dynamic networks
Proceedings of the 19th international conference on Parallel architectures and compilation techniques
Exploring link correlation for efficient flooding in wireless sensor networks
NSDI'10 Proceedings of the 7th USENIX conference on Networked systems design and implementation
Nikola: embedding compiled GPU functions in Haskell
Proceedings of the third ACM Haskell symposium on Haskell
A logic approach to virtual sensor networks
Proceedings of the Fourteenth International Database Engineering & Applications Symposium
Simulating and testing mobile wireless sensor networks
Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems
Enix: a lightweight dynamic operating system for tightly constrained wireless sensor platforms
Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems
Scoped identifiers for efficient bit aligned logging
Proceedings of the Conference on Design, Automation and Test in Europe
Practical issues in the development of a minimalistic power management solution for WSNs
International Journal of Sensor Networks
Componentizing hardware/software interface design
Proceedings of the Conference on Design, Automation and Test in Europe
Interconnecting Smart Objects with IP: The Next Internet
Interconnecting Smart Objects with IP: The Next Internet
Proceedings of the ACM SIGSPATIAL International Workshop on GeoStreaming
Initiating a design pattern catalog for embedded network systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Software engineering and wireless sensor networks: happy marriage or consensual divorce?
Proceedings of the FSE/SDP workshop on Future of software engineering research
Using MDA for integration of heterogeneous components in software supply chains
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Supporting reconfiguration and re-use through self-describing component interfaces
Proceedings of the 5th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks
Optimized query routing trees for wireless sensor networks
Information Systems
Towards clock skew based services in wireless sensor networks
International Journal of Sensor Networks
WH '10 Wireless Health 2010
SNEE: a query processor for wireless sensor networks
Distributed and Parallel Databases
Power efficiency through tuple ranking in wireless sensor network monitoring
Distributed and Parallel Databases
Programming wireless sensor networks: Fundamental concepts and state of the art
ACM Computing Surveys (CSUR)
Transformation-based parallelization of request-processing applications
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Embedded software development with projectional language workbenches
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Xest: an automated framework for regression testing of embedded software
WESE '10 Proceedings of the 2010 Workshop on Embedded Systems Education
Design verification in model-based μ-controller development using an abstract component
Software and Systems Modeling (SoSyM)
Dynamic timeout for data aggregation in wireless sensor networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
EScala: modular event-driven object interactions in scala
Proceedings of the tenth international conference on Aspect-oriented software development
Synchronous programming of device drivers for global resource control in embedded operating systems
Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Dependence-based multi-level tracing and replay for wireless sensor networks debugging
Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Performance evaluation of AODV & DSR for wireless sensor networks
ICCOM'06 Proceedings of the 10th WSEAS international conference on Communications
Towards standardization of in-car sensors
Nets4Cars/Nets4Trains'11 Proceedings of the Third international conference on Communication technologies for vehicles
RF angle of arrival-based node localisation
International Journal of Sensor Networks
Cross-platform protocol development for sensor networks: lessons learned
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Modeling and analyzing performance of software for wireless sensor networks
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
On mining sensor network software repositories
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Scatter – secure code authentication for efficient reprogramming in wireless sensor networks
International Journal of Sensor Networks
Program analysis for event-based distributed systems
Proceedings of the 5th ACM international conference on Distributed event-based system
Efficient Color-theory-based Dynamic Localization for Mobile Wireless Sensor Networks
Wireless Personal Communications: An International Journal
On software verification for sensor nodes
Journal of Systems and Software
On context-sensitive usability evaluation in mobile HCI
Journal of Mobile Multimedia
An empirical analysis of communication links in embedded wireless networks
Proceedings of the 49th Annual Southeast Regional Conference
Evaluation of the resource requirements of SNMP agents on constrained devices
AIMS'11 Proceedings of the 5th international conference on Autonomous infrastructure, management, and security: managing the dynamics of networks and services
Engineering Applications of Artificial Intelligence
TinyWiFi: making network protocol evaluation portable across multiple phy-link layers
WiNTECH '11 Proceedings of the 6th ACM international workshop on Wireless network testbeds, experimental evaluation and characterization
An application of the wireless sensor network technology for foehn monitoring in real time
UIC'11 Proceedings of the 8th international conference on Ubiquitous intelligence and computing
uFlow: dynamic software updating in wireless sensor networks
UIC'11 Proceedings of the 8th international conference on Ubiquitous intelligence and computing
A Hardware Abstraction Layer in Java
ACM Transactions on Embedded Computing Systems (TECS)
Intelligible TinyOS sensor systems: explanations for embedded software
CONTEXT'11 Proceedings of the 7th international and interdisciplinary conference on Modeling and using context
Information and Software Technology
Demo: Towards bug-free implementation for wireless sensor networks
Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems
International Journal of Sensor Networks
Towards a model checker for Nesc and wireless sensor networks
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Weapon classification and shooter localization using distributed multichannel acoustic sensors
Journal of Systems Architecture: the EUROMICRO Journal
Optimizing packet accesses for a domain specific language on network processors
LCPC'05 Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing
JSense: prototyping sensor-based, location-aware applications in java
UCS'06 Proceedings of the Third international conference on Ubiquitous Computing Systems
Summary of PLOS 2011: the sixth workshop on programming languages and operating systems
ACM SIGOPS Operating Systems Review
Declarative support for sensor data cleaning
PERVASIVE'06 Proceedings of the 4th international conference on Pervasive Computing
Programming paradigms for networked sensing: a distributed systems’ perspective
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Logical neighborhoods: a programming abstraction for wireless sensor networks
DCOSS'06 Proceedings of the Second IEEE international conference on Distributed Computing in Sensor Systems
System architecture of a body area network and its web service based data publishing
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Wiselib: a generic algorithm library for heterogeneous sensor networks
EWSN'10 Proceedings of the 7th European conference on Wireless Sensor Networks
F-LQE: a fuzzy link quality estimator for wireless sensor networks
EWSN'10 Proceedings of the 7th European conference on Wireless Sensor Networks
Design of the configurable clothes using mobile actuator-sensor network
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
Bossa nova: introducing modularity into the bossa domain-specific language
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
WSNs clustering based on semantic neighborhood relationships
Computer Networks: The International Journal of Computer and Telecommunications Networking
Optimization of service discovery in wireless sensor networks
WWIC'10 Proceedings of the 8th international conference on Wired/Wireless Internet Communications
Tables: a spreadsheet-inspired programming model for sensor networks
DCOSS'10 Proceedings of the 6th IEEE international conference on Distributed Computing in Sensor Systems
Optimized java binary and virtual machine for tiny motes
DCOSS'10 Proceedings of the 6th IEEE international conference on Distributed Computing in Sensor Systems
Programming sensor networks using REMORA component model
DCOSS'10 Proceedings of the 6th IEEE international conference on Distributed Computing in Sensor Systems
Programming sensor networks with state-centric services
DCOSS'10 Proceedings of the 6th IEEE international conference on Distributed Computing in Sensor Systems
Servilla: A flexible service provisioning middleware for heterogeneous sensor networks
Science of Computer Programming
Lean and efficient system software product lines: where aspects beat objects
Transactions on Aspect-Oriented Software Development II
A hybrid visual dataflow language for coordination in mobile ad hoc networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Coordinating resource usage through adaptive service provisioning in wireless sensor networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
FlexCup: a flexible and efficient code update mechanism for sensor networks
EWSN'06 Proceedings of the Third European conference on Wireless Sensor Networks
Implementing minimized multivariate PKC on low-resource embedded systems
SPC'06 Proceedings of the Third international conference on Security in Pervasive Computing
Application framework for management and monitoring of heterogeneous 6LoWPAN deployment
Proceedings of the 1st International Conference on Wireless Technologies for Humanitarian Relief
An animation framework for improving the comprehension of TinyOS programs
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Rethinking Java call stack design for tiny embedded devices
Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems
Engage: a deployment management system
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Cross-platform protocol development based on OMNeT++
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
CiAO/IP: a highly configurable aspect-oriented IP stack
Proceedings of the 10th international conference on Mobile systems, applications, and services
A goal-oriented programming framework for grid sensor networks with reconfigurable embedded nodes
ACM Transactions on Embedded Computing Systems (TECS)
An architecture for dynamic service-oriented computing in networked embedded systems
Software Service and Application Engineering
A flexible building management framework based on wireless sensor and actuator networks
Journal of Network and Computer Applications
Experiences from a decade of TinyOS development
OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
An algorithmic strategy for in-network distributed spatial analysis in wireless sensor networks
Journal of Parallel and Distributed Computing
TinyVM: an energy-efficient execution infrastructure for sensor networks
Software—Practice & Experience
Safety-critical Java for low-end embedded platforms
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Applying a metadata level for concurrency in wireless sensor networks
Concurrency and Computation: Practice & Experience
Decidability results for well-structured transition systems with auxiliary storage
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Wireless sensor network application development: an architecture-centric MDE approach
ECSA'07 Proceedings of the First European conference on Software Architecture
Science of Computer Programming
Type-specialized staged programming with process separation
Higher-Order and Symbolic Computation
Modeling and Analysis of TinyOS Sensor Node Firmware: A CSP Approach
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Optimizing sensor network reprogramming via in situ reconfigurable components
ACM Transactions on Sensor Networks (TOSN)
Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems
Collaborative reactive behavior in heterogeneous wireless sensor networks
Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems
iCAAS: An Interoperable and Configurable Architecture for Accessing Sensor Networks
International Journal of Adaptive, Resilient and Autonomic Systems
Synchronous programming of device drivers for global resource control in embedded operating systems
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems
Dynamic race detection techniques for interrupt-driven programs
FGIT'12 Proceedings of the 4th international conference on Future Generation Information Technology
3D Real-Time Reconstruction Approach for Multimedia Sensor Networks
International Journal of Organizational and Collective Intelligence
Building Wireless Sensor Network Applications with LooCI
International Journal of Mobile Computing and Multimedia Communications
A fuzzy control framework for wireless sensor networks
International Journal of Sensor Networks
Performance comparison of accelerometer calibration algorithms based on 3D-ellipsoid fitting methods
Computer Methods and Programs in Biomedicine
Formal analysis of event-driven cyber physical systems
Proceedings of the First International Conference on Security of Internet of Things
Towards context-oriented programming in wireless sensor networks
Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication
A multicast reprogramming protocol for wireless sensor networks based on small world concepts
Journal of Parallel and Distributed Computing
QoS-aware optimization of sensor network queries
The VLDB Journal — The International Journal on Very Large Data Bases
MELOADES: Methodology for long-term online adaptation of embedded software for heterogeneous devices
Journal of Systems Architecture: the EUROMICRO Journal
Scalaness/nesT: type specialized staged programming for sensor networks
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Minerva: distributed tracing and debugging in wireless sensor networks
Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems
Safe system-level concurrency on resource-constrained nodes
Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems
Using MDA for integration of heterogeneous components in software supply chains
Science of Computer Programming
Global property violation detection and diagnosis for wireless sensor networks
Proceedings of the 2013 International Conference on Compilers, Architectures and Synthesis for Embedded Systems
Supporting historic queries in sensor networks with flash storage
Information Systems
Static safety guarantees for a low-level multithreaded language with regions
Science of Computer Programming
On the design of beacon based wireless sensor network for agricultural emergency monitoring systems
Computer Standards & Interfaces
Hi-index | 0.00 |
We present nesC, a programming language for networked embedded systems that represent a new design space for application developers. An example of a networked embedded system is a sensor network, which consists of (potentially) thousands of tiny, low-power "motes," each of which execute concurrent, reactive programs that must operate with severe memory and power constraints.nesC's contribution is to support the special needs of this domain by exposing a programming model that incorporates event-driven execution, a flexible concurrency model, and component-oriented application design. Restrictions on the programming model allow the nesC compiler to perform whole-program analyses, including data-race detection (which improves reliability) and aggressive function inlining (which reduces resource consumption).nesC has been used to implement TinyOS, a small operating system for sensor networks, as well as several significant sensor applications. nesC and TinyOS have been adopted by a large number of sensor network research groups, and our experience and evaluation of the language shows that it is effective at supporting the complex, concurrent programming style demanded by this new class of deeply networked systems.