1943 search results - page 273 / 389 » End-to-End Integration Testing |
116
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
Soil contains vast ecosystems that play a key role in the Earth’s water and nutrient cycles, but scientists cannot currently collect the high-resolution data required to fully u...
174
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Open distributed systems such as service oriented architecture and cloud computing have emerged as promising platforms to deliver software as a service to users. However, for many...
125
click to vote
CP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. VLSI chips design is becoming increasingly complex and calling for more and more automation. Many chip design problems can be formulated naturally as constraint problems ...
157
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
140
click to vote
HOST
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...