BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
memori (14)
base (8)
system (6)
detect (6)
design (5)

Stem mem$ (all stems)

46 papers:

CASECASE-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-FSEESEC-FSE-2015-JensenSSC #debugging #independence #javascript #memory management #named
MemInsight: platform-independent memory debugging for JavaScript (SHJ, MS, KS, SC), pp. 345–356.
HPCAHPCA-2014-ShafieeTBD #memory management #named
MemZip: Exploring unconventional benefits from memory compression (AS, MT, RB, AD), pp. 638–649.
DATEDATE-2013-DengKNOYOBKPD
Electrical calibration of spring-mass MEMS capacitive accelerometers (LD, VK, NSJN, MKO, EY, SO, BB, SK, DP, TD), pp. 571–574.
WCREWCRE-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.
WCREWCRE-2013-HallerSB #c #c++ #data type #detection #named
MemPick: High-level data structure detection in C/C++ binaries (IH, AS, HB), pp. 32–41.
WCREWCRE-2013-HallerSB13a #data type #detection #named
MemPick: A tool for data structure detection (IH, AS, HB), pp. 479–480.
SACSAC-2013-LakhlefMB #algorithm #configuration management #distributed #performance #self
Distributed and efficient algorithm for self-reconfiguration of MEMS microrobots (HL, HM, JB), pp. 560–566.
DACDAC-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.
DATEDATE-2011-KhatibA #design #streaming
Buffering implications for the design space of streaming MEMS storage (MGK, LA), pp. 253–256.
DATEDATE-2011-RekikADMN #development #evaluation
An electrical test method for MEMS convective accelerometers: Development and evaluation (AAR, FA, ND, FM, PN), pp. 806–811.
CHICHI-2011-HunterMSK #named
MemTable: an integrated system for capture and recall of shared histories in group workspaces (SEH, PM, SDS, HK), pp. 3305–3314.
ASPLOSASPLOS-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.
CASECASE-2010-AshrafTA
MEMS based polymeric drug delivery system (MWA, ST, NA), pp. 192–197.
CASECASE-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.
CASECASE-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.
DATEDATE-2010-HenryN #power management
From transistors to MEMS: Throughput-aware power gating in CMOS circuits (MBH, LN), pp. 130–135.
SCAMSCAM-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.
PLDIPLDI-2010-TorlakVD #axiom #memory management #modelling #named #specification
MemSAT: checking axiomatic specifications of memory models (ET, MV, JD), pp. 341–350.
ASPLOSASPLOS-2010-ZhangSL #approach #concurrent #debugging #detection #named
ConMem: detecting severe concurrency bugs through an effect-oriented approach (WZ, CS, SL), pp. 179–192.
DATEDATE-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.
DATEDATE-2008-MelaniBMLDF #monitoring
Hot Wire Anemometric MEMS Sensor for Water Flow Monitoring (MM, LB, MDM, PL, FD, LF), pp. 342–347.
PLDIPLDI-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.
CASECASE-2007-LiuKS
A MEMS Stage for 3-Axis Nanopositioning (XL, KK, YS), pp. 1087–1092.
CASECASE-2007-PopaLMDS #assembly #automation
High Yield Automated MEMS Assembly (DOP, WHL, RM, AND, HES), pp. 1099–1104.
HPCAHPCA-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.
QoSAQoSA-2006-LiuGBHA #architecture #middleware #named
MEMS: A Method for Evaluating Middleware Architectures (YL, IG, LB, CH, SA), pp. 9–26.
DATEDATE-2006-DhayniMRB #functional #linear #pseudo
Pseudorandom functional BIST for linear and nonlinear MEMS (AD, SM, LR, AB), pp. 664–669.
CBSECBSE-2005-MeyerhoferV #enterprise #framework #java #memory management #named #profiling
EJBMemProf — A Memory Profiling Framework for Enterprise JavaBeans (MM, BV), pp. 17–32.
DACDAC-2005-Nguyen #architecture
RF MEMS in wireless architectures (CTCN), pp. 416–420.
DATEDATE-2005-BiswasLBP #specification
Specification Test Compaction for Analog Circuits and MEMS (SB, PL, RD(B, LTP), pp. 164–169.
HPCAHPCA-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.
DACDAC-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.
DACDAC-2004-KorsmeyerZG #design #tool support
Design tools for BioMEMS (TK, JZ, KG), pp. 622–628.
DACDAC-2004-White #challenge #design
CAD challenges in BioMEMS design (JW), pp. 629–632.
DATEDATE-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.
DACDAC-2003-SengerMMGKGB
A 16-bit mixed-signal microsystem with integrated CMOS-MEMS clock reference (RMS, EDM, MSM, FHG, KLK, MRG, RBB), pp. 520–525.
DACDAC-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.
VLDBVLDB-2003-YuAA #relational
Tabular Placement of Relational Data on MEMS-based Storage Devices (HY, DA, AEA), pp. 680–693.
ASPLOSASPLOS-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.
DACDAC-2001-LeeNCKD #2d #detection
Two-Dimensional Position Detection System with MEMS Accelerometer for MOUSE Applications (SL, GJN, JC, HK, AJD), pp. 852–857.
DATEDATE-2000-Rosing #fault #simulation
A Fault Simulation Methodology for MEMS (RR), pp. 476–483.
ASPLOSASPLOS-2000-SchlosserGNG #design
Designing computer systems with MEMS-based storage (SWS, JLG, DN, GRG), pp. 1–12.
OSDIOSDI-2000-GriffinSGN #operating system
Operating System Management of MEMS-based Storage Devices (JLG, SWS, GRG, DN), pp. 227–242.
DACDAC-1999-KurzwegLMMPC
A CAD Tool for Optical MEMS (TPK, SPL, PJM, JAM, KRP, DMC), pp. 879–884.
DACDAC-1997-AluruW #algorithm #simulation
Algorithms for Coupled Domain MEMS Simulation (NRA, JW), pp. 686–690.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.