58 search results - page 12 / 12 » An aperiodic tiles machine |
BMCBI
2010
13 years 5 months ago
2010
Background: Illumina's second-generation sequencing platform is playing an increasingly prominent role in modern DNA and RNA sequencing efforts. However, rapid, simple, stand...
DNA
2009
Springer
13 years 11 months ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
PLDI
2003
ACM
13 years 10 months ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...