検索結果 - program stream programs https array https

1

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

出版事項 2010

目次: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
全文の入手

電子媒体 eBook

2

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

出版事項 2008

目次: “... -- Towards Practical Feasibility of Core Computation in Data Exchange -- Data-Oblivious Stream Productivity...”
全文の入手

電子媒体 eBook

3

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

出版事項 2006

目次: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
全文の入手

電子媒体 eBook

4

Foundational Java Key Elements and Practical Programming /

著者: Parsons, David., Parsons, David.
出版事項 2012

目次: “...The Java Story -- Compiling and Running Java Programs -- Data Types, Arithmetic and Arrays...”
全文の入手

電子媒体 eBook

5

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /

出版事項 2007

目次: “...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...”
全文の入手

電子媒体 eBook

6

Using the C++ Standard Template Libraries

著者: Horton, Ivor., Horton, Ivor.
出版事項 2015

主題: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
全文の入手

電子媒体 eBook

7

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

出版事項 2005

目次: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
全文の入手

電子媒体 eBook

8

Languages and Compilers for Parallel Computing 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers /

出版事項 2007

目次: “... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”
全文の入手

電子媒体 eBook

9

Pro C# 2005 and the .NET 2.0 Platform

著者: Troelsen, Andrew., Troelsen, Andrew.
出版事項 2005

目次: “...# Programming Language -- C# Language Fundamentals -- Object-Oriented Programming with C# 2.0 -- Understanding...”
全文の入手

電子媒体 eBook

10

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

出版事項 2010

目次: “... XML DBMSs -- Continuous Processing of Preference Queries in Data Streams -- Clock Synchronization...”
全文の入手

電子媒体 eBook

11

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

出版事項 2010

目次: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
全文の入手

電子媒体 eBook

12

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

出版事項 2015

目次: “... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”
全文の入手

電子媒体 eBook

13

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

出版事項 2005

目次: “... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”
全文の入手

電子媒体 eBook

14

Artificial Immune Systems 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010, Proceedings /

出版事項 2010

目次: “... Developmental and Immune-Inspired Dynamic Task Allocation Algorithm for Microprocessor Array Systems...”
全文の入手

電子媒体 eBook

15

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

出版事項 2010

目次: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
全文の入手

電子媒体 eBook

16

High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010, Proceedings /

出版事項 2010

目次: “... Stream Programs on Heterogeneous Distributed Memory Multiprocessors -- Automatically Tuning Sparse Matrix...”
全文の入手

電子媒体 eBook

17

Introducing Visual C# 2010

著者: Freeman, Adam., Freeman, Adam.
出版事項 2010

目次: “..., Structs, and Enums -- Arrays -- Exceptions -- Generic and Anonymous Types -- Strings and Characters...”
全文の入手

電子媒体 eBook

18

Algorithms and Data Structures 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings /

出版事項 2007

目次: “...B -- Optimal Lightweight Construction of Suffix Arrays for Constant Alphabets -- Range Non...”
全文の入手

電子媒体 eBook

19

Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /

出版事項 2015

目次: “... and Chomsky Languages in Array P System -- Sorting Using Spiking Neural P Systems with Anti-Spikes and Rules...”
全文の入手

電子媒体 eBook

20

LATIN 2008: Theoretical Informatics 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings /

出版事項 2008

目次: “... Abstract) -- Sparse Approximate Solutions to Semidefinite Programs -- On the Facets of Mixed Integer...”
全文の入手

電子媒体 eBook

絞込み検索