4116 search results - page 151 / 824 » Type Analysis for CHIP |
JLP
2010
13 years 3 months ago
2010
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
SECURWARE
2008
IEEE
14 years 3 months ago
2008
IEEE
— Epidemiology, the science that studies the cause and propagation of diseases, provides us with the concepts and methods to analyze the potential risk factors to which ADSL cust...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
∗ This paper presents an analysis of the electrical origins of Slow Write Driver Faults (SWDFs) [1] that may affect SRAM write drivers in 65nm technology. This type of fault is t...
BIOID
2008
13 years 11 months ago
2008
A new 3D face database that includes a rich set of expressions, systematic variation of poses and different types of occlusions is presented in this paper. This database is unique ...
GLOBECOM
2008
IEEE
13 years 9 months ago
2008
IEEE
We report in this paper measurements from France Telecom commercial networks carrying traffic generated and received by ADSL and FTTH customers. By adopting a flowbased approach to...