8 search results - page 2 / 2 » A Methodology for Verifying Memory Access Protocols in Behav... |
ICCAD
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract— With the increasing cost of global communication onchip, high-performance designs for data-intensive applications require architectures that distribute hardware resourc...
SIGMETRICS
2006
ACM
13 years 11 months ago
2006
ACM
A new methodology to assess transient performance measures of tree-like processes is proposed by introducing the concept of tree-like processes with marked time epochs. As opposed...
OOPSLA
2007
Springer
13 years 11 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...