Výsledky vyhledávání - ((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 /

Vydáno 2007

Obsah: “... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”
Získat plný text

Elektronický zdroj E-kniha

2

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

Autor Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Vydáno 2006

Obsah: “...Overview -- to Computer Systems -- to Operating Systems -- to Using a Computer System -- to Problem...”
Získat plný text

Elektronický zdroj E-kniha

3

A Primer on Scientific Programming with Python

Autor Langtangen, Hans Petter., Langtangen, Hans Petter.
Vydáno 2014

Obsah: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Získat plný text

Elektronický zdroj E-kniha

4

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

Vydáno 2010

Obsah: “... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...”
Získat plný text

Elektronický zdroj E-kniha

5

VEE Pro: Practical Graphical Programming

Autor Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Vydáno 2005

Obsah: “... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...”
Získat plný text

Elektronický zdroj E-kniha

6

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

Autor Mohd Hassan, Siti Lailatul, Sulaiman, Nasri, Saparon, Azilah, Mohd Yussoff, Yusnani, Jaafar, Haslina
Vydáno 2019

“... on field-programable gate array (FPGA). Most of the wireless application nowadays such as wireless sensor...”
Získat plný text

Článek

7

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

Vydáno 2005

Obsah: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Získat plný text

Elektronický zdroj E-kniha

8

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

Vydáno 2010

Obsah: “...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...”
Získat plný text

Elektronický zdroj E-kniha

9

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

Vydáno 2013

Obsah: “... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”
Získat plný text

Elektronický zdroj E-kniha

10

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

Vydáno 2013

Obsah: “... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”
Získat plný text

Elektronický zdroj E-kniha

11

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

Vydáno 2005

Obsah: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Získat plný text

Elektronický zdroj E-kniha

12

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

Vydáno 2006

Obsah: “... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”
Získat plný text

Elektronický zdroj E-kniha

13

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

Vydáno 2007

Obsah: “... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...”
Získat plný text

Elektronický zdroj E-kniha

14

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

Vydáno 2015

Obsah: “... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”
Získat plný text

Elektronický zdroj E-kniha

15

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

Vydáno 2010

Obsah: “...Continuous and Discrete Methods in Computer Science -- Colorful Strips -- The Mono- and Bichromatic...”
Získat plný text

Elektronický zdroj E-kniha

16

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

Vydáno 2007

Obsah: “... and Computing Optimum RMSD for Gapped Multiple Structure Alignment -- Using Protein Domains to Improve...”
Získat plný text

Elektronický zdroj E-kniha

17

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

Vydáno 2014

Obsah: “... Performance Using NK Simulation Method -- 9 Computing Implied Volatilities For Exchange-Traded Options...”
Získat plný text

Elektronický zdroj E-kniha

18

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

Vydáno 2013

Obsah: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Získat plný text

Elektronický zdroj E-kniha

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...

Vydáno 2015

Obsah: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Získat plný text

Elektronický zdroj E-kniha

20

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

Vydáno 2010

Obsah: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání