4491 search results - page 209 / 899 » Algorithm Engineering |
104
click to vote
ESA
2006
Springer
15 years 6 months ago
2006
Springer
We address the problem of sorting in the presence of faults that may arbitrarily corrupt memory locations, and investigate the impact of memory faults both on the correctness and ...
82
Voted
ICSE
2009
IEEE-ACM
16 years 3 months ago
2009
IEEE-ACM
Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combin...
107
click to vote
OSS
2009
Springer
15 years 9 months ago
2009
Springer
The quantitative analysis of software projects can provide insights that let us better understand open source and other software development projects. An important variable used in...
109
click to vote
FATES
2004
Springer
15 years 7 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
139
Voted
SIAMJO
2011
14 years 8 months ago
2011
In this paper we define semidefinite packing programs and describe an algorithm to approximately solve these problems. Semidefinite packing programs arise in many applications s...