6047 search results - page 230 / 1210 » Modeling with Extend |
138
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
112
click to vote
RECOMB
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Between-Pathway Models (BPMs) are network motifs consisting of pairs of putative redundant pathways. In this paper, we show how adding another source of high-throughput d...
114
Voted
HIPEAC
2010
Springer
16 years 1 months ago
2010
Springer
We address the problem of performance and power-efficient thread allocation in a CMP. To that end, based on analytical model, we introduce a parameterized performance/power metric ...
110
click to vote
ISBI
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a numerical framework for Fluorescence Diffuse Optical Tomography (fDOT) that combines a forward model together with an iterative reconstruction procedure. Using rapid ...
116
Voted
ICWL
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we describe the design steps of extending LAOS, a five-layer framework for generic adaptive web learning authoring, by adding a social layer to capture (and adapt) i...