9316 search results - page 300 / 1864 » Analysis of traceback techniques |
168
click to vote
OR
2004
Springer
16 years 2 days ago
2004
Springer
The combination of process integration and Operations Research enables an integrated technique assessment and a subsequent process design. The application of Multi Objective Pinch...
152
click to vote
FCT
2003
Springer
15 years 12 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
212
click to vote
AISC
2000
Springer
15 years 11 months ago
2000
Springer
There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make “howlers” or not to simplify enough. In thi...
243
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a general method for computing transient sensitivities using both the direct and adjoint methods in event driven controlled explicit simulation algorithms that...
177
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
This work presents techniques for computing the switching activities of all circuit nodes under pseudorandom or biased input sequences and assuming a zero delay mode of operation....