4276 search results - page 229 / 856 » Techniques for Empirical Validation |
160
click to vote
SP
2006
IEEE
16 years 19 days ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
166
click to vote
ASPDAC
1999
ACM
15 years 11 months ago
1999
ACM
In this paper we consider transistor sizing to reduce crosstalk. First, crosstalk noise dependency on wire width, wire spacing, driver and receiver sizes are discussed, and valida...
127
click to vote
ISCAS
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper presents an analysis technique that can be used to compute the harmonic and intermodulation distortion levels of a sampled-data circuit directly from a SPICE transient ...
158
click to vote
FLAIRS
2008
15 years 9 months ago
2008
In this paper, we model large support vector machines (SVMs) by smaller networks in order to decrease the computational cost. The key idea is to generate additional training patte...
177
click to vote
WSC
1998
15 years 8 months ago
1998
This paper discusses how simulation is used to design new manufacturing systems and to improve the performance of existing ones. Topics to be discussed include: manufacturing issu...