Concur 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings
ISBN: 9783540440437 / Angielski / Miękka / 609 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These are the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2002. The 32 revised full papers presented together with abstracts of seven invited contributions were reviewed and selected from 101 submissions. The papers are organized in topical sections on verification and model checking, logic, mobility, probabilistic systems, models of computation and process algebra, security, Petri nets, and bisimulation.
These are the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 200...
|
|
cena:
390,87 zł |
Concur '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings
ISBN: 9783540648963 / Angielski / Miękka / 663 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.
The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc.. This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in Septembe...
|
|
cena:
390,87 zł |
Vector and Parallel Processing - Vecpar 2000: 4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks
ISBN: 9783540419990 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the ?nal outcome of VECPAR 2000 - 4th International Meeting on Vector and Parallel Processing. VECPAR constitutes a series of conferences, which have been organized by the Faculty of Engineering of the University of Porto since 1993, with the main objective of disseminating new knowledge on parallel computing. Readership of This Book The book is aimed at an audience of researchers and graduate students in a broad range of scienti?c areas, including not only computer science, but also applied mathematics and numerical analysis, physics, and engineering. Book Plan From a total of...
This book is the ?nal outcome of VECPAR 2000 - 4th International Meeting on Vector and Parallel Processing. VECPAR constitutes a series of conferences...
|
|
cena:
195,42 zł |
Job Scheduling Strategies for Parallel Processing: 11th International Workshop, Jsspp 2005, Cambridge, Ma, Usa, June 19, 2005, Revised Selected Papers
ISBN: 9783540310242 / Angielski / Miękka / 283 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed postproceedings of the 11th International Workshop on Job Scheduling Strategies for Parallel Processing, 2005, held in conjunction with the 19th ACM International Conference on Supercomputing. This book covers a range of parallel architectures, from distributed grids, through clusters, to massively-parallel supercomputers.
Constitutes the refereed postproceedings of the 11th International Workshop on Job Scheduling Strategies for Parallel Processing, 2005, held in conjun...
|
|
cena:
195,42 zł |
Coordination Models and Languages: 5th International Conference, Coordination 2002, York, Uk, April 8-11, 2002 Proceedings
ISBN: 9783540434108 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8-11 April 2002. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an application and the lower-level communication model used in its implementation. Coordinati- based methods provide a clean separation between individual software com- nents and their interactions within their overall software organization. This se- ration, together with the higher-level abstractions o?ered...
This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK,...
|
|
cena:
195,42 zł |
Job Scheduling Strategies for Parallel Processing: Ipdps 2000 Workshop, Jsspp 2000, Cancun, Mexico, May 1, 2000 Proceedings
ISBN: 9783540411208 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the sixth workshop on Job Sched- ing Strategies for Parallel Processing, which was held in conjunction with the IPDPS 2000 Conference in Cancun, Mexico, on 1 May 2000. The papers have been through a complete refereeing process, with the full version being read and evaluated by ?ve to seven members of the program committee. We would like to take this opportunity to thank the program committee, Andrea Arpaci-Dusseau, Fran Berman, Steve Chapin, Allen Downey, Allan Gottlieb, Atsushi Hori, Phil Krueger, Richard Lagerstrom, Virginia Lo, Reagan Moore,...
This volume contains the papers presented at the sixth workshop on Job Sched- ing Strategies for Parallel Processing, which was held in conjunction wi...
|
|
cena:
195,42 zł |
Applied Parallel Computing: Advanced Scientific Computing: 6th International Conference, Para 2002, Espoo, Finland, June 15-18, 2002. Proceedings
ISBN: 9783540437864 / Angielski / Miękka / 614 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 6th International Conference on Applied Parallel Computing, PARA 2002, held in Espoo, Finland, in June 2002. The 50 revised full papers presented together with nine keynote lectures were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on data mining and knowledge discovery, parallel program development, practical experience in parallel computing, computer science, numerical algorithms with hierarchical memory optimization, numerical methods and algorithms, cluster computing,...
This volume constitutes the refereed proceedings of the 6th International Conference on Applied Parallel Computing, PARA 2002, held in Espoo, Finland,...
|
|
cena:
390,87 zł |
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship
ISBN: 9780521400442 / Angielski / Twarda / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such as Calculus of Communicating Systems (CCS) or Communicating Sequential Processes (CSP) two of the main models for parallel programming, are used to describe the architecture of processes, i.e. how they can be composed from subprocesses. Logical formulas of a first-order trace logic are used to describe the safety and liveness aspects of the...
The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to des...
|
|
cena:
549,96 zł |
Performance Evaluation of Parallel, Distributed & Emergent Systems: Volume I: Distributed, Cluster & Grid Computing
ISBN: 9781594548178 / Angielski / Twarda / 389 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reviewing the various developments, this book discusses strategies for the performance evaluation of parallel, distributed and emergent systems. It aims to make analytical, simulation and testbed-based modelling and methodology possible and understandable
Reviewing the various developments, this book discusses strategies for the performance evaluation of parallel, distributed and emergent systems. It ai...
|
|
cena:
902,48 zł |
Job Scheduling Strategies for Parallel Processing: 13th International Workshop, Jsspp 2007, Seattle, Wa, Usa, June 17, 2007, Revised Papers
ISBN: 9783540786986 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. th Thisvolumecontainsthepaperspresentedatthe13 workshoponJobSched- ing Strategies for Parallel Processing. The workshop was held in Seattle, WA, USA, on June 17, 2007, in conjunction with ICS 2007. All submitted papers went through a complete review process, with the full versionbeingreadandevaluatedbyanaverageof?vereviewers.Wewouldliketo thanktheProgramCommittee membersandadditionalrefereesfortheirwilli- ness to participate in this e?ort and their excellent, detailed reviews: Nazareno Andrade, Su-Hui Chiang, Walfredo Cirne, Alvaro Coelho, Lauro Costa, Dror Feitelson, Allan Gottlieb, Andrew...
th Thisvolumecontainsthepaperspresentedatthe13 workshoponJobSched- ing Strategies for Parallel Processing. The workshop was held in Seattle, WA, USA, ...
|
|
cena:
195,42 zł |
Cluster Computing
ISBN: 9781590331132 / Angielski / Twarda / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
443,38 zł |
Practical Parallel Computing
ISBN: 9781590331279 / Angielski / Twarda / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
443,38 zł |
Practical Applications of Parallel Computing
ISBN: 9781590335321 / Angielski / Twarda / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
605,12 zł |
Quality of Parallel & Distributed Programs & Systems
ISBN: 9781590338292 / Angielski / Twarda / 118 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The field of parallel computing dates back to the mid-fifties, where research labs started the development of so-called supercomputers with the aim to significantly increase the performance, mainly the number of (floating point) operations a machine is able to perform per unit of time. Since then, significant advances in hardware and software technology have brought the field to a point where the long-time challenge of tera-flop computing was reached in 1998. While increases in performance are still a driving factor in parallel and distributed processing, there are many other challenges to be...
The field of parallel computing dates back to the mid-fifties, where research labs started the development of so-called supercomputers with the aim to...
|
|
cena:
365,14 zł |
Parallel & Distributed Scientific & Engineering Computing
ISBN: 9781590339565 / Angielski / Twarda / 223 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the not too distant future, every researcher and professional in science and engineering fields will have to understand parallel and distributed computing. With hyperthreading in Intel processors, hypertransport links in AMD processors, multi-core silicon in today's high-end microprocessors from IBM and emerging cluster and grid computing, parallel and distributed computers have moved into the mainstream of computing. To fully exploit these advances in computer architectures, researchers and professionals must start to design parallel or distributed software, systems and algorithms for...
In the not too distant future, every researcher and professional in science and engineering fields will have to understand parallel and distributed co...
|
|
cena:
693,80 zł |
Advanced Parallel & Distributed Computing: Evaluation, Improvement & Practice
ISBN: 9781600212024 / Angielski / Twarda / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The efforts, made to provide the infrastructures and models for parallel and distributed computing, have addressed many underlying complex problems and have thus resulted in new tools and paradigms for effectively realising parallel and distributed systems
The efforts, made to provide the infrastructures and models for parallel and distributed computing, have addressed many underlying complex problems an...
|
|
cena:
902,48 zł |
Supercomputing Research Advances
ISBN: 9781604561869 / Angielski / Twarda / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Supercomputers are used for highly calculation-intensive tasks such as problems involving quantum mechanical physics, weather forecasting, and climate research (including research into global warming). Major universities, military agencies and scientific r
Supercomputers are used for highly calculation-intensive tasks such as problems involving quantum mechanical physics, weather forecasting, and climate...
|
|
cena:
1043,33 zł |
Distributed and Parallel Systems: In Focus: Desktop Grid Computing
ISBN: 9780387794471 / Angielski / Twarda / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Featuring a special focus on desktop grid computing, this title is designed for a professional audience composed of practitioners and researchers in industry. This book is also suitable for advanced-level students in computer science.
Featuring a special focus on desktop grid computing, this title is designed for a professional audience composed of practitioners and researchers in i...
|
|
cena:
390,87 zł |
Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints
ISBN: 9780792383710 / Angielski / Twarda / 145 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constraint Logic Programming (CLP), an area of extreme research interest in recent years, extends the semantics of Prolog in such a way that the combinatorial explosion, a characteristic of most problems in the field of Artificial Intelligence, can be tackled efficiently. By employing solvers dedicated to each domain instead of the unification algorithm, CLP drastically reduces the search space of the problem, which leads to increased efficiency in the execution of logic programs. CLP offers the possibility of solving complex combinatorial problems in an efficient way, and at the same time...
Constraint Logic Programming (CLP), an area of extreme research interest in recent years, extends the semantics of Prolog in such a way that the combi...
|
|
cena:
586,33 zł |
High-Performance Parallel DP &
ISBN: 9780470107621 / Angielski / Twarda / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 'High Performance Parallel Database Processing and Grid Databases' targets the theoretical/conceptual details needed to form a base of understanding and delivers information on development, implementations, and analytical modeling of parallel databases.
'High Performance Parallel Database Processing and Grid Databases' targets the theoretical/conceptual details needed to form a base of understanding a...
|
|
cena:
856,40 zł |