162 search results - page 29 / 33 » Symbolic Performance and Dependability Evaluation with the T... |
AISC
2008
Springer
13 years 8 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...
DAWAK
2007
Springer
14 years 26 days ago
2007
Springer
Abstract. Pareto dominance plays an important role in diverse application domains such as economics and e-commerce, and it is widely being used in multicriteria decision making. In...
WSC
1997
13 years 8 months ago
1997
Effective operational control of a manufacturing system that has routing flexibility is dependent upon being able to make informed real-time decisions in the event of a system dis...
WWW
2003
ACM
14 years 7 months ago
2003
ACM
The web contains a wealth of product reviews, but sifting through them is a daunting task. Ideally, an opinion mining tool would process a set of search results for a given item, ...
ICPADS
1994
IEEE
13 years 10 months ago
1994
IEEE
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...