2994 search results - page 129 / 599 » Time sequences |
100
click to vote
IANDC
2010
14 years 10 months ago
2010
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
110
click to vote
DAC
1994
ACM
15 years 4 months ago
1994
ACM
Existing software scheduling techniques limit the functions that can be implemented in software to those with a restricted class of timing constraints, in particular those with a c...
117
click to vote
CCE
2011
14 years 4 months ago
2011
During the last 15 years, many mathematical models have been developed in order to solve process operation scheduling problems, using discrete or continuous time representations. ...
AINA
2006
IEEE
15 years 4 months ago
2006
IEEE
HMMer is a widely used tool for protein sequence homology detection, as well as functional annotation of homologous protein sequences, and protein family classification. The HMMer...
71
Voted
FORMATS
2007
Springer
15 years 7 months ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...