2266 search results - page 123 / 454 » Generalizing parametric timing analysis |
132
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
113
Voted
WSC
2007
15 years 6 months ago
2007
Workflow analysis is an important component in the simulation of construction operations. It involves creating a specific number of work requests for a crew every time period, com...
127
Voted
GLVLSI
2005
IEEE
15 years 9 months ago
2005
IEEE
A hierarchical scheme with cells and modules is crucial for managing design complexity during a large integrated circuit design. We present a methodology for thermal aware cell-ba...
121
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
140
Voted
PE
2000
Springer
15 years 3 months ago
2000
Springer
Previous work in the stability analysis of polling models concentrated mainly on stability of the whole system. This system stability analysis, however, fails to model many real-w...