889 search results - page 39 / 178 » Analysis of Software Engineering Data Using Computational In... |
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
89
Voted
SAC
2005
ACM
15 years 3 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
130
click to vote
PAMI
2012
13 years 2 days ago
2012
— Over the last century, Component Analysis (CA) methods such as Principal Component Analysis (PCA), Linear Discriminant Analysis (LDA), Canonical Correlation Analysis (CCA), Lap...
DAWAK
2009
Springer
14 years 7 months ago
2009
Springer
Enhancing on line analytical processing through efficient cube computation plays a key role in Data Warehouse management. Hashing, grouping and mining techniques are commonly used ...
SEFM
2007
IEEE
15 years 3 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...