6546 search results - page 162 / 1310 » Improving the Performance of the RISE Algorithm |
200
click to vote
LPAR
2012
Springer
14 years 1 months ago
2012
Springer
E-matching is the most commonly used technique to handle quantifiers in SMT solvers. It works by identifying characteristic subexpressions of quantified formulae, named triggers,...
158
click to vote
VLSID
2007
IEEE
16 years 6 months ago
2007
IEEE
Device scaling such as reduced oxide thickness and high electric field has given rise to various reliability concerns. One such growing issue of concern is the degradation of PMOS...
131
click to vote
OOPSLA
2009
Springer
16 years 28 days ago
2009
Springer
Generic classes can be used to improve performance by allowing compile-time polymorphism. But the applicability of compile-time polymorphism is narrower than that of runtime polym...
167
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Adaptive query processing in large distributed systems has seen increasing importance due to the rising environmental fluctuations in a growing Internet. We describe Ginga, an ad...
148
click to vote
QOFIS
2001
Springer
15 years 10 months ago
2001
Springer
The exponential rise in the number of Web users has inspired the creation of a diversity of Web applications. Hence, Web Quality of Service (QoS) is an increasingly critical issue ...