10891 search results - page 1818 / 2179 » Combining Model Reductions |
130
click to vote
ISQED
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract — Nanoelectronic design faces unprecedented reliability challenges and must achieve noise immunity and delay insensitiveness in the presence of prevalent defects and sig...
105
Voted
CHI
2009
ACM
15 years 10 months ago
2009
ACM
We present CThru, a self-guided video-based educational environment in a large multi-display setting. We employ a video-centered approach, creating and combining multimedia conten...
154
click to vote
IDTRUST
2009
ACM
15 years 10 months ago
2009
ACM
We introduce a formal semantics based calculus of trust that explicitly represents trust and quantifies the risk associated with trust in public key infrastructure (PKI) and iden...
163
click to vote
SI3D
2009
ACM
15 years 10 months ago
2009
ACM
Fluid simulations require efficient dynamics, surface extraction and rendering in order to achieve real time interaction. We present a novel technique for the surface extraction ...
123
Voted
CAV
2009
Springer
15 years 10 months ago
2009
Springer
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....