Search Sciweavers | Sciweavers

3199 search results - page 22 / 640

» Variability in Automation System Models

click to vote

ATVA
2006
Springer

158views Hardware» more ATVA 2006»

Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems

14 years 17 days ago

Download embedded.stu.edu.cn

In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...

Hang Su, Graham Hemingway, Kai Chen, T. John Koo

claim paper

Read More »

click to vote

APLAS
2007
ACM

166views Programming Languages» more APLAS 2007»

The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer

14 years 25 days ago

Download www.diku.dk

We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...

Neil D. Jones, René Rydhof Hansen

claim paper

Read More »

click to vote

DSN
2005
IEEE

77views Computer Networks» more DSN 2005»

Ensembles of Models for Automated Diagnosis of System Performance Problems

14 years 2 months ago