3482 search results - page 26 / 697 » Cooperative Assembly Systems |
ICFP
2001
ACM
15 years 9 months ago
2001
ACM
We present a dependently typed assembly language (DTAL) in which the type system supports the use of a restricted form of dependent types, reaping some benefits of dependent types...
CAD
2002
Springer
14 years 9 months ago
2002
Springer
Current modelling systems adequately support either modelling of parts or modelling of assemblies, whereas ideal modelling systems should adequately support both. To achieve this,...
SODA
2012
ACM
13 years 7 days ago
2012
ACM
We study the role that parallelism plays in time complexariants of Winfree’s abstract Tile Assembly Model (aTAM), a model of molecular algorithmic self-assembly. In the “hiera...
FUIN
2008
14 years 9 months ago
2008
In this paper, we investigate the computational efficiency of gene rearrangement operations found in ciliates, a type of unicellular organisms. We show how the so-called guided re...
WSC
2007
15 years 3 days ago
2007
A HDD template is designed and developed for modeling and simulation for final assembly of hard disk drive (HDD) manufacturing using Arena. The designed HDD template is a high fle...