626 search results - page 97 / 126 » When Can Formal Methods Make a Real Difference |
143
click to vote
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
Trace-based compilation is a promising technique for language compilers and binary translators. It offers the potential to expand the compilation scopes that have traditionally be...
142
click to vote
DASFAA
2008
IEEE
15 years 4 months ago
2008
IEEE
A pattern is considered useful if it can be used to help a person to achieve his goal. Mining data streams for useful patterns is important in many applications. However, data stre...
140
Voted
COSIT
2003
Springer
15 years 8 months ago
2003
Springer
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...
141
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
In Multi-Objective Problems (MOPs) involving uncertainty, each solution might be associated with a cluster of performances in the objective space depending on the possible scenari...
148
click to vote
IWMM
2010
Springer
15 years 8 months ago
2010
Springer
With the availability of chip multiprocessor (CMP) and simultaneous multithreading (SMT) machines, extracting thread level parallelism from a sequential program has become crucial...