Sciweavers

1516 search results - page 60 / 304
» Generalizing Indexical-Functional Reference
Sort
View
ICFP
2005
ACM
16 years 2 months ago
A step-indexed model of substructural state
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...
Amal J. Ahmed, Matthew Fluet, Greg Morrisett
144
Voted
ICS
2004
Tsinghua U.
15 years 7 months ago
Inter-reference gap distribution replacement: an improved replacement algorithm for set-associative caches
We propose a novel replacement algorithm, called InterReference Gap Distribution Replacement (IGDR), for setassociative secondary caches of processors. IGDR attaches a weight to e...
Masamichi Takagi, Kei Hiraki
BMCBI
2010
111views more  BMCBI 2010»
15 years 2 months ago
Comparative performances of DNA barcoding across insect orders
Background: Previous studies on insect DNA barcoding provide contradictory results and suggest not consistent performances across orders. This work aims at providing a general eva...
Massimiliano Virgilio, Thierry Backeljau, Bruno Ne...
BMCBI
2010
105views more  BMCBI 2010»
15 years 2 months ago
A knowledge-guided strategy for improving the accuracy of scoring functions in binding affinity prediction
Background: Current scoring functions are not very successful in protein-ligand binding affinity prediction albeit their popularity in structure-based drug designs. Here, we propo...
Tiejun Cheng, Zhihai Liu, Renxiao Wang
LPAR
2010
Springer
15 years 10 days ago
Verifying Pointer and String Analyses with Region Type Systems
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
Lennart Beringer, Robert Grabowski, Martin Hofmann