909 search results - page 83 / 182 » Benchmarking Grid Information Systems |
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we study the interdependency between leakage energy and chip temperature in real-time systems. We observe that the temperature variation on chip has a large impact ...
IJCAI
2007
14 years 11 months ago
2007
In this paper, we present a multi-agent control method for a large-scale network system. We propose an extension of a token-based coordination technique to improve the tradeoff be...
LISA
2007
15 years 5 days ago
2007
We present an architecture1 designed for alert verification (i.e., to reduce false positives) in network intrusion-detection systems. Our technique is based on a systematic (and a...
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we propose a fine-grained coupling metrics suite for aspect-oriented (AO) systems, to measure software changes during system evolution. We also present a correlati...
CAV
1998
Springer
15 years 2 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...