840 search results - page 154 / 168 » Test suite oscillations |
170
click to vote
AOSD
2009
ACM
16 years 28 days ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
150
click to vote
HIPEAC
2009
Springer
16 years 28 days ago
2009
Springer
Process variations, which lead to timing and power variations across identically-designed components, have been identified as one of the key future design challenges by the semico...
165
click to vote
KBSE
2009
IEEE
16 years 26 days ago
2009
IEEE
—We investigate claims and assumptions made in several recent papers about fault localization (FL) techniques. Most of these claims have to do with evaluating FL accuracy. Our in...
159
click to vote
TPHOL
2009
IEEE
16 years 24 days ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
176
click to vote
AIRWEB
2009
Springer
16 years 22 days ago
2009
Springer
Spammers in social bookmarking systems try to mimick bookmarking behaviour of real users to gain the attention of other users or search engines. Several methods have been proposed...