Topics and features: reviews the features of the C++ programming language, and describes how to create efficient algorithms that can quickly process large data sets; discusses sorting algorithms and binary search, and...
详细信息
ISBN:
(数字)9783319725475
Topics and features: reviews the features of the C++ programming language, and describes how to create efficient algorithms that can quickly process large data sets; discusses sorting algorithms and binary search, and examines a selection of data structures of the C++ standard library; introduces the algorithm design technique of dynamic programming, and investigateselementary graph algorithms; covers such advanced algorithm design topics as bit-parallelism and amortized analysis, and presents a focus on efficiently processing array range queries; surveys specialized algorithms for trees, and discusses the mathematical topics that are relevant in competitive programming; examines advanced graph techniques, geometric algorithms, and string techniques; describes a selection of more advanced topics, including square root algorithms and dynamic programming optimization.;This easy-to-follow guide is an ideal reference for all students wishing to learn algorithms, and practice for programming contests. Knowledge of the basics of programming is assumed, but previous background in algorithm design or programming contests is not necessary. Due to the broad range of topics covered at various levels of difficulty, this book is suitable for both beginners and more experienced readers.
This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative programming and Knowledge Management, INAP 2007, and the 21st Workshop on...
详细信息
ISBN:
(数字)9783642006753
ISBN:
(纸本)9783642006746
This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007. The 16 thoroughly revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The topics covered are constraints; databases and data mining; extensions of logic programming; and system demonstrations.
This paper presents a new technique to optimize the number, location, and size of shunt capacitors on a radial distribution feeder in the presence of harmonics and distortion. The optimization objective is to achieve ...
详细信息
This paper presents a new technique to optimize the number, location, and size of shunt capacitors on a radial distribution feeder in the presence of harmonics and distortion. The optimization objective is to achieve maximum savings resulting from reduced line losses. The mathematical model devised is a mixed 0-1 polynomial program, with restrictions imposed to limit the harmonic current magnification that results from parallel resonance. A global optimization algorithm for polynomial programs is utilized to solve this formulation. The effectiveness of this state-of-the-art algorithm ensures optimality to a complex mathematical model which more accurately represents the physical problem than other formulations. The method presented is suitable for solution on a personal computer, and has yielded promising initial results.
Parallel block vectors (PBVS) link a multithreaded application's code to the varying degrees of parallelism it exhibits at runtime. This new perspective helps users reason about hardware and software interactions ...
详细信息
Parallel block vectors (PBVS) link a multithreaded application's code to the varying degrees of parallelism it exhibits at runtime. This new perspective helps users reason about hardware and software interactions to identify performance-improvement opportunities. The authors define PBVS and show two architectural applications for the profiles. They also demonstrate how the open-source tool harmony enables simple, low-overhead collection of PBVS.
ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technolog...
详细信息
ISBN:
(数字)9783540248514
ISBN:
(纸本)9783540221593
ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technology. It is a collage of events, including outstanding invited speakers, carefully refereed technical - pers, practitioner reports re?ecting real-world experience, panels, topic-focused workshops, demonstrations, and an interactive posters session. The 18th ECOOP 2004 conference held during June 14–18, 2004 in Oslo, Norway represented another year of continued success in object-oriented p- gramming, both as a topic of academic study and as a vehicle for industrial software development. Object-oriented technology has come of age; it is now the commonly established method for most software projects. However, an - panding ?eld of applications and new technological challenges provide a strong demand for research in foundations, design and programming methods, as well as implementation techniques. There is also an increasing interest in the in- gration of object-orientation with other software development techniques. We anticipate therefore that object-oriented programming will be a fruitful subject of research for many years to come. Thisyear,theprogramcommitteereceived132submissions,ofwhich25were *** ***,signi?cance,clarity, originality, and correctness. The topics covered include: programming concepts, program analysis, software engineering, aspects and components, middleware, veri?cation, systems and implementation techniques. These were complemented by two invited talks, from Matthias Felleisen and Tom Henzinger. Their titles andabstracts are also included in these proceedings.
This book constitutes the proceedings of the 23rd European Symposium on programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of ...
详细信息
ISBN:
(数字)9783642548338
ISBN:
(纸本)9783642548321
This book constitutes the proceedings of the 23rd European Symposium on programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully reviewed and selected from 109 submissions. In addition, the book contains two invited talks. The contributions are organized in topical sections named: type systems; verified compilation; program verification; semantics; concurrency; linear types; network and process calculi; and program analysis.
It is now more than twenty-five years since object-oriented programming was “inve- ed” (actually, more than thirty years since work on Simula started), but, by all accounts, it would appear as if object-oriented tec...
详细信息
ISBN:
(数字)9783540479109
ISBN:
(纸本)9783540571209
It is now more than twenty-five years since object-oriented programming was “inve- ed” (actually, more than thirty years since work on Simula started), but, by all accounts, it would appear as if object-oriented technology has only been “discovered” in the past ten years! When the first European Conference on Object-Oriented programming was held in Paris in 1987, I think it was generally assumed that Object-Oriented Progr- ming, like Structured programming, would quickly enter the vernacular, and that a c- ference on the subject would rapidly become superfluous. On the contrary, the range and impact of object-oriented approaches and methods continues to expand, and, - spite the inevitable oversell and hype, object-oriented technology has reached a level of scientific maturity that few could have foreseen ten years ago. Object-oriented technology also cuts across scientific cultural boundaries like p- haps no other field of computer science, as object-oriented concepts can be applied to virtually all the other areas and affect virtually all aspects of the software life cycle. (So, in retrospect, emphasizing just programming in the name of the conference was perhaps somewhat short-sighted, but at least the acronym is pronounceable and easy to rem- ber!) This year’s ECOOP attracted 146 submissions from around the world - making the selection process even tougher than usual. The selected papers range in topic from programming language and database issues to analysis and design and reuse, and from experience reports to theoretical contributions.
This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice of Constraint programming. It was held from September 20–24, 2009 at the Rectory of the New Universit...
详细信息
ISBN:
(数字)9783642042447
ISBN:
(纸本)9783642042430
This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice of Constraint programming. It was held from September 20–24, 2009 at the Rectory of the New University of Lisbon, Portugal. Everyone involved with the conference thanks our sponsors for their support. There were 128 submissions to the research track, of which 53 were accepted for a rate of 41.4%. Each submission was reviewed by three reviewers, with a small number of additional reviews obtained in exceptional cases. Each review waseitherbyaProgrammeCommitteemember,orbyacolleagueinvitedtohelp by a committee member thanks to their particular expertise. Papers submitted as long papers were accepted at full length or not at all. It is important to note that papers submitted as short papers were held to the same high standards of qualityas long papers. There is thus no distinction in these proceedings between long and short papers, except of course the number of pages they occupy. As it happens, the acceptancerates of short and long papers wereverysimilar indeed. Therewere13submissionstotheapplicationtrack,ofwhich8wereaccepted, fora rateof61.5%.Papersunderwentthe samereviewprocessasregularpapers, and there was not a separate committee for reviewing application track papers. However, papers in the application track were not required to be original or novel research, but to be original and novel as an application of constraints.
is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors include several of the originators of s...
详细信息
ISBN:
(数字)9783031345180
ISBN:
(纸本)9783031345173;9783031345203
is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science. The authors include several of the originators of such widely acclaimed inventions as abstract interpretation, the Caml, OCaml and Eiffel programming languages, the Coq proof assistant, agents and modern testing techniques.
暂无评论