7778 search results - page 127 / 1556 » Designing Controllers for Reachability |
122
click to vote
JMLR
2002
15 years 3 months ago
2002
Lyapunov design methods are used widely in control engineering to design controllers that achieve qualitative objectives, such as stabilizing a system or maintaining a system'...
151
Voted
NDSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Compared to attacks against end hosts, Denial of Service (DoS) attacks against the Internet infrastructure such as those targeted at routers can be more devastating due to their g...
127
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
175
Voted
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
116
Voted
ISLPED
1995
ACM
15 years 7 months ago
1995
ACM
In current processors, the cache controller, which contains the cache directory and other logic such as tag comparators, is active for each instruction fetch and is responsible fo...