5639 search results - page 987 / 1128 » Timed Abstract Non-interference |
111
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Most non-coding RNA families exert their function by means of a conserved, common secondary structure. The Rfam data base contains more than five hundred structurally ...
141
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
109
Voted
COMPUTER
2006
15 years 1 months ago
2006
more abstract realms of Impressionism, and more pure Abstraction. The camera, although capable of capturing instants in time, cannot on its own--except in rare instances--truly rec...
114
Voted
DT
2006
15 years 1 months ago
2006
the abstraction level at which designers express systems, enabling new levels of design reuse, and providing for design chain integration ool flows and abstraction levels. The purp...
143
click to vote
INTERNET
2008
15 years 1 months ago
2008
more abstractly to the tools, tactics, and techniques pertinent to each profession. Top basketball players know multiple ways to help their teams with scoring, passing, and defense...