Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

ICCAD
2000
IEEE

favoriteEmaildiscussreport

69views Hardware» more ICCAD 2000»

Observability Analysis of Embedded Software for Coverage-Directed Validation

13 years 9 months ago

Observability Analysis of Embedded Software for Coverage-Directed Validation

Download www.cecs.uci.edu

José C. Costa, Srinivas Devadas, José

Real-time Traffic

Hardware | ICCAD 2000 |

claim paper

Related Content

» Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Sy...

» An Experimental Framework for the Analysis and Validation of Software Clocks

» Test Case Design for the Validation of ComponentBased Embedded Systems

» Error Recovery using Forced Validity Assisted by Executable Assertions for Error Detection...

» Power analysis and lowpower scheduling techniques for embedded DSP software

» Validation of assembler programs for DSPs a static analyzer

» Enhancing security through hardwareassisted runtime validation of program data properties

» Reusable models for timing and liveness analysis of middleware for distributed realtime an...

» Static Timing Analysis of Embedded Software

Post Info
More Details (n/a)

Added	31 Jul 2010
Updated	31 Jul 2010
Type	Conference
Year	2000
Where	ICCAD
Authors	José C. Costa, Srinivas Devadas, José Monteiro

Comments (0)