Methods and apparatus to analyze processor systems
Methods and apparatus to avoid dynamic micro-architectural...
Methods and apparatus to compile a software program to...
Methods and apparatus to dynamically insert prefetch...
Methods and apparatus to form a transactional objective...
Methods and apparatus to perform return-address prediction
Methods and apparatus to preserve software modifications
Methods and apparatus to provide a modular native method...
Methods and apparatus to reduce a control flow graph using...
Methods and apparatus to support mixed-mode execution within...
Methods and apparatus to support mixed-mode execution within...
Methods and apparatuses for thread management of...
Methods and apparatuses to determine dynamic dates
Methods and arrangements for managing devices
Methods and arrangements for ordering changes in computing...
Methods and arrangements for unified program analysis
Methods and hardware for safe memory allocation in arbitrary...
Methods and products for processing loop nests
Methods and systems for adaptation, diagnosis, optimization,...
Methods and systems for an interactive theorem-proving tool...