503 search results - page 101 / 101 » Verifying Quantitative Properties Using Bound Functions |
MPC
2010
Springer
13 years 12 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
DATE
2006
IEEE
13 years 10 months ago
2006
IEEE
In current multi-media systems major parts of the functionality consist of software tasks executed on a set of concurrently operating processors. Those tasks interfere with each o...
BMCBI
2010
13 years 7 months ago
2010
Background: Gene silencing using exogenous small interfering RNAs (siRNAs) is now a widespread molecular tool for gene functional study and new-drug target identification. The key...