923 search results - page 108 / 185 » Proving the value of formal methods |
140
click to vote
CALCO
2007
Springer
16 years 14 days ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
156
click to vote
JSAC
2010
15 years 4 months ago
2010
Abstract—In high density perpendicular magnetic recording channels, nonlinear transition shift (NLTS) is one of the distortions that can degrade the system performance. Write pre...
153
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
A set XN of N points on the unit sphere is a spherical t-design if the average value of any polynomial of degree at most t over XN is equal to the average value of the polynomial o...
158
click to vote
GLVLSI
2006
IEEE
16 years 10 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
166
click to vote
FM
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...