3256 search results - page 155 / 652 » Mixin-Based Programming in C |
236
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Software-based self-test (SBST) is emerging as a promising technology for enabling at-speed testing of high-speed embedded processors testing in an SoC system. For SBST, test rout...
191
click to vote
ISW
2010
Springer
15 years 1 months ago
2010
Springer
Computer malwares (e.g., botnets, rootkits, spware) are one of the most serious threats to all computers and networks. Most malwares conduct their malicious actions via hijacking t...
174
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
110
click to vote
SIAMJO
2002
15 years 3 months ago
2002
Most local convergence analyses of the sequential quadratic programming (SQP) algorithm for nonlinear programming make strong assumptions about the solution, namely, that the activ...
159
click to vote
ERSHOV
2009
Springer
15 years 1 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...