6618 search results - page 1108 / 1324 » Web Search Engines |
201
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
184
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Fault localization helps spotting faults in source code by exploiting automatically collected data. Deviating from other fault locators relying on hit spectra or test coverage inf...
199
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
208
click to vote
ICTIR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. An open challenge in information distillation is the evaluation and optimization of the utility of ranked lists with respect to flexible user interactions over multiple ...
185
click to vote
QOSA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. An architectural bad smell is a commonly (although not always intentionally) used set of architectural design decisions that negatively impacts system lifecycle propertie...