3370 search results - page 450 / 674 » Correlation Embedding Analysis |
105
click to vote
CORR
2010
Springer
15 years 26 days ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
123
click to vote
SAC
2006
ACM
15 years 21 days ago
2006
ACM
Many combinatorial optimization problems in biosequence analysis are solved via dynamic programming. To increase programming productivity and program reliability, a domain specifi...
104
Voted
HCI
2009
14 years 10 months ago
2009
Consumer Generated Medias (CGMs) -- such as blogs, news forums, message boards, and web pages -- are emerging as locations where consumers trade, discuss and influence each other&#...
177
click to vote
DATE
2011
IEEE
14 years 4 months ago
2011
IEEE
Current processors are optimized for average case performance, often leading to a high worst-case execution time (WCET). Many architectural features that increase the average case...
117
click to vote
LCTRTS
2009
Springer
15 years 7 months ago
2009
Springer
Register file (RF) is extremely vulnerable to soft errors, and traditional redundancy based schemes to protect the RF are prohibitive not only because RF is often in the timing c...