1304 search results - page 215 / 261 » RTOS Modeling for System Level Design |
100
click to vote
SAINT
2008
IEEE
15 years 6 months ago
2008
IEEE
Object replication and cache consistency have been one of major design issues in the recent Internet applications. In this paper, we forcus on accuracy-aware applications (i.e., s...
CIE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
109
click to vote
IV
2005
IEEE
15 years 5 months ago
2005
IEEE
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...
108
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: Recent analysis of the yeast gene network shows that most genes have few inputs, indicating that enumerative gene reconstruction methods are both useful and computatio...
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
—Communications are increasingly relying on peer– to–peer models of interaction in which all participating entities have the same level of authority. Such models allow develo...