Arama Sonuçları - program space programs https array https*

1

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Tam Metin Erişim

Elektronik Ekitap

2

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Yazar: Simon, Axel., Simon, Axel.
Baskı/Yayın Bilgisi 2008

İçindekiler: “... for C -- Core C -- Related Work -- Part 1 Abstracting Soundly -- Abstract State Space -- Points...”
Tam Metin Erişim

Elektronik Ekitap

4

A Practical Programming Model for the Multi-Core Era International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Programming Language for Distributed Memory Systems -- A New Memory Allocation Model for Parallel Search Space...”
Tam Metin Erişim

Elektronik Ekitap

5

The Square Kilometre Array: An Engineering Perspective

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Kilometre Array Molonglo Prototype (SKAMP) Correlator -- COTS Correlator Platform -- DSN Deep-Space Array...”
Tam Metin Erişim

Elektronik Ekitap

6

Redox Systems Under Nano-Space Control

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Programmed Metal Arrays by Means of Designable Biological Macromolecules -- Metal-Incorporated Hosts...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “...Invited Talk -- Just in Time Load Balancing -- Workshop Papers -- AlphaZ: A System for Design Space...”
Tam Metin Erişim

Elektronik Ekitap

8

Languages and Compilers for High Performance Computing 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”
Tam Metin Erişim

Elektronik Ekitap

10

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: “... for Hierarchically Tiled Arrays -- SP@CE - An SP-Based Programming Model for Consumer Electronics Streaming...”
Tam Metin Erişim

Elektronik Ekitap

11

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Tam Metin Erişim

Elektronik Ekitap

13

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... State Machines -- MEMS Dynamic Optically Reconfigurable Gate Array Usable under a Space Radiation...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Tam Metin Erişim

Elektronik Ekitap

15

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Baskı/Yayın Bilgisi 2014

İçindekiler: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Duplicate-Free State-Space Model for Optimal Task Scheduling -- On the Heterogeneity Bias of Cost Matrices...”
Tam Metin Erişim

Elektronik Ekitap

17

Getting StartED with Mac OS X Leopard

Yazar: Williams, Justin., Williams, Justin.
Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Exposé and Spaces -- Time Machine -- iCal -- iTunes -- iPhoto -- iMovie and iDVD -- GarageBand -- iWeb...”
Tam Metin Erişim

Elektronik Ekitap

18

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”
Tam Metin Erişim

Elektronik Ekitap

19

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Inspired Information Filtering in a High Dimensional Space -- On the Benefits of Aging and the Importance...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt