2436 search results - page 374 / 488 » Comonadic Notions of Computation |
116
click to vote
SAS
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...
153
click to vote
INFOCOM
1998
IEEE
1998
IEEE
A Stochastic Approximation Approach for Max-Min Fair Adaptive Rate Control of ABR Sessions with MCRs
15 years 8 months ago
The ABR sessions in an ATM network share the bandwidth left over after guaranteeing service to CBR and VBR traffic. Hence the bandwidth available to ABR sessions is randomly varyi...
143
click to vote
SRDS
1998
IEEE
15 years 8 months ago
1998
IEEE
If a groupware system is to be effectively used, especially over a wide-are network such as the Internet, where the quality of networking and computing resources are unpredictable...
134
click to vote
SIGSOFT
1998
ACM
15 years 8 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
130
click to vote
LACL
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...