12334 search results - page 2356 / 2467 » The Use of C |
VMCAI
2004
Springer
15 years 3 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
116
click to vote
WDAG
2004
Springer
15 years 3 months ago
2004
Springer
In a Byzantine agreement protocol, a synchronous network of n interconnected processes of which t may be faulty, starts with an initial binary value associated with each process; a...
AIPR
2003
IEEE
15 years 3 months ago
2003
IEEE
The VIPER infrared muzzle flash detection system was deployed from a helicopter and an airship in response to the Washington, DC area sniper attacks in October 2002. The system co...
CSB
2003
IEEE
15 years 3 months ago
2003
IEEE
We describe a method for finding ungapped conserved words in rRNA sequences that is effective, utilizes evolutionary information and does not depend on multiple sequence alignment...
CSB
2003
IEEE
15 years 3 months ago
2003
IEEE
DNA microarrays are a valuable tool for massively parallel DNA-DNA hybridization experiments. Currently, most applications rely on the existence of sequence-specific oligonucleot...