2041 search results - page 219 / 409 » Balance Machines: Computing = Balancing |
166
click to vote
IEEEARES
2010
IEEE
15 years 9 months ago
2010
IEEE
—In large network environments multiple intrusion detection sensors are needed to adequately monitor network traffic. However, deploying and managing additional sensors on a lar...
138
click to vote
HOTOS
2007
IEEE
15 years 9 months ago
2007
IEEE
As multi-core processors with tens or hundreds of cores begin to proliferate, system optimization issues once faced only by the high-performance computing (HPC) community will bec...
191
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
125
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
The paper examines various applicability issues of the negative selection algorithms (NSA). Recently, concerns were raised on the use of NSAs, especially those using real-valued r...
139
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, t...