1411 search results - page 187 / 283 » A Value Analysis for C Programs |
167
click to vote
DASIP
2010
14 years 12 months ago
2010
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...
127
Voted
BMCBI
2010
15 years 5 months ago
2010
Background: A major goal of the analysis of high-dimensional RNA expression data from tumor tissue is to identify prognostic signatures for discriminating patient subgroups. For t...
169
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
167
click to vote
IJNSEC
2006
15 years 5 months ago
2006
The widespread use of the Internet has caused computer security to become an important issue. Currently, antivirus software is the primary mechanism that prevents computers from t...
159
click to vote
PLDI
1998
ACM
15 years 9 months ago
1998
ACM
The fth release of the multithreaded language Cilk uses a provably good \work-stealing" scheduling algorithm similar to the rst system, but the language has been completely r...