4116 search results - page 63 / 824 » Type Analysis for CHIP |
VLSID
2003
IEEE
14 years 9 months ago
2003
IEEE
Increasing values and spread in leakage current makes it impossible to distinguish between faulty and fault-free chips using single threshold method. Neighboring chips on a wafer ...
IAT
2009
IEEE
14 years 3 months ago
2009
IEEE
It is a challenging problem to find agents’ rational strategies in bargaining with incomplete information. In this paper we perform a game theoretic analysis of agents’ ratio...
PPDP
2010
Springer
13 years 7 months ago
2010
Springer
We show how to achieve typed and unambiguous declarative pattern matching on strings using regular expressions extended with a simple recording operator. We give a characterizatio...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— The problem of exact null-controllability is considered for a wide class of linear neutral type systems with distributed delay. The main tool of the analysis is the app...
SAS
1994
Springer
14 years 24 days ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...