TCP is a reliable transport protocol tuned to perform well in traditional networks made up of links with low biterror rates. Networks with higher bit-error rates, such as those with wireless links and mobile hosts, violate many of the assumptions made by transmission control protocol (TCP), causing degraded end-to-end performance. In this paper, we propose a twolayer hierarchical cache architec...

We propose in this paper a new approach to study the temporal and spatial locality of codes using a plot of cache miss bandwidth as a function of cache size and line size for a fully associative LRU cache. We apply this new approach to the study of locality for several High-Performance benchmarks. We show that this plot capture fine behavior of these benchmarks and explain some of the difficult...

RBAC model is renowned as a security model for corporate environment, since its components, especially role hierarchy, are suitable for modeling an organization structure. But the functional role hierarchy constructed through the existing role engineering approaches does not reflect an organization structure, because they do not take the structural characteristics of the organization into accou...

This paper presents an account of two tools which enable realistic parallel performance estimates to be obtained in reasonable time. The first tool, PERFORM (performance estimator for RISC microprocessors), is a general purpose package for sequential program performance estimation on modem RISC microprocessor nodes with complex memory hierarchies. The novelty of the tool is that we have chosen ...

In many applications, it becomes crucial to help users to access to a huge amount of data by clustering them in a small number of classes described at an appropriate level of abstraction. In this paper, we present an approach based on the use of two languages of description of classes for the automatic clustering of semistructured data. The rst language of classes has a high power of abstractio...

Abstract The present paper describes the gender system of Anii, a Na-Togo language spoken in Benin and Togo. Anii has full-fledged productive that consists 10 agreement classes. It also provides nominal form classes are not fully identical with assignment follows largely morphological criteria, but prevalent principle for current classification is division nouns along animacy hierarchy.

Software design, development and evolution commonly require programmers to model design decisions, visualize implemented programs, and detect conflicts between design and implementation. However, common design notations rarely reconcile theoretical concerns for rigor and minimality with the practical concerns for abstraction, scalability and automated verifiability. The language of Codecharts w...

In this work, we examine and attempt to extend the coverage of a German HPSG grammar. We use the grammar to parse a corpus of newspaper text and evaluate the proportion of sentences which have a correct attested parse, and analyse the cause of errors in terms of lexical or constructional gaps which prevent parsing. Then, using a maximum entropy model, we evaluate prediction of lexical types in ...

Numerical software for sequential or parallel machines with memory hierarchies can benefit from locality optimizations which are usually achieved by program restructuring or program transformations. The choice of the program version that achieves the best performance is usually complex as many dependencies have to be taken into account. Thus program-based locality measures have been introduced ...

We give a new moduli construction of the minimal resolution of the singularity of type 1 r (1, a) by introducing the Special McKay quiver. To demonstrate that our construction trumps that of the G-Hilbert scheme, we show that the induced tautological line bundles freely generate the bounded derived category of coherent sheaves on X by establishing a suitable derived equivalence. This gives a mo...