66 search results - page 11 / 14 » Applying Jlint to Space Exploration Software |
160
click to vote
CODES
2009
IEEE
16 years 22 days ago
2009
IEEE
This paper presents a system-level design methodology for networked embedded systems that exploits existing data-redundancy to increase their reliability. The presented approach n...
154
click to vote
UIST
2009
ACM
16 years 15 days ago
2009
ACM
Previous work has demonstrated the viability of applying offline analysis to interpret forearm electromyography (EMG) and classify finger gestures on a physical surface. We extend...
178
click to vote
ISVC
2009
Springer
16 years 16 days ago
2009
Springer
Throughout history, the primary means of transportation for humans has been on foot. We present a software tool which can help visualize and predict where historical trails might l...
173
click to vote
ICAC
2008
IEEE
16 years 13 days ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
153
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...