165 search results - page 19 / 33 » A New Approach to Software Exploration: Back-Packing with GS... |
161
Voted
SPIN
2009
Springer
16 years 12 days 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 ...
166
click to vote
BMCBI
2005
15 years 5 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...
146
Voted
KBSE
2009
IEEE
16 years 18 days 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...
144
click to vote
KBSE
2008
IEEE
16 years 8 days 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...
169
click to vote
HPDC
1993
IEEE
15 years 10 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...