15782 search results - page 2761 / 3157 » Network Optimization and Control |
216
click to vote
IEEEARES
2006
IEEE
16 years 1 months ago
2006
IEEE
Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic...
201
Voted
MEMOCODE
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
194
click to vote
SAINT
2006
IEEE
16 years 1 months ago
2006
IEEE
Overload can reduce the overall performance of a computer system up to a point where the whole service might collapse. Thus, for example the load on a server must be controlled to...
182
click to vote
DOCENG
2006
ACM
16 years 1 months ago
2006
ACM
In many text-processing applications, we would like shapes that expand (or shrink) in size to fit their textual content. We address how to efficiently compute the minimum size fo...
184
click to vote
GLVLSI
2005
IEEE
16 years 1 months ago
2005
IEEE
Many techniques have been proposed in the past for the protection of VLSI design IPs (intellectual property). CAD tools and algorithms are intensively used in all phases of modern...