The proceedings contain 30 papers. The topics discussed include: hypervisor-based fault tolerance;hive: fault containment for shared-memory multiprocessors;U-Net: a user-level network interface for parallel and distri...
ISBN:
(纸本)0897917154
The proceedings contain 30 papers. The topics discussed include: hypervisor-based fault tolerance;hive: fault containment for shared-memory multiprocessors;U-Net: a user-level network interface for parallel and distributed computing;object and native code thread mobility among heterogeneous computers (includes sources);the HP AutoRAID hierarchical storage system;performance of cache coherence in stackable filing;exploiting weak connectivity for mobile file access;rover: a toolkit for mobile information access;managing update conflicts in bayou, a weakly connected replicated storage system;a new page table for 64-bit address spaces;CRL: high-performance all-software distributed shared memory;the performance of the container shipping I/O system;time-function scheduling: a general approach to controllable resource;a real-time upcall facility for protocol processing with QoS guarantees;and using a modified object buffer to improve the write performance of an object-oriented database.
The proceedings contain 23 papers. The special focus in this conference is on software Engineering and Human-Computer Interaction. The topics include: Introduction to the workshop on software engineering and human-com...
ISBN:
(纸本)3540590080
The proceedings contain 23 papers. The special focus in this conference is on software Engineering and Human-Computer Interaction. The topics include: Introduction to the workshop on software engineering and human-computer interaction;working group on design methods and processes;working group on evaluating userinterfaces and userinterface tools;working group on formal methods in hci and software engineering;issues in the evaluation of userinterface tools;platform independent gui builders advance software engineering to handle IICI issues;exploring the intersection of ttci and software engineering;a review of formalisms for describing interactive behaviour;userinterface prototyping;software engineering and the chi and CSCW communities;userinterfacetechnology and software engineering environments;integrating object-oriented analysis and graphical userinterface design;an experience using Jasminum- formalization assisting with the design of userinterfaces;from formal models to formal methods;computing environments for flexible teams;applying formal methods for human error tolerant design;support of userinterface design aspects in a framework;for distributed cooperative applications;prototyping a visual formalism for system modelling;userinterface tools;lessons learned from a successful collaboration between software engineers and human interface engineers;software engineering and Cscw;practical language-based editing for software engineers;research issues in the intersection of hypertext and software development environments.
The requirements engineering research and consulting communities are not serving the interests of software developers who build off-the-shelf application software. Most of our models and methods evolved with the aid o...
详细信息
The requirements engineering research and consulting communities are not serving the interests of software developers who build off-the-shelf application software. Most of our models and methods evolved with the aid of funding from organizations interested in obtaining unique systems under contract and in which there is a clear interface between 'customer' and 'developer'. These origins have spawned many assumptions about what requirements are. Through several design scenarios I illustrate how these assumptions break down in the case of off-the-shelf software. I then suggest some alternative priorities that would address these shortcomings. My aim is to provoke and stimulate thought, not to propose a developed solution.
A package of three parallel solvers with a unified userinterface is developed for sparse symmetric complex linear systems arising from the discretization of partial differential equations on unstructured meshes. Once...
详细信息
A package of three parallel solvers with a unified userinterface is developed for sparse symmetric complex linear systems arising from the discretization of partial differential equations on unstructured meshes. Once the data interface is set up, the package constructs the sparse symmetric complex matrix, and solves the linear system using one of the following methods: a bi-conjugate gradient solver, a two-stage Cholesky LDLT factorization, or a hybrid solver combining the above two methods. The user deals only with local matrices on local mesh partitions in each processor. Scaling problem size N with the number of processors P with N/P fixed, test runs on Intel Delta up to 128 processors show that the bi-conjugate gradient method scales linearly with N whereas the hybrid method scales as √N.
Today a plethora of multimedia, hyperlink software and hardware components are available, as well as teleconferencing systems supporting collaborative work. However, few systems are easy for people to use for real app...
详细信息
Today a plethora of multimedia, hyperlink software and hardware components are available, as well as teleconferencing systems supporting collaborative work. However, few systems are easy for people to use for real applications such as support of remote instruction. Most importantly, none of these tools scale to use by more than a few users simultaneously. We describe our vision for a system which will support Interactive Remote Instruction (IRI) to support college-level education across spatial boundaries in a manner largely transparent to students and faculty. We have implemented a prototype of this system which has been used to evaluate both the user-interface design and performance requirements. The goal is to have a userinterface which models most of the interactions which occurs in a regular classroom. A key focus in this paper is the assessment of system requirements necessary to support large classes. That means that multimedia tools must support O(10), rather than O(1), simultaneous users and user-system interaction protocols must be effective and accepted by students and faculty with diverse backgrounds and computer sophistication.
An appropriate industrial control system is a prerequisite for being competitive in the process, manufacturing, and power industries. As for most software systems, the technical possibilities provided by industrial co...
详细信息
An appropriate industrial control system is a prerequisite for being competitive in the process, manufacturing, and power industries. As for most software systems, the technical possibilities provided by industrial control systems have grown dramatically during the last ten years. However, the techniques to specify customer and user requirements in terms of functionality, performance, etc. are not very well developed. This often leads to systems which do not fulfill user needs and customer expectations, and/or which are unnecessarily expensive. In this paper, guidelines for specification and follow-up of requirements on industrial control systems are given. The guidelines are based on an extensive study of experiences from a number of major users and vendors of these kinds of computer systems. They should be useful for customers and consultants working in procurement projects.
暂无评论