1793 search results - page 46 / 359 » On the Design of Codes for DNA Computing |
ISCIS
2004
Springer
15 years 5 months ago
2004
Springer
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
116
click to vote
CODES
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a hardware-software co-design approach for flexible programmable Galois Field Processing for applications which require operations over GF(2m ), such as RS an...
103
click to vote
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
104
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: There is an increasing demand to assemble and align large-scale biological sequence data sets. The commonly used multiple sequence alignment programs are still limited...
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...