372 search results - page 6 / 75 » Transaction Based Modeling and Verification of Hardware Prot... |
FC
2000
Springer
15 years 1 months ago
2000
Springer
Abstract Two protocols for authentication based on symmetric key cryptography are described, where the verifier can be implemented in software completely, without the need for secu...
ACSD
2006
IEEE
14 years 11 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
The problem of transaction synchronization is important in XMLbased applications based on client-server model, especially when both server and clients are allowed to store data. W...
ACSD
2004
IEEE
15 years 1 months ago
2004
IEEE