7961 search results - page 1100 / 1593 » Input-Output Model Programs |
163
click to vote
BCS
2008
15 years 8 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
191
click to vote
IPCO
2004
15 years 8 months ago
2004
Managing an industrial production facility requires carefully allocating limited resources, and gives rise to large, potentially complicated scheduling problems. In this paper we c...
145
click to vote
NAR
2008
15 years 6 months ago
2008
In addition to maintaining the GenBank(R) nucleic acid sequence database, the National Center for Biotechnology Information (NCBI) provides analysis and retrieval resources for th...
181
click to vote
ASE
2004
15 years 6 months ago
2004
er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits sign...
205
Voted
BMCBI
2004
15 years 6 months ago
2004
Background: Multiple sequence alignment algorithms are very important tools in molecular biology today. Accurate alignment of proteins is central to several areas such as homology...