837 search results - page 21 / 168 » Hard combinators |
AOSD
2011
ACM
14 years 5 months ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
AINA
2009
IEEE
15 years 5 months ago
2009
IEEE
When designing a complex system such as a sensornet it is not always practical to build and deploy a realistically sized prototype. At the same time many of the interesting behavi...
LPAR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
NOLISP
2005
Springer
15 years 3 months ago
2005
Springer
Electropalatography is a well established technique for recording information on the patterns of contact between the tongue and the hard palate during speech. It leads to a stream ...
EVOW
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we combine a powerful representation for graph colouring problems with different heuristic strategies for colour assignment. Our novel strategies employ heuristics ...