Using a high level programming language with a microcontroller

Using a system of annotations to generate views and adapters

Using a virtual stack for fast and composable stack cutting

Using attributes to identify and filter pluggable functionality

Using behavioral annotations in source code to build...

Using branch instruction counts to facilitate replay of...

Using class properties to segregate objects in a generation...

Using context prefixes that correspond to user input modes...

Using context prefixes that correspond to user input modes...

Using cross-entropy to test executable logic code

Using dynamic analysis to improve model checking

Using idempotent operations to improve transaction performance

Using identifiers and counters for controlled optimization...

Using incremental generation to develop software applications

Using interrelated data at run time

Using optimized libraries to improve performance of deployed...

Using readily available driver and application source code...

Using relationships between contexts in model view...

Using transactional memory for precise exception handling in...

Using value speculation to break constraining dependencies...