923 search results - page 17 / 185 » Proving the value of formal methods |
AMC
2007
14 years 12 months ago
2007
Adomian decomposition method has been used intensively to solve nonlinear boundary and initial value problems. It has been proved to be very efficient in generating series solutio...
103
click to vote
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
— Modern SAT solvers have proved highly successful in finding counterexamples to temporal properties of systems, using a method known as ”bounded model checking”. It is natu...
EUROCRYPT
1999
Springer
15 years 4 months ago
1999
Springer
A recoding rule for exponentiation is a method for reducing the cost of the exponentiation ae by reducing the number of required multiplications. If w(e) is the (hamming) weight of...
SAS
2007
Springer
15 years 5 months ago
2007
Springer
Interval analysis seeks static lower and upper bounds on the values of program variables. These bounds are useful, especially for inferring invariants to prove buffer overflow ch...
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
Social networks are very popular nowadays and the understanding of their inner structure seems to be promising area. Several approaches for the social network structure visualizat...