Featured

Business

Design

Education

How-to & DIY

Marketing & SEO

Programming

Research

Science

Storyboards

Technology

Exactpro

PRO exactpro

0 Stars

Decks

TMPA-2017: Layered Layouts for Software Systems Visualization

PRO

0

660

TMPA-2017: Simple Type Based Alias Analysis for a VLIW Processor

PRO

0

700

TMPA-2017: Modeling of PLC-programs by High-level Coloured Petri Nets

PRO

0

760

TMPA-2017: Functional Parser of Markdown Language Based on Monad Combining and Monoidal Source Stream Representation

PRO

0

650

TMPA-2017: Stemming Architectural Decay in Software Systems

PRO

0

780

TMPA-2017: Predicate Abstraction Based Configurable Method for Data Race Detection in Linux Kernel

PRO

0

690

TMPA-2017: A Survey of High-Performance Computing for Software Verification

PRO

0

760

TMPA-2017: Dl-Check: Dynamic Potential Deadlock Detection Tool for Java Programs

PRO

0

900

TMPA-2017: Evolutionary Algorithms in Test Generation for digital systems

PRO

0

710

TMPA-2017: Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer

PRO

0

640

TMPA-2017: Conference Opening

PRO

0

520

TMPA-2017: Vellvm - Verifying the LLVM

PRO

0

880

TMPA-2017: Unity Application Testing Automation with Appium and Image Recognition

PRO

0

660

TMPA-2017: Compositional Process Model Synthesis based on Interface Patterns

PRO

0

660

TMPA-2017: Static Checking of Array Objects in JavaScript

PRO

0

660

TMPA-2017: Regression Testing with Semiautomatic Test Selection for Auditing of IMS Database

PRO

0

810

TMPA-2017: Live testing distributed system fault tolerance with fault injection techniques

PRO

0

730

TMPA-2017: Software Testing in Market Infrastructures

PRO

0

670

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade