Search results for "nesc"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	David Gay, Philip Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler	The nesC language: A holistic approach to networked embedded systems.	PLDI	2003	DBLP DOI BibTeX RDF	first-order, concurrency, components, C, programming languages, modules, TinyOS, data races, nesC
2	Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan	Inter-context control-flow and data-flow test adequacy criteria for nesC applications.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	software testing, test adequacy criteria, networked embedded system
2	Nicholas Beck, Ian Johnson	Shaping TinyOS to deal with evolving device architectures: experiences porting TinyOS-2.0 to the Chipcon CC2430.	EmNets	2007	DBLP DOI BibTeX RDF	CC2430, TinyOS-2.x, unsupported toolchain, sensor networks, system-on-chip, nesC
2	Siarhei Smolau, Ronald Beaubrun	State-oriented programming for TinyOS.	SCSC	2007	DBLP DOI BibTeX RDF	embedded system, design pattern, state machine, TinyOS, nesC
2	Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr	Efficient memory safety for TinyOS.	SenSys	2007	DBLP DOI BibTeX RDF	cXprop, deputy, safe TinyOS, wireless sensor networks, TinyOS, type safety, memory safety, nesC
2	David Gay, Philip Levis, David E. Culler	Software design patterns for TinyOS.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	embedded systems, Design Patterns, TinyOS, nesC
2	David Gay, Philip Levis, David E. Culler	Software design patterns for TinyOS.	LCTES	2005	DBLP DOI BibTeX RDF	embedded systems, design patterns, TinyOS, nesC
2	Elaine Cheong, Edward A. Lee, Yang Zhao	Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks.	SenSys	2005	DBLP DOI BibTeX RDF	TOSSIM, visualsense, simulation, wireless sensor networks, modeling, tinyOS, nesC, ptolemy II
1	Jiakai Li, Gürsel Serpen	nesC-TinyOS model for parallel and distributed computation of max independent set by Hopfield network on wireless sensor network.	Procedia CS	2011	DBLP DOI BibTeX RDF
1	Manchun Zheng, Jun Sun 0001, Yang Liu, Jin Song Dong, Yu Gu 0001	Towards a Model Checker for NesC and Wireless Sensor Networks.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Andrew R. Dalton, Jason O. Hallstrom	nAIT: A source analysis and instrumentation framework for nesC.	Journal of Systems and Software	2009	DBLP DOI BibTeX RDF
1	Yang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Levis, John Regehr	Surviving sensor network software faults.	SOSP	2009	DBLP DOI BibTeX RDF	deputy, reboot, wireless sensor networks, reliability, kernel, tinyos, nesc
1	John P. Watt, Richard O. Sinnott, Jipu Jiang, Tom Doherty, Chris Higgins, Michael Koutroumpas	Tool Support for Security-Oriented Virtual Research Collaborations.	ISPA	2009	DBLP DOI BibTeX RDF	permis, shintau, seegeo, shibboleth, nesc
1	Mustafa Hammad, Jonathan Cook	Lightweight monitoring of sensor software.	SAC	2009	DBLP DOI BibTeX RDF	wireless sensor networks, software monitoring
1	Kirak Hong, Jiin Park, Taekhoon Kim, Sungho Kim, Hwangho Kim, Yousun Ko, Jongtae Park, Bernd Burgstaller, Bernhard Scholz	TinyVM, an efficient virtual machine infrastructure for sensor networks.	SenSys	2009	DBLP DOI BibTeX RDF	binary/bytecode partitioning, mixed-mode execution, virtual machines, code compression
1	Ben Titzer, Jens Palsberg	Vertical Object Layout and Compression for Fixed Heaps.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
1	Firdous Kausar, Ayesha Naureen	A Comparative Analysis of HC-128 and Rabbit Encryption Schemes for Pervasive Computing in WSN Environment.	ISA	2009	DBLP DOI BibTeX RDF	H-128, Wireless Sensor Network (WSN), Pervasive Computing, Stream Ciphers, Rabbit
1	Erandi Lakshika, Chamath Keppitiyagama, Dulan Wathugala	AOnesC: An Aspect-Oriented Extension to nesC.	NTMS	2008	DBLP DOI BibTeX RDF
1	Konrad Lorincz, Bor-rong Chen, Jason Waterman, Geoffrey Werner-Allen, Matt Welsh	Resource aware programming in the Pixie OS.	SenSys	2008	DBLP DOI BibTeX RDF	resource-aware programming, wireless sensor networks, resource reservations
1	Youssef Hanna, Hridesh Rajan, Wensheng Zhang 0001	Slede: a domain-specific verification framework for sensor network security protocol implementations.	WISEC	2008	DBLP DOI BibTeX RDF	intruder generation, sensor networks, model checking, security protocols
1	Richard O. Sinnott, David W. Chadwick, Thomas Doherty, David Martin, Anthony Stell, Gordon Stewart, Linying Su, John P. Watt	Advanced Security for Virtual Organizations: The Pros and Cons of Centralized vs Decentralized Security Models.	CCGRID	2008	DBLP DOI BibTeX RDF
1	Gang Zhou, Jian Lu, Chieh-Yih Wan, Mark D. Yarvis, John A. Stankovic	BodyQoS: Adaptive and Radio-Agnostic QoS for Body Sensor Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
1	Nupur Kothari, Todd D. Millstein, Ramesh Govindan	Deriving State Machines from TinyOS Programs Using Symbolic Execution.	IPSN	2008	DBLP DOI BibTeX RDF
1	Richard O. Sinnott, Thomas Doherty, David Martin, Campbell Millar, Gordon Stewart, John P. Watt	Supporting Security-Oriented, Collaborative nanoCMOS Electronics Research.	ICCS	2008	DBLP DOI BibTeX RDF	Security, Grid computing, Virtual Organizations, Shibboleth, e-Research
1	Kazushi Ikeda, Shunsuke Mori, Yuya Ota, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino	D-Sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks.	MMNS	2008	DBLP DOI BibTeX RDF
1	Lisa M. Frye	Wireless sensor networks: learning and teaching.	SIGITE Conference	2007	DBLP DOI BibTeX RDF	network course, wireless sensor networks, performance, implementation, teaching, nesC
1	Ben Titzer, Jens Palsberg	Vertical object layout and compression for fixed heaps.	CASES	2007	DBLP DOI BibTeX RDF	heap optimization, object layout, pointer compression, program data compression, reference compression, vertical object layout, microcontrollers
1	Andreas Lachenmann, Pedro José Marrón, Matthias Gauger, Daniel Minder, Olga Saukh, Kurt Rothermel	Removing the memory limitations of sensor networks with flash-based virtual memory.	EuroSys	2007	DBLP DOI BibTeX RDF	wireless sensor networks, flash memory, virtual memory, memory layout
1	Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan	Reliable and efficient programming abstractions for wireless sensor networks.	PLDI	2007	DBLP DOI BibTeX RDF	wireless sensor networks, energy efficiency, deadlocks, serializability, macroprogramming
1	Jacob Sorber, Alexander Kostadinov, Matthew Garber, Matthew Brennan, Mark D. Corner, Emery D. Berger	Eon: a language and runtime system for perpetual systems.	SenSys	2007	DBLP DOI BibTeX RDF	embedded systems, energy management, energy harvesting, coordination languages
1	Youssef Hanna	SLEDE: lightweight verification of sensor network security protocol implementations.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	Slede, sensor networks, model checking, security protocols
1	Youssef Hanna	SLEDE: lightweight verification of sensor network security protocol implementations.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	slede, sensor networks, model checking, security protocols
1	Jui-Nan Lin, Jiun-Long Huang	A Virtual Machine-Based Programming Environment for Rapid Sensor Application Development.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Yohei Iwasaki, Nobuo Kawaguchi	An Automatic Software Decentralization Framework for Distributed Device Collaboration.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
1	Abraham Jibi, K. S. Ramanatha	A Complete Set of Protocols for Distributed Key Management in Clustered Wireless Sensor Networks.	MUE	2007	DBLP DOI BibTeX RDF
1	Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis	Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks.	NCA	2007	DBLP DOI BibTeX RDF
1	John Regehr, Nathan Cooprider, David Gay	Atomicity and visibility in tiny embedded systems.	PLOS	2006	DBLP DOI BibTeX RDF
1	David Chu, Kaisen Lin, Alexandre Linares, Giang Nguyen, Joseph M. Hellerstein	Sdlib: a sensor network data and communications library for rapid and robust application development.	IPSN	2006	DBLP DOI BibTeX RDF	wireless sensor networks, software library, collection, dissemination
1	William P. McCartney, Nigamanth Sridhar	Abstractions for safe concurrent programming in networked embedded systems.	SenSys	2006	DBLP DOI BibTeX RDF	wireless sensor networks, static analysis, multi-threading, programming methodology
1	Liqian Luo, Tarek F. Abdelzaher, Tian He, John A. Stankovic	EnviroSuite: An environmentally immersive programming framework for sensor networks.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	sensor networks, embedded systems, middleware, tracking, Abstractions, programming models
1	Song Lin, Demetrios Zeinalipour-Yazti, Vana Kalogeraki, Dimitrios Gunopulos, Walid A. Najjar	Efficient indexing data structures for flash-based sensor devices.	TOS	2006	DBLP DOI BibTeX RDF	Wireless sensor networks, flash memory, access methods
1	John P. Watt, Oluwafemi Ajayi, Jipu Jiang, Jos Koetsier, Richard O. Sinnott	A Shibboleth-Protected Privilege Management Infrastructure for e-Science Education.	CCGRID	2006	DBLP DOI BibTeX RDF
1	Richard O. Sinnott, Jipu Jiang, John P. Watt, Oluwafemi Ajayi	Shibboleth-based Access to and Usage of Grid Resources.	GRID	2006	DBLP DOI BibTeX RDF
1	Mahesh Arumugam, Limin Wang, Sandeep S. Kulkarni	A Case Study on Prototyping Power Management Protocols for Sensor Networks.	SSS	2006	DBLP DOI BibTeX RDF
1	Kevin Chang, David Gay	Language Support for Interoperable Messaging in Sensor Networks.	SCOPES	2005	DBLP DOI BibTeX RDF	sensor networks, heterogeneous networks, data layout
1	Elaine Cheong, Jie Liu	galsC: A Language for Event-Driven Embedded Systems.	DATE	2005	DBLP DOI BibTeX RDF
1	Sibin Mohan, Frank Mueller, David B. Whalley, Christopher A. Healy	Timing Analysis for Sensor Network Nodes of the Atmega Processor Family.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The BLAST Software Verification System.	SPIN	2005	DBLP DOI BibTeX RDF
1	Ben Greenstein, Eddie Kohler, Deborah Estrin	A sensor network application construction kit (SNACK).	SenSys	2004	DBLP DOI BibTeX RDF	sensor networks, TinyOS, NesC, configuration languages
1	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Race checking by context inference.	PLDI	2004	DBLP DOI BibTeX RDF	software model checking, race conditions