296 search results - page 27 / 60 » Using SAT-based techniques in power estimation |
AIED
2009
Springer
14 years 2 months ago
2009
Springer
One of the most popular student modeling techniques currently available is Constraint Based Modeling (CBM), which is based on Ohlsson's theory of learning from performance err...
TCAD
2002
13 years 7 months ago
2002
System-on-a-chip (SOC) platform manufacturers are increasingly adding configurable features that provide power and performance flexibility in order to increase a platform's ap...
CGO
2005
IEEE
14 years 1 months ago
2005
IEEE
Modern embedded microprocessors use low power on-chip memories called scratch-pad memories to store frequently executed instructions and data. Unlike traditional caches, scratch-p...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
We introduce a stochastic model that describes the quasistatic dynamics of an electric transmission network under perturbations introduced by random load fluctuations, random rem...
FGR
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper presents a novel approach to robust and flexible person tracking using an algorithm that combines two powerful stochastic modeling techniques: The first one is the tech...