Photo 1 sur 1
![Une machine MIPS multicœur pipelinée : implémentation matérielle et correction pro - Photo 1 sur 1](https://i.ebayimg.com/images/g/nUQAAOSwBp9mSdyM/s-l500.jpg)
Une machine MIPS multicœur pipelinée : implémentation matérielle et correction pro
État :
3 disponibles
Expédition :
Lieu : Fairfield, Ohio, États-Unis
Livraison :
Livraison prévue entre le mer. 3 juil. et le lun. 15 juil. à 43230
Renvois :
Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois
Paiements :
Magasinez en toute confiance
Informations sur le vendeur
- 98,3% d'évaluations positives
Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :395142192960
Dernière mise à jour : mai 19, 2024 07:00:07 HAEAfficher toutes les modificationsAfficher toutes les modifications
Caractéristiques de l'objet
- État
- ISBN-13
- 9783319139050
- Book Title
- A Pipelined Multi-core MIPS Machine
- ISBN
- 9783319139050
- Subject Area
- Computers
- Publication Name
- Pipelined Multi-Core Mips Machine : Hardware Implementation and Correctness Proof
- Item Length
- 9.3 in
- Publisher
- Springer International Publishing A&G
- Subject
- Programming / General, Systems Architecture / Distributed Systems & Computing, Software Development & Engineering / General, Programming / Algorithms, Hardware / General
- Publication Year
- 2014
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Width
- 6.1 in
- Item Weight
- 194.1 Oz
- Number of Pages
- Xii, 352 Pages
À propos de ce produit
Product Information
This monograph is based on the third author's lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany. It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially consistent shared memory. The book contains the first correctness proofs for both the gate level implementation of a multi-core processor and also of a cache based sequentially consistent shared memory. This opens the way to the formal verification of synthesizable hardware for multi-core processors in the future. Constructions are in a gate level hardware model and thus deterministic. In contrast the reference models against which correctness is shown are nondeterministic. The development of the additional machinery for these proofs and the correctness proof of the shared memory at the gate level are the main technical contributions of this work.
Product Identifiers
Publisher
Springer International Publishing A&G
ISBN-10
3319139053
ISBN-13
9783319139050
eBay Product ID (ePID)
209735686
Product Key Features
Publication Name
Pipelined Multi-Core Mips Machine : Hardware Implementation and Correctness Proof
Format
Trade Paperback
Language
English
Subject
Programming / General, Systems Architecture / Distributed Systems & Computing, Software Development & Engineering / General, Programming / Algorithms, Hardware / General
Publication Year
2014
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Subject Area
Computers
Number of Pages
Xii, 352 Pages
Dimensions
Item Length
9.3 in
Item Width
6.1 in
Item Weight
194.1 Oz
Additional Product Features
LCCN
2014-956104
Intended Audience
Scholarly & Professional
Series Volume Number
9000
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.9.A43
Copyright Date
2014
Dewey Decimal
004.22
Dewey Edition
23
Illustrated
Yes
Description de l'objet du vendeur
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :395142192960
Dernière mise à jour : mai 19, 2024 07:00:07 HAEAfficher toutes les modificationsAfficher toutes les modifications
Expédition et manutention
Lieu où se trouve l'objet :
Fairfield, Ohio, États-Unis
Expédition :
Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Canada, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guernesey, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mayotte, Mexique, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Nioué, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Sahara occidental, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les Grenadines, Sainte-Hélène, Sainte-Lucie, Salvador, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Somalie, Sri Lanka, Suisse, Suriname, Suède, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Tuvalu, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, Éthiopie, Île Maurice, Îles Caïmans, Îles Cook, Îles Malouines (îles Falkland), Îles Salomon, Îles Turks et Caicos, Îles Vierges britanniques, Îles du Cap-Vert
Lieux exclus :
Adresses militaires ou navales, Alaska/Hawaii, Barbade, Biélorussie, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Panama, Papouasie-Nouvelle-Guinée, Polynésie française, Protectorats des États-Unis, Russie, Réunion, Samoa, Ukraine, Venezuela
Expédition et manutention | Chaque objet supplémentaire | À | Service | Livraison*Voir les remarques sur la livraison |
---|---|---|---|---|
Expédition sans frais | Sans frais | États-Unis | Economy Shipping | Livraison prévue entre le mer. 3 juil. et le lun. 15 juil. à 43230 |
Délai de manutention |
---|
Expédition dans les 10 jours ouvrables après réception du paiement. |
Taxes |
---|
Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay. |
Taxe de vente pour cet objet (395142192960)
Taxe de vente pour cet objet (395142192960)
Le vendeur facture une taxe de vente pour les États suivants :
État | Taux de la taxe de vente |
---|
Modalités de renvoi
Après réception de l'objet, contactez le vendeur dans un délai de | Mode de remboursement |
---|---|
30 jours | Remboursement |
Les frais d'expédition du renvoi sont à la charge de l'acheteur.
Détails du paiement
Modes de paiement
Évaluations comme vendeur (1 025 227)
r***c (1590)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Great item. Excellent packaging. Thanks for the books!
2***6 (709)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
like new, well packed, fast ship
l***_ (207)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Item received as listed. Recommended seller.