1411 search results - page 175 / 283 » A Value Analysis for C Programs |
130
click to vote
ICIP
1995
IEEE
16 years 6 months ago
1995
IEEE
Receiver operating characteristics (ROC) curves have the property that they start at (0,l) and end at (1,O) and are monotonically decreasing. Furthermore, a parametric representat...
118
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
— In this paper we propose an exact algorithm that maximizes the sharing of partial terms in Multiple Constant Multiplication (MCM) operations. We model this problem as a Boolean...
162
click to vote
SAS
2005
Springer
15 years 10 months ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
120
click to vote
BMCBI
2010
15 years 5 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...
134
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-perfo...