461 search results - page 76 / 93 » Diagnosis of Embedded Software Using Program Spectra |
ICCAD
2008
IEEE
15 years 6 months ago
2008
IEEE
— Leveraging the power of scratchpad memories (SPMs) available in most embedded systems today is crucial to extract maximum performance from application programs. While regular a...
110
click to vote
CL
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
ISORC
2000
IEEE
15 years 2 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
QSIC
2009
IEEE
15 years 4 months ago
2009
IEEE
—A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors may still be compatible to its orig...
108
click to vote
TASE
2010
IEEE
14 years 4 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...