1219 search results - page 72 / 244 » Verification of Equivalent-Results Methods |
ISSA
2008
13 years 11 months ago
2008
A message digest is a fixed length output produced by applying a cryptographic algorithm on input binary data of arbitrary length. If the input data changes even by one bit, the g...
VISUALIZATION
2002
IEEE
14 years 2 months ago
2002
IEEE
Most systems used for creating and displaying colormap-based visualizations are not photometrically calibrated. That is, the relationship between RGB input levels and perceived lu...
ISQED
2007
IEEE
14 years 4 months ago
2007
IEEE
Novel experimental characterization method and circuit modeling for frequency-variant transmission lines are presented. Experimental test patterns are designed and fabricated by u...
APN
2001
Springer
14 years 1 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
CHARME
2001
Springer
14 years 1 months ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...