372 search results - page 6 / 75 » Transaction Based Modeling and Verification of Hardware Prot... |
147
click to vote
FC
2000
Springer
15 years 7 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...
152
click to vote
ACSD
2006
IEEE
15 years 6 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 ...
128
click to vote
CODES
2008
IEEE
15 years 10 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...
117
click to vote
CIKM
2009
Springer
15 years 10 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...