31 search results - page 3 / 7 » Becoming Aware of Propositional Variables |
QEST
2010
IEEE
13 years 4 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
DATE
2008
IEEE
14 years 24 days ago
2008
IEEE
In sub-90nm process technology it becomes harder to control the fabrication process, which in turn causes variations between the design-time parameters and the fabricated paramete...
ICCAD
2008
IEEE
14 years 3 months ago
2008
IEEE
— As Double Patterning Technology (DPT) becomes the only solution for 32-nm lithography process, we need to investigate how DPT affects the performance of a chip. In this paper, ...
ICCAD
2003
IEEE
14 years 3 months ago
2003
IEEE
Path delay fault testing becomes increasingly important due to higher clock rates and higher process variability caused by shrinking geometries. Achieving high-coverage path delay...
TRIDENTCOM
2005
IEEE
13 years 12 months ago
2005
IEEE
Wireless mesh networks have increasingly become an object of interest in recent years as a strong alternative to purely wired infrastructure networks and purely mobile wireless ne...