2947 search results - page 58 / 590 » Analyzing Program Analyses |
114
Voted
BIOINFORMATICS
2005
15 years 2 months ago
2005
BioLingua is an interactive, web-based programming environment that enables biologists to analyze biological systems by combining knowledge and data through direct end-user progra...
115
click to vote
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
130
Voted
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
158
click to vote
ISPASS
2009
IEEE
15 years 9 months ago
2009
IEEE
Modern Graphic Processing Units (GPUs) provide sufficiently flexible programming models that understanding their performance can provide insight in designing tomorrow’s manyco...
141
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Recent progresses in genotyping technologies allow the generation high-density genetic maps using hundreds of thousands of genetic markers for each DNA sample. The ava...