4761 search results - page 898 / 953 » Components, Frameworks, Patterns |
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we present NoCEE, a fast and accurate method for extracting energy models for packet-switched Network on Chip (NoC) routers. Linear regression is used to model the r...
117
click to vote
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
146
click to vote
WWW
2010
ACM
15 years 7 months ago
2010
ACM
With the prosperity of tourism and Web 2.0 technologies, more and more people have willingness to share their travel experiences on the Web (e.g., weblogs, forums, or Web 2.0 comm...
102
Voted
WWW
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we propose a semi-supervised learning approach for classifying program (bot) generated web search traffic from that of genuine human users. The work is motivated by...
113
Voted
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
Social networking sites and other examples of online social spaces have greatly expanded their members’ opportunities for self expression and social interaction, while creating ...