4889 search results - page 80 / 978 » A Refactoring Approach to Parallelism |
112
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Since current internet threats contain not only malicious codes like Trojan or worms, but also spyware and adware which do not have explicit illegal content, it is necessary to hav...
140
Voted
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
Results of an experimental study of an anomaly detection system based on the paradigm of artificial immune systems (AISs) are presented. Network traffic data are mapped into ant...
133
Voted
HPDC
2002
IEEE
15 years 7 months ago
2002
IEEE
Resource location (or discovery) is a fundamental service for resource-sharing environments: given desired resource attributes, the service returns locations of matching resources....
104
Voted
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
102
Voted
EUROPAR
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We present a relational algebra based framework for compiling e cient sparse matrix code from dense DO-ANY loops and a speci cation of the representation of the sparse ma...