by
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Excerpt:
-- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time
by
Daimi, Kevin. editor.
Format:
Electronic Resources
Excerpt:
Threat in Networks and Systems Using a Finite Angular State Velocity Machine and Vector Mathematics
View Other Search Results
by
Cin, Mario. editor.
Format:
Electronic Resources
Excerpt:
-- Deterministic Test Vector Compression / Decompression Using an Embedded Processor -- Efficient Single-Pattern
by
Taufer, Michela. editor.
Format:
Electronic Resources
Excerpt:
the IBM Power8 platform -- Measuring and Managing Energy in OpenPOWER -- Performance Analysis of Spark
Limit Search Results
Narrowed by: