2777 search results - page 210 / 556 » Example centric programming |
176
Voted
ICSEA
2006
IEEE
16 years 19 days 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....
161
click to vote
CP
2005
Springer
16 years 4 days 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...
201
click to vote
HYBRID
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
202
click to vote
UML
2005
Springer
16 years 2 days 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...
163
click to vote
ARCS
2004
Springer
16 years 9 hour 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 ...