6308 search results - page 150 / 1262 » Modeling Urgency in Timed Systems |
127
click to vote
ICCAD
2003
IEEE
16 years 29 days ago
2003
IEEE
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...
133
click to vote
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
142
click to vote
SOFSEM
2009
Springer
16 years 28 days ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
168
click to vote
CASCON
1996
15 years 5 months ago
1996
Organizations have become increasingly dependent on computing systems to achieve their business goals. The performance of these systems in terms of response times and cost has a m...
112
click to vote
WSC
2007
15 years 6 months ago
2007
Most classical stochastic inventory models assume that replenishment lead times are independent of the amount of orders placed. This assumption is clearly problematic in capacitat...