Order Total (1 Item Items):
Shipping Destination:
Abhik Roychoudhury (28 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (28)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (22)
- As New, Fine or Near Fine (3)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (10)
- Not Print on Demand (21)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Embedded Systems and Software Validation (Morgan Kaufmann Series in Systems on Silicon (Hardcover))
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
![Stock image for Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization: 26 (Foundations and Trends® in Electronic Design Automation) [Paperback] Chattopadhyay, Sudipta; Roychoudhury, Abhik and Rosen, Jakob for sale by Hay-on-Wye Booksellers](https://pictures.abebooks.com/isbn/9781601987945-uk-300.jpg)
Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization: 26 (Foundations and Trends® in Electronic Design Automation) [Paperback] Chattopadhyay, Sudipta; Roychoudhury, Abhik and Rosen, Jakob
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Light wear at edges/corners. Faint storage scratches to cover. Text as new and unread.
-
Time-Predictable Embedded Software on Multi-Core Platforms: Analysis and Optimization: 26 (Foundations and Trends® in Electronic Design Automation) [Paperback] Chattopadhyay, Sudipta; Roychoudhury, Abhik and Rosen, Jakob
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Minor wear at extremities. Some light marks/scratches to parts of cover/text blocks. Text as new and unread.
-
Theoretical Aspects of Computing - Ictac 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 47.11
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Paperback. Condition: New.
-
Theoretical Aspects of Computing - ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 47.70
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Theoretical Aspects of Computing - ICTAC 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 364232942X ISBN 13: 9783642329425
Language: English
£ 29.19
Convert currency£ 20.69 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Theoretical Aspects of Computing - Ictac 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 52.38
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Theoretical Aspects of Computing - ICTAC 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 364232942X ISBN 13: 9783642329425
Language: English
£ 43.89
Convert currency£ 12.11 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012.The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
-
£ 51.60
Convert currency£ 14.74 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
£ 60.82
Convert currency£ 6.64 shipping from U.S.A. to United KingdomQuantity: 4 available
Add to basketCondition: New. pp. 272.
-
Condition: New. pp. xii + 254 Illus.
-
Embedded Systems and Software Validation
Published by Elsevier Science & Technology, 2009
ISBN 10: 0123742307 ISBN 13: 9780123742308
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 68.64
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketHardback. Condition: New. New copy - Usually dispatched within 4 working days. 778.
-
Hardcover. Condition: Brand New. 1st edition. 272 pages. 9.30x7.70x1.00 inches. In Stock.
-
£ 59.38
Convert currency£ 14.74 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Theoretical Aspects of Computing - ICTAC 2012
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2012, 2012
ISBN 10: 364232942X ISBN 13: 9783642329425
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 43.89
Convert currency£ 30.30 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012.The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.
-
£ 54.57
Convert currency£ 22.11 shipping from U.S.A. to United KingdomQuantity: 2 available
Add to basketCondition: New. SUPER FAST SHIPPING.
-
£ 75.92
Convert currency£ 6.64 shipping from U.S.A. to United KingdomQuantity: 3 available
Add to basketCondition: New. pp. xii + 254.
-
£ 79.54
Convert currency£ 6.88 shipping from Germany to United KingdomQuantity: 3 available
Add to basketCondition: New. pp. xii + 254.
-
Paperback. Condition: Brand New. 2012 edition. 271 pages. 9.25x6.10x0.70 inches. In Stock.
-
£ 58.60
Convert currency£ 55.32 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Theoretical Aspects of Computing - ICTAC 2012
Published by Springer Berlin Heidelberg Aug 2012, 2012
ISBN 10: 364232942X ISBN 13: 9783642329425
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
£ 43.89
Convert currency£ 9.52 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012.The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. 272 pp. Englisch.
-
£ 58.79
Convert currency£ 2.38 shipping from Italy to United KingdomQuantity: Over 20 available
Add to basketCondition: new. Questo è un articolo print on demand.
-
Theoretical Aspects of Computing - ICTAC 2012
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 364232942X ISBN 13: 9783642329425
Language: English
£ 40.02
Convert currency£ 21.63 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Fast-track conference proceedingsState-of-the-art researchUp-to-date resultsFast-track conference proceedingsState-of-the-art researchUp-to-date resultsThis book constitutes the refereed proceedings of the 9th International Coll.
-
Condition: New. Print on Demand pp. 272 74 Illus.
-
£ 66.19
Convert currency£ 6.88 shipping from Germany to United KingdomQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 272.
-
Embedded Systems and Software Validation
Published by Elsevier Science Jun 2009, 2009
ISBN 10: 0123742307 ISBN 13: 9780123742308
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
£ 79.35
Convert currency£ 9.52 shipping from Germany to United KingdomQuantity: 2 available
Add to basketBuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and partially programmable or fixed-function components. This heterogeneity, coupled with issues such as hardware/software partitioning, mapping, scheduling, etc., leads to a large number of design possibilities, making performance debugging and validation of such systems a difficult problem. Embedded systems are used to control safety critical applications such as flight control, automotive electronics and healthcare monitoring. Clearly, developing reliable software/systems for such applications is of utmost importance. This book describes a host of debugging and verification methods which can help to achieve this goal. Covers the major abstraction levels of embedded systems design, starting from software analysis and micro-architectural modeling, to modeling of resource sharing and communication at the system level Integrates formal techniques of validation for hardware/software with debugging and validation of embedded system design flows Includes practical case studies to answer the questions: does a design meet its requirements, if not, then which parts of the system are responsible for the violation, and once they are identified, then how should the design be suitably modified 272 pp. Englisch.
-
£ 80.30
Convert currency£ 12.11 shipping from Germany to United KingdomQuantity: 2 available
Add to basketBuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors, specialized memory subsystems, and partially programmable or fixed-function components. This heterogeneity, coupled with issues such as hardware/software partitioning, mapping, scheduling, etc., leads to a large number of design possibilities, making performance debugging and validation of such systems a difficult problem. Embedded systems are used to control safety critical applications such as flight control, automotive electronics and healthcare monitoring. Clearly, developing reliable software/systems for such applications is of utmost importance. This book describes a host of debugging and verification methods which can help to achieve this goal. Covers the major abstraction levels of embedded systems design, starting from software analysis and micro-architectural modeling, to modeling of resource sharing and communication at the system level Integrates formal techniques of validation for hardware/software with debugging and validation of embedded system design flows Includes practical case studies to answer the questions: does a design meet its requirements, if not, then which parts of the system are responsible for the violation, and once they are identified, then how should the design be suitably modified.
