15421 search results - page 2793 / 3085 » Dependability |
209
click to vote
IEEEPACT
1999
IEEE
15 years 11 months ago
1999
IEEE
The performance of applications on large shared-memory multiprocessors with coherent caches depends on the interaction between the granularity of data sharing, the size of the coh...
199
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
The minimization of the wireless cost of tracking mobile users is a crucial issue in wireless networks. Some of the previous strategies addressing this issue leave an open gap, by ...
180
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
240
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Multidimensional Analysis and On-Line Analytical Processing (OLAP) uses summary information that requires aggregate operations along one or more dimensions of numerical data value...
216
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
The rapid progress in high-performance microprocessor design has made it di cult to adapt real-time scheduling results to new models of microprocessor hardware, thus leaving an un...