Sciweavers

TCAD
2010
136views more  TCAD 2010»
13 years 6 months ago
Bounded Model Debugging
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...
Brian Keng, Sean Safarpour, Andreas G. Veneris
SIMULATION
2010
150views more  SIMULATION 2010»
13 years 6 months ago
Profiling Literature in Healthcare Simulation
: 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...
Navonil Mustafee, Korina Katsaliaki, Simon J. E. T...
TSMC
2011
240views more  TSMC 2011»
13 years 7 months ago
Modeling Competition in the Telecommunications Market Based on Concepts of Population Biology
—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...
Christos Michalakelis, Thomas Sphicopoulos, Dimitr...
ACHI
2010
IEEE
13 years 8 months ago
Theatre as a Discussion Tool in Human-Robot Interaction Experiments - A Pilot Study
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...
Amiy R. Chatley, Kerstin Dautenhahn, Mick L. Walte...
IFIP
2010
Springer
13 years 9 months ago
Supporting DSS Acceptability through a User-Centered Design Methodology: Experiences in Emergency Management
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...
Pietro Baroni, Daniela Fogli, Massimiliano Giacomi...
CLEIEJ
2010
13 years 9 months ago
Logic Programming: Can the learning and teaching process be improved apart from standards adopted by most professors and establi
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 ...
Ricardo Luiz B. L. Campos
COMPSEC
2010
122views more  COMPSEC 2010»
13 years 10 months ago
Taming role mining complexity in RBAC
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...
Alessandro Colantonio, Roberto Di Pietro, Alberto ...
JMIV
2010
85views more  JMIV 2010»
13 years 10 months ago
Statistical Tests of Anisotropy for Fractional Brownian Textures. Application to Full-field Digital Mammography
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...
Frédéric J. P. Richard, Hermine Bier...
TVLSI
1998
89views more  TVLSI 1998»
13 years 11 months ago
Robust RTL power macromodels
—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...
Alessandro Bogliolo, Luca Benini
SIGMETRICS
2002
ACM
142views Hardware» more  SIGMETRICS 2002»
13 years 11 months ago
Exact aggregate solutions for M/G/1-type Markov processes
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 ...
Alma Riska, Evgenia Smirni