5639 search results - page 95 / 1128 » Timed Abstract Non-interference |
111
click to vote
HYBRID
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...
107
click to vote
ICTAC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
NPC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A fault tolerant parallel virtual file system is designed and implemented to provide high I/O performance and high reliability. A queuing model is used to analyze in deta...
PDP
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Among the numerous DAG scheduling heuristics suitable for heterogeneous systems, the Heterogeneous Earliest Finish Time (HEFT) heuristic is known to give good results in...
103
click to vote
ICALP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We consider the scheduling problem of minimizing the average weighted job completion time on a single machine under precedence constraints. We show that this problem with...