666 search results - page 2 / 134 » Inspector Methods for State Abstraction |
FORMATS
2006
Springer
13 years 9 months ago
2006
Springer
FMCO
2008
Springer
13 years 7 months ago
2008
Springer
NORDICHI
2006
ACM
13 years 11 months ago
2006
ACM
The evaluation of e-learning applications deserves special attention and evaluators need effective methodologies and appropriate guidelines to perform their task. We have proposed...
TCAD
2008
13 years 5 months ago
2008
ion for Asynchronous Design Verification Hao Zheng, Member, IEEE, Jared Ahrens, Tian Xia, Member, IEEE This paper presents a compositional method with preserving abstraction for sc...
TOPNOC
2010
13 years 14 days ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...