Micro, Nanosystems and Systems on Chips
Micro and nanosystems represent a major scientific and technological challenge, with actual and potential applications in almost all fields of the human activity. The aim of the present book is to present how concepts from dynamical control systems (modeling, estimation, observation, identification, feedback control) can be adapted and applied to the development of original very small-scale systems and of their human interfaces. The application fields presented here come from micro and nanorobotics, biochips, near-field microscopy (AFM and STM) and nanosystems networks. Alina Voda has drawn contributions from leading experts at top research universities in France to produce a first overview of the major role that control systems science can play in the development of micro and nanosciences and technologies. ...
Micro and nanosystems represent a major scientific and technological challenge, with actual and potential applications in almost all fields of the human activity. The aim of the present book is to present how concepts from dynamical control systems (modeling, estimation, observation, identification, feedback control) can be adapted and applied to the development of original very small-scale systems and of their human interfaces. The application fields presented here come from micro and nanorobotics, biochips, near-field microscopy (AFM and STM) and nanosystems networks. Alina Voda has drawn contributions from leading experts at top research universities in France to produce a first overview of the major role that control systems science can play in the development of micro and nanosciences and technologies. ...
Static Analysis of Software
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. ...
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. ...
Making Use of Python
Python is a multipurpose development language that can be used on virtually every platform. It offers built-in support for critical development steps including data structures, dynamic typing, and dynamic building. It can be used in lieu of Java or C++, and Python scripts can be developed in a fraction of the time it takes to program and debug higher-level languages. Covers language basics and how to use Python for CGI scripting, GUI development, network programming, and much more. Demonstrates why Python is arguably the most sophisticated of the popular scripting languages and why its popularity continues to grow. ...
Python is a multipurpose development language that can be used on virtually every platform. It offers built-in support for critical development steps including data structures, dynamic typing, and dynamic building. It can be used in lieu of Java or C++, and Python scripts can be developed in a fraction of the time it takes to program and debug higher-level languages. Covers language basics and how to use Python for CGI scripting, GUI development, network programming, and much more. Demonstrates why Python is arguably the most sophisticated of the popular scripting languages and why its popularity continues to grow. ...
Java Open Source Programming
Written by leading authorities in the field, this book shows you how to leverage a suite of best-of-breed Open Source development tools to take the pain out of J2EE and build a complete Web-based application. You'll combine these tools to actually reduce the points of failure in your application, while increasing overall system stability and robustness. Along with the tools introduced here, you'll develop the PetSoar application, which follows the PetStore application used by Sun Microsystems to demonstrate features of J2EE. With PetSoar, the authors focus on developing a maintainable and flexible application, rather than showcasing the end result, so that you can apply the material in your own projects. ...
Written by leading authorities in the field, this book shows you how to leverage a suite of best-of-breed Open Source development tools to take the pain out of J2EE and build a complete Web-based application. You'll combine these tools to actually reduce the points of failure in your application, while increasing overall system stability and robustness. Along with the tools introduced here, you'll develop the PetSoar application, which follows the PetStore application used by Sun Microsystems to demonstrate features of J2EE. With PetSoar, the authors focus on developing a maintainable and flexible application, rather than showcasing the end result, so that you can apply the material in your own projects. ...
Broadband Bible, Desktop Edition
This book outlines everything people need to make the move from a dial-up connection to an always-on DSL or cable Internet connection that is up to forty times faster than a standard modem connection. Nielsen estimated there were thirty-nine million U.S. homes with broadband access in April 2003. Gaskin explains available broadband options, shows how to pick the right one, describes wireless alternatives inside and outside of buildings, details how to connect more than one computer to a home broadband connection, and provides information about securing your wireless network. This new Desktop Edition format provides need-to-know coverage of all topics related to broadband home networking in an easy-to-use format that will appeal to novices and techies alike. Offers a useful customer service FAQ and a Web directory appendix that lists Web sites for additional utilities, tools, games, and more. ...
This book outlines everything people need to make the move from a dial-up connection to an always-on DSL or cable Internet connection that is up to forty times faster than a standard modem connection. Nielsen estimated there were thirty-nine million U.S. homes with broadband access in April 2003. Gaskin explains available broadband options, shows how to pick the right one, describes wireless alternatives inside and outside of buildings, details how to connect more than one computer to a home broadband connection, and provides information about securing your wireless network. This new Desktop Edition format provides need-to-know coverage of all topics related to broadband home networking in an easy-to-use format that will appeal to novices and techies alike. Offers a useful customer service FAQ and a Web directory appendix that lists Web sites for additional utilities, tools, games, and more. ...
Ubuntu Linux Bible
It's the fastest-growing, coolest Linux distribution out there, and now you can join the excitement with this information-packed guide. Want to edit graphics? Create a spreadsheet? Manage groups? Set up an NFS server? You'll learn it all and more with the expert guidance, tips, and techniques in this first-ever soup-to-nuts book on Ubuntu. From the basics for newcomers to enterprise management for system administrators, it's what you need to succeed with Ubuntu. ...
It's the fastest-growing, coolest Linux distribution out there, and now you can join the excitement with this information-packed guide. Want to edit graphics? Create a spreadsheet? Manage groups? Set up an NFS server? You'll learn it all and more with the expert guidance, tips, and techniques in this first-ever soup-to-nuts book on Ubuntu. From the basics for newcomers to enterprise management for system administrators, it's what you need to succeed with Ubuntu. ...
Java Concepts for Java 5 and 6, 5th Edition
If you really want to master Java, it's not enough to know the code. You must begin to think like a programmer, and in this newest edition of his bestselling guide, Java Concepts, programming guru Cay Horstmann shows you how. Updated to integrate Java 6, Java Concepts, Fifth Edition introduces you to fundamental programming techniques and design skills that are crucial to learning how to program. Drawing on his many years of experience as an expert programmer and teacher, Horstmann brings out the most important elements of computing, problem solving, and program design. ...
If you really want to master Java, it's not enough to know the code. You must begin to think like a programmer, and in this newest edition of his bestselling guide, Java Concepts, programming guru Cay Horstmann shows you how. Updated to integrate Java 6, Java Concepts, Fifth Edition introduces you to fundamental programming techniques and design skills that are crucial to learning how to program. Drawing on his many years of experience as an expert programmer and teacher, Horstmann brings out the most important elements of computing, problem solving, and program design. ...
Managing and Leading Software Projects
The book is organized around basic principles of software project management: planning and estimating, measuring and controlling, leading and communicating, and managing risk. Introduces software development methods, from traditional (hacking, requirements to code, and waterfall) to iterative (incremental build, evolutionary, agile, and spiral). Illustrates and emphasizes tailoring the development process to each project, with a foundation in the fundamentals that are true for all development methods. Topics such as the WBS, estimation, schedule networks, organizing the project team, and performance reporting are integrated, rather than being relegating to appendices. Each chapter in the book includes an appendix that covers the relevant topics from CMMI-DEV-v1.2, IEEE/ISO Standards 12207, IEEE Standard 1058, and the PMI Body of Knowledge. ...
The book is organized around basic principles of software project management: planning and estimating, measuring and controlling, leading and communicating, and managing risk. Introduces software development methods, from traditional (hacking, requirements to code, and waterfall) to iterative (incremental build, evolutionary, agile, and spiral). Illustrates and emphasizes tailoring the development process to each project, with a foundation in the fundamentals that are true for all development methods. Topics such as the WBS, estimation, schedule networks, organizing the project team, and performance reporting are integrated, rather than being relegating to appendices. Each chapter in the book includes an appendix that covers the relevant topics from CMMI-DEV-v1.2, IEEE/ISO Standards 12207, IEEE Standard 1058, and the PMI Body of Knowledge. ...
Model Driven Engineering for Distributed Real-Time Embedded Systems
Model-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. This book provides the information needed to understand and apply model-drive engineering (MDE) and model-drive architecture (MDA) approaches to the development of embedded systems. Chapters, written by experts from academia and industry, cover topics relating to MDE practices and methods, as well as emerging MDE technologies. Much of the writing is based on the presentations given at the Summer School "MDE for Embedded Systems" held at Brest, France, in September 2004. ...
Model-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. This book provides the information needed to understand and apply model-drive engineering (MDE) and model-drive architecture (MDA) approaches to the development of embedded systems. Chapters, written by experts from academia and industry, cover topics relating to MDE practices and methods, as well as emerging MDE technologies. Much of the writing is based on the presentations given at the Summer School "MDE for Embedded Systems" held at Brest, France, in September 2004. ...
Introduction to Digital Systems
Digital systems design requires rigorous modeling and simulation analysis that eliminates design risks and potential harm to users. Introduction to Digital Systems: Modeling, Synthesis, and Simulation Using VHDL introduces the application of modeling and synthesis in the effective design of digital systems and explains applicable analytical and computational methods. Through step-by-step explanations and numerous examples, the author equips readers with the tools needed to model, synthesize, and simulate digital principles using Very High Speed Integrated Circuit Hardware Description Language (VHDL) programming. ...
Digital systems design requires rigorous modeling and simulation analysis that eliminates design risks and potential harm to users. Introduction to Digital Systems: Modeling, Synthesis, and Simulation Using VHDL introduces the application of modeling and synthesis in the effective design of digital systems and explains applicable analytical and computational methods. Through step-by-step explanations and numerous examples, the author equips readers with the tools needed to model, synthesize, and simulate digital principles using Very High Speed Integrated Circuit Hardware Description Language (VHDL) programming. ...