1005 search results - page 176 / 201 » On genomic coding theory |
106
click to vote
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
Software peer review has proven to be a successful technique in open source software (OSS) development. In contrast to industry, where reviews are typically assigned to specific ...
103
click to vote
PLDI
2011
ACM
14 years 16 days ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
TVCG
2012
13 years 3 days ago
2012
—In this paper, we introduce a new approach to computing a Morse decomposition of a vector field on a triangulated manifold surface. The basic idea is to convert the input vector...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
It is increasingly common for users to interact with the web using a number of different aliases. This trend is a doubleedged sword. On one hand, it is a fundamental building bloc...