Sciweavers

1009 search results - page 84 / 202
» Performance Analysis of UML Models Using Aspect-Oriented Mod...
Sort
View
DATE
2007
IEEE
118views Hardware» more  DATE 2007»
15 years 4 months ago
Statistical model order reduction for interconnect circuits considering spatial correlations
In this paper, we propose a novel statistical model order reduction technique, called statistical spectrum model order reduction (SSMOR) method, which considers both intra-die and...
Jeffrey Fan, Ning Mi, Sheldon X.-D. Tan, Yici Cai,...
SAT
2005
Springer
162views Hardware» more  SAT 2005»
15 years 3 months ago
Heuristics for Fast Exact Model Counting
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
Tian Sang, Paul Beame, Henry A. Kautz
DATE
2010
IEEE
178views Hardware» more  DATE 2010»
15 years 3 months ago
Circuit propagation delay estimation through multivariate regression-based modeling under spatio-temporal variability
—With every process generation, the problem of variability in physical parameters and environmental conditions poses a great challenge to the design of fast and reliable circuits...
Shrikanth Ganapathy, Ramon Canal, Antonio Gonz&aac...
MM
2003
ACM
161views Multimedia» more  MM 2003»
15 years 3 months ago
Affective content detection using HMMs
This paper discusses a new technique for detecting affective events using Hidden Markov Models(HMM). To map low level features of video data to high level emotional events, we per...
Hang-Bong Kang
PLDI
2012
ACM
13 years 15 days ago
Diderot: a parallel DSL for image analysis and visualization
Research scientists and medical professionals use imaging technology, such as computed tomography (CT) and magnetic resonance imaging (MRI) to measure a wide variety of biological...
Charisee Chiw, Gordon Kindlmann, John Reppy, Lamon...