1626 search results - page 35 / 326 » Subtyping with Power Types |
ENTCS
1998
13 years 7 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
ESOP
2001
Springer
14 years 6 days ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
ISLPED
1995
ACM
13 years 11 months ago
1995
ACM
In this paper we present a novel approach to model the search space for optimal set data types in network component realisations. The main objective is to arrive at power efficie...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
—This paper presents a novel fuzzy logic based controller for a Static Compensator (STATCOM) connected to a power system. Type-II fuzzy systems are selected that enable the contr...
AMC
2005
13 years 7 months ago
2005
The power hazard function is defined by h(t) = atk . In this investigation, we use the least squares type estimation to estimate the parameter a when k is known, the parameter k w...