461 search results - page 15 / 93 » Diagnosis of Embedded Software Using Program Spectra |
184
click to vote
POPL
2006
ACM
16 years 2 days ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
SBCCI
2004
ACM
15 years 5 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
DAC
2004
ACM
16 years 22 days ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
101
click to vote
RTCSA
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
BMCBI
2010
14 years 12 months ago
2010
Background: Successful application of crosslinking combined with mass spectrometry for studying proteins and protein complexes requires specifically-designed crosslinking reagents...