Sciweavers

784 search results - page 48 / 157
» An underlying model for defeat mechanisms
Sort
View
AAAI
1990
14 years 11 months ago
QPC: A Compiler from Physical Models into Qualitative Differential Equations
Qualitative reasoning can, and should, be decomposed into a model-building task, which creates a qualitative differential equation (QDE) as a model of a physical situation, and a ...
James M. Crawford, Adam Farquhar, Benjamin Kuipers
ICPP
2009
IEEE
15 years 4 months ago
Perfomance Models for Blocked Sparse Matrix-Vector Multiplication Kernels
—Sparse Matrix-Vector multiplication (SpMV) is a very challenging computational kernel, since its performance depends greatly on both the input matrix and the underlying architec...
Vasileios Karakasis, Georgios I. Goumas, Nectarios...
ACII
2007
Springer
15 years 4 months ago
Entertainment Modeling in Physical Play Through Physiology Beyond Heart-Rate
An investigation into capturing the relation of physiology, beyond heart rate recording, to expressed preferences of entertainment in children’s physical gameplay is presented in...
Georgios N. Yannakakis, John Hallam
INFORMATICASI
2010
14 years 7 months ago
Strategic Modeling of Information Sharing among Data Privacy Attackers
Research in privacy-preserving data publishing has revealed the necessity of accounting for an adversary's background knowledge when reasoning about the protection afforded b...
Quang Duong, Kristen LeFevre, Michael P. Wellman
ICCAD
2006
IEEE
146views Hardware» more  ICCAD 2006»
15 years 6 months ago
An analytical model for negative bias temperature instability
— Negative Bias Temperature Instability (NBTI) in PMOS transistors has become a significant reliability concern in present day digital circuit design. With continued scaling, th...
Sanjay V. Kumar, Chris H. Kim, Sachin S. Sapatneka...