Software Architecture can help people to better understand the gross structure and, with powerful analysis techniques, to evaluate the properties of a software system. To accommodate the dynamic changes and facilitate...
详细信息
the radiosity method is a well-known global illumination algorithm for rendering scenes which produces highly realistic images. However, it is a computationally expensive method. In order to reduce the response time r...
详细信息
this paper describes a library for model reduction of largescale, dense linear time-invariant systems on paralleldistributed-memory computers. Our library is enhanced with a mail service which serves as a demonstrato...
详细信息
Computational linguistics is an application of computer science which presents interesting challenges from the programming methodology point of view. Developing a realistic platform for the treatment of a natural lang...
详细信息
ISBN:
(纸本)3540003894
Computational linguistics is an application of computer science which presents interesting challenges from the programming methodology point of view. Developing a realistic platform for the treatment of a natural language in its phonological, morphological, syntactic, and ultimately semantic aspects demands a principled modular architecture with complex cooperation between the various layers. Representing large lexical data bases, treating sophisticated phonological and morphological transformations, and processing in real time large corpuses demands fast finite-state methods toolkits. Analysing the syntactic structure, computing anaphoric relations, and dealing withthe representation of information flow in dialogue understanding, demands the processing of complex constraints on graph structures, with sophisticated sharing of large non-deterministic search spaces. the talk reports on experiments in using declarative programming for the processing of the sanskrit language, in its phonological and morphological aspects. A lexicon-based morphological tagger has been designed, using an original algorithm for the analysis of euphony (the so-called sandhi process, which glues together the words of a sentence in a continuous stream of phonemes). this work, described in [2], has been implemented in a purely applicative core subset of Objective Caml [5]. the basic structures underlying this methodology have been abstracted in the Zen toolkit, distributed as free software [3]. Two complementary techniques have been put to use. Firstly, we advocate the systematic use of zippers [1] for the programming of mutable data structures in an applicative way. Zippers, or linear contexts, are related to the interaction combinators of linear logic. Secondly, a sharing functor allows the uniform minimisation of inductive data structures by representing them as shared dags. this is similar to the traditional technique of bottom-up hashing, but the computation of the keys is left to the cl
In this paper, we present a TMO-based object group framework that can support the distributed object group management and the real-time scheduling services on distributed real-time computing environments. these enviro...
详细信息
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research and practice in developing quality measu...
详细信息
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research and practice in developing quality measures for centralised applications, there has been little emphasis on measures for distributed software. the need to understand the complex structure and behaviour of distributed applications suggests a shift in interest from traditional centralised measures to the distributed arena. We tackles the problem of evaluating quality attributes of distributed applications using software measures. Firstly, we present a measures suite to quantify internal attributes of design at an early development phase, embracing structural and behavioural aspects. the proposed measures are obtained from formal models derived from intuitive models of the problem domain. Secondly, since theoretical validation of software measures provides supporting evidence as to whether a measure really captures the internal attributes they purport to measure, we consider this validation as a necessary step before empirical validation takes place. therefore, these measures are here theoretically validated following a framework proposed in the literature.
the paper deals withthe efficient parallelization of leastsquares spectral element methods for incompressible flows. the parallelization of this sort of problems requires two different strategies. On the one hand, th...
详细信息
the proceedings contain 59 papers. the topics discussed include: IKE 2 - implementing the stateful distributed object paradigm;national-level R&D Programs/movements in the software technology field;a real-time Jav...
ISBN:
(纸本)0769515584
the proceedings contain 59 papers. the topics discussed include: IKE 2 - implementing the stateful distributed object paradigm;national-level R&D Programs/movements in the software technology field;a real-time Java system on a multithreaded Java microcontroller;analyzing the performance of memory management in RTSJ;approximate real-time clocks for scheduled events;unreliable distributed timing scrutinizer: adapting asynchronous algorithms to the environment;mobile agent model for distributed objects systems;a framework for integrating the real-time specification for java and java's remote method invocation;a prototype tool for flow analysis of object-oriented programs;integrating real-time synchronization schemes into preemption threshold scheduling;a replication strategy for distributed real-time object-oriented databases;addressing dynamic dispatching issues in WCET analysis for object-oriented hard real-time systems;and service differentiation in real-time main memory databases.
暂无评论