426 search results - page 2 / 86 » C Annotations |
PEPM
1997
ACM
13 years 11 months ago
1997
ACM
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...
BMCBI
2005
13 years 7 months ago
2005
Background: NemaFootPrinter (Nematode Transcription Factor Scan Through Philogenetic Footprinting) is a web-based software for interactive identification of conserved, non-exonic ...
HT
1998
ACM
13 years 11 months ago
1998
ACM
Annotation is a key way in which hypertexts grow and increase in value. This paper first characterizes annotation according to a set of dimensions to situate a long-term study of ...
SPIN
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
BMCBI
2010
13 years 7 months ago
2010
Background: Image analysis is an essential component in many biological experiments that study gene expression, cell cycle progression, and protein localization. A protocol for tr...