4636 search results - page 401 / 928 » Modelling and Validation with VipTool |
198
click to vote
DAC
2010
ACM
15 years 11 months ago
2010
ACM
The identification of speedpaths is required for post-silicon (PS) timing validation, and it is currently becoming timeconsuming due to manufacturing variations. In this paper we...
186
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
200
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
We examine the problem of segmenting tracked feature point trajectories of multiple moving objects in an image sequence. Using the affine camera model, this motion segmentation pr...
192
click to vote
AGILEDC
2006
IEEE
16 years 1 months ago
2006
IEEE
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
187
click to vote
ER
2003
Springer
16 years 5 days ago
2003
Springer
Many Internet-based applications have adopted XML as the standard data exchange format. These XML data are typically stored in its native form, thus creating the need to present XM...