Search Results - generation ((computational programming) or (computing programming)) service arrays via

1

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

Published 2005

Table of Contents: “... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...”
View full text

Electronic eBook

2

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

Published 2010

Table of Contents: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
View full text

Electronic eBook

3

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

Published 2010

Table of Contents: “... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...”
View full text

Electronic eBook

4

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

Published 2005

Table of Contents: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
View full text

Electronic eBook

5

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN...

Published 2010

Table of Contents: “...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...”
View full text

Electronic eBook

6

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

Published 2008

Table of Contents: “... Common Substrings Via Suffix Arrays -- Logic and Rational Languages of Words Indexed by Linear Orderings...”
View full text

Electronic eBook

7

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Published 2013

Table of Contents: “... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”
View full text

Electronic eBook

8

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

Published 2010

Table of Contents: “... Recognition -- Every Picture Tells a Story: Generating Sentences from Images -- An Eye Fixation Database...”
View full text

Electronic eBook

9

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Published 2005

Table of Contents: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
View full text

Electronic eBook

10

Haptics: Generating and Perceiving Tangible Sensations, Part II 7th International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings /

Published 2010

Table of Contents: “... Therapies -- Virtual Surface Discrimination via an Anisotropic-Stiffness Contact Model -- Embedding Tactile...”
View full text

Electronic eBook

11

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Published 2007

Table of Contents: “... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...”
View full text

Electronic eBook

12

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

Published 2015

Table of Contents: “... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”
View full text

Electronic eBook

13

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

Published 2013

Table of Contents: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
View full text

Electronic eBook

14

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

Published 2015

Table of Contents: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
View full text

Electronic eBook

16

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”
View full text

Electronic eBook

17

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

Published 2007

Table of Contents: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
View full text

Electronic eBook

18

Intelligent Technologies and Engineering Systems

Published 2013

Table of Contents: “... Services on Elgg -- On Migration and Consolidation of VMs in Hybrid CPU-GPU Environments -- A Case...”
View full text

Electronic eBook

19

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Published 2005

Table of Contents: “...: An Algorithm for Generating Rule Bases Without Closure Computations -- Text Processing and Classification...”
View full text

Electronic eBook

20

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”
View full text

Electronic eBook

Narrow Search