2488 search results - page 382 / 498 » An improvement in formal verification |
135
click to vote
ASWSD
2004
Springer
15 years 7 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
120
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
Late changes in silicon design (ECO) is a common although undesired practice. The need for ECO exists even in high-level design flows since bugs may occur in the specifications, ...
119
click to vote
MICAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Classical constraint satisfaction problems (CSPs) provide an expressive formalism for describing and solving many real-world problems. However, classical CSPs prove to be...
127
click to vote
ROCAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In the field of Text Mining, a key phase in data preparation is concerned with the extraction of terms, i.e. collocation of words attached to specific concepts (e.g. Ph...