3909 search results - page 511 / 782 » Extreme Model Checking |
150
click to vote
OSDI
2004
ACM
16 years 5 months ago
2004
ACM
This paper studies the use of statistical induction techniques as a basis for automated performance diagnosis and performance management. The goal of the work is to develop and ev...
158
click to vote
WWW
2010
ACM
16 years 2 days ago
2010
ACM
Today, a huge amount of text is being generated for social purposes on social networking services on the Web. Unlike traditional documents, such text is usually extremely short an...
169
click to vote
ICEIS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Network Intrusion Detection Systems (NIDS) aim at preventing network attacks and unauthorised remote use of computers. More accurately, depending on the kind of attack it...
138
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
— It has been the conventional assumption that, due to the superlinear dependence of leakage power consumption on temperature, and widely varying on-chip temperature profiles, a...
155
click to vote
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...