Tag #matlab
38 papers:
ICSME-2018-SchlieSS #analysis #matrix #modelling #multi #using- Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis (AS, SS, IS), pp. 160–171.
WICSA-2016-GerlitzK #modelling #slicing- Flow Sensitive Slicing for MATLAB/Simulink Models (TG, SK), pp. 81–90.
- WICSA-2016-GerlitzK16a #analysis #architecture #modelling
- Architectural Analysis of MATLAB/Simulink Models with Artshop (TG, SK), pp. 307–310.
SEKE-2015-LessaCMA #comprehension #visualisation- Scaffolding MATLAB and Octave Software Comprehension Through Visualization (IML, GdFC, MPM, FBeA), pp. 290–293.
SAC-2015-BispoRC #c #generative- C and OpenCL generation from MATLAB (JB, LR, JMPC), pp. 1315–1320.
CASE-2015-GonzalezMK #interactive #mobile- A Matlab-based interactive simulator for mobile robotics (RG, CM, MK), pp. 310–315.
CSMR-WCRE-2014-LiH #automation #fortran #named- Mc2FOR: A tool for automatically translating MATLAB to FORTRAN 95 (XL, LJH), pp. 234–243.
- CSMR-WCRE-2014-LiH14a #automation #fortran
- Mc2FOR demo: A tool for automatically translating MATLAB to FORTRAN 95 (XL, LJH), pp. 458–463.
SEFM-2014-ReicherdtG #modelling #using #verification- Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie (RR, SG), pp. 190–204.
HIMI-DE-2014-Rodriguez #algorithm #image #predict- Prediction or Guess? Decide by Looking at Two Images Generated by a “MATLAB MySQL” Algorithm (CR0), pp. 87–97.
OOPSLA-2014-KumarH #compilation #named #performance- MIX10: compiling MATLAB to X10 for high performance (VK, LJH), pp. 617–636.
CC-2013-RadpourHS #refactoring- Refactoring MATLAB (SR, LJH, MS), pp. 224–243.
ECOOP-2012-DohertyH #framework #named #static analysis- McSAF: A Static Analysis Framework for MATLAB (JD, LJH), pp. 132–155.
- OOPSLA-2012-DubrauH
- Taming MATLAB (AWD, LJH), pp. 503–522.
ICSE-2012-ReichertG #modelling #slicing- Slicing MATLAB Simulink models (RR, SG), pp. 551–561.
- CASE-2012-LeeHJKL #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.
- OOPSLA-2011-DohertyHR #analysis
- Kind analysis for MATLAB (JD, LJH, SR), pp. 99–118.
PLDI-2011-PrasadAG #automation #compilation #execution #source code- Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors (AP, JA, RG), pp. 152–163.
- CC-2011-LameedH #array #compilation #jit #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 #optimisation
- Optimizing Matlab through Just-In-Time Specialization (MCB, LJH, CV), pp. 46–65.
ICDAR-2009-Guest #named #online #tool support- PENTOOLS — A MATLAB Toolkit for On-line Pen-Based Data Experimentation (RMG), pp. 1221–1225.
CGO-2007-BirkbeckLA #abstraction #approach- A Dimension Abstraction Approach to Vectorization in Matlab (NB, JL, JNA), pp. 115–130.
DATE-2007-YetikSTD #architecture #interactive #optimisation- Interactive presentation: A coefficient optimization and architecture selection tool for SigmaDelta modulators in MATLAB (ÖY, OS, ST, GD), pp. 87–92.
- DATE-2006-Friedman #design
- MATLAB/Simulink for automotive systems design (JF), pp. 87–88.
- DATE-2006-VanderperrenD #uml
- From UML/SysML to Matlab/Simulink: current state and future perspectives (YV, WD), p. 93.
DAC-2005-BhattM #design #development- Matlab as a development environment for FPGA design (TMB, DM), pp. 607–610.
- DAC-2005-Magee #development #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
- 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 #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 #optimisation
- Static array storage optimization in MATLAB (PGJ, PB), pp. 258–268.
- SAC-2003-DhoogeGKMR #continuation #named
- Cl_matcont: A Continuation Toolbox in Matlab (AD, WG, YAK, WM, AMR), pp. 161–166.
GPCE-2003-ElphickLC #partial evaluation- Partial Evaluation of MATLAB (DE, ML, SJC), pp. 344–363.
- CC-2003-JoishaB #type inference
- The MAGICA Type Inference Engine for MATLAB (PGJ, PB), pp. 121–125.
SCAM-2002-BischofBLRV #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 #named
- MaJIC: Compiling MATLAB for Speed and Responsiveness (GSA, DAP), pp. 294–303.
- DATE-2001-NayakHCB #analysis #automation #fault #hardware #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 #memory management #named #programming- MATmarks: A Shared Memory Environment for MATLAB Programming (GSA, CC, DAP), pp. 341–342.
- HPDC-1998-QuinnMS #named
- Otter: Bridging the Gap between MATLAB and ScaLAPACK (MJQ, AGM, NS), pp. 114–121.
