- 博客(0)
- 资源 (7)
- 收藏
- 关注
OBDD Foundations and applications
The active research field of OBDD~, This is very useful in model checking!
2015-10-28
Predictive Analytics with Microsoft Azure Machine Learning
This book provides an overview of data science and an in-depth view of Microsoft Azure Machine Learning, the latest predictive analytics service from the company. The
book provides a structured approach to data science and practical guidance for solving real-world business problems such as buyer propensity modeling, customer churn analysis, predictive maintenance, and product recommendation. The implicity of this new service from Microsoft will help to take data science and machine learning to a much broader audience than existing products in this space. Learn how you can quickly build and deploy sophisticated predictive models as machine learning web services with the
new Azure Machine Learning service from Microsoft.
2015-09-30
efficient learning machine
Theories, Concepts, and Applications for
Engineers and System Designers
v
Contents at a Glance
Chapter 1: Machine Learning
Chapter 2: Machine Learning and Knowledge Discovery
Chapter 3: Support Vector Machines for Classification
Chapter 4: Support Vector Regression
Chapter 5: Hidden Markov Model
Chapter 6: Bioinspired Computing: Swarm Intelligence
Chapter 7: Deep Neural Networks
Chapter 8: Cortical Algorithms
Chapter 9: Deep Learning
Chapter 10: Multiobjective Optimization
Chapter 11: Machine Learning in Action: Examples
■
2015-09-30
Development Process of Distributed Embedded Systems using VDM
This document is intended to provide readers who already have experience with general VDM
concepts from language manuals [LangManPP] or books [Fitzgerald&05] and/or courses and it
is also assumed that the reader has general knowledge about concepts using for concurrent systems
[Ben-Ari82, Hoare85, Chandy&88, Milner89, Lea99]. From a tool perspective it is also assumed
that the readers are already familiar with the basic functionality from Overture (http:
//www.overturetool.org) and/or VDMTools (http://www.vdmbook.com/tools.
php) and a UML tool such as Enterprise Arhictect (http://www.sparxsystems.com/) or
Rational Rose (http://www-306.ibm.com/software/rational/).
VDM [Jones90,Dawes91,Fitzgerald&98a] is a formal method [Craigen&93,Hinchey&95] and
these are characterized by being able to express things in an abstract fashion and having a precise
semantics for the models produced in these languages. Three different dialects exists for VDM;
VDM-SL, VDM++ and VDM-RT [Larsen&10]. Some of these methods include methodological
steps of getting from a very abstract model to a more concrete model. This process is typically
referred to as refinement [Jones90,Morgan90,Woodcock&96,Back&98] when formal relationships
are included between the different models. In this document no claims are made between the
different models so no formal refinement will be included.
This document is structured such that all readers with advantage can read the introduction in
Chapter 1 first. In case the reader have limited experience and knowledge about synchronization of
concurrent systems it may be an advantage then to just to Chapter 4 to get more knowledge about
that before proceeding with the main process guidelines for the development of real-time systems
in Chapter 2. The process is followed by a major example that is developed according to the
guidelines presented in Chapter 3. Understanding that requires knowledge about both VDM and
general concurrency principles. All the different models for the example used in this document are
also available on-line from www.vdmbook.com so it is possible for the reader to get hands-on
experience with them.
In Chapter 5 periodic threads and statically schedulable systems are treated. Chapter 6 provides
insight into the scheduling principles that can be used for the execution of concurrent and for
distributed VDM-RT models in Overture and VDMTools. In Chapter 7 it is presented how postexecution
analysis can be made of timed logfiles produced by VDMTools during execution of a
scenario (primarily using the VDM-RT Runtime log viewer from Overture). Finally, Chapter 8
rounds off the document with a postscript indicating what the reader should have obtained at this
point.
7
2015-02-26
DSP程序员指南
This manual is a reference for programming TMS320C6000 digital signal
processor (DSP) devices.
Before you use this book, you should install your code generation and
debugging tools.
This book is organized in five major parts:
Part I: Introduction includes a brief description of the ’C6000 architecture
and code development flow. It also includes a tutorial that introduces you
to the tools you will use in each phase of development and an optimization
checklist to help you achieve optimal performance from your code.
Part II: C Code includes C code examples and discusses optimization
methods for the code. This information can help you choose the most
appropriate optimization techniques for your code.
Part III: Assembly Code describes the structure of assembly code. It
provides examples and discusses optimizations for assembly code. It also
includes a chapter on interrupt subroutines.
Part IV: C64x Programming Techniques describes programming
considerations for the C64x.
2013-03-01
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人