429 search results - page 3 / 86 » Parallel programming with object assemblies |
PODC
1994
ACM
13 years 11 months ago
1994
ACM
TOOLS
1997
IEEE
13 years 12 months ago
1997
IEEE
CTCS
1995
Springer
13 years 11 months ago
1995
Springer
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...
IJACTAICIT
2010
13 years 4 months ago
2010
The MTS-88.c trainer is a training system targeting students in the microprocessors course. It has a built in single-line assembler allowing the users to enter programs in assembl...
BMCBI
2011
13 years 2 months ago
2011
Background: Next-generation sequencing technologies have led to the high-throughput production of sequence data (reads) at low cost. However, these reads are significantly shorter...