4211 search results - page 169 / 843 » Types as Abstract Interpretations |
146
click to vote
DAGSTUHL
1996
15 years 5 months ago
1996
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
157
click to vote
GRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Many experiments have shown that interval type2 (IT2) fuzzy PI controllers are generally more robust than their type-1 (T1) counterparts, as they are better able to cope...
132
click to vote
FOCI
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Centroid, cardinality, fuzziness, variance and skewness are all important concepts for an interval type-2 fuzzy set (IT2 FS) because they are all measures of uncertaint...
132
click to vote
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
162
click to vote
ICA3PP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. There is growing interest in large-scale resource sharing with emerging architectures such as cloud computing, where globally distributed and commoditized resources can b...