5591 search results - page 501 / 1119 » Design patterns: between programming and software design |
285
click to vote
TSE
2010
15 years 5 months ago
2010
—In this paper, we explore the concept of code readability and investigate its relation to software quality. With data collected from 120 human annotators, we derive associations...
226
click to vote
LCTRTS
2010
Springer
15 years 5 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
210
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
180
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
151
click to vote
CLEIEJ
2006
15 years 7 months ago
2006
This paper describes a single-version algorithmic approach to design in fault tolerant computing in various computing systems by using static redundancy in order to mask transient...