2127 search results - page 229 / 426 » Software Automation |
146
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Statistical analysis of bug discovery data is used in the software industry to check the quality of the testing process and estimate the reliability of the tested program. In this...
144
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Bit vectors and bit operations are proposed for efficient propositional inference. Bit arithmetic has efficient software and hardware implementations, which can be put to advantage...
179
click to vote
COSIT
2009
Springer
16 years 1 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
143
click to vote
FDTC
2007
Springer
16 years 21 days ago
2007
Springer
Branch Prediction Analysis has been recently proposed as an attack method to extract the key from software implementations of the RSA public key cryptographic algorithm. In this p...
166
click to vote
RULEML
2007
Springer
16 years 19 days ago
2007
Springer
Nowadays the increasing complexity of cars has become a major challenge due to the growing rate of electronic components and software. This trend has an impact on all phases of the...