1
Publicado 2010
Table of Contents: ...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...
Ligazón do recurso
Electrónico eBook
2
Publicado 2010
Table of Contents: ... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...
Ligazón do recurso
Electrónico eBook
3
Table of Contents: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
Ligazón do recurso
Electrónico eBook
4
Publicado 2007
Table of Contents: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
Ligazón do recurso
Electrónico eBook
5
Publicado 2005
Table of Contents: ... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...
Ligazón do recurso
Electrónico eBook
6
Publicado 2008
Table of Contents: ... Media -- The Excitement in Parallel Computing -- Session I: Performance Optimization -- Improving...
Ligazón do recurso
Electrónico eBook
7
Publicado 2013
Table of Contents: ... Session 5: Object Recognition II -- Rapid Uncertainty Computation with Gaussian Processes and Histogram...
Ligazón do recurso
Electrónico eBook
8
Table of Contents: ...Introducing PHP -- Configuring Your Environment -- PHP Basics -- Functions -- Arrays -- Object...
Ligazón do recurso
Electrónico eBook
9
Publicado 2008
Table of Contents: ...-Centric Hardware Synthesis from Dataflow Models -- Special Session: Programming Multicores...
Ligazón do recurso
Electrónico eBook
10
Publicado 2008
Table of Contents: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Ligazón do recurso
Electrónico eBook
11
por Gilmore, W Jason., Gilmore, W Jason.
Publicado 2008
Table of Contents: ...Introducing PHP -- Configuring Your Environment -- PHP Basics -- Functions -- Arrays -- Object...
Ligazón do recurso
Electrónico eBook
12
Publicado 2012
Table of Contents: ... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...
Ligazón do recurso
Electrónico eBook
13
Publicado 2012
Table of Contents: ... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...
Ligazón do recurso
Electrónico eBook
14
Publicado 2006
Table of Contents: ... and Mathematical Functions -- Efficient Methods for Computing Optimality Degrees of Elements in Fuzzy Weighted...
Ligazón do recurso
Electrónico eBook