Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing computational » processing communications, using computational, processing international
computational improved » computation improved, computations improved, computational approach
improved parameterized » problem parameterized
parameterized array » parameterized real, parameterized program, parameterized variety
https » http
processing computational » processing communications, using computational, processing international
computational improved » computation improved, computations improved, computational approach
improved parameterized » problem parameterized
parameterized array » parameterized real, parameterized program, parameterized variety
https » http
1
Published 2010
Table of Contents:
“... Genome by Comparing Raw Reads -- Dynamic Z-Fast Tries -- Improved Fast Similarity Search in Dictionaries...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... and Related Results -- The Multiparty Communication Complexity of Exact-T: Improved Bounds and New Problems...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... by Transpositions -- Finding Compact Structural Motifs -- Session 5: Computational Biology II -- Improved Algorithms...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... -- Parameterized Complexity of Superstring Problems -- On the Fixed Parameter Tractability and Approximability...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”View full text
Electronic
eBook
10
Table of Contents:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
View full text
View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... for Business Processes -- CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations....”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”View full text
Electronic
eBook