4418 search results - page 547 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
201
click to vote
PAMI
2002
15 years 6 months ago
2002
We introduce a formalism for optimal sensor parameter selection for iterative state estimation in static systems. Our optimality criterion is the reduction of uncertainty in the st...
190
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Single Nucleotide Polymorphism (SNP) genotyping is a major activity in biomedical research. The Taqman technology is one of the most commonly used approaches. It produ...
207
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
164
click to vote
SIGUCCS
2003
ACM
15 years 12 months ago
2003
ACM
Managing operating systems and campus-supported software can be a daunting challenge. Many colleges and universities handle these challenges by using disk imaging software to crea...
212
click to vote
ICTAI
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...