1294 search results - page 190 / 259 » A Conditional Scheduling Approach to Designing Real-Time Sys... |
150
Voted
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper studies the robust stability and stabilization problems for switched linear discrete-time systems. The parameter uncertainties in the system under considerat...
148
Voted
NDSS
2003
IEEE
15 years 10 months ago
2003
IEEE
System call interposition is a powerful method for regulating and monitoring application behavior. In recent years, a wide variety of security tools have been developed that use t...
126
Voted
AUTOMATICA
2010
15 years 5 months ago
2010
In this paper, a suitable LaSalle principle for continuous-time linear switched systems is used to characterize invariant sets and their associated switching laws. An algorithm to...
171
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
180
click to vote
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents the design and implementation of the MPI-IO interface for the Clusterfile parallel file system. The approach offers the opportunity of achieving a high corelat...