2642 search results - page 74 / 529 » Merge-by-Wire: Algorithms and System Support |
CSJM
2008
15 years 1 months ago
2008
Methodology and algorithms of evaluation of the traffic coefficient in priority queueing systems with zero and nonzero switchover times are presented. In the case of zero switchov...
138
click to vote
MOBIHOC
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we present the architecture of a highly configurable multi-input multi?output (MIMO) orthogonal frequency division multiple access (OFDMA) platform. The platform is...
126
click to vote
ISPAN
2002
IEEE
15 years 6 months ago
2002
IEEE
Index is an important element in databases, and the existence of index is unavoidable. When an index has been built on a particular attribute, database operations (e.g. selection,...
APN
2001
Springer
15 years 6 months ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
118
click to vote
FMSD
2000
15 years 1 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...