6020 search results - page 1095 / 1204 » A New Approach to Model Counting |
138
click to vote
MAM
2006
15 years 4 months ago
2006
Reconfigurable systems can offer the high spatial parallelism and fine-grained, bit-level resource control traditionally associated with hardware implementations, along with the f...
134
click to vote
MAM
2006
15 years 4 months ago
2006
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...
118
click to vote
MJ
2006
15 years 4 months ago
2006
We report on recent advances in the understanding of surface processes occurring during growth and post-growth annealing of strained islands which may find application as self-ass...
133
click to vote
SIAMSC
2008
15 years 4 months ago
2008
We discuss in this paper the numerical approximation of fluid-structure interaction (FSI) problems dealing with strong added-mass effect. We propose new semi-implicit algorithms ba...
131
click to vote
SIGECOM
2008
ACM
15 years 4 months ago
2008
ACM
One attractive feature of market scoring rules [Hanson '03] is that they are myopically strategyproof: It is optimal for a trader to report her true belief about the likeliho...