Książka: » Informatyka » Sprzęt komputerowy
topmenu
• Nauka
[2949524]
[1817948]
[70715]
[151291]
[16627]
[38228]
[4972]
[3129]
[13897]
[4154]
[2954]
• Komiksy
[35671]
[23176]
[612440]
• Hobby
[136066]
[1740]
[226030]
[378]
• Słowniki
[2918]
• Inne
[445441]
[1181]
[166545]
[469898]
• Religia
[508035]
[502]
• Sport
[61392]
• Sztuka
[242759]
[3348]
[219537]
• Zdrowie
[98738]
[124]
• Zabawki
[2382]
[3543]
[259]
[7107]
Sprzęt komputerowy
ilość książek w kategorii: 2990
 |
Formal Methods in Computer-Aided Design: 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 6-8, 2002, Proceedings
ISBN: 9783540001164 / Angielski / Miękka / 2002 / 408 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of...
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted t...
|
cena:
201,24 |
 |
The Ergonomics of Computer Pointing Devices
ISBN: 9783540199861 / Angielski / Miękka / 1997 / 244 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. We first began looking at pointing devices and human performance in 1990 when the senior author, Sarah Douglas, was asked to evaluate the human performance ofa rather novel device: a finger-controlled isometric joystick placed under a key on the keyboard. Since 1990 we have been involved in the development and evaluation ofother isometric joysticks, a foot-controlled mouse, a trackball, and a wearable computer with head mounted display. We unabashedly believe that design and evaluation of pointing devices should evolve from a broad spectrum of values which place the human being at the center....
We first began looking at pointing devices and human performance in 1990 when the senior author, Sarah Douglas, was asked to evaluate the human perfor...
|
cena:
201,24 |
 |
Formal Hardware Verification: Methods and Systems in Comparison
ISBN: 9783540634751 / Angielski / Miękka / 1997 / 376 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. It describes the approaches supplying the theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, the book aims to provide a fair analysis of the strengths and weaknesses of the various approaches given.
Presenting a survey of a variety of methods and systems for formal hardware verification, this work emphasizes the presentation of approaches that hav...
|
cena:
201,24 |
 |
Introduction to Formal Hardware Verification
ISBN: 9783540654452 / Angielski / Twarda / 1999 / 299 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction...
Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete...
|
cena:
201,24 |
 |
Reconfigurable Computing: Architectures, Tools and Applications: Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007, Proce
ISBN: 9783540714309 / Angielski / Miękka / 2007 / 412 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the Third International Workshop on Applied Reconfigurable Computing, ARC 2007, held in Mangaratiba, Brazil, in March 2007. The 27 full papers and 10 short papers presented together with a late-comer contribution from ARC 2006 are organized in topical sections on architectures, mapping techniques and tools, arithmetic, and applications. This book constitutes the refereed proceedings of the Third International Workshop on Applied Reconfigurable Computing, ARC 2007, held in Mangarati... |
cena:
201,24 |
 |
Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings
ISBN: 9783540603856 / Angielski / Miękka / 1995 / 346 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.
The 20 revised full papers presented were carefully selected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and... This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARM...
|
cena:
201,24 |
 |
Correct Hardware Design and Verification Methods: Ifip Wg 10.2 Advanced Research Working Conference, Charme'93, Arles, France, May 24-26, 1993. Procee
ISBN: 9783540567783 / Angielski / Miękka / 1993 / 275 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence, Marseille, in cooperation with IFIP Working Group 10.2. Formal verification is emerging as a plausible alternative to exhaustive simulation for establishing correct digital hardware designs. The validation of functional and timing behavior is a major bottleneck in current VLSI design systems, slowing the arrival of products in the marketplace...
These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, Fr...
|
cena:
201,24 |
![The Complexity of Simple Computer Architectures Silvia M. Muller Silvia M. M]ller Wolfgang J. Paul 9783540605805 Springer](/the_complexity_of_simple_computer_architectures-9783540605805_thb.jpg "The Complexity of Simple Computer Architectures") |
The Complexity of Simple Computer Architectures
ISBN: 9783540605805 / Angielski / Miękka / 1995 / 273 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives for the well-known RISC architecture called DLX are analyzed quantitatively. It is formally proved that the interrupt mechanism proposed for the DLX architecture handles nested interrupts correctly.
In an appendix all programs to compute the cost and cycle time of the designs described are listed... This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectur...
|
cena:
201,24 |
 |
Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
ISBN: 9783540665595 / Angielski / Miękka / 1999 / 376 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. CHARME 99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and systems. Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and conference series has been organized in cooperation with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD, which takes place every even-numbered year in the USA. The 1999 event took place...
CHARME 99 is the tenth in a series of working conferences devoted to the dev- opment and use of leading-edge formal techniques and tools for the desig...
|
cena:
201,24 |
 |
