23 search results - page 5 / 5 » Ownership, Uniqueness, and Immutability |
ESOP
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
ELPUB
2008
ACM
13 years 7 months ago
2008
ACM
The International Development Research Centre (IDRC) has recently launched the OAI-PMH compliant IDRC Digital Library (IDL), a DSpace institutional repository. The digital library...
BMCBI
2004
13 years 5 months ago
2004
Background: Multi-locus sequence typing (MLST) is a method of typing that facilitates the discrimination of microbial isolates by comparing the sequences of housekeeping gene frag...