|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 111 occurrences of 68 keywords
|
|
|
Results
Found 55 publication records. Showing 55 according to the selection in the facets
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 |
Displaying result #1 - #55 of 55 (100 per page; Change: )
|
|