915 search results - page 105 / 183 » Template Based Structured Collections |
119
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
135
click to vote
USENIX
1994
15 years 4 months ago
1994
Wux is a port of Unix tools to the Microsoft Windows environment. It is based on a library providing a Unixcompatible set of system calls on top of Windows. Unix-derived tools run...
114
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Several bioinformatic approaches have previously been used to find novel sites of ADAR mediated A-to-I RNA editing in human. These studies have discovered thousands of...
134
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Backtranslation is the process of decoding a sequence of amino acids into the corresponding codons. All synthetic gene design systems include a backtranslation module....
117
Voted
SIGMOD
1997
ACM
15 years 7 months ago
1997
ACM
The Strudel system applies concepts from database management systems to the process of building Web sites. Strudel’s key idea is separating the management of the site’s data, t...