<--- Back to Details
First PageDocument Content
Government procurement in the United States / United States administrative law / Request for proposal / Proposal / Static single assignment form / Performance appraisal / Evaluation / Business / Sales / Procurement
Date: 2013-02-19 14:28:37
Government procurement in the United States
United States administrative law
Request for proposal
Proposal
Static single assignment form
Performance appraisal
Evaluation
Business
Sales
Procurement

B[removed]; B[removed]Building Operations Support Services, LLC

Add to Reading List

Source URL: gao.gov

Download Document from Source Website

File Size: 119,80 KB

Share Document on Facebook

Similar Documents

DCC888 – SSA Based Register Allocation Name: ID: 1. This question refers to the program below, which is in Static Single Assignment form.

DocID: 1vdqF - View Document

Software engineering / Compiler optimizations / Compiler construction / Programming language theory / Computing / Data-flow analysis / Control flow graph / Variable / Scope / Static single assignment form / Aliasing / Program analysis

Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González

DocID: 1rihM - View Document

Mathematics / Logic / Model theory / Abstraction / Limit / Interpretation / IP / Bayesian network / Static single assignment form / Symbol / Expected value / Linear temporal logic

Evaluating Interval-Valued Influence DiagramsI Rafael Caba˜nasa,∗, Alessandro Antonuccib , Andr´es Canoa , Manuel G´omez-Olmedoa a Department of Computer Science and Artificial Intelligence CITIC, University of Gran

DocID: 1rhTz - View Document

Compiler optimizations / Computing / Program analysis / Abstract interpretation / Data-flow analysis / Abstraction / Static single assignment form / Graph / Bytecode / Register allocation / Algorithm / Academia

A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah

DocID: 1rfQU - View Document

Software / Computing / Numerical linear algebra / Numerical software / Compiler optimizations / Automatically Tuned Linear Algebra Software / Basic Linear Algebra Subprograms / Kernel / Mathematical optimization / Program optimization / Static single assignment form / Loop unrolling

Automated Empirical Optimization of High Performance Floating Point Kernels R. Clint Whaley University of Texas, San Antonio and David B. Whalley

DocID: 1r3M4 - View Document