3482 search results - page 499 / 697 » In Praise of Numerical Computation |
107
Voted
DSN
2008
IEEE
15 years 2 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...
137
Voted
EDCC
2008
Springer
15 years 2 months ago
2008
Springer
In avionics domain, the software applications grew to millions of source lines of code representing important development expenditures. To cut the costs, the avionics suppliers ar...
115
Voted
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
97
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
The problem of reducing an algebraic Riccati equation XCX − AX − XD + B = 0 to a unilateral quadratic matrix equation (UQME) of the kind PX2 + QX + R = 0 is analyzed. New redu...
95
Voted
ICMLA
2007
15 years 2 months ago
2007
Optimal Component Analysis (OCA) is a linear method for feature extraction and dimension reduction. It has been widely used in many applications such as face and object recognitio...