15155 search results - page 2576 / 3031 » System Software |
191
click to vote
CONEXT
2009
ACM
15 years 8 months ago
2009
ACM
Networking researchers have been using tools like wireshark and tcpdump to sniff packets on physical links that use different types of datalink protocols, e.g. Ethernet or 802.11,...
177
click to vote
BIOSYSTEMS
2008
15 years 7 months ago
2008
Change of DNA sequence that fuels evolution is, to a certain extent, a deterministic process because mutagenesis does not occur in an absolutely random manner. So far, it has not ...
179
click to vote
BMCBI
2010
15 years 7 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...
172
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: RNA-dependent gene silencing is becoming a routine tool used in laboratories worldwide. One of the important remaining hurdles in the selection of the target sequence,...
195
click to vote
IJFCS
2006
15 years 6 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...