Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing paradigm, which is considered one of the best ways to develop parallel applications. This volume comprises 67 revised contributions presented at the Sixth European PVM/MPI Users' Group Meeting, which was held in Barcelona, Spain, 26-29 September 1999. The conference was organized by the Computer Science Department of the Universitat Autònoma de Barcelona. This conference has been previously held in Liverpool, UK (1998) and Cracow, Poland (1997). The first three conferences were devoted to PVM and were held at the TU Munich, Germany (1996), ENS Lyon, France (1995), and University of Rome (1994). This conference has become a forum for users and developers of PVM, MPI, and other message passing environments. Interaction between those groups has proved to be very useful for developing new ideas in parallel computing and for applying some of those already existent to new practical fields.

Parallel computers --- Virtual computer systems --- Data transmission systems --- Computer Science --- Engineering & Applied Sciences --- Ordinateurs parallèles --- Systèmes virtuels (Informatique) --- Données --- Congresses --- Congrès --- Transmission --- Ordinateurs parallèles --- Systèmes virtuels (Informatique) --- Données --- Congrès --- Computer science. --- Microprocessors. --- Architecture, Computer. --- Computer Science. --- Computer System Implementation. --- Processor Architectures. --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science --- Minicomputers --- Architecture, Computer

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

ARIS (Architecture of Integrated Information Systems) is a unique and internationally renowned method for optimizing business processes and implementing application systems. This book enhances the proven ARIS concept by describing product flows and explaining how to classify modern software concepts. The importance of the link between business process organization and strategic management is stressed. Bridging the gap between the different approaches in business theory and information technology, the ARIS concept provides a full-circle approach - from the organizational design of business processes to IT implementation. Featuring SAP R/3 as well, real-world examples of various standard software solutions illustrate these concepts.

informatieverwerking --- Information systems --- AA / International- internationaal --- 654 --- Informatieverwerking. Bureautica. --- Information technology. --- Business—Data processing. --- Application software. --- Industrial engineering. --- Production engineering. --- IT in Business. --- Information Systems Applications (incl. Internet). --- Industrial and Production Engineering. --- Manufacturing engineering --- Process engineering --- Industrial engineering --- Mechanical engineering --- Management engineering --- Simplification in industry --- Engineering --- Value analysis (Cost control) --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Informatieverwerking. Bureautica --- Business --- System design. --- Computer network architectures. --- Data processing. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Design, System --- Systems design --- Electronic data processing --- System analysis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book contains the papers presented at the 9th International Workshop on Field ProgrammableLogic and Applications (FPL’99), hosted by the University of Strathclyde in Glasgow, Scotland, August 30 – September 1, 1999. FPL’99 is the ninth in the series of annual FPL workshops. The FPL’99 programme committee has been fortunate to have received a large number of high-quality papers addressing a wide range of topics. From these, 33 papers have been selected for presentation at the workshop and a further 32 papers have been accepted for the poster sessions. A total of 65 papers from 20 countries are included in this volume. FPL is a subject area that attracts researchers from both electronic engine- ing and computer science. Whether we are engaged in research into soft ha- ware or hard software seems to be primarily a question of perspective. What is unquestionable is that the interaction of groups of researchers from di?erent backgrounds results in stimulating and productive research. As we prepare for the new millennium, the premier European forum for - searchers in ?eld programmable logic remains the FPL workshop. Next year the FPL series of workshopswill celebrate its tenth anniversary.The contribution of so many overseas researchers has been a particularly attractive feature of these events, giving them a truly international perspective, while the informal and convivial atmosphere that pervades the workshops have been their hallmark. We look forward to preserving these features in the future while continuing to expand the size and quality of the events.

