Результаты поиска - ((functions computational) OR (interaction conventional)) programming using array 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...”
Полный текст

Электронный ресурс eКнига

2

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

по Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Опубликовано 2006

Оглавление: “...Overview -- to Computer Systems -- to Operating Systems -- to Using a Computer System -- to Problem...”
Полный текст

Электронный ресурс eКнига

3

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...”
Полный текст

Электронный ресурс eКнига

4

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...”
Полный текст

Электронный ресурс eКнига

5

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...”
Полный текст

Электронный ресурс eКнига

6

Low power multicarrier- code division multiple access receiver on field programmable gate array

по Mohd Hassan, Siti Lailatul, Sulaiman, Nasri, Saparon, Azilah, Mohd Yussoff, Yusnani, Jaafar, Haslina
Опубликовано 2019

“... on field-programable gate array (FPGA). Most of the wireless application nowadays such as wireless sensor...”
Полный текст

Статья

7

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...”
Полный текст

Электронный ресурс eКнига

8

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

Опубликовано 2010

Оглавление: “...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...”
Полный текст

Электронный ресурс eКнига

9

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...”
Полный текст

Электронный ресурс eКнига

10

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...”
Полный текст

Электронный ресурс eКнига

11

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

Опубликовано 2005

Оглавление: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Полный текст

Электронный ресурс eКнига

12

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...”
Полный текст

Электронный ресурс eКнига

13

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...”
Полный текст

Электронный ресурс eКнига

14

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

Опубликовано 2015

Оглавление: “... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”
Полный текст

Электронный ресурс eКнига

15

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...”
Полный текст

Электронный ресурс eКнига

16

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

Опубликовано 2007

Оглавление: “... and Computing Optimum RMSD for Gapped Multiple Structure Alignment -- Using Protein Domains to Improve...”
Полный текст

Электронный ресурс eКнига

17

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...”
Полный текст

Электронный ресурс eКнига

18

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Опубликовано 2013

Оглавление: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Полный текст

Электронный ресурс eКнига

19

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Опубликовано 2015

Оглавление: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Полный текст

Электронный ресурс eКнига

20

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Опубликовано 2010

Оглавление: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска