This is a book about multi-threaded programming - it could well be subtitled 'How to write computer programs tllat do lots of different tlrings all at once'. A multi-threaded application contains many separate...
详细信息
ISBN:
(数字)9781447107255
This is a book about multi-threaded programming - it could well be subtitled 'How to write computer programs tllat do lots of different tlrings all at once'. A multi-threaded application contains many separate tlrreads of execution all running concurrently and each assigned to its own particular task - the individual tasks are typically simple but the combination can be very powerful. Multi-threading therefore engenders a 'divide-and-conquer' strategy which allows complex monoliths to be broken up into more manageable chunks. Indeed multi-threading is perhaps the most exciting addition to the software engineer's toolkit since tlle advent of object-oriented programming, another topic about which tlris book has a lot to say. Multi-threading and object orientation are wonderful companions - e++ allows tlle basic building blocks for multi-threaded programming to be neatly packaged as objects whilst multi-threading techniques can be applied to transform objects from passive repositories of functionality into active entities that perform their own internal processing independently of external code. A general background in computing is assumed as well as familiarity with the C language and a basic knowledge of C++ would also be helpful - the more useful facets of the C++ language are introduced on a 'need-to-know' basis but for a fuller exposition than is possible here the reader is advised to rush out and buy the book 'programming in C++' (ISBN 0859344355).
This volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP...
详细信息
ISBN:
(数字)9783540490326
ISBN:
(纸本)9783540586012
This volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP.;The volume contains 27 full revised papers selected from 87 submissions as well as a summary of a panel session on commercial applications of constraint programming. The contributions cover a broad range of topics including constraint programming languages, algorithms for constraint satisfaction and entailment, and constraints and their relation to fields such as artificial intelligence, databases, operations research, problem solving, and user interfaces.
The Omni XcalableMP compiler is a production-level reference implementation of XcalableMP compiler for C and Fortran 2008, developed by RIKEN CCS and the University of Tsukuba. The performance of the XcalableMP progra...
详细信息
ISBN:
(数字)9789811576836
ISBN:
(纸本)9789811576829;9789811576850
The Omni XcalableMP compiler is a production-level reference implementation of XcalableMP compiler for C and Fortran 2008, developed by RIKEN CCS and the University of Tsukuba. The performance of the XcalableMP program was used in the Fugaku as well as the K computer. A performance study showed that XcalableMP enables a scalable performance comparable to the message passing interface (MPI) version with a clean and easy-to-understand programming style requiring little effort.
In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the fi...
详细信息
ISBN:
(数字)9783642831898
ISBN:
(纸本)9783642831911
In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the second edition has a strong database flavour, which reflects my own research interests over the last three years. However, despite the fact that the second edition has about 70% more material than the first edition, many worthwhile topic!! are still missing. I can only plead that the field is now too big to expect one author to cover everything. In the second edition, I discuss a larger class of programs than that discussed in the first edition. Related to this, I have also taken the opportunity to try to improve some of the earlier terminology. Firstly, I introduce "program statements", which are formulas of the form A+-W, where the head A is an atom and the body W is an arbitrary formula. A "program" is a finite set of program statements. There are various restrictions of this class. "Normal" programs are ones where the body of each program statement is a conjunction of literals. (The terminology "general", used in the first edition, is obviously now inappropriate).
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Sy...
详细信息
ISBN:
(数字)9783319148069
ISBN:
(纸本)9783319148052
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.
暂无评论