1769 search results - page 328 / 354 » Choice in Dynamic Linking |
CAV
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
KDD
2007
ACM
16 years 5 days ago
2007
ACM
Data clustering is an important task in many disciplines. A large number of studies have attempted to improve clustering by using the side information that is often encoded as pai...
113
click to vote
KDD
2004
ACM
16 years 5 days ago
2004
ACM
Metabolomics is the omics science of biochemistry. The associated data include the quantitative measurements of all small molecule metabolites in a biological sample. These datase...
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
110
click to vote
PERCOM
2008
ACM
15 years 11 months ago
2008
ACM
Existing code update protocols for reprogramming nodes in a sensor network are either unsuitable or inefficient when used in a mobile environment. The prohibitive factor of uncert...