50 search results - page 3 / 10 » Scalable, Automated Performance Analysis with TAU and PerfEx... |
ENTCS
2006
13 years 6 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
DAC
2007
ACM
14 years 7 months ago
2007
ACM
Three-Dimensional integration provides a simultaneous improvement in wire-related delay and power consumption of microprocessor circuits. Prior work has looked at the performance,...
SIGCOMM
2009
ACM
14 years 24 days ago
2009
ACM
IPTV is increasingly being deployed and offered as a commercial service to residential broadband customers. Compared with traditional ISP networks, an IPTV distribution network (i...
HPDC
2010
IEEE
13 years 7 months ago
2010
IEEE
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...
DAC
2007
ACM
14 years 7 months ago
2007
ACM
Due to increased variability trends in nanoscale integrated circuits, statistical circuit analysis has become essential. We present a novel method for post-silicon analysis that g...