2302 search results - page 24 / 461 » Testing as Abstraction |
158
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
There are many difficulties associated with developing correct multithreaded software, and many of the activities that are simple for single threaded software are exceptionally ha...
153
click to vote
VLSID
2007
IEEE
16 years 5 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
146
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
143
click to vote
XPU
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We conducted a survey on Executable Acceptance Test Driven Development (or: Story Test Driven Development). The results show that there is often a substantial delay betwe...
155
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract. Face detection (FD) is widely used in interactive user interfaces, in advertising industry, entertainment services, video coding, is necessary first stage for all face r...