檢索結果 - generation ((computation programming) or (computing programming)) semantics arrays a

1

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

出版 2013

書本目錄: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
獲取全文

電子電子書

2

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...”
獲取全文

電子電子書

3

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

出版 2014

書本目錄: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
獲取全文

電子電子書

4

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

出版 2010

書本目錄: “... with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis...”
獲取全文

電子電子書

5

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

出版 2007

書本目錄: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
獲取全文

電子電子書

6

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

出版 2005

書本目錄: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
獲取全文

電子電子書

7

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary...

出版 2010

書本目錄: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
獲取全文

電子電子書

8

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /

由 Simon, Axel., Simon, Axel.
出版 2008

書本目錄: “...From the Contents: Preface -- Introduction.-Value Range Analysis -- Analysing C -- A Semantics...”
獲取全文

電子電子書

9

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

出版 2015

書本目錄: “... rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation...”
獲取全文

電子電子書

10

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

出版 2005

書本目錄: “... -- Program Construction -- On the Stability Semantics of Combinational Programs -- Generating C Code from...”
獲取全文

電子電子書

11

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

出版 2006

書本目錄: “... -- A Transformational Semantics of Static Embedded Implications of Normal Logic Programs -- Converting...”
獲取全文

電子電子書

12

Computer Science - Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings /

出版 2008

書本目錄: “...Opening Lecture -- Randomness – A Computational Complexity Perspective -- Invited Papers -- Cracks...”
獲取全文

電子電子書

13

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

出版 2007

書本目錄: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
獲取全文

電子電子書

14

Computer Vision -- ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV /

出版 2010

書本目錄: “... Recognition -- Every Picture Tells a Story: Generating Sentences from Images -- An Eye Fixation Database...”
獲取全文

電子電子書

15

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...”
獲取全文

電子電子書

16

Emerging Technologies for Information Systems, Computing, and Management

出版 2013

書本目錄: “...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...”
獲取全文

電子電子書

17

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

出版 2014

書本目錄: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
獲取全文

電子電子書

18

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

出版 2012

書本目錄: “... with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling...”
獲取全文

電子電子書

19

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings /

出版 2006

書本目錄: “... Rational Numbers -- Iso-array Acceptors and Learning -- Poster Papers -- A Merging States Algorithm...”
獲取全文

電子電子書

20

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

出版 2008

書本目錄: “... Descriptions 2 -- Aligator: A Mathematica Package for Invariant Generation (System Description) -- leanCoP 2.0...”
獲取全文

電子電子書

縮小搜索