7555 search results - page 19 / 1511 » The Type System of DBPL |
133
click to vote
SIGMETRICS
2002
ACM
15 years 3 months ago
2002
ACM
We introduce a new methodology for the exact analysis of M/G/1-type Markov processes. The methodology uses basic, well-known results for Markov chains by exploiting the structure ...
116
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
In this paper we consider visual feedback attitude synchronization in leader-follower type visibility structures in SE(3). We first define visual robotic networks consisting of the...
107
Voted
ENTCS
2002
15 years 3 months ago
2002
We show that the basic feasible functions of Cook and Urquhart's BFF [8,9] are precisely the functionals definable in a natural system of ramified recurrence that uses type i...
ENTCS
2002
15 years 3 months ago
2002
The HM(X) framework is a constraint-based type framework with built-in letpolymorphism. This paper establishes purely syntactic type soundness for the framework, treating an exten...
146
Voted
ENTCS
2002
15 years 3 months ago
2002
This paper defines reduction on derivations in the strict intersection type assignment system of [2], by generalising cut-elimination, and shows a strong normalisation result for ...