Binary verification service
Binding an image descriptor of a graphical object to a text...
Binding by hash
Binding for business workflow processes
Binding to business objects and web services
Binding using absolute memory references
Bitstream generation tools for bitstream management system
Blocking of nested loops having feedback or feedforward indexes
Bounded program failure analysis and correction
Branch instruction conversion to multi-threaded parallel...
Branch preparation
Breakpoint groups based on control flow
Breakpoint logging and constraint mechanisms for parallel...
Breakpoint management and reconciliation for embedded...
Breakpoint method for parallel hardware threads in...
Breakpoint safety net
Browser-based system and method for defining and...
Browser-independent and automatic apparatus and method for...
Buckets of commands in a multiprocessor-based verification...
Buffered screen capturing software tool for usability...