Arama Sonuçları - programming computing https generation computing https

1

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “...On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems -- Computing the Betti...”
Tam Metin Erişim

Elektronik Ekitap

3

Code Generation with Templates

Yazar: Arnoldus, Jeroen., Arnoldus, Jeroen., van den Brand, Mark., Serebrenik, A., Brunekreef, J.J.
Baskı/Yayın Bilgisi 2012

Konular: “...Computer programming....”
Tam Metin Erişim

Elektronik Ekitap

4

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”
Tam Metin Erişim

Elektronik Ekitap

5

Numerical Computations with GPUs

Baskı/Yayın Bilgisi 2014

İçindekiler: “... method -- Pseudorandom numbers generation for Monte Carlo simulations on GPUs: Open CL approach -- Monte...”
Tam Metin Erişim

Elektronik Ekitap

6

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...”
Tam Metin Erişim

Elektronik Ekitap

7

Search Computing Challenges and Directions /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Visions -- 1: Search Computing -- 2: Next Generation Web Search -- 3: Search for Knowledge...”
Tam Metin Erişim

Elektronik Ekitap

8

Computer Science The Hardware, Software and Heart of It /

Baskı/Yayın Bilgisi 2011

İçindekiler: “... -- The Software of Computer Science, Computer Programming from Fortran to C++ -- The Hardware of Computer Science...”
Tam Metin Erişim

Elektronik Ekitap

9

Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Algorithm for Computing Smallest Common AoN-Supertree with Application to the Reconstruction of Glycan Trees...”
Tam Metin Erişim

Elektronik Ekitap

10

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”
Tam Metin Erişim

Elektronik Ekitap

11

Computing and Combinatorics 14th International Conference, COCOON 2008 Dalian, China, June 27-29, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “..., Logic, and Computability -- VC Dimension Bounds for Analytic Algebraic Computations -- Resource Bounded...”
Tam Metin Erişim

Elektronik Ekitap

12

R for Cloud Computing An Approach for Data Scientists /

Yazar: Ohri, A., Ohri, A.
Baskı/Yayın Bilgisi 2014

İçindekiler: “...Introduction -- An Approach for Data Scientists -- Navigating the Choices in R and Cloud Computing...”
Tam Metin Erişim

Elektronik Ekitap

13

Computer Performance Engineering 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Probes -- Computer and Communications Networks -- Natural Language Specification of Performance Trees...”
Tam Metin Erişim

Elektronik Ekitap

14

Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /

Yazar: Boulé, Marc., Boulé, Marc., Zilic, Zeljko.
Baskı/Yayın Bilgisi 2008

Konular: “...Programming languages (Electronic computers)....”
Tam Metin Erişim

Elektronik Ekitap

15

Dynamic Programming A Computational Tool /

Yazar: Lew, Art., Lew, Art., Mauch, Holger.
Baskı/Yayın Bilgisi 2007

İçindekiler: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
Tam Metin Erişim

Elektronik Ekitap

17

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”
Tam Metin Erişim

Elektronik Ekitap

18

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings /

Baskı/Yayın Bilgisi 2012

İçindekiler: “...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...”
Tam Metin Erişim

Elektronik Ekitap

19

The Calculus of Computation Decision Procedures with Applications to Verification /

Yazar: Bradley, Aaron R., Bradley, Aaron R., Manna, Zohar.
Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Program Correctness: Mechanics -- Program Correctness: Strategies -- Algorithmic Reasoning -- Quantified...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “...: Programming Models -- Can Transactions Enhance Parallel Programs? -- Design and Use of htalib – A Library...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt