7380 search results - page 160 / 1476 » time 2008 |
204
Voted
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
145
click to vote
WSC
2008
15 years 9 months ago
2008
Pricing and lead time setting are two important decisions in semiconductor foundry industries. This research considers the competition of a duopoly market consisting of two make-t...
220
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
211
Voted
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
175
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
We study the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata, subject to boundary constraints on the...