5330 search results - page 375 / 1066 » The Performability Tool P'ility |
169
click to vote
ATS
1998
IEEE
15 years 12 months ago
1998
IEEE
This paper aims at broadening the scope of hierarchical ATPG to the behavioral-level The main problem of using behavioral information for ATPG is the mismatch of timing models bet...
163
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
Many co-simulation techniques either suffer from poor performance when simulating communications intensive systems, or they represent communications with a uniformly low level of ...
177
click to vote
CSEE
2009
Springer
15 years 11 months ago
2009
Springer
Assessing software engineering course projects should evaluate the achievement of proposed goals, as well as the compliance with mandated standards and processes. This might requi...
208
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
166
Voted
CBMS
2004
IEEE
15 years 11 months ago
2004
IEEE
Detection and monitoring of fluorescent lesions in mice is usually performed manually with the help of an image manipulation commercial software. The task is often daunting due to...