1888 search results - page 140 / 378 » Proof theory and computational analysis |
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...
115
click to vote
ICTCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
92
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
Starting from a model of the within-die systematic variations using principal components analysis, a model is proposed for estimation of the parametric yield, and is then applied ...
DCC
2009
IEEE
16 years 1 months ago
2009
IEEE
An analysis is presented that extends existing Rayleigh-Ritz theory to the special case of highly eccentric distributions. Specifically, a bound on the angle between the first Rit...
102
Voted
EDOC
2007
IEEE
15 years 4 months ago
2007
IEEE
Enterprise architecture advocates model-based decision-making on enterprise-wide information system issues. In order to provide decisionmaking support, enterprise architecture mode...