2777 search results - page 210 / 556 » Example centric programming |
109
Voted
ICSEA
2006
IEEE
15 years 7 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
101
Voted
CP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
112
Voted
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
127
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...
106
Voted
ARCS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...