1977 search results - page 172 / 396 » The satisfactory partition problem |
210
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
A computational method for stability analysis of discrete-time piecewise linear systems is presented. The method is based on combining the solutions to two separate problems: one i...
201
click to vote
HIPEAC
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Multi-core processors with shared last-level caches are vulnerable to performance inefficiencies and fairness issues when the cache is not carefully managed between the m...
138
click to vote
ALT
2009
Springer
16 years 3 months ago
2009
Springer
Motivated by a problem of targeted advertising in social networks, we introduce and study a new model of online learning on labeled graphs where the graph is initially unknown and...
179
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
164
click to vote
NCA
2008
IEEE
16 years 29 days ago
2008
IEEE
In environments like the Internet, faults follow unusual patterns, dictated by the combination of malicious attacks with accidental faults such as long communication delays caused...