2878 search results - page 278 / 576 » Analyzing the Uses of a Software Modeling Tool |
219
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
170
click to vote
SAT
2005
Springer
16 years 5 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
194
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Genome-scale metabolic reconstructions under the Constraint Based Reconstruction and Analysis (COBRA) framework are valuable tools for analyzing the metabolic capabili...
219
click to vote
ECBS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
168
click to vote
RTAS
2007
IEEE
16 years 29 days ago
2007
IEEE
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...