14360 search results - page 363 / 2872 » Time Modeling in MARTE |
74
Voted
EOR
2008
15 years 26 days ago
2008
Relationships between an assembler and a vendor in a supply chain are investigated in two-period models when the assembler wants to reduce response time by incentive systems. The ...
119
click to vote
CPC
2006
15 years 25 days ago
2006
We consider instances of the maximum independent set problem that are constructed according to the following semirandom model. Let Gn,p be a random graph, and let S be a set consis...
103
Voted
ENTCS
2006
15 years 25 days ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
103
Voted
TWC
2008
15 years 21 days ago
2008
This letter addresses the problem of joint estimation of carrier frequency offset (CFO) and channel for OFDM systems in the presence of timing ambiguity. Based on two signal models...
117
click to vote
SIAMCOMP
2000
15 years 17 days ago
2000
This paper presents a lower bound of (D + n/ log n) on the time required for the distributed construction of a minimum-weight spanning tree (MST) in weighted n-vertex networks of ...