1003 search results - page 154 / 201 » Proposal of Generalized Rule Programming Model |
WWW
2005
ACM
15 years 10 months ago
2005
ACM
This paper is concerned with the problem of definition search. Specifically, given a term, we are to retrieve definitional excerpts of the term and rank the extracted excerpts acc...
109
Voted
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
104
Voted
PLDI
2012
ACM
13 years 4 days ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
BMCBI
2010
14 years 9 months ago
2010
Background: Estimation of DNA duplex hybridization free energy is widely used for predicting cross-hybridizations in DNA computing and microarray experiments. A number of software...
70
Voted
WWW
2009
ACM
15 years 10 months ago
2009
ACM
The performance of server-side applications is becoming increasingly important as more applications exploit the Web application model. Extensive work has been done to improve the ...