2470 search results - page 176 / 494 » Liveness-Preserving Simulation Relations |
94
Voted
ENTCS
2006
15 years 1 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
80
Voted
PAMI
1998
15 years 24 days ago
1998
—The bitmap obtained by scanning a printed pattern depends on the exact location of the scanning grid relative to the pattern. We consider ideal sampling with a regular lattice o...
152
Voted
BMCBI
2010
14 years 8 months ago
2010
Background: Nonparametric Bayesian techniques have been developed recently to extend the sophistication of factor models, allowing one to infer the number of appropriate factors f...
94
Voted
VLSID
2008
IEEE
16 years 1 months ago
2008
IEEE
Negative Bias Temperature Instability (NBTI) has been identified as a major and critical reliability issue for PMOS devices in nano-scale designs. It manifests as a negative thres...
125
Voted
HPCC
2007
Springer
15 years 7 months ago
2007
Springer
Many optimization techniques have been adopted for efficient job scheduling in grid computing, such as: genetic algorithms, simulated annealing and stochastic methods. Such techni...