1148 search results - page 88 / 230 » Software engineering considered harmful |
156
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
120
click to vote
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
Assigning bug reports to individual developers is typically a manual, time-consuming, and tedious task. In this paper, we present a framework for automated assignment of bug-fixi...
147
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
124
Voted
SEKE
2009
Springer
15 years 10 months ago
2009
Springer
Smart environments are subject to intensive academic and industrial research. Many of these research projects deal with challenges such as heterogeneity, personalization and conte...
116
click to vote
CISIS
2008
IEEE
15 years 10 months ago
2008
IEEE
Parallel algorithms divide computation among several threads. In many cases, the input must also be divided. Consider an input consisting of a linear sequence of elements whose le...