4719 search results - page 515 / 944 » Spreadsheet functional programming |
232
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Abstract: Modeling the interactions of biological molecules, or docking, is critical to both understanding basic life processes and to designing new drugs. Here we describe the GPU...
137
click to vote
CVPR
2010
IEEE
16 years 29 days ago
2010
IEEE
In this paper, we propose a new shape decomposition method, called convex shape decomposition. We formalize the convex decomposition problem as an integer linear programming probl...
174
click to vote
FLOPS
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
134
click to vote
ISPASS
2009
IEEE
15 years 12 months ago
2009
IEEE
Insights into branch predictor organization and operation can be used in architecture-aware compiler optimizations to improve program performance. Unfortunately, such details are ...
115
click to vote
COMPSAC
2009
IEEE
15 years 12 months ago
2009
IEEE
—In this paper, we define and illustrate a new form of attack in the context of software services: the software-based need-to-know (SN2K) attack. SN2K attacks can be carried out...