Sökresultat - processing computer programs parameterized array (https OR http)

1

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

Publicerad 2010

Innehållsförteckning: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
Hämta fulltext

Elektronisk E-bok

2

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...”
Hämta fulltext

Elektronisk E-bok

3

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

Publicerad 2006

Innehållsförteckning: “... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”
Hämta fulltext

Elektronisk E-bok

4

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Publicerad 2010

Innehållsförteckning: “...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”
Hämta fulltext

Elektronisk E-bok

5

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... Parameterized Upper Bounds for Vertex Cover -- On Comparing Sums of Square Roots of Small Integers -- A...”
Hämta fulltext

Elektronisk E-bok

6

A Beginner's Guide to Scala, Object Orientation and Functional Programming

av Hunt, John., Hunt, John.
Publicerad 2014

Innehållsförteckning: “... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...”
Hämta fulltext

Elektronisk E-bok

7

String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...”
Hämta fulltext

Elektronisk E-bok

8

Emerging Technologies for Information Systems, Computing, and Management

Publicerad 2013

Innehållsförteckning: “...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...”
Hämta fulltext

Elektronisk E-bok

9

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Publicerad 2014

Innehållsförteckning: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Hämta fulltext

Elektronisk E-bok

10

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April...

Publicerad 2014

Innehållsförteckning: “...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2013

Innehållsförteckning: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Hämta fulltext

Elektronisk E-bok

12

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings /

Publicerad 2005

Innehållsförteckning: “... -- Some New Directions and Questions in Parameterized Complexity -- Basic Notions of Reaction Systems -- A...”
Hämta fulltext

Elektronisk E-bok

13

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

Publicerad 2007

Innehållsförteckning: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Hämta fulltext

Elektronisk E-bok

14

Combinatorial Pattern Matching 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... Fast Search and Its Construction Algorithm Using Optimal Working Space -- Succinct Suffix Arrays Based...”
Hämta fulltext

Elektronisk E-bok

15

Advances in Neural Networks – ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings /

Publicerad 2015

Innehållsförteckning: “...-Sliding-Mode-Based Frequency Regulation -- A New Discrete-Time Iterative Adaptive Dynamic Programming...”
Hämta fulltext

Elektronisk E-bok

16

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /

Publicerad 2010

Innehållsförteckning: “... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...”
Hämta fulltext

Elektronisk E-bok

17

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

av Spear, Chris., Spear, Chris.
Publicerad 2008

Innehållsförteckning: “...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
Hämta fulltext

Elektronisk E-bok

18

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

Publicerad 2005

Innehållsförteckning: “... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen