1678 search results - page 68 / 336 » An ASM Specification of C |
CBMS
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents the effects of image quality, given by the number of pixels used to define the image. A microaneurysm (MA) segmentation algorithm that has been shown to achiev...
FLAIRS
2000
13 years 9 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
ATMN
1997
13 years 9 months ago
1997
ABR was standardised by the ATM Forum in 1996 . Source, destination and switch behaviours were specified. However, a lot of freedom was left to the switch manufacturers to impleme...
COOTS
1996
13 years 9 months ago
1996
During the development of Beyond-Sniff, a distributed multi-user development platform, we were confronted with various, apparently unrelated problems: data, control, and user inte...
BMCBI
2004
13 years 7 months ago
2004
Background: There are two different theories about the development of the genetic code. Woese suggested that it was developed in connection with the amino acid repertoire, while C...