| Springer Nature B.V.

73,480원  | 20230109  | 9783662169353

Expressing Irregular Computations in Modern Fortran Dialects.- Memory System Support for Irregular Applications.- Menhir: An Environment for High Performance Matlab.- On the Automatic Parallelization of Sparse and Irregular Fortran Programs.- Loop Transformations for Hierarchical Parallelism and Locality.- Data Flow Analysis Driven Dynamic Data Partitioning.- A Case for Combining Compile-Time and Run-Time Parallelization.

 | Springer Nature B.V.

73,480원  | 20140312  | 9783662191989

This book constitutes the refereed proceedings of the International Workshop on Approximation Algorithms for Combinatorical Optimization, APPROX'98, held in conjunction with ICALP'98 in Aalborg, Denmark, in July 1998.The volume presents 14 revised full papers together with three invited papers selected from 37 submissions.

 | Springer Nature B.V.

73,480원  | 20140312  | 9783662184547

This book constitutes the refereed proceedings of the Second East European Symposium on Advances in Databases and Information systems, ADBIS '98, held in Poznan, Poland in September 1998.The 25 revised full papers presented were selected from a total of 90 submissions and six extended abstracts within a special section. "East meets West".

 | Springer Nature B.V.

73,480원  | 20140312  | 9783662193280

This book constitutes the refereed proceedings of the Second International Conference on Evolvable Systems: From Biology to Hardware, ICES '98, held in Lausanne, Switzerland in September 1998.The 38 revised papers presented were carefully selected for inclusion in the book from numerous submissions.

 | Springer Nature B.V.

73,480원  | 20130522  | 9781475755466

Towards Intelligent Manufacturing Systems This book contains the selected articles from the third International Conference on lriformation Technology for Balanced Automation Systems in Manufacturing. A rapid evolution in a number of areas leading to Intelligent Manufacturing Systems has been observ@d in recent years.

 | Springer Nature B.V.

73,480원  | 20130311  | 9781475752618

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies.

 | Springer Nature B.V.

73,480원  | 20130311  | 9781475760903

Optical network design and modelling is an essential issue for planning and operating networks for the next century. The main issues in optical networking are being widely investigated, not only for WDM networks but also for optical TDM and optical packet switching.

 | Springer Nature B.V.

73,480원  | 20130301  | 9781475756890

On November 9-11, 1998,85 participants, representing 17 countries, gathered in Aubum Hills, Michigan, at the Chrysler Tech Center, to attend a workshop "SSM'98" (or Sculptured Surface Machining '98) organized by IFIP Working Group 5.3. This was the first major workshop on sculptured surface machining since the CAM-I sponsored conference "Machining Impossible Surfaces" held in 1981.

 | Springer Nature B.V.

73,480원  | 20130219  | 9781475753967

High Performance Networking is a state-of-the-art book that deals with issues relating to the fast-paced evolution of public, corporate and residential networks. It focuses on the practical and experimental aspects of high performance networks and introduces novel approaches and concepts aimed at improving the performance, usability, interoperability and scalability of such systems.

 | Springer Nature B.V.

73,480원  | 20130216  | 9781475766004

Today the Scottish electronics industry employs 40,000 people directly and a further 30,000 in the supply infrastructure. There are now more than 550 electronic manufacturing and supplier companies in ' Silicon Glen'. In terms of the contribution to the economy, electronics is by far the most valuable industry. Its value in 1996 was approximately ￡ 10billion and accounted for more than half of Scotland's exports.

 | Springer Nature B.V.

73,480원  | 20130131  | 9781475762983

This book constitutes the Proceedings of the IFIP Working Conference PRO­ COMET'98, held 8-12 June 1998 at Shelter Island, N.Y. The conference is organized by the t'wo IFIP TC 2 Working Groups 2.2 Formal Description of Programming Concepts and 2.3 Programming Methodology. WG2.2 and WG2.3 have been organizing these conferences every four years for over twenty years.

 | Springer Nature B.V.

73,480원  | 20130121  | 9781475767025

Testing of Communicating Systems presents the latest world-wide results in both theory and practice. This volume provides a forum in which the substantial volume of research on the testing of communicating systems, spanning from conformance testing through interoperability testing, to performance and QoS testing, is brought together.

 | Springer Nature B.V.

73,480원  | 20130121  | 9781475761658

During the last two decades we have seen a tremendous development within the computer and communication industry. The ever increasing density on silicon, the increasing transmission speeds on fiber based systems as well as twisted pairs, the revolutionary development in the wireless area and of course the Internet have all led to many opportunities for new service developments.

 | Springer Nature B.V.

73,480원  | 20130118  | 9781475754766

In this global society, manufacturers compete in many ways, and information infrastructures play a critical role in ensuring the right information is available at the right time and the right place to support informed decision making.

 | Springer Nature B.V.

73,480원  | 20130112  | 9781475750058

Embedded systems are becoming one of the major driving forces in computer science. Furthermore, it is the impact of embedded information technology that dictates the pace in most engineering domains. Nearly all technical products above a certain level of complexity are not only controlled but increasingly even dominated by their embedded computer systems. Traditionally, such embedded control systems have been implemented in a monolithic, centralized way.