Hakutulokset - program fast program https array https*

1

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”
Hae kokoteksti

Elektroninen E-kirja

2

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Julkaistu 2008

Sisällysluettelo: “... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”
Hae kokoteksti

Elektroninen E-kirja

3

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...”
Hae kokoteksti

Elektroninen E-kirja

4

The Square Kilometre Array: An Engineering Perspective

Julkaistu 2005

Sisällysluettelo: “...The Square Kilometre Array: An International Engineering Perspective -- The Allen Telescope Array...”
Hae kokoteksti

Elektroninen E-kirja

5

Foundations of C++/CLI The Visual C++ Language for .NET 3.5 /

Tekijä Hogenson, Gordon., Hogenson, Gordon.
Julkaistu 2008

Sisällysluettelo: “...Introducing C++/CLI -- A Quick Tour of the C++/CLI Language Features -- Building C++/CLI Programs...”
Hae kokoteksti

Elektroninen E-kirja

6

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /

Julkaistu 2014

Sisällysluettelo: “...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...”
Hae kokoteksti

Elektroninen E-kirja

7

PHP 5 Recipes A Problem-Solution Approach /

Tekijä Kromann, Frank M., Kromann, Frank M., Stephens, Jon., Good, Nathan A., Babin, Lee.
Julkaistu 2005

Sisällysluettelo: “... -- Performing Math Operations -- Working with Arrays -- Working with Dates and Times -- Working with Strings...”
Hae kokoteksti

Elektroninen E-kirja

8

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

Julkaistu 2015

Sisällysluettelo: “... Generation for Concurrent Systems Using Event Structures -- Fast Model-Based Fault Localisation with Test...”
Hae kokoteksti

Elektroninen E-kirja

9

Foundation PHP 5 for Flash

Tekijä Powers, David., Powers, David.
Julkaistu 2005

Sisällysluettelo: “... and Things -- Working Smarter with Arrays and Loops -- PHP and Databases: Packing Real Power Behind Your...”
Hae kokoteksti

Elektroninen E-kirja

10

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Hae kokoteksti

Elektroninen E-kirja

11

Languages and Compilers for Parallel Computing 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers /

Julkaistu 2013

Sisällysluettelo: “... Distribution: An Overview of Explicit Parallel Programming Languages -- A Fast Parallel Graph Partitioner...”
Hae kokoteksti

Elektroninen E-kirja

12

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Julkaistu 2006

Sisällysluettelo: “... Algorithms -- Register Pressure in Software-Pipelined Loop Nests: Fast Computation and Impact on Architecture...”
Hae kokoteksti

Elektroninen E-kirja

13

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March...

Julkaistu 2007

Sisällysluettelo: “... Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction...”
Hae kokoteksti

Elektroninen E-kirja

14

Signal-to-noise ratio study on pipelined fast fourier transform processor

Tekijä Hassan, Siti Lailatul, Sulaiman, Nasri, Shariffudin, Shafinaz Sobihana, Tuan Yaakub, Tuan Norjihan
Julkaistu 2018

“... implemented on field-programable gate array (FPGA). This processor can be used in vast digital signal...”
Hae kokoteksti

Artikkeli

15

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Julkaistu 2010

Sisällysluettelo: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Hae kokoteksti

Elektroninen E-kirja

16

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- Systolic Routing in an Optical Butterfly -- Feasibility of the Circularly Connected Analog CNN Cell Array...”
Hae kokoteksti

Elektroninen E-kirja

17

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

Julkaistu 2010

Sisällysluettelo: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Hae kokoteksti

Elektroninen E-kirja

18

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Hae kokoteksti

Elektroninen E-kirja

19

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Julkaistu 2015

Sisällysluettelo: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
Hae kokoteksti

Elektroninen E-kirja

20

The Definitive Guide to SQLite

Tekijä Owens, Mike., Owens, Mike.
Julkaistu 2006

Aiheet: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua