209 search results - page 33 / 42 » Reasoning with Intervals on Granules |
157
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Reliable prediction of parametric yield for a specific design is difficult; a significant reason is the reliance of the yield estimation methods on the hard-to-measure distributio...
170
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Leveraging research by psychologists on human decision-making, we present a human-robot decision-making problem associated with a complex task and study the corresponding joint...
178
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
152
click to vote
DSN
2006
IEEE
16 years 22 days ago
2006
IEEE
One of the main reasons for the difficulty of hardware verification is that hardware platforms are typically nondeterministic at clock-cycle granularity. Uninitialized state ele...
148
click to vote
IPCCC
2005
IEEE
16 years 7 days ago
2005
IEEE
Tree-based reliable multicast protocols provide scalability by distributing error-recovery tasks among several repair nodes. These repair nodes keep in their buffers all packets t...