Author: IEEE Computer Society. Design Automation Technical Committee
Publisher:
ISBN: 9780769512068
Category : Computers
Languages : en
Pages : 222
Get Book Here
Book Description
The proceedings from the June 2001 conference in Monterey, California include 30 papers on hardware case studies, reconfiguring computing, communications systems, distributed prototyping, systems modeling, model-based prototyping, efficient evaluation, methodologies, and tools. Keynote addresses on
Author: Rudy Lauwereins
Publisher:
ISBN: 9780818671005
Category : Computers
Languages : en
Pages : 252
Get Book Here
Book Description
To help designers and developers of hardware/software systems knock together a working model more quickly, the 33 papers discuss models for system simulation and emulation in a hierarchical sense, software-to-hardware mapping, software prototyping and validation, prototyping environments of hardware
Author: IEEE Computer Society. Technical Committee on Simulation
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN:
Category : Computers
Languages : en
Pages : 258
Get Book Here
Book Description
Contains papers from a June 1999 workshop which brought together system designers, model and tool developers, integrated circuit designers, and software engineers to explore problems and techniques in the area of rapid system prototyping. Papers focus on models for system simulation/emulation in a hierarchical sense, software-to- hardware mapping, software prototyping and validation, prototyping environments of hardware simulators, and experiences from specific system prototyping projects. Contains sections on communication and distributed systems, reconfigurable architectures, reuse, formal methods, design methodologies, interface technologies, and FPGA-based design. Lacks a subject index. Annotation copyrighted by Book News, Inc., Portland, OR.
Author: Kenneth Robert Anderson
Publisher:
ISBN:
Category : CAD/CAM systems
Languages : en
Pages : 328
Get Book Here
Book Description
Author: Luis M. Camarinha-Matos
Publisher: Springer Science & Business Media
ISBN: 364219169X
Category : Business & Economics
Languages : en
Pages : 606
Get Book Here
Book Description
This book constitutes the refereed proceedings of the Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, held in Costa de Caparica, Portugal, in February 2011. The 67 revised full papers were carefully selected from numerous submissions. They cover a wide spectrum of topics ranging from collaborative enterprise networks to microelectronics. The papers are organized in topical sections on collaborative networks, service-oriented systems, computational intelligence, robotic systems, Petri nets, sensorial and perceptional systems, sensorial systems and decision, signal processing, fault-tolerant systems, control systems, energy systems, electrical machines, and electronics.
Author: Martin Wirsing
Publisher: Springer Science & Business Media
ISBN: 3540211799
Category : Computers
Languages : en
Pages : 368
Get Book Here
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002, held in Venice, Italy, in October 2002. The 24 revised full papers presented were carefully reviewed and selected from the 36 invited workshop presentations. The authors evaluate all major paradigms and conceptual issues in software and systems design and analysis, especially regarding their potential for modifications to cope with future needs.
Author: Nick Kanopoulos
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 260
Get Book Here
Book Description
RSP ^93 was held in Research Triangle Park, North Carolina, June 1993. Papers discuss prototyping tools, problems, issues, techniques, applications, environments, and design and test methodologies. No index. Acidic paper. Annotation copyright by Book News, Inc., Portland, OR.
Author:
Publisher:
ISBN:
Category : Computer simulation
Languages : en
Pages :
Get Book Here
Book Description
Author: Shen, Jih-Sheng
Publisher: IGI Global
ISBN: 1615208089
Category : Computers
Languages : en
Pages : 384
Get Book Here
Book Description
Reconfigurable computing brings immense flexibility to on-chip processing while network-on-chip has improved flexibility in on-chip communication. Integrating these two areas of research reaps the benefits of both and represents the promising future of multiprocessor systems-on-chip. This book is the one of the first compilations written to demonstrate this future for network-on-chip design. Through dynamic and creative research into questions ranging from integrating reconfigurable computing techniques, to task assigning, scheduling and arrival, to designing an operating system to take advantage of the computing and communication flexibilities brought about by run-time reconfiguration and network-on-chip, it represents a complete source of the techniques and applications for reconfigurable network-on-chip necessary for understanding of future of this field.
Author: Manfred Broy
Publisher: Springer
ISBN: 3540320377
Category : Computers
Languages : en
Pages : 646
Get Book Here
Book Description
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems. This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
