10870 search results - page 2008 / 2174 » Model Checking Programs |
125
Voted
ICDM
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper, we present a new system, called GeneScout, for predicting gene structures in vertebrate genomic DNA. The system contains specially designed hidden Markov models (HM...
ICECCS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
120
click to vote
IEEEPACT
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents a new modulo scheduling algorithm for clustered microarchitectures. The main feature of the proposed scheme is that the assignment of instructions to clusters ...
104
click to vote
ISCC
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper, we study the problems of resource and performance management in channelized wireless networks. For identifying research issues systematically, we propose a research...
152
click to vote
ISPAN
2002
IEEE
15 years 6 months ago
2002
IEEE
In the directed acyclic graph (dag) model of algorithms, consider the following problem for precedence-constrained multiprocessor schedules for array computations: Given a sequenc...