Search results for "nesC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
143	David Gay, Philip Alexander 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
101	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
85	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
76	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
68	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
59	Siarhei Smolau, Ronald Beaubrun	State-oriented programming for TinyOS.	SCSC	2007	DBLP BibTeX RDF	embedded system, design pattern, state machine, TinyOS, nesC
51	Mahesh Arumugam, Limin Wang, Sandeep S. Kulkarni	A Case Study on Prototyping Power Management Protocols for Sensor Networks.	SSS	2006	DBLP DOI BibTeX RDF
42	David Gay, Philip Alexander Levis, David E. Culler	Software design patterns for TinyOS.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	embedded systems, Design Patterns, TinyOS, nesC
42	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
42	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
42	David Gay, Philip Alexander Levis, David E. Culler	Software design patterns for TinyOS.	LCTES	2005	DBLP DOI BibTeX RDF	embedded systems, design patterns, TinyOS, nesC
34	Ben L. Titzer, Jens Palsberg	Vertical Object Layout and Compression for Fixed Heaps.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
34	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
34	Jui-Nan Lin, Jiun-Long Huang	A Virtual Machine-Based Programming Environment for Rapid Sensor Application Development.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
34	Ben L. 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
34	John Regehr, Nathan Cooprider, David Gay	Atomicity and visibility in tiny embedded systems.	PLOS	2006	DBLP DOI BibTeX RDF
34	Elaine Cheong, Jie Liu 0001	galsC: A Language for Event-Driven Embedded Systems.	DATE	2005	DBLP DOI BibTeX RDF
33	Nicola Pia, Kishan Gupta, Srikanth Korse, Markus Multrus, Guillaume Fuchs	NESC: Robust Neural End-2-End Speech Coding with GANs.	CoRR	2022	DBLP DOI BibTeX RDF
33	Nicola Pia, Kishan Gupta, Srikanth Korse, Markus Multrus, Guillaume Fuchs	NESC: Robust Neural End-2-End Speech Coding with GANs.	INTERSPEECH	2022	DBLP DOI BibTeX RDF
33	Yonatan Gottesman, Yoav Etsion	NeSC: Self-virtualizing nested storage controller.	MICRO	2016	DBLP DOI BibTeX RDF
33	David Gay, Philip Alexander Levis, J. Robert von Behren, Matt Welsh, Eric A. Brewer, David E. Culler	The nesC language: a holistic approach to networked embedded systems.	ACM SIGPLAN Notices	2014	DBLP DOI BibTeX RDF
33	Jiakai Li, Gürsel Serpen	nesC-TinyOS model for parallel and distributed computation of max independent set by Hopfield network on wireless sensor network.	Complex Adaptive Systems	2011	DBLP DOI BibTeX RDF
33	Manchun Zheng, Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yu Gu 0001	Towards a Model Checker for NesC and Wireless Sensor Networks.	ICFEM	2011	DBLP DOI BibTeX RDF
33	Jamila Ben Slimane, Yeqiong Song, Anis Koubaa, Mounir Frikha, Hugo Cruz-Sanchez	Pmcmtp's Implementation (in nesC/TinyOS2.x) and Testbed for Its Operation Validation.	NTMS	2011	DBLP DOI BibTeX RDF
33	Andrew R. Dalton, Jason O. Hallstrom	nAIT: A source analysis and instrumentation framework for nesC.	J. Syst. Softw.	2009	DBLP DOI BibTeX RDF
33	Erandi Lakshika, Chamath Keppitiyagama, Dulan Wathugala	AOnesC: An Aspect-Oriented Extension to nesC.	NTMS	2008	DBLP DOI BibTeX RDF
33	Paul G. Cardinal	Safe Installation of Metal Light Poles per NEC or NESC.	IAS	2007	DBLP DOI BibTeX RDF
25	Yang Chen 0024, Omprakash Gnawali, Maria A. Kazandjieva, Philip Alexander Levis, John Regehr	Surviving sensor network software faults.	SOSP	2009	DBLP DOI BibTeX RDF	deputy, reboot, wireless sensor networks, reliability, kernel, tinyos, nesc
25	John P. Watt, Richard O. Sinnott, Jipu Jiang, Tom Doherty, Christopher I. Higgins, Michael Koutroumpas	Tool Support for Security-Oriented Virtual Research Collaborations.	ISPA	2009	DBLP DOI BibTeX RDF	permis, shintau, seegeo, shibboleth, nesc
25	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
25	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
17	Kirak Hong, Jiin Park, Taekhoon Kim, Sungho Kim, Hwangho Kim, Yousun Ko 0001, 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
17	Mustafa Hammad, Jonathan E. Cook	Lightweight monitoring of sensor software.	SAC	2009	DBLP DOI BibTeX RDF	wireless sensor networks, software monitoring
17	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
17	Nupur Kothari, Todd D. Millstein, Ramesh Govindan	Deriving State Machines from TinyOS Programs Using Symbolic Execution.	IPSN	2008	DBLP DOI BibTeX RDF
17	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
17	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
17	Richard O. Sinnott, Thomas Doherty, David B. Martin, Campbell Millar, Gordon Stewart 0002, John P. Watt	Supporting Security-Oriented, Collaborative nanoCMOS Electronics Research.	ICCS (1)	2008	DBLP DOI BibTeX RDF	Security, Grid computing, Virtual Organizations, Shibboleth, e-Research
17	Richard O. Sinnott, David W. Chadwick, Thomas Doherty, David B. Martin, Anthony Stell, Gordon Stewart 0002, 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
17	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
17	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
17	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
17	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
17	Yohei Iwasaki, Nobuo Kawaguchi	An Automatic Software Decentralization Framework for Distributed Device Collaboration.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
17	Andreas Jürgen 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
17	Liqian Luo, Tarek F. Abdelzaher, Tian He 0001, John A. Stankovic	EnviroSuite: An environmentally immersive programming framework for sensor networks.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	sensor networks, embedded systems, middleware, tracking, Abstractions, programming models
17	Song Lin, Demetrios Zeinalipour-Yazti, Vana Kalogeraki, Dimitrios Gunopulos, Walid A. Najjar	Efficient indexing data structures for flash-based sensor devices.	ACM Trans. Storage	2006	DBLP DOI BibTeX RDF	Wireless sensor networks, flash memory, access methods
17	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
17	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
17	John P. Watt, Oluwafemi O. Ajayi, Jipu Jiang, Jos Koetsier, Richard O. Sinnott	A Shibboleth-Protected Privilege Management Infrastructure for e-Science Education.	CCGRID	2006	DBLP DOI BibTeX RDF
17	Richard O. Sinnott, Jipu Jiang, John P. Watt, Oluwafemi O. Ajayi	Shibboleth-based Access to and Usage of Grid Resources.	GRID	2006	DBLP DOI BibTeX RDF
17	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	The BLAST Software Verification System.	SPIN	2005	DBLP DOI BibTeX RDF
17	Kevin K. Chang, David Gay	Language Support for Interoperable Messaging in Sensor Networks.	SCOPES	2005	DBLP DOI BibTeX RDF	sensor networks, heterogeneous networks, data layout
17	Sibin Mohan, Frank Mueller 0001, 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
17	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Race checking by context inference.	PLDI	2004	DBLP DOI BibTeX RDF	software model checking, race conditions