115 search results - page 14 / 23 » Observability Analysis of Embedded Software for Coverage-Dir... |
ECSA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especiall...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Server page technique is commonly used for implementing web application user interfaces. Server pages can represent many similar web pages in a generic form. Yet our previous stud...
FASE
2004
Springer
13 years 11 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
CODES
2006
IEEE
14 years 1 months ago
2006
IEEE
It is observed that pulsed discharge currents allow to drain the battery with a higher specific power. Thus they improve the batteries durability and discharge performance. The q...
RTAS
2003
IEEE
14 years 28 days ago
2003
IEEE
This paper investigates how dynamic branch prediction in a microprocessor affects the predictability of execution time for software running on that processor. By means of experim...