Search

Results 1-10 of 51
Publication DateTitleAuthor(s)
15-Jan-2017Automatically Comparing Memory Consistency ModelsWickerson; Batty, M; Sorensen; Constantinides, GA
1-Nov-2011Bounding Variable Values and Round-Off Effects Using Handelman RepresentationsBoland, D; Constantinides, GA
1-Feb-2015A low complexity scaling method for the Lanczos Kernel in fixed-point arithmeticJerez, JL; Constantinides, GA; Kerrigan, EC
1-Mar-2009Combining Data Reuse With Data-Level Parallelization for FPGA-Targeted Hardware Compilation: A Geometric Programming FrameworkLiu, Q; Constantinides, GA; Masselos, K; Cheung, PYK
13-Jul-2015Certified Roundoff Error Bounds Using Semidefinite Programming.Magron, V; Constantinides, GA; Donaldson, AF
18-Oct-2012Control-theoretic forward error analysis of iterative numerical algorithmsHasan, A; Kerrigan, EC; Constantinides, GA
1-Jan-2011An efficient algorithm for the solution of a coupled Sylvester equation appearing in descriptor systemsShahzad, A; Jones, BL; Kerrigan, EC; Constantinides, GA
27-Mar-2012A sparse and condensed QP formulation for predictive control of LTI systemsJerez, JL; Kerrigan, EC; Constantinides, GA
1-Dec-2011A parallel formulation for predictive control with nonuniform hold constraintsLongo, S; Kerrigan, EC; Ling, KV; Constantinides, GA
19-Jul-2010FPGA Architecture Optimization Using Geometric ProgrammingSmith, AM; Constantinides, GA; Cheung, PYK