667 search results - page 46 / 134 » On Various Negative Translations |
104
Voted
CAL
2006
15 years 26 days ago
2006
Abstract-- Transactional memory has great potential for simplifying multithreaded programming by allowing programmers to specify regions of the program that must appear to execute ...
99
Voted
IJFCS
2006
15 years 24 days ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
ICML
2003
IEEE
16 years 1 months ago
2003
IEEE
We investigate algebraic, logical, and geometric properties of concepts recognized by various classes of probabilistic classifiers. For this we introduce a natural hierarchy of pr...
76
Voted
RECOMB
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. While nonribosomal peptides (NRPs) are of tremendous pharmacological importance, there is currently no technology capable of highthroughput sequencing of NRPs. Difficulti...
107
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
Leakage energy will be the major energy consumer in future deep sub-micron designs. Especially the memory sub-system of future SOCs will be negatively affected by this trend. In o...