Publicado por Examicus Publishing, 2012
ISBN 10: 3656997764 ISBN 13: 9783656997764
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Publicado por Examicus Verlag, 2012
ISBN 10: 3656997764 ISBN 13: 9783656997764
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Condición: New.
Publicado por Examicus Verlag Jul 2012, 2012
ISBN 10: 3656997764 ISBN 13: 9783656997764
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: In der digitalen Welt ist die Formale Verifikation von Schaltungen sehr verbreitet und wird mit Erfolg eingesetzt. Die Verifikation von nichtlinearen, analogen Schaltungen hingegen ist noch neu. In Schaltkreisen mit digitalen wie auch analogen Teilen entstehen im analogen Anteil ungefähr 50% der Fehler, die zu einer Neuimplementierung führen. Daher ist es von großem Interesse den analogen Teil ebenfalls verifizieren zu können.Dieser Text entstand im Zuge einer Studienarbeit im Bereich Rechnersysteme an der Technischen Universität in Darmstadt. Die Motivation dieser Arbeit ist es, einen bereits bestehenden Ansatz zur Verifikation von analogen Schaltungen unter Verwendung des Model-Checking-Verfahrens zu vervollständigen und effizienter zu gestalten. Dieser verwendete Ansatz von Scholz und Ehrenfried basiert auf der Arbeit von Hartong.Im Zuge der Arbeit wurde weiterhin untersucht, inwiefern sich der verwendete Ansatz um die Möglichkeit der Verifikation von analogen Schaltungen mit verschiedenen Arten von Eingangssignalen erweitern lässt. 56 pp. Deutsch.
Publicado por Examicus Publishing, 2016
ISBN 10: 3869431334 ISBN 13: 9783869431338
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Publicado por Examicus Verlag, 2016
ISBN 10: 3869431334 ISBN 13: 9783869431338
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Condición: New.
Publicado por Examicus Verlag Aug 2016, 2016
ISBN 10: 3869431334 ISBN 13: 9783869431338
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Diplomarbeit aus dem Jahr 2007 im Fachbereich Informatik - Theoretische Informatik, Note: 1, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: Diese Arbeit baut auf einem Programm auf, das einen analogen Schaltkreis in das entsprechende VHDL-Modell zur späteren formalen Verifikation überführt. Das Programm wurde an der Technischen Universität in Darmstadt im Fachbereich Rechnersysteme entwickelt und ist durch die Erfolge dieser Arbeit letztendlich einsatzbereit. 68 pp. Deutsch.
Publicado por Examicus Verlag, 2012
ISBN 10: 3656997764 ISBN 13: 9783656997764
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Examicus Verlag, 2016
ISBN 10: 3869431334 ISBN 13: 9783869431338
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Examicus Publishing 2016-08-19, 2016
ISBN 10: 3869431334 ISBN 13: 9783869431338
Librería: Chiron Media, Wallingford, Reino Unido
Paperback. Condición: New.
Publicado por Examicus Verlag, 2012
ISBN 10: 3656997764 ISBN 13: 9783656997764
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: In der digitalen Welt ist die Formale Verifikation von Schaltungen sehr verbreitet und wird mit Erfolg eingesetzt. Die Verifikation von nichtlinearen, analogen Schaltungen hingegen ist noch neu. In Schaltkreisen mit digitalen wie auch analogen Teilen entstehen im analogen Anteil ungefähr 50% der Fehler, die zu einer Neuimplementierung führen. Daher ist es von großem Interesse den analogen Teil ebenfalls verifizieren zu können.Dieser Text entstand im Zuge einer Studienarbeit im Bereich Rechnersysteme an der Technischen Universität in Darmstadt. Die Motivation dieser Arbeit ist es, einen bereits bestehenden Ansatz zur Verifikation von analogen Schaltungen unter Verwendung des Model-Checking-Verfahrens zu vervollständigen und effizienter zu gestalten. Dieser verwendete Ansatz von Scholz und Ehrenfried basiert auf der Arbeit von Hartong.Im Zuge der Arbeit wurde weiterhin untersucht, inwiefern sich der verwendete Ansatz um die Möglichkeit der Verifikation von analogen Schaltungen mit verschiedenen Arten von Eingangssignalen erweitern lässt.
Publicado por Examicus Verlag, 2016
ISBN 10: 3869431334 ISBN 13: 9783869431338
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Diplomarbeit aus dem Jahr 2007 im Fachbereich Informatik - Theoretische Informatik, Note: 1, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: Diese Arbeit baut auf einem Programm auf, das einen analogen Schaltkreis in das entsprechende VHDL-Modell zur späteren formalen Verifikation überführt. Das Programm wurde an der Technischen Universität in Darmstadt im Fachbereich Rechnersysteme entwickelt und ist durch die Erfolge dieser Arbeit letztendlich einsatzbereit.
Publicado por Examicus Verlag Jul 2012, 2012
ISBN 10: 3869431326 ISBN 13: 9783869431321
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Studienarbeit aus dem Jahr 2006 im Fachbereich BWL - Unternehmensforschung, Operations Research, Note: 2, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: Diese Arbeit beschäftigt sich mit neuen Ansätzen zur Lösung des Generalized-Assignment-Problems (GAP). Es werden werden verschiedene Heuristiken wie auch exakte Verfahren zur Lösung des GAP betrachtet.Unter dem GAP versteht man einkombinatorisches Zuordnungsproblem, bei dem n Aufträge von m Arbeitern bearbeitet werden sollen.Jeder Arbeiter ist durch seine maximale Arbeitszeit beschränkt und für jede Zuordnung eines Arbeiters an einen Auftrag entstehen Kosten.Das Ziel des GAP ist es, die gesamten Kosten unter Berücksichtigung der gegebenen Schranken zu minimieren. 104 pp. Deutsch.
Publicado por Examicus Verlag, 2012
ISBN 10: 3869431326 ISBN 13: 9783869431321
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Condición: New.
Publicado por Examicus Publishing, 2012
ISBN 10: 3869431326 ISBN 13: 9783869431321
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Publicado por Examicus Publishing, 2012
ISBN 10: 3656997764 ISBN 13: 9783656997764
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Publicado por Examicus Verlag, 2012
ISBN 10: 3869431326 ISBN 13: 9783869431321
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Examicus Publishing, 2016
ISBN 10: 3869431334 ISBN 13: 9783869431338
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Publicado por Examicus Publishing 2012-07-09, 2012
ISBN 10: 3869431326 ISBN 13: 9783869431321
Librería: Chiron Media, Wallingford, Reino Unido
Paperback. Condición: New.
Publicado por Examicus Verlag, 2012
ISBN 10: 3869431326 ISBN 13: 9783869431321
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Studienarbeit aus dem Jahr 2006 im Fachbereich BWL - Unternehmensforschung, Operations Research, Note: 2, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: Diese Arbeit beschäftigt sich mit neuen Ansätzen zur Lösung des Generalized-Assignment-Problems (GAP). Es werden werden verschiedene Heuristiken wie auch exakte Verfahren zur Lösung des GAP betrachtet.Unter dem GAP versteht man einkombinatorisches Zuordnungsproblem, bei dem n Aufträge von m Arbeitern bearbeitet werden sollen.Jeder Arbeiter ist durch seine maximale Arbeitszeit beschränkt und für jede Zuordnung eines Arbeiters an einen Auftrag entstehen Kosten.Das Ziel des GAP ist es, die gesamten Kosten unter Berücksichtigung der gegebenen Schranken zu minimieren.
Publicado por Examicus Publishing, 2012
ISBN 10: 3656997764 ISBN 13: 9783656997764
Librería: dsmbooks, Liverpool, Reino Unido
Paperback. Condición: Like New. Like New. book.
Publicado por Examicus Publishing, 2012
ISBN 10: 3869431326 ISBN 13: 9783869431321
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Publicado por Examicus Verlag, 2012
ISBN 10: 3869431326 ISBN 13: 9783869431321
Librería: Mispah books, Redhill, SURRE, Reino Unido
Paperback. Condición: Like New. Like New. book.