4889 search results - page 80 / 978 » A Refactoring Approach to Parallelism |
IPPS
2007
IEEE
14 years 3 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...
IPPS
2005
IEEE
14 years 2 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...
HPDC
2002
IEEE
14 years 1 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....
CONCUR
1999
Springer
14 years 1 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...
EUROPAR
1997
Springer
14 years 1 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...