Narrow your search

Library

KU Leuven (2)

Odisee (2)

Thomas More Kempen (2)

Thomas More Mechelen (2)

UCLL (2)

ULB (2)

ULiège (2)

VIVES (2)

LUCA School of Arts (1)


Resource type

book (2)


Language

English (2)


Year
From To Submit

2007 (2)

Listing 1 - 2 of 2
Sort by
Global specification and validation of embedded systems : integrated heterogeneous components
Authors: ---
ISBN: 1280955473 9786610955473 1402061536 140206151X 904817550X Year: 2007 Publisher: Dordrecht : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems are now omnipresent in our life, and they may be found in several domains such as communications (ex. mobile terminals, optical switches), health (e.g. cardiac stimulators, cochlear implants), transportation (ex. automotive and aeronautical), etc. The main difficulties for their design are modelling and validation of the interactions between different components (hardware, software, analogue, RF, optical and micro-mechanical). Global Specification and Validation of Embedded Systems offers a deep understanding of concepts and practices behind the composition of heterogeneous components. After the analysis of existing computation and execution models used for the specification and validation of different sub-systems, the book introduces a systematic approach to build an execution model for systems composed of heterogeneous components. Mixed continuous/discrete and hardware/software systems will be used to illustrate these concepts. The benefit of reading this book is to give a clear vision on the theory and practice of specification and validation of complex modern systems. The examples give to the designers solutions applicable in their daily practice.

Keywords

Embedded computer systems. --- Heterogeneous computing. --- Computer programs --- Validation. --- Validation of computer programs --- Validation of software --- Heterogeneous processing (Computers) --- High performance computing --- Parallel processing (Electronic computers) --- Embedded systems (Computer systems) --- Computer systems --- Architecture Analysis and Design Language --- Systems engineering. --- Information theory. --- Computer aided design. --- Computer simulation. --- Software engineering. --- Circuits and Systems. --- Theory of Computation. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Simulation and Modeling. --- Special Purpose and Application-Based Systems. --- Computer software engineering --- Engineering --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Communication theory --- Communication --- Cybernetics --- Engineering systems --- System engineering --- Industrial engineering --- System analysis --- Design and construction --- Electronic circuits. --- Computers. --- Computer-aided engineering. --- Special purpose computers. --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Electronics --- Special purpose computers --- Computers --- CAE --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Machine theory --- Calculators --- Cyberspace --- Data processing


Book
Sustainable internet : third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007 : proceedings
Authors: --- ---
ISBN: 9783540768081 3540768084 3540768092 Year: 2007 Publisher: Berlin ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The 3rd Asian Internet Engineering Conference (AINTEC) followed the ?rst two successful editions held in Bangkok, Thailand, and focused on developing synergies between researchers in Asia and worldwide, but was also a unique chanceforyoung,talentedregionalscientiststomeetandinteract.AINTEC2007 wasthereforeamajoropportunityforpresentationsanddiscussionsaroundthese objectives. In particular, it aimed at addressing issues pertinent to the Asian region with vast diversities of socio-economic and networking conditions while inviting high-quality and recent research results from the global international research community to be presented. The conference is single-track to favor discussions among a diverse set of participants. We want to thank the authors of the 66 papers submitted for considering AINTEC as the right target for their paper. The submissions came from 18 countries with, as expected, a majority from Asia. The program was composed of 14 accepted papers organized in 6 technical sessions including 7 invited talks by leading experts on innovative topics, presentations of papers, demos, posters and a pre-conference18th Asian School on Computer Science (November, 25–26 2007). You might think that AINTEC is yet another conference but it has di?erent objectives and spirit, it o?ers a great opportunity to discuss future challenges for a sustainable Internet, and to get to know the local and regional researchers and enjoy the great hospitality of Thailand.

Keywords

Computer networks --- Heterogeneous computing --- Internet --- Mobile computing --- Congresses. --- Congrès --- Wireless communication systems --- Data transmission systems --- Telecommunications --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Management --- Information Technology --- Computer Science (Hardware & Networks) --- Data communication systems --- Transmission of data --- Communication systems, Wireless --- Wireless data communication systems --- Wireless information networks --- Wireless telecommunication systems --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Computers. --- Algorithms. --- Management information systems. --- Computer Science. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Information Systems Applications (incl. Internet). --- Management of Computing and Information Systems. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Special purpose computers --- Computers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Informatics --- Science --- Communication systems --- Foundations --- Distributed processing --- Information theory --- Telecommunication systems --- Software engineering. --- Information Systems. --- Computer software. --- Computer software engineering --- Engineering --- Software, Computer --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software

Listing 1 - 2 of 2
Sort by