596 search results - page 61 / 120 » Subtyping Recursive Types |
109
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
116
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— Orthogonal frequency division multiplexing (OFDM) system suffers extra performance degradation in fast fading channels due to intercarrier interference (ICI). Combining frequen...
118
click to vote
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— High-speed backbones are regularly affected by various kinds of network anomalies, ranging from malicious attacks to harmless large data transfers. Different types of anomalies...
105
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...