5775 search results - page 85 / 1155 » A Rationale-based Analysis Tool |
CORR
2008
Springer
14 years 12 months ago
2008
Springer
To aid the development of spreadsheet debugging tools, a knowledge of end-users natural behaviour within the Excel environment would be advantageous. This paper details the design...
CAV
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
125
click to vote
NAR
2006
14 years 12 months ago
2006
The MPI Bioinformatics Toolkit is an interactive web service which offers access to a great variety of public and in-house bioinformatics tools. They are grouped into different se...
103
click to vote
AISS
2010
14 years 9 months ago
2010
The National Agricultural Biotechnology Information Center (NABIC) constructs an agricultural biology-based infrastructure and develops a biotechnological database. The NABIC has ...
111
click to vote
CISS
2010
IEEE
14 years 3 months ago
2010
IEEE
—Sparse representations have emerged as a powerful tool in signal and information processing, culminated by the success of new acquisition and processing techniques such as Compr...