1541 search results - page 149 / 309 » Tools and Techniques for Model Checking Networked Programs |
148
click to vote
SIGCSE
2000
ACM
15 years 8 months ago
2000
ACM
Being exposed to well-written code is a valuable experience for students -- especially when the code is larger or more complex than they are currently capable of writing. In addit...
149
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Regulation of gene expression is relevant to many areas of biology and medicine, in the study of treatments, diseases, and developmental stages. Microarrays can be use...
129
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Here we describe PathogenMIPer, a software program for designing molecular inversion probe (MIP) oligonucleotides for use in pathogen identification and detection. The...
140
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
197
click to vote
VALUETOOLS
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...