Field programmable gate arrays --- Programmable array logic --- Electrical Engineering --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Computer science. --- Arithmetic and logic units, Computer. --- Logic design. --- Microprocessors. --- Architecture, Computer. --- Complexity, Computational. --- Computer Science. --- Computer System Implementation. --- Logic Design. --- Arithmetic and Logic Structures. --- Processor Architectures. --- Complexity. --- Computer network architectures. --- Engineering. --- Construction --- Industrial arts --- Technology --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computational complexity. --- Architecture, Computer --- Minicomputers --- Arithmetic and logic units, Computer --- Computer arithmetic --- Electronic digital computers --- Complexity, Computational --- Electronic data processing --- Circuits

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

CHARME’99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place in Bad Her- nalb, a resort village located in the Black Forest close to the city of Karlsruhe. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems. A predominantly academic area of study until a few years ago, formal design and veri?cation techniques are now migrating into industrial use. The aim of CHARME’99 is to bring together researchers and users from academia and industry working in this active area of research. Two invited talks illustrate major current trends: the presentation by G´erard Berry (Ecole des Mines de Paris, Sophia-Antipolis, France) is concerned with the use of synchronous languages in circuit design, and the talk given by Peter Jansen (BMW, Munich, Germany) demonstrates an application of formal methods in an industrial environment. The program also includes 20 regular presentations and 12 short presentations/poster exhibitions that have been selected from the 48 submitted papers.

Integrated circuits --- Very large scale integration --- Computer-aided design --- Verification --- Electrical Engineering --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Computer science. --- Computer hardware. --- Architecture, Computer. --- Software engineering. --- Computer logic. --- Computer engineering. --- Complexity, Computational. --- Computer Science. --- Computer System Implementation. --- Computer Engineering. --- Computer Hardware. --- Logics and Meanings of Programs. --- Software Engineering. --- Complexity. --- Computer network architectures. --- Logic design. --- Engineering. --- Construction --- Industrial arts --- Technology --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computational complexity. --- Complexity, Computational --- Electronic data processing --- Computer science logic --- Logic, Symbolic and mathematical --- Computers --- Architecture, Computer --- Design and construction --- Integrated circuits - Very large scale integration - Computer-aided design - Congresses --- Integrated circuits - Verification - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

These are the proceedings of the Sixth International Conference on High Performance Computing (HiPC’99) held December 17-20 in Calcutta, India. The meeting serves as a forum for presenting current work by researchers from around the world as well as highlighting activities in Asia in the high performance computing area. The meeting emphasizes both the design and the analysis of high performance computing systems and their scientific, engineering, and commercial applications. Topics covered in the meeting series include: Parallel Algorithms Scientific Computation Parallel Architectures Visualization Parallel Languages & Compilers Network and Cluster Based Computing Distributed Systems Signal & Image Processing Systems Programming Environments Supercomputing Applications Memory Systems Internet and WWW-based Computing Multimedia and High Speed Networks Scalable Servers We would like to thank Alfred Hofmann and Ruth Abraham of Springer-Verlag for their excellent support in bringing out the proceedings. The detailed messages from the steering committee chair, general co-chair and program chair pay tribute to numerous volunteers who helped us in organizing the meeting. October 1999 Viktor K. Prasanna Bhabani Sinha Prithviraj Banerjee Message from the Steering Chair It is my pleasure to welcome you to the Sixth International Conference on High Performance Computing. I hope you enjoy the meeting, the rich cultural heritage of Calcutta, as well as the mother Ganges, “the river of life”.

High performance computing --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computer organization. --- Microprocessors. --- Software engineering. --- Computers. --- Algorithms. --- Computer science --- Computer Science. --- Theory of Computation. --- Processor Architectures. --- Computer Systems Organization and Communication Networks. --- Software Engineering/Programming and Operating Systems. --- Algorithm Analysis and Problem Complexity. --- Mathematics of Computing. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Minicomputers --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Mathematics --- Foundations --- Information theory. --- Computer network architectures. --- Computer software. --- Software, Computer --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Communication theory --- Communication --- Computer science—Mathematics.