119
click to vote
RTAS
2000
IEEE
15 years 7 months ago
2000
IEEE
Policing of incoming packets can produce very high load in worst-case situations on a receiving computer. In realtime systems, resources must be allocated for such worstcase situa...
AE
1995
Springer
15 years 7 months ago
1995
Springer
AE
1995
Springer
15 years 7 months ago
1995
Springer
137
click to vote
RTA
2000
Springer
15 years 7 months ago
2000
Springer
Linear Second-Order Unification and Context Unification are closely related problems. However, their equivalence was never formally proved. Context unification is a restriction of ...