923 search results - page 141 / 185 » Proving the value of formal methods |
158
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
142
click to vote
CG
2000
Springer
15 years 10 months ago
2000
Springer
This paper proposes a new method for searching two-valued (binary) game trees in games like chess or Go. Lambda-search uses null-moves together with different orders of threat-sequ...
196
click to vote
ICCTA
2007
IEEE
15 years 10 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
181
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
Encapsulation of states in object-oriented programs hinders the search for test data using evolutionary testing. As client code is oblivious to the internal state of a server obje...
160
click to vote
JCST
2008
15 years 6 months ago
2008
In Chinese, phrases and named entities play a central role in information retrieval. Abbreviations, however, make keyword-based approaches less effective. This paper presents an em...