4636 search results - page 55 / 928 » Modelling and Validation with VipTool |
COMPSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
AINA
2003
IEEE
14 years 29 days ago
2003
IEEE
This paper introduces a novel reprocessingtransaction model that handles the update conflicts between mobile transactions without abortion. The proposed model executes a new subtr...
DAC
1997
ACM
13 years 12 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
PATMOS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...