4081 search results - page 467 / 817 » The Impact of Constraint Programming |
171
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
188
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
The Local Outlier Factor (LOF) is a very powerful anomaly detection method available in machine learning and classification. The algorithm defines the notion of local outlier in...
175
click to vote
MICRO
2008
IEEE
16 years 1 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
172
click to vote
ICS
2000
Tsinghua U.
15 years 10 months ago
2000
Tsinghua U.
Complete system simulation to understand the influence of architecture and operating systems on application execution has been identified to be crucial for systems design. While t...
186
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
Given the large communication overheads characteristic of modern parallel machines, optimizations that eliminate, hide or parallelize communication may improve the performance of ...