TCAD
2010
12 years 11 months ago
2010
Design debugging is a major bottleneck in modern VLSI design flows as both the design size and the length of the error trace contribute to its inherent complexity. With typical des...
SIMULATION
2010
12 years 11 months ago
2010
: The publications that relate to the application of simulation to healthcare have steadily increased over the years. These publications are scattered amongst various journals that...
TSMC
2011
12 years 11 months ago
2011
—Based on concepts of ecology modeling and specifi-4 cally on population biology, a methodology for describing a high-5 technology market’s dynamics is developed and presented...
ACHI
2010
IEEE
13 years 1 months ago
2010
IEEE
In the field of Human-Robot Interaction (HRI), a novel experimental methodology is presented for carrying out studies which uses a theatrical presentation with an actor interacting...
IFIP
2010
Springer
13 years 1 months ago
2010
Springer
This paper presents a user-centered design methodology for Decision Support Systems (DSSs), which is specifically built to face the socio-technical gap that often impedes DSS accep...
CLEIEJ
2010
13 years 2 months ago
2010
Logic programming is one of the most important subjects for students pursuing a degree in Information Technology and Communication (ITC) at higher education institutions. Teaching ...
COMPSEC
2010
13 years 2 months ago
2010
In this paper we address the problem of reducing the role mining complexity in RBAC systems. To this aim, we propose a three steps methodology: first, we associate a weight to rol...
JMIV
2010
13 years 3 months ago
2010
In this paper, we propose a new and generic methodology for the analysis of texture anisotropy. The methodology is based on the stochastic modeling of textures by anisotropic fract...
TVLSI
1998
13 years 4 months ago
1998
—In this paper, we propose a robust register-transfer level (RTL) power modeling methodology for functional units. Our models are consistently accurate over a wide range of input...
SIGMETRICS
2002
ACM
13 years 4 months ago
2002
ACM
We introduce a new methodology for the exact analysis of M/G/1-type Markov processes. The methodology uses basic, well-known results for Markov chains by exploiting the structure ...