4636 search results - page 483 / 928 » Modelling and Validation with VipTool |
183
click to vote
FDL
2005
IEEE
16 years 21 days ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
183
click to vote
FC
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Suppose Alice and Bob are two entities (e.g. agents, organizations, etc.) that wish to negotiate a contract. A contract consists of several clauses, and each party has ce...
178
click to vote
DAGM
2003
Springer
16 years 9 days ago
2003
Springer
A new enhancement of RANSAC, the locally optimized RANSAC (LO-RANSAC), is introduced. It has been observed that, to find an optimal solution (with a given probability), the numbe...
197
click to vote
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
182
click to vote
ICCD
1996
IEEE
15 years 11 months ago
1996
IEEE
There are four crucial issues associated with performance simulators: simulator retargetability, simulator validation, simulation speed and simulation accuracy. This paper documen...