62 search results - page 1 / 13 » A methodology for validating cloud models using metamorphic ... |
DAC
1997
ACM
13 years 8 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...
GLVLSI
2006
IEEE
13 years 10 months ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
DEXAW
2008
IEEE
13 years 6 months ago
2008
IEEE
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
MIDDLEWARE
2009
Springer
13 years 11 months ago
2009
Springer
Mobile phones are set to become the universal interface to online services and cloud computing applications. However, using them for this purpose today is limited to two configura...