46 papers:
- CASE-2015-QuZJCL #2d
- A MEMS microgripper with two-axis actuators and force sensors for microscale mechanical characterization of soft materials (JQ, WZ, AJ, SSDC, XL), pp. 1620–1625.
- ESEC-FSE-2015-JensenSSC #debugging #independence #javascript #memory management #named
- MemInsight: platform-independent memory debugging for JavaScript (SHJ, MS, KS, SC), pp. 345–356.
- HPCA-2014-ShafieeTBD #memory management #named
- MemZip: Exploring unconventional benefits from memory compression (AS, MT, RB, AD), pp. 638–649.
- DATE-2013-DengKNOYOBKPD
- Electrical calibration of spring-mass MEMS capacitive accelerometers (LD, VK, NSJN, MKO, EY, SO, BB, SK, DP, TD), pp. 571–574.
- WCRE-2013-ChenSB13a #c #detection #memory management #named
- MemBrush: A practical tool to detect custom memory allocators in C binaries (XC, AS, HB), pp. 477–478.
- WCRE-2013-HallerSB #c #c++ #data type #detection #named
- MemPick: High-level data structure detection in C/C++ binaries (IH, AS, HB), pp. 32–41.
- WCRE-2013-HallerSB13a #data type #detection #named
- MemPick: A tool for data structure detection (IH, AS, HB), pp. 479–480.
- SAC-2013-LakhlefMB #algorithm #configuration management #distributed #performance #self
- Distributed and efficient algorithm for self-reconfiguration of MEMS microrobots (HL, HM, JB), pp. 560–566.
- DAC-2012-WangKPRLFMP #adaptation #design #optimisation #statistics
- Statistical design and optimization for adaptive post-silicon tuning of MEMS filters (FW, GK, AP, JR, XL, GKF, TM, LTP), pp. 176–181.
- DATE-2011-KhatibA #design #streaming
- Buffering implications for the design space of streaming MEMS storage (MGK, LA), pp. 253–256.
- DATE-2011-RekikADMN #development #evaluation
- An electrical test method for MEMS convective accelerometers: Development and evaluation (AAR, FA, ND, FM, PN), pp. 806–811.
- CHI-2011-HunterMSK #named
- MemTable: an integrated system for capture and recall of shared histories in group workspaces (SEH, PM, SDS, HK), pp. 3305–3314.
- ASPLOS-2011-DengMRWB #in memory #memory management #named #power management
- MemScale: active low-power modes for main memory (QD, DM, LER, TFW, RB), pp. 225–238.
- CASE-2010-AshrafTA
- MEMS based polymeric drug delivery system (MWA, ST, NA), pp. 192–197.
- CASE-2010-AshrafTANBT #analysis #array
- Structural and microfluidic analysis of MEMS based out-of-plane hollow silicon microneedle array for drug delivery (MWA, ST, NA, AN, ELB, AT), pp. 258–262.
- CASE-2010-BeyelerMN #automation #testing
- Wafer-level inspection system for the automated testing of comb drive based MEMS sensors and actuators (FB, SM, BJN), pp. 698–703.
- DATE-2010-HenryN #power management
- From transistors to MEMS: Throughput-aware power gating in CMOS circuits (MBH, LN), pp. 130–135.
- SCAM-2010-SimpsonB #c #memory management #named #runtime #safety
- MemSafe: Ensuring the Spatial and Temporal Memory Safety of C at Runtime (MSS, RB), pp. 199–208.
- PLDI-2010-TorlakVD #axiom #memory management #modelling #named #specification
- MemSAT: checking axiomatic specifications of memory models (ET, MV, JD), pp. 341–350.
- ASPLOS-2010-ZhangSL #approach #concurrent #debugging #detection #named
- ConMem: detecting severe concurrency bugs through an effect-oriented approach (WZ, CS, SL), pp. 179–192.
- DATE-2009-LarcherBGIBG #configuration management #standard
- A MEMS reconfigurable quad-band Class-E Power Amplifier for GSM standard (LL, RB, MG, JI, MB, AG), pp. 364–368.
- DATE-2008-MelaniBMLDF #monitoring
- Hot Wire Anemometric MEMS Sensor for Water Flow Monitoring (MM, LB, MDM, PL, FD, LF), pp. 342–347.
- PLDI-2008-WegielK #communication #coordination #memory management #named #type safety
- XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination (MW, CK), pp. 327–338.
- CASE-2007-LiuKS
- A MEMS Stage for 3-Axis Nanopositioning (XL, KK, YS), pp. 1087–1092.
- CASE-2007-PopaLMDS #assembly #automation
- High Yield Automated MEMS Assembly (DOP, WHL, RM, AND, HES), pp. 1099–1104.
- HPCA-2007-VenkataramaniRSP #debugging #memory management #monitoring #named #performance #programmable
- MemTracker: Efficient and Programmable Support for Memory Access Monitoring and Debugging (GV, BR, YS, MP), pp. 273–284.
- QoSA-2006-LiuGBHA #architecture #middleware #named
- MEMS: A Method for Evaluating Middleware Architectures (YL, IG, LB, CH, SA), pp. 9–26.
- DATE-2006-DhayniMRB #functional #linear #pseudo
- Pseudorandom functional BIST for linear and nonlinear MEMS (AD, SM, LR, AB), pp. 664–669.
- CBSE-2005-MeyerhoferV #enterprise #framework #java #memory management #named #profiling
- EJBMemProf — A Memory Profiling Framework for Enterprise JavaBeans (MM, BV), pp. 17–32.
- DAC-2005-Nguyen #architecture
- RF MEMS in wireless architectures (CTCN), pp. 416–420.
- DATE-2005-BiswasLBP #specification
- Specification Test Compaction for Analog Circuits and MEMS (SB, PL, RD(B, LTP), pp. 164–169.
- HPCA-2005-QinLZ #detection #memory management #named
- SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs (FQ, SL, YZ), pp. 291–302.
- DAC-2004-GopeCJ #matrix #modelling #multi #performance #rank
- A fast parasitic extractor based on low-rank multilevel matrix compression for conductor and dielectric modeling in microelectronics and MEMS (DG, SC, VJ), pp. 794–799.
- DAC-2004-KorsmeyerZG #design #tool support
- Design tools for BioMEMS (TK, JZ, KG), pp. 622–628.
- DAC-2004-White #challenge #design
- CAD challenges in BioMEMS design (JW), pp. 629–632.
- DATE-v2-2004-KumarBK #algorithm #analysis #array #embedded #memory management #named #reduction #using
- MemMap: Technology Mapping Algorithm for Area Reduction in FPGAs with Embedded Memory Arrays Using Reconvergence Analysis (AMK, JB, VK), pp. 922–929.
- DAC-2003-SengerMMGKGB
- A 16-bit mixed-signal microsystem with integrated CMOS-MEMS clock reference (RMS, EDM, MSM, FHG, KLK, MRG, RBB), pp. 520–525.
- DAC-2003-VasilyevRW #algorithm #generative #modelling
- A TBR-based trajectory piecewise-linear algorithm for generating accurate low-order models for nonlinear analog circuits and MEMS (DV, MR, JW), pp. 490–495.
- VLDB-2003-YuAA #relational
- Tabular Placement of Relational Data on MEMS-based Storage Devices (HY, DA, AEA), pp. 680–693.
- ASPLOS-2002-AshokCM #energy #memory management #named #performance
- Cool-Mem: combining statically speculative memory accessing with selective address translation for energy efficiency (RA, SC, CAM), pp. 133–143.
- DAC-2001-LeeNCKD #2d #detection
- Two-Dimensional Position Detection System with MEMS Accelerometer for MOUSE Applications (SL, GJN, JC, HK, AJD), pp. 852–857.
- DATE-2000-Rosing #fault #simulation
- A Fault Simulation Methodology for MEMS (RR), pp. 476–483.
- ASPLOS-2000-SchlosserGNG #design
- Designing computer systems with MEMS-based storage (SWS, JLG, DN, GRG), pp. 1–12.
- OSDI-2000-GriffinSGN #operating system
- Operating System Management of MEMS-based Storage Devices (JLG, SWS, GRG, DN), pp. 227–242.
- DAC-1999-KurzwegLMMPC
- A CAD Tool for Optical MEMS (TPK, SPL, PJM, JAM, KRP, DMC), pp. 879–884.
- DAC-1997-AluruW #algorithm #simulation
- Algorithms for Coupled Domain MEMS Simulation (NRA, JW), pp. 686–690.