9842 search results - page 204 / 1969 » Compositional timing analysis |
108
click to vote
FUIN
2008
15 years 2 months ago
2008
This paper is concerned with the universality problem for timed automata: given a timed automaton A, does A accept all timed words? Alur and Dill have shown that the universality p...
105
Voted
INFOCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper analyzes a single server queueing system in which service is alternated between two queues and the server requires a (finite) switchover time to switch from one queue ...
154
Voted
ICDCS
1995
IEEE
15 years 6 months ago
1995
IEEE
Tasks in a real-time application usually have several stringent timing, resource, and communication requirements. Designing a distributed computing system which can meet all these...
118
click to vote
WSC
2007
15 years 5 months ago
2007
This paper is motivated by a case study performed at a company that manufactures two main types of customized products. In an effort to significantly increase their throughput cap...
114
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—We discuss malicious interference based denial of service (DoS) attacks in multi-band covert timing networks using an adversarial game theoretic approach. A covert timing networ...