984 search results - page 35 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
154
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
148
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
129
Voted
ESM
1998
15 years 4 months ago
1998
The aim of this project was the development of a user-friendly software package for physicians that can be used as an advisor in vessel surgery and as a training tool for medical ...
136
Voted
CODES
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
122
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Microorganisms display vast diversity, and each one has its own set of genes, cell components and metabolic reactions. To assess their huge unexploited metabolic poten...