3256 search results - page 149 / 652 » Applications of Formal Methods to System Design and Verifica... |
128
click to vote
TSMC
2011
14 years 11 months ago
2011
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
122
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
We are investigating an integrated design method for a device driver and a device in order to efficiently develop device drivers used in embedded systems. This paper evaluates wh...
146
click to vote
SIAMSC
2008
15 years 4 months ago
2008
The convergence of Multigrid methods can be analyzed based on a Fourier analysis of the method or by proving certain inequalities that have to be fulfilled by the smoother and by t...
137
click to vote
VL
1999
IEEE
15 years 9 months ago
1999
IEEE
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...
159
click to vote
ICB
2007
Springer
15 years 8 months ago
2007
Springer
In recent years, palmprint based personal identification has been extensively explored by researchers. The success of this technology has demonstrated that the inner part of palm s...