2935 search results - page 80 / 587 » An Integrated Approach to High Integrity Software Verificati... |
134
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
158
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
146
click to vote
CERA
2007
15 years 4 months ago
2007
: In a collaborative computer-supported engineering environment, the interoperation of various applications will need a representation that goes beyond the current geometry-based r...
152
click to vote
TVLSI
2002
15 years 4 months ago
2002
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
166
click to vote
AMET
1998
Springer
15 years 8 months ago
1998
Springer
Software agents help automate a variety of tasks including those involved in buying and selling products over the Internet. Although shopping agents provide convenience for consume...