2132 search results - page 357 / 427 » Automated software winnowing |
110
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Dual-execution/checkpointing based transient error tolerance techniques have been widely used in the high-end mission critical systems. These techniques, however, are not very att...
127
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Current Application Specific Instruction set Processor (ASIP) design methodologies are mostly based on iterative architecture exploration that uses Architecture Description Langua...
154
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
135
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
Collaborative recommender systems are highly vulnerable to attack. Attackers can use automated means to inject a large number of biased profiles into such a system, resulting in r...
129
click to vote
RECOMB
2001
Springer
16 years 4 months ago
2001
Springer
In proteomics 2?dimensional gel electrophoresis (2?DE) is a separation technique for proteins. The resulting protein spots can be identified by either using picking robots and sub...