165 search results - page 19 / 33 » A New Approach to Software Exploration: Back-Packing with GS... |
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
106
Voted
BMCBI
2005
14 years 11 months ago
2005
Background: The Generalized Hidden Markov Model (GHMM) has proven a useful framework for the task of computational gene prediction in eukaryotic genomes, due to its flexibility an...
78
Voted
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
80
Voted
KBSE
2008
IEEE
15 years 6 months ago
2008
IEEE
The reasons why software is changed are manyfold; new features are added, bugs have to be fixed, or the consistency of coding rules has to be re-established. Since there are many...
104
Voted
HPDC
1993
IEEE
15 years 3 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...