Computer Systems: Architectures, Modeling, and Simulation: Third and Fourth International Workshop, Samos 2003 and Samos 2004, Samos, Greece, July 21-
ISBN: 9783540223771 / Angielski / Miękka / 2004 / 566 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The SAMOS workshop is an international gathering of highly quali?ed rese- chers from academia and industry, sharing in a 3-day lively discussion on the quietandinspiringnorthernmountainsideofthe MediterraneanislandofSamos. As a tradition, the workshop features plenary presentations in the morning, while after lunch all kinds of informal discussions and nut cracking gatherings take place. The workshop is unique in the sense that not only solved research problems are presented and discussed, but also (partly) unsolved problems and in-depth topical reviews can be unleashed in the scienti?c...
The SAMOS workshop is an international gathering of highly quali?ed rese- chers from academia and industry, sharing in a 3-day lively discussion on th...
|
cena:
201,24 |
 |
Mobile Agents: 5th International Conference, Ma 2001 Atlanta, Ga, Usa, December 2-4, 2001 Proceedings
ISBN: 9783540429524 / Angielski / Miękka / 2001 / 284 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. These are the refereed proceedings of the 5th International Conference on Mobile Agents, MA 2001, held in Atlanta, GA, USA in December 2001. The 18 revised full papers presented were carefully reviewed and selected from 75 submissions. The papers are organized in topical sections on security, models and architectures, applications, communication, run-time support, and quantitative evaluation and benchmarking.
These are the refereed proceedings of the 5th International Conference on Mobile Agents, MA 2001, held in Atlanta, GA, USA in December 2001. The 18 re...
|
cena:
201,24 |
 |
Concurrency and Hardware Design: Advances in Petri Nets
ISBN: 9783540001997 / Angielski / Miękka / 2002 / 346 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. As CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - minishing fabrication process features, which a?ect for example the gate-to-wire delay ratio. They manifest themselves in greater variations of size and operating parameters of devices, which put the overall reliability of systems at risk. And, most of all, they have tremendous impact on design productivity, where the costs of utilizing the growing silicon real estate rocket to billions of dollars that have to be spent on design, veri?cation,...
As CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - ...
|
cena:
201,24 |
 |
Embedded Computer Systems: Architectures, Modeling, and Simulation: 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings
ISBN: 9783540269694 / Angielski / Miękka / 2005 / 476 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The SAMOS workshop is an international gathering of highly quali?ed researchers from academia and industry, sharing in a 3-day lively discussion on the quiet and - spiring northern mountainside of the Mediterranean island of Samos. As a tradition, the workshop features workshop presentations in the morning, while after lunch all kinds of informal discussions and nut-cracking gatherings take place. The workshop is unique in the sense that not only solved research problems are presented and discussed but also (partly) unsolved problems and in-depth topical reviews can be unleashed in the sci-...
The SAMOS workshop is an international gathering of highly quali?ed researchers from academia and industry, sharing in a 3-day lively discussion on th...
|
cena:
201,24 |
 |
Towards Evolvable Hardware: The Evolutionary Engineering Approach
ISBN: 9783540610939 / Angielski / Miękka / 1996 / 274 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Evolutionary computing, inspired by the biological world, is one of the emergent technologies of our time. Being essentially a software activity, it has been successfully applied, e.g. for optimization and machine learning in various areas. The tremendous increase in computational power and, more recently, the appearance of a new generation of programmable logic devices allow for a new approach to designing computing machines inspired by biological models: it is now possible to make the hardware itself evolve.
This book is based on a workshop on evolvable hardware, held in Lausanne,... Evolutionary computing, inspired by the biological world, is one of the emergent technologies of our time. Being essentially a software activity, it h...
|
cena:
201,24 |
 |
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
ISBN: 9783540425410 / Angielski / Miękka / 2001 / 488 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods. CHARME 2001 is the 11th in a series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and veri?cation of hardware and hardware-like systems. Previous events in the CHARME series were held in Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993), and Torino (1991). This series of meetings has been organized in cooperation with IFIP WG 10.5 and WG 10.2. Prior...
This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Meth...
|
cena:
201,24 |
 |
Reconfigurable Computing: Architectures, Tools, and Applications: 4th International Workshop, ARC 2008, London, Uk, March 26-28, 2008, Proceedings
ISBN: 9783540786092 / Angielski / Miękka / 2008 / 346 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Coverage in this proceedings volume includes DNA and string processing applications, reconfigurable computing hardware and systems, image processing, run-time behavior, instruction set extension, as well as random number generation and financial computation.
Coverage in this proceedings volume includes DNA and string processing applications, reconfigurable computing hardware and systems, image processing, ...
|
cena:
201,24 |
 |
Embedded Computer Systems: Architectures, Modeling, and Simulation: 7th International Workshop, Samos 2007, Samos, Greece, July 16-19, 2007, Proceedin
ISBN: 9783540736226 / Angielski / Miękka / 2007 / 470 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Stamatis Vassiliadis established the SAMOS workshop in the year 2001 an event which combines his devotion to computer engineering and his pride for Samos, the island where he was born. The quiet and inspiring northern mo- tainside of this Mediterranean island together with his enthusiasm and warmth created a unique atmosphere that made this event so successful. Stamatis V- siliadis passed away on Saturday, April 7, 2007. The research community wants to express its gratitude to him for the creation of the SAMOS workshop, which will not be the same without him. We would like to dedicate this...
Stamatis Vassiliadis established the SAMOS workshop in the year 2001 an event which combines his devotion to computer engineering and his pride for Sa...
|
cena:
201,24 |
 |
Embedded Computer Systems: Architectures, Modeling, and Simulation: 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, Proceedings
ISBN: 9783642031373 / Angielski / Miękka / 2009 / 342 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the 9th International Workshop on Architectures, Modeling, and Simulation, SAMOS 2009, held on Samos, Greece, on July 20-23, 2009. The 18 regular papers presented were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on architectures for multimedia, multi/many cores architectures, VLSI architectures design, architecture modeling and exploration tools. In addition there are 14 papers from three special sessions which were organized on topics of current interest: instruction-set... This book constitutes the refereed proceedings of the 9th International Workshop on Architectures, Modeling, and Simulation, SAMOS 2009, held on Sa... |
cena:
201,24 |
 |
Introduction to Formal Hardware Verification
ISBN: 9783642084775 / Angielski / Miękka / 2010 / 299 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete overview of techniques for hardware verification. It covers all approaches used in existing tools, such as binary and word-level decision diagrams, symbolic methods for equivalence checking, and temporal logic model checking, and introduces the use of higher-order logic theorem proving for verifying circuit correctness. It enables the reader to understand the advantages and limitations of each technique. Each chapter contains an introduction...
Hardware verification is a hot topic in circuit and system design due to rising circuit complexity. This advanced textbook presents an almost complete...
|
cena:
201,24 |
 |
Applications and Usability of Interactive TV: Third Iberoamerican Conference, Jauti 2014, and Third Workshop on Interactive Digital Tv, Held as Part o
ISBN: 9783319226552 / Angielski / Miękka / 2015 / 147 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the Third Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2014, and the Third Workshop on Interactive Digital TV, WTVDI 2014, held as part of Webmedia 2014, Joao Pessoa, Brazil, in November 2014. The 10 revised full papers presented were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections on IDTV overview; IDTV development tools; IDTV evaluation and testing; IDTV accessibility and usability. This book constitutes the refereed proceedings of the Third Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2014, a... |
cena:
201,24 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
