35 papers:
- CASE-2015-GonzalezMK #interactive #matlab #mobile
- A Matlab-based interactive simulator for mobile robotics (RG, CM, MK), pp. 310–315.
- SEKE-2015-LessaCMA #comprehension #matlab #visualisation
- Scaffolding MATLAB and Octave Software Comprehension Through Visualization (IML, GdFC, MPM, FBeA), pp. 290–293.
- SAC-2015-BispoRC #c #generative #matlab
- C and OpenCL generation from MATLAB (JB, LR, JMPC), pp. 1315–1320.
- CSMR-WCRE-2014-LiH #automation #fortran #matlab #named
- Mc2FOR: A tool for automatically translating MATLAB to FORTRAN 95 (XL, LJH), pp. 234–243.
- CSMR-WCRE-2014-LiH14a #automation #fortran #matlab
- Mc2FOR demo: A tool for automatically translating MATLAB to FORTRAN 95 (XL, LJH), pp. 458–463.
- SEFM-2014-ReicherdtG #matlab #modelling #using #verification
- Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie (RR, SG), pp. 190–204.
- HIMI-DE-2014-Rodriguez #algorithm #image #matlab #predict
- Prediction or Guess? Decide by Looking at Two Images Generated by a “MATLAB MySQL” Algorithm (CR0), pp. 87–97.
- OOPSLA-2014-KumarH #compilation #matlab #named #performance
- MIX10: compiling MATLAB to X10 for high performance (VK, LJH), pp. 617–636.
- CC-2013-RadpourHS #matlab #refactoring
- Refactoring MATLAB (SR, LJH, MS), pp. 224–243.
- CASE-2012-LeeHJKL #matlab #simulation #using
- Dynamic simulation of radial active magnetic bearing system for high speed rotor using ADAMS and MATLAB co-simulation (KCL, DKH, YHJ, CYK, MCL), pp. 880–885.
- ECOOP-2012-DohertyH #framework #matlab #named #static analysis
- McSAF: A Static Analysis Framework for MATLAB (JD, LJH), pp. 132–155.
- OOPSLA-2012-DubrauH #matlab
- Taming MATLAB (AWD, LJH), pp. 503–522.
- ICSE-2012-ReichertG #matlab #modelling #slicing
- Slicing MATLAB Simulink models (RR, SG), pp. 551–561.
- PLDI-2011-PrasadAG #automation #compilation #execution #matlab #source code
- Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors (AP, JA, RG), pp. 152–163.
- OOPSLA-2011-DohertyHR #analysis #matlab
- Kind analysis for MATLAB (JD, LJH, SR), pp. 99–118.
- CC-2011-LameedH #array #compilation #jit #matlab #semantics #staged
- Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler (NL, LJH), pp. 22–41.
- CC-2010-Chevalier-BoisvertHV #matlab #optimisation
- Optimizing Matlab through Just-In-Time Specialization (MCB, LJH, CV), pp. 46–65.
- ICDAR-2009-Guest #matlab #named #online #tool support
- PENTOOLS — A MATLAB Toolkit for On-line Pen-Based Data Experimentation (RMG), pp. 1221–1225.
- DATE-2007-YetikSTD #architecture #interactive #matlab #optimisation
- Interactive presentation: A coefficient optimization and architecture selection tool for SigmaDelta modulators in MATLAB (ÖY, OS, ST, GD), pp. 87–92.
- CGO-2007-BirkbeckLA #abstraction #approach #matlab
- A Dimension Abstraction Approach to Vectorization in Matlab (NB, JL, JNA), pp. 115–130.
- DATE-2006-Friedman #design #matlab
- MATLAB/Simulink for automotive systems design (JF), pp. 87–88.
- DATE-2006-VanderperrenD #matlab #uml
- From UML/SysML to Matlab/Simulink: current state and future perspectives (YV, WD), p. 93.
- DAC-2005-BhattM #design #development #matlab
- Matlab as a development environment for FPGA design (TMB, DM), pp. 607–610.
- DAC-2005-Magee #development #matlab #realtime #testing #verification
- Matlab extensions for the development, testing and verification of real-time DSP software (DPM), pp. 603–606.
- DAC-2004-RoyB #algorithm #design #fixpoint #float #matlab
- An algorithm for converting floating-point computations to fixed-point in MATLAB based FPGA design (SR, PB), pp. 484–487.
- DATE-DF-2004-Ruiz-AmayaRMFRPR #matlab #synthesis
- MATLAB/SIMULINK-Based High-Level Synthesis of Discrete-Time and Continuous-Time [Sigma, Delta] Modulators (JRA, JLdlR, FM, FVF, RdR, MBPV, ÁRV), pp. 150–155.
- PLDI-2003-JoishaB #array #matlab #optimisation
- Static array storage optimization in MATLAB (PGJ, PB), pp. 258–268.
- GPCE-2003-ElphickLC #matlab #partial evaluation
- Partial Evaluation of MATLAB (DE, ML, SJC), pp. 344–363.
- SAC-2003-DhoogeGKMR #continuation #matlab #named
- Cl_matcont: A Continuation Toolbox in Matlab (AD, WG, YAK, WM, AMR), pp. 161–166.
- CC-2003-JoishaB #matlab #type inference
- The MAGICA Type Inference Engine for MATLAB (PGJ, PB), pp. 121–125.
- SCAM-2002-BischofBLRV #matlab #source code
- Combining Source Transformation and Operator Overloading Techniques to Compute Derivatives for MATLAB Programs (CHB, HMB, BL, AR, AV), pp. 65–72.
- PLDI-2002-AlmasiP #compilation #latency #matlab #named
- MaJIC: Compiling MATLAB for Speed and Responsiveness (GSA, DAP), pp. 294–303.
- DATE-2001-NayakHCB #analysis #automation #fault #hardware #matlab #precise #synthesis
- Precision and error analysis of MATLAB applications during automated hardware synthesis for FPGAs (AN, MH, ANC, PB), pp. 722–728.
- HPDC-1999-AlmasiCP #matlab #memory management #named #programming
- MATmarks: A Shared Memory Environment for MATLAB Programming (GSA, CC, DAP), pp. 341–342.
- HPDC-1998-QuinnMS #matlab #named
- Otter: Bridging the Gap between MATLAB and ScaLAPACK (MJQ, AGM, NS), pp. 114–121.