9842 search results - page 492 / 1969 » Compositional timing analysis |
215
click to vote
MM
1993
ACM
15 years 11 months ago
1993
ACM
as a tree which specifies the presentation in an abstract, machineindependent way. This specification is created and edited using an authoring system; it is mapped to a particula...
182
click to vote
FTRTFT
1998
Springer
15 years 11 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
181
Voted
ICSR
2000
Springer
15 years 10 months ago
2000
Springer
A serious problem of most transformation-based generators is that they are trying to achieve three mutually antagonistic goals simultaneously: 1) deeply factored operators and oper...
178
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: We study the usage of specific peptide platforms in protein composition. Using the pentapeptide as a unit of length, we find that in the universal proteome many pentap...
199
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Horizontal gene transfer (HGT) has allowed bacteria to evolve many new capabilities. Because transferred genes perform many medically important functions, such as conf...