Fast, Efficient and Predictable Memory Accesses: Optimization Algorithms for Memory Architecture Aware Compilation
ISBN: 9781402048210 / Angielski / Twarda / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The memory system is increasingly turning into a bottleneck in the design of embedded systems. The speed improvements of memory systems are lower than the speed improvements of processors, eventually leading to embedded systems whose performance is limited by the memory. This problem is known as the "memory wall" problem. Furthermore, memory systems may consume the largest share of the system's energy budget and may be the source of unpredictable timing behaviour. Hence, the design of the memory system deserves an increasing amount of attention. Fast, Efficient and... The memory system is increasingly turning into a bottleneck in the design of embedded systems. The speed improvements of memory systems are lower t... |
|
cena:
384,63 zł |
Open Source Ecosystems: Diverse Communities Interacting: 5th Ifip Wg 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, J
ISBN: 9783642020315 / Angielski / Twarda / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the 5th International Conference on Open Source Systems It is quite an achievement to reach the five-year mark - that's the sign of a successful enterprise. This annual conference is now being recognized as the primary event for the open source research community, attracting not only high-quality papers, but also building a community around a technical program, a collection of workshops, and (starting this year) a Doctoral Consortium. Reaching this milestone reflects the efforts of many people, including the conference founders, as well as the organizers and participants in the...
Welcome to the 5th International Conference on Open Source Systems It is quite an achievement to reach the five-year mark - that's the sign of a succ...
|
|
cena:
384,63 zł |
Model Driven Engineering Languages and Systems: 12th International Conference, Models 2009, Denver, Co, Usa, October 4-9, 2009, Proceedings
ISBN: 9783642044243 / Angielski / Miękka / 780 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The pioneering organizers of the ?rst UML workshop in Mulhouse, France inthe summerof1998couldhardlyhaveanticipatedthat, in littleoveradecade, theirinitiativewouldblossomintotoday'shighlysuccessfulMODELSconference series, the premier annual gathering of researchersand practitioners focusing on a very important new technical discipline: model-based software and system engineering. This expansion is, of course, a direct consequence of the growing signi?cance and success of model-based methods in practice. The conferences have contributed greatly to the heightened interest in the ?eld,...
The pioneering organizers of the ?rst UML workshop in Mulhouse, France inthe summerof1998couldhardlyhaveanticipatedthat, in littleoveradecade, theirin...
|
|
cena:
384,63 zł |
FM 2009: Formal Methods
ISBN: 9783642050886 / Angielski / Miękka / 840 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Formal Methods in Eindhoven, The Netherlands, in November 2009 in the course of the first International Formal Methods Week, FMWeek 2009. The 45 revised full papers presented together with 5 invited papers and 3 additional papers from the Industry Day were carefully reviewed and selected from 139 submissions. The papers are organized in topical sections on model checking, compositionality, verification, concurrency, refinement, static analysis,... This book presents the refereed proceedings of FM 2009, the 16th International Symposium on Formal Methods, held as the Second World Congress on Fo... |
|
cena:
384,63 zł |
Automata, Languages and Programming: 24th International Colloquium, Icalp'97, Bologna, Italy, July 7 - 11, 1997, Proceedings
ISBN: 9783540631651 / Angielski / Miękka / 864 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th anniversary of the European Association for Theoretical Computer Science (EATCS), which has sponsored the ICALP meetings since 1972.
The volume presents 73 revised full papers selected from a total of 197 submissions. Also included are six invited contributions. ICALP is one of the few flagship conferences in the area. The book addresses all current topics in theoretical computer science. This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna...
|
|
cena:
384,63 zł |
Essential Visual Basic 4.0 Fast: How to Develop Applications in Visual Basic
ISBN: 9783540199984 / Angielski / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. If you are developing software either as a professional programmer, a student, or simply for fun then it is very likely that you will be working in a Windows environment. If you are, and you are looking to build your own Windows applications, you will find Visual Basic provides an easy and effective means of doing so. This book is written specifically to help users get up and running fast on Visual Basic and focusses on how to develop useful programs quickly and effectively. If you are an undergraduate wanting a simple way to program applications, a professional programmer who needs a...
If you are developing software either as a professional programmer, a student, or simply for fun then it is very likely that you will be working in a ...
|
|
cena:
384,63 zł |
Fast, Efficient and Predictable Memory Accesses: Optimization Algorithms for Memory Architecture Aware Compilation
ISBN: 9789048172009 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The memory system is increasingly turning into a bottleneck in the design of embedded systems. The speed improvements of memory systems are lower than the speed improvements of processors, eventually leading to embedded systems whose performance is limited by the memory. This problem is known as the "memory wall" problem. Furthermore, memory systems may consume the largest share of the system s energy budget and may be the source of unpredictable timing behaviour. Hence, the design of the memory system deserves an increasing amount of attention. Fast, Efficient and... The memory system is increasingly turning into a bottleneck in the design of embedded systems. The speed improvements of memory systems are lower t... |
|
cena:
384,63 zł |
Automatic Program Development: A Tribute to Robert Paige
ISBN: 9789048176748 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his honor in the Higher-Order and Symbolic Computation Journal in the years 2003 and 2005. Among them there are two papers by Bob: (i) a retrospective view of his research lines, and (ii) a proposal for future studies in the area of the automatic program derivation. The book also includes some... Automatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, wh... |
|
cena:
384,63 zł |
Instruction Sequences for Computer Science
ISBN: 9789462390492 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean...
This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in compu...
|
|
cena:
384,63 zł |
Guide to the Unified Process Featuring Uml, Java and Design Patterns
ISBN: 9781447139355 / Angielski / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. John Hunt's book guides you through the use of the UML and the Unified Process and their application to Java systems. Key topics focus explicitly on applying the notation and the method to Java. The book is clearly structured and written, making it ideal for practitioners. This second edition is considerably revised and extended and includes examples taken from the latest version of Rational Rose and Together. Considers how Agile Modelling fits with the Unified Process, and presents Design Patterns Self contained - covers both the Unified Process and UML in one book... John Hunt's book guides you through the use of the UML and the Unified Process and their application to Java systems. Key topics focus explicitly o... |
|
cena:
384,63 zł |
Quantum Imaging
ISBN: 9781489994271 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book gives an overview of the latest progress in the domain of quantum imaging. It reflects three and a half years of research carried out by leading specialists in the area within the Quantum Imaging network, a research programme of the European Community. Quantum Imaging is a newly born branch of quantum optics that investigates the ultimate performance limits of optical imaging allowed by the laws of quantum mechanics. Using the methods and techniques from quantum optics, quantum imaging addresses the questions of image formation, processing and detection with sensitivity and... This book gives an overview of the latest progress in the domain of quantum imaging. It reflects three and a half years of research carried out by ... |
|
cena:
384,63 zł |
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co
ISBN: 9783319471655 / Angielski / Miękka / 974 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
384,63 zł |
Goal-Directed Proof Theory
ISBN: 9780792364733 / Angielski / Twarda / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an...
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of whic...
|
|
cena:
384,63 zł |
The Combinatory Programme
ISBN: 9780817638016 / Angielski / Twarda / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. This small volume arose under quite differ ent circumstances, namely within the context of reworking the mathematical foundations of computer science. I have been very lucky in finding gifted students who agreed to work with me and chose, for their Ph. D. theses, subjects that arose from my own attempts 1 to create a coherent mathematical view of these foundations. The result of this collaborative work is...
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the mo...
|
|
cena:
384,63 zł |
Automatic Program Development: A Tribute to Robert Paige
ISBN: 9781402065842 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, whose untimely passing was a loss to our academic and research community. We have collected the revised, updated versions of the papers published in his honor in the Higher-Order and Symbolic Computation Journal in the years 2003 and 2005. Among them there are two papers by Bob: (i) a retrospective view of his research lines, and (ii) a proposal for future studies in the area of the automatic program derivation. The book also includes some... Automatic Program Development is a tribute to Robert Paige (1947-1999), our accomplished and respected colleague, and moreover our good friend, wh... |
|
cena:
384,63 zł |
Data Types and Persistence
ISBN: 9783540187851 / Angielski / Twarda / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Based on the proceedings of a workshop held at the Appin in August 1985, this book discusses the issues of data abstraction. It introduces the concept of inheritance as a method of polymorphic modelling. It also discusses the issues of controlled access to large scale data in a concurrent and distributed persistent environment.
Based on the proceedings of a workshop held at the Appin in August 1985, this book discusses the issues of data abstraction. It introduces the concept...
|
|
cena:
384,63 zł |
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
ISBN: 9783540373766 / Angielski / Miękka / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27 30, 2006. ThepurposeoftheCONCURconferenceseriesistobringtogetherresearchers, developers and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a c- sequence of the importance and ubiquity of concurrent systems and their app- cations and the scienti?c relevance of their foundations. The scope of CONCUR covers all areas of semantics, logics, and veri?cation techniques for...
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27 30, 2006. Th...
|
|
cena:
384,63 zł |
Concur '92: Third International Conference on Concurrency Theory, Stony Brook, Ny, Usa, August 24-27, 1992. Proceedings
ISBN: 9783540558224 / Angielski / Miękka / 586 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of research papers on recent advances in the theory of concurrent systems and their applications. The mathematical understanding of their behaviour is examined in detail. Topics include process algebra, true concurrency, verification case studies and more.
This volume contains a selection of research papers on recent advances in the theory of concurrent systems and their applications. The mathematical un...
|
|
cena:
384,63 zł |
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics: International Conference Ifip Tcs 2000 Sendai, Japan, August 17-19,
ISBN: 9783540678236 / Angielski / Miękka / 636 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Conference IFIP TCS 2000 held in Sendai, Japan in August 2000.The 32 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 70 submissions. The papers are organized in two tracks on algorithms, complexity, and models of computation and on logics, semantics, specification, and verification. The book is devoted to exploring new frontiers of theoretical informatics and addresses all current topics in theoretical computer science.
This book constitutes the refereed proceedings of the International Conference IFIP TCS 2000 held in Sendai, Japan in August 2000.The 32 revised full ...
|
|
cena:
384,63 zł |
Concur 2000 - Concurrency Theory: 11th International Conference, University Park, Pa, Usa, August 22-25, 2000 Proceedings
ISBN: 9783540678977 / Angielski / Miękka / 613 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and...
This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA...
|
|
cena:
384,63 zł |