7380 search results - page 160 / 1476 » time 2008 |
184
click to vote
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...
138
click to vote
WSC
2008
15 years 8 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...
199
click to vote
RTSS
2008
IEEE
16 years 25 days 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...
183
click to vote
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...
164
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...