2615 search results - page 309 / 523 » Analysis of Real Time Operating System Based Applications |
151
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
146
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Time-course microarray experiments can produce useful data which can help in understanding the underlying dynamics of the system. Clustering is an important stage in m...
132
Voted
RTCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we consider data freshness and overload handling in embedded systems. The requirements on data management and overload handling are derived from an engine control so...
153
click to vote
TC
2010
14 years 10 months ago
2010
In this paper, we define and study a new class of capacity planning models called MAP queueing networks. MAP queueing networks provide the first analytical methodology to describe ...
135
click to vote
FPL
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we present a verification platform designed for HyperTransport 3.x (HT3) applications. HyperTransport 3.x is a very low latency and high bandwidth chip-tochip interc...