837 search results - page 21 / 168 » Hard combinators |
167
click to vote
AOSD
2011
ACM
14 years 11 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...
142
click to vote
AINA
2009
IEEE
15 years 10 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...
112
Voted
LPAR
2005
Springer
15 years 9 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...
121
Voted
NOLISP
2005
Springer
15 years 9 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 ...
127
click to vote
EVOW
2005
Springer
15 years 9 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 ...