2342 search results - page 317 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
146
Voted
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper presents a methodology for setting up a Decision Support system for User Interface Design (DSUID). We first motivate the role and contributions of DSUID and then demons...
126
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
137
Voted
ISPASS
2010
IEEE
15 years 10 months ago
2010
IEEE
—While many-core accelerator architectures, such as today’s Graphics Processing Units (GPUs), offer orders of magnitude more raw computing power than contemporary CPUs, their m...
123
click to vote
SAFECOMP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
106
click to vote
RECOMB
2003
Springer
16 years 4 months ago
2003
Springer
Large-scale comparison of genomic DNA is of fundamental importance in annotating functional elements of genomes. To perform large comparisons efficiently, BLAST (Methods: Companio...