Sciweavers

461 search results - page 18 / 93
» Diagnosis of Embedded Software Using Program Spectra
Sort
View
VEE
2012
ACM
269views Virtualization» more  VEE 2012»
13 years 5 months ago
SimTester: a controllable and observable testing framework for embedded systems
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
Tingting Yu, Witawas Srisa-an, Gregg Rothermel
IH
2004
Springer
15 years 3 months ago
Threading Software Watermarks
We introduce a new dynamic technique for embedding robust software watermarks into a software program using thread contention. We show the technique to be resilient to many semanti...
Jasvir Nagra, Clark D. Thomborson
SCAM
2007
IEEE
15 years 3 months ago
Quality Assessment for Embedded SQL
—The access of information systems to underlying relational databases is commonly programmed using embedded SQL queries. Such embedded queries may take the form of string literal...
Huib van den Brink, Rob van der Leek, Joost Visser
ASAP
1997
IEEE
92views Hardware» more  ASAP 1997»
15 years 1 months ago
Optimized software synthesis for synchronous dataflow
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...
Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward...
KBSE
2007
IEEE
15 years 3 months ago
Using information retrieval to support design of incremental change of software
The proposed research defines an approach to combine Information Retrieval based analysis of the textual information embedded in software artifacts with program static and dynamic...
Denys Poshyvanyk, Andrian Marcus