Sciweavers

4757 search results - page 261 / 952
» Generalized Posynomial Performance Modeling
Sort
View
DAC
2004
ACM
15 years 10 months ago
Quadratic placement using an improved timing model
The performance of timing-driven placement methods depends strongly on the choice of the net model. In this paper a more precise net model is presented that does not increase nume...
Bernd Obermeier, Frank M. Johannes
NIPS
2007
15 years 8 months ago
Comparing Bayesian models for multisensory cue combination without mandatory integration
Bayesian models of multisensory perception traditionally address the problem of estimating an underlying variable that is assumed to be the cause of the two sensory signals. The b...
Ulrik Beierholm, Konrad P. Körding, Ladan Sha...
CSCL
2006
109views more  CSCL 2006»
15 years 6 months ago
Supporting synchronous collaborative learning: A generic, multi-dimensional model
Future CSCL technologies are described by the community as flexible, tailorable, negotiable, and appropriate for various collaborative settings, conditions and contexts. This paper...
Jacques Lonchamp
IJHPCA
2008
75views more  IJHPCA 2008»
15 years 6 months ago
Towards Ultra-High Resolution Models of Climate and Weather
We present a speculative extrapolation of the performance aspects of an atmospheric general circulation model to ultra-high resolution and describe alternative technological paths...
Michael F. Wehner, Leonid Oliker, John Shalf
FUIN
2006
85views more  FUIN 2006»
15 years 6 months ago
Towards Integrated Verification of Timed Transition Models
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
Mark Lawford, Vera Pantelic, Hong Zhang