243 search results - page 33 / 49 » Concolic testing for functional languages |
108
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: The Monte Carlo simulation of sequence evolution is routinely used to assess the performance of phylogenetic inference methods and sequence alignment algorithms. Progr...
BMCBI
2006
14 years 9 months ago
2006
Background: Bioinformatics applications are now routinely used to analyze large amounts of data. Application development often requires many cycles of optimization, compiling, and...
170
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Digital content is not only stored by servers on the Internet, but also on various embedded devices belonging to ubiquitous networks. In this paper, we propose a content processin...
BIBE
2005
IEEE
15 years 3 months ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...