3799 search results - page 490 / 760 » An Engineering Approach to Formal Methods |
231
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
209
click to vote
JIDM
2010
15 years 5 months ago
2010
The need for incorporating preference querying in database technology is a very important issue in a variety of applications ranging from e-commerce to personalized search engines....
214
click to vote
ECIR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...
166
Voted
ISPD
2003
ACM
15 years 12 months ago
2003
ACM
Traditional multilevel partitioning approaches have shown good performance with respect to cutsize, but offer no guarantees with respect to system performance. Timing-driven part...
200
click to vote
ENDM
2010
15 years 4 months ago
2010
In the past decade, significant progress has been achieved in developing generic primal heuristics that made their way into commercial mixed integer programming (MIP) solver. Exte...