4867 search results - page 151 / 974 » Fluid Models in Performance Analysis |
140
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
155
click to vote
PEWASUN
2004
ACM
15 years 10 months ago
2004
ACM
Interferences in an ad-hoc network can be defined as a set of constraints that specify which groups of nodes cannot transmit simultaneously, and they have significant implications...
167
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, we present a method for predictive modeling of anatomic structures using canonical correlation analysis (CCA). Using this technique, certain anatomical structures, ...
138
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— A multicell system which supports multiple antennas and OFDMA modulation/access is considered in this paper as conforming IEEE 802.16-2005 standard. Focusing on the upl...
159
click to vote
PADS
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we present a detailed analysis of the performance of the Decision Theoretic Read Delay (DTRD) optimistic synchronisation algorithm for simulations of Multistems. We ...