檢索結果 - ((functions computation) or (functions computational)) programming using arrays via~

1

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

出版 2007

書本目錄: “... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”
獲取全文

電子電子書

2

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

出版 2010

書本目錄: “... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...”
獲取全文

電子電子書

3

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

出版 2012

書本目錄: “... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...”
獲取全文

電子電子書

4

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

出版 2007

書本目錄: “...: Making Parametric Shape Analysis Competitive -- Session VII: Concurrent Program Verification -- Fast...”
獲取全文

電子電子書

5

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN...

出版 2010

書本目錄: “...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...”
獲取全文

電子電子書

6

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

出版 2005

書本目錄: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
獲取全文

電子電子書

7

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

出版 2013

書本目錄: “... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”
獲取全文

電子電子書

8

Computer Vision -- ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II /

出版 2013

書本目錄: “... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”
獲取全文

電子電子書

9

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

出版 2005

書本目錄: “... Authentication via Distributed Web Application -- Skeleton Extraction of 2D Objects Using Shock Wavefront...”
獲取全文

電子電子書

10

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

出版 2008

書本目錄: “... with Improved Per-core Performance Using Off-the-critical Path Reconfigurable Hardware -- Session VI...”
獲取全文

電子電子書

11

Architecture of Computing Systems - ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008, Proceedings /

出版 2008

書本目錄: “... of Gate Array Circuits Using Evolutionary Algorithms -- II Pervasive Computing -- Direct Backtracking...”
獲取全文

電子電子書

12

A Primer on Scientific Programming with Python

由 Langtangen, Hans Petter., Langtangen, Hans Petter.
出版 2014

書本目錄: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
獲取全文

電子電子書

13

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

出版 2006

書本目錄: “... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”
獲取全文

電子電子書

14

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

出版 2007

書本目錄: “... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...”
獲取全文

電子電子書

15

VEE Pro: Practical Graphical Programming

由 Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
出版 2005

書本目錄: “... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...”
獲取全文

電子電子書

16

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

由 Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
出版 2006

書本目錄: “... Solving -- to Programming Languages -- to Programming -- Arithmetic -- Arrays 1 Some Fundamentals...”
獲取全文

電子電子書

17

Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications /

由 Triantaphyllou, Evangelos., Triantaphyllou, Evangelos.
出版 2010

書本目錄: “... of Examples -- Application Issues -- The Reliability Issue in Data Mining: The Case of Computer-Aided Breast...”
獲取全文

電子電子書

18

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2013 /

出版 2014

書本目錄: “... Performance Using NK Simulation Method -- 9 Computing Implied Volatilities For Exchange-Traded Options...”
獲取全文

電子電子書

19

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

出版 2015

書本目錄: “... Generation for Concurrent Systems Using Event Structures -- Fast Model-Based Fault Localisation with Test...”
獲取全文

電子電子書

20

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

出版 2010

書本目錄: “...Continuous and Discrete Methods in Computer Science -- Colorful Strips -- The Mono- and Bichromatic...”
獲取全文

電子電子書

縮小搜索