Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book comprises a large selection of papers presented at the second European Scientific Computing and Automation meeting (SCA 90 (Europe)) which was held in June 1990 in Maastricht, The Netherlands. The increasing use of computers for making measurements, interpreting data, and filing results brings a new unity to science. SCA concentrates on common computer-based tools which are useful in several disciplines. Practical problems in laboratory automation, robotics and information management with LIMS are covered in depth. The process of designing and acquiring a LIMS is described

Pure sciences. Natural sciences (general) --- Computer. Automation --- Computer engineering --- Electronic digital computers --- Science --- Technology --- Applied science --- Arts, Useful --- Science, Applied --- Useful arts --- Industrial arts --- Material culture --- Natural science --- Natural sciences --- Science of science --- Sciences --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- Congresses --- Scientific applications&delete& --- Data processing&delete& --- Scientific applications --- Data processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Sealed Lead Acid...Nickel Cadmium...Lithium Ion...How do you balance battery life with performance and cost?This book shows you how!Now that ""mobile"" has become the standard, the consumer not only expects mobility but demands power longevity in wireless devices. As more and more features, computing power, and memory are packed into mobile devices such as iPods, cell phones, and cameras, there is a large and growing gap between what devices can do and the amount of energy engineers can deliver. In fact, the main limiting factor in many portable designs is not hardware or soft

Electronic digital computers --- Wireless communication systems --- Personal communication service systems --- Power supply. --- PCS systems --- Personal telecommunication systems --- Personal wireless communication systems --- Personalized communication services --- Wireless personal communication systems --- Communication systems, Wireless --- Wireless data communication systems --- Wireless information networks --- Wireless telecommunication systems --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Telecommunication systems --- Computers --- Hybrid computers --- Sequential machine theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a large economic impact.Certifications of Critical Systems – The CECRIS Experience documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (acronym for Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools.The CECRIS project took a step forward in the growing field of development, verification and validation and certification of critical systems. It focused on the more difficult/important aspects of critical system development, verification and validation and certification process. Starting from both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems, the project aimed at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these activities, setting guidelines to support engineers during the planning of the verification and validation phases.

Electronic digital computers. --- Electronic digital computers --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- Reliability. --- Automatic control engineering --- Distributed systems --- Computer security. --- Computer privacy --- Computer system security --- Computer systems --- Cyber security --- Cybersecurity --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Protection --- Security measures

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Electronic digital computers --- Machine theory --- System analysis --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Ordinateurs --- Automates mathématiques, Théorie des --- Systèmes, Analyse de --- Electronic digital computers. --- Machine theory. --- System analysis. --- Computermethoden. --- Systeemtheorie. --- Computing --- Network theory --- Systems analysis --- System theory --- Mathematical optimization --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- Network analysis --- Network science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Since the publication of the first edition of The Designer's Guide to VHDL in 1996, digital electronic systems have increased exponentially in their complexity, product lifetimes have dramatically shrunk, and reliability requirements have shot through the roof. As a result more and more designers have turned to VHDL to help them dramatically improve productivity as well as the quality of their designs. VHDL, the IEEE standard hardware description language for describing digital electronic systems, allows engineers to describe the structure and specify the function

VHDL (Computer hardware description language) --- Computer simulation --- VHDL (Langage de description de matériel informatique) --- Simulation par ordinateur --- 681.3.066 --- Electronic digital computers --- -VHDL (Computer hardware description language) --- Very High Speed Integrated Circuits Hardware Description Language (Computer hardware description language) --- VHSIC Hardware Description Language (Computer hardware description language) --- Computer hardware description languages --- Integrated circuits --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Computers --- Hybrid computers --- Sequential machine theory --- Computerwetenschap--?.066 --- Logische schakelingen --- Ontwerpen --- VHDL (vhsic hardware description language) --- Computer simulation. --- Logische schakelingen. --- Ontwerpen. --- VHDL (vhsic hardware description language). --- VHDL (Computer hardware description language). --- VHDL (Langage de description de matériel informatique)