3495 search results - page 598 / 699 » On the random satisfiable process |
161
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
200
click to vote
ICPP
2005
IEEE
15 years 11 months ago
2005
IEEE
Consider a heterogeneous cluster system, consisting of processors with varying processing capabilities and network links with varying bandwidths. Given a DAG application to be sch...
158
click to vote
INFOCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
We consider the problem of neighbor discovery in static wireless ad hoc networks with directional antennas. We propose several probabilistic algorithms in which nodes perform rand...
154
click to vote
QEST
2005
IEEE
15 years 11 months ago
2005
IEEE
A framework to assess transient performance measures is introduced by generalizing the theory of the quasi Birthand-Death (QBD) paradigm to QBDs with marked time epochs (QBDm ). T...
132
click to vote
SMI
2005
IEEE
15 years 11 months ago
2005
IEEE
Creating surfaces with intricate small-scale features (microgeometry) and detail is an important task in geometric modeling and computer graphics. We present a model processing me...