248 search results - page 6 / 50 » Test exploration and validation using transaction level mode... |
SEW
2006
IEEE
14 years 2 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
DAC
2006
ACM
14 years 2 months ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
SE
2007
13 years 9 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
ISSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Application specific systems have potential for customization of design with a view to achieve a better costperformance-power trade-off. Such customization requires extensive de...
GFKL
2005
Springer
14 years 1 months ago
2005
Springer
Mining association rules is an important technique for discovering meaningful patterns in transaction databases. In the current literature, the properties of algorithms to mine ass...