3082 search results - page 460 / 617 » Deviation Analysis: A New Use of Model Checking |
181
click to vote
DFT
2005
IEEE
15 years 12 months ago
2005
IEEE
A new jitter model is developed using Matlab and Spice to analyze Data Dependent Jitter (DDJ) in serial data integrated circuits. The simulation results show that DDJ is dependent...
148
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
In the beginning, one of the main fields of application of graph transformation was biology, and more specifically morphology. Later, however, it was like if the biological appli...
157
click to vote
COLT
2004
Springer
15 years 10 months ago
2004
Springer
This paper introduces a new method using dyadic decision trees for estimating a classification or a regression function in a multiclass classification problem. The estimator is bas...
182
click to vote
CIVR
2005
Springer
15 years 12 months ago
2005
Springer
Automatic image annotation has attracted a lot of attention recently as a method for facilitating semantic indexing and text-based retrieval of visual content. In this paper, we pr...
168
click to vote
SPAA
1993
ACM
15 years 10 months ago
1993
ACM
This paper concerns the problem of how to exploit parallelism during the phases of compilation involving syntaxdirected analysis and translation. In particular, we address the pro...