Stem emul$ (all stems)

83 papers:

DAC-2015-XuLP #adaptation #modelling #physics #statistics #using

Adaptive characterization and emulation of delay-based physical unclonable functions using statistical models (TX, DL, MP), p. 6.

DocEng-2015-FilhoM #physics #segmentation

Segmentation of Overlapping Digits through the Emulation of a Hypothetical Ball and Physical Forces (ANGLF, CABM), pp. 223–226.

ITiCSE-2015-MellettiGD

The JaeOS Project and the μARM Emulator (MM, MG, RD), pp. 3–8.

AdaEurope-2015-FernandezPGH #framework

AFDX Emulator for an ARINC-Based Training Platform (JF, HP, JJG, MGH), pp. 212–227.

SEKE-2015-NakstadWF #crawling #gesture #interactive

Finding and Emulating Keyboard, Mouse, and Touch Interactions and Gestures while Crawling RIA’s (FN, HW, YF), pp. 631–638.

DATE-2014-HarrantNKGP #assessment #robust

Emulation-based robustness assessment for automotive smart-power ICs (MH, TN, JK, CG, GP), pp. 1–6.

DAC-2013-MillerVG #modelling #physics #statistics #using

Exploration with upgradeable models using statistical methods for physical model emulation (BM, FV, TG), p. 6.

DATE-2013-KinsyCKD #architecture #grid #named #smarttech

MARTHA: architecture for control and emulation of power electronics and smart grid systems (MAK, IC, OK, SD), pp. 519–524.

HPCA-2013-NereHLT #behaviour #biology #semantic gap

Bridging the semantic gap: Emulating biological neuronal behaviors with simple digital neurons (AN, AH, MHL, GT), pp. 472–483.

PPoPP-2013-ChenC #parallel #scalability

Scalable deterministic replay in a parallel full-system emulator (YC, HC), pp. 207–218.

ASE-2012-HineSHV #enterprise #interactive #named #visualisation

Quokka: visualising interactions of enterprise software environment emulators (CMH, JGS, JH, SV), pp. 370–373.

DATE-2012-Al-HashimiM #framework #hardware #question #verification

Accelerators and emulators: Can they become the platform of choice for hardware verification? (BMAH, RM), p. 430.

DATE-2012-HammamiLB #named #network #verification

NOCEVE: Network on chip emulation and verification environment (OH, XL, JMB), pp. 163–164.

DATE-2012-ThachTKI #estimation #performance

Fast cycle estimation methodology for instruction-level emulator (DT, YT, SK, AI), pp. 248–251.

EDOC-2012-DohringSG #adaptation #approach #aspect-oriented #model transformation #recursion #rule-based #runtime #weaving #workflow

Emulating Runtime Workflow Adaptation and Aspect Weaving by Recursive Rule-Based Sub-Process Selection — A Model Transformation Approach (MD, AS, IG), pp. 133–142.

ASPLOS-2012-MartignoniMPSM #testing

Path-exploration lifting: hi-fi tests for lo-fi emulators (LM, SM, PP, DS, PM), pp. 337–348.

DAC-2011-HongSK #case study #estimation #performance #throughput

Emulation based high-accuracy throughput estimation for high-speed connectivities: case study of USB2.0 (BH, CS, DK), pp. 609–614.

DATE-2011-KozhikkottuVRD #analysis #named #performance #variability

VESPA: Variability emulation for System-on-Chip performance analysis (VJK, RV, AR, SD), pp. 2–7.

CHI-2011-HailpernDHKDH #named #towards

ACES: promoting empathy towards aphasia through language distortion emulation software (JMH, MD, AH, KK, GD, JH), pp. 609–618.

IDGD-2011-BakerSH #testing

Testing Touch: Emulators vs. Devices (RMSB, XS, BH), pp. 135–142.

PPoPP-2011-WangLCWCZZ #named #parallel #scalability

COREMU: a scalable and portable parallel full-system emulator (ZW, RL, YC, XW, HC, WZ, BZ), pp. 213–222.

DAC-2010-IhrigMJ #automation #design #manycore #modelling

Automated modeling and emulation of interconnect designs for many-core chip multiprocessors (CJI, RGM, AKJ), pp. 431–436.

DAC-2010-MirhoseiniAK #realtime

Real time emulations: foundation and applications (AM, YA, FK), pp. 623–624.

DAC-2010-SirowyHV #online

Online SystemC emulation acceleration (SS, CH, FV), pp. 30–35.

DATE-2010-KerstanO #design #realtime

Design of a real-time optimized emulation method (TK, MO), pp. 646–649.

DATE-2010-OstendorffWSK #adaptation #approach

A new approach for adaptive failure diagnostics based on emulation test (SO, HDW, JS, SK), pp. 327–330.

DAC-2009-DengCS #authentication #hardware #performance #simulation

Hardware authentication leveraging performance limits in detailed simulations and emulations (DYD, AHC, GES), pp. 682–687.

DAC-2009-EllithorpeTK #architecture #named #network #using

Internet-in-a-Box: emulating datacenter network architectures using FPGAs (JDE, ZT, RHK), pp. 880–883.

DATE-2009-ChenKLA

Accelerating FPGA-based emulation of quasi-cyclic LDPC codes with vector processing (XC, JK, SL, VA), pp. 1530–1535.

CHI-2009-MatejkaGLF #design #evaluation #multi

The design and evaluation of multi-finger mouse emulation techniques (JM, TG, JL, GWF), pp. 1073–1082.

LCTES-2009-HeinzW #code generation #towards

Towards device emulation code generation (TH, RW), pp. 109–118.

ISSTA-2009-MartignoniPRB #cpu #testing

Testing CPU emulators (LM, RP, GFR, DB), pp. 261–272.

ITiCSE-2008-GoldweberD #named #network

VDE: an emulation environment for supporting computer networking courses (MG, RD), pp. 138–142.

SEKE-2008-ParveenATMF #analysis #detection #probability #towards

Towards the Detection of Emulated Environments via Analysis of the Stochastic Nature of System Calls (TP, WHA, SRT, GAM, RF), pp. 802–807.

SIGIR-2008-JohoHJ #documentation #summary #using

Emulating query-biased summaries using document titles (HJ, DH, JMJ), pp. 709–710.

CC-2008-LashariLM #architecture #control flow

Control Flow Emulation on Tiled SIMD Architectures (GL, OL, MM), pp. 100–115.

DATE-2007-MavroidisP #hardware #performance #synthesis

Efficient testbench code synthesis for a hardware emulator system (IM, IP), pp. 888–893.

WCRE-2007-RaberL #data mining #debugging #mining #using

Emulated Breakpoint Debugger and Data Mining Using Detours (JR, EL), pp. 271–272.

SAC-2007-KinebuchiKN #kernel

Constructing machine emulator on portable microkernel (YK, HK, TN), pp. 1197–1198.

DAC-2006-AtienzaVPPBMM #framework #multi #performance

A fast HW/SW FPGA-based thermal emulation framework for multi-processor system-on-chip (DA, PGDV, GP, FP, LB, GDM, JMM), pp. 618–623.

ITiCSE-2006-DairaineEJCTL #named #network #protocol

IREEL: remote experimentation with real protocols and applications over emulated network (LD, EE, GJ, PC, FT, EL), p. 314.

ASPLOS-2006-HeathCGRJ

Mercury and freon: temperature emulation and management for server systems (TH, APC, PG, LER, YJ, RB), pp. 106–116.

DAC-2005-CoburnRR #estimation #paradigm

Power emulation: a new paradigm for power estimation (JC, SR, AR), pp. 700–705.

DATE-2005-GenkoAMMHC #framework

A Complete Network-On-Chip Emulation Framework (NG, DA, GDM, JMM, RH, FC), pp. 246–251.

DATE-2005-LeeCALK #hardware #predict #transaction

A Prediction Packetizing Scheme for Reducing Channel Traffic in Transaction-Level Hardware/Software Co-Emulation (JGL, MKC, KYA, SHL, CMK), pp. 384–389.

DATE-2005-Lopez-OngilGPE #fault #performance

Techniques for Fast Transient Fault Grading Based on Autonomous Emulation (CLO, MGV, MPG, LEA), pp. 308–309.

DATE-2005-MayerSM #debugging #multi

Debug Support, Calibration and Emulation for Multiple Processor and Powertrain Control SoCs (AM, HS, KDMM), pp. 148–152.

ITiCSE-2005-GoldweberDM #hardware

The Kaya OS project and the muMPS hardware emulator (MG, RD, MM), pp. 49–53.

ITiCSE-2005-TobinW #education #security #using

Using a windows attack intRusion emulator (AWARE) to teach computer security awareness (DLTJ, MSW), pp. 213–217.

ICLP-2005-MoralesCPH #automaton #generative #implementation #performance

A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization (JFM, MC, GP, MVH), pp. 21–36.

DAC-2004-NakamuraHKYY #c #c++ #communication #hardware #performance #using

A fast hardware/software co-verification method for system-on-a-chip by using a C/C++ simulator and FPGA emulator with shared register communication (YN, KH, IK, KY, TY), pp. 299–304.

SAC-2004-KayssiE #named #network #realtime

EmuNET: a real-time network emulator (AIK, AEHM), pp. 357–362.

TestCom-2004-DibuzST #mobile #performance

BCMP Performance Test with TTCN-3 Mobile Node Emulator (SD, TS, ZT), pp. 50–59.

DAC-2003-EjlaliM

Switch-level emulation (ARE, SGM), pp. 644–649.

DATE-2003-Pirola #hardware #memory management

A Solution for Hardware Emulation of Non Volatile Memory Macrocells (AP), pp. 20262–20267.

DATE-2003-SchnerrHR #agile #prototype #set

Instruction Set Emulation for Rapid Prototyping of SoCs (JS, GH, WR), pp. 10562–10569.

FME-2003-Fidge #legacy #verification

Verifying Emulation of Legacy Mission Computer Systems (CJF), pp. 187–207.

OSDI-2002-VahdatYWMKCB #network #scalability

Scalability and Accuracy in a Large-Scale Network Emulator (AV, KY, KW, PM, DK, JSC, DB), pp. 271–284.

DAC-2001-KudlugiHSP #architecture #functional #simulation #transaction #verification

A Transaction-Based Unified Simulation/Emulation Architecture for Functional Verification (MK, SH, CS, DP), pp. 623–628.

ICDAR-2001-TeredesaiG #approach #classification #optimisation

Active Digit Classifiers: A Separability Optimization Approach to Emulate Cognition (AT, VG), pp. 401–405.

ITiCSE-2001-CarnianiD #comprehension #education #network

The NetWire emulator: a tool for teaching and understanding networks (EC, RD), pp. 153–156.

DATE-2000-BringmannRM #architecture #multi #synthesis

Target Architecture Oriented High-Level Synthesis for Multi-FPGA Based Emulation (OB, WR, CM), pp. 326–332.

DATE-2000-HaugKR #design #framework #hardware

A Hardware Platform for VLIW Based Emulation of Digital Designs (GH, UK, WR), p. 747.

DATE-2000-MurookaM #protocol

Protocol Stack-Based Telecom-Emulator (TM, TM), pp. 186–191.

ASPLOS-2000-NandaMSSSS #design #hardware #multi #named #programmable #realtime

MemorIES: A Programmable, Real-Time Hardware Emulation Tool for Multiprocessor Server Design (AKN, KKM, KS, RKS, VS, TBS), pp. 37–48.

DAC-1999-HuangL #embedded #named

ICEBERG: An Embedded In-Circuit Emulator Synthesizer for Microcontrollers (IJH, TAL), pp. 580–585.

DATE-1999-WeissSR #embedded #operating system #performance #realtime #using

Emulation of a Fast Reactive Embedded System using a Real Time Operating System (KW, TS, WR), pp. 764–765.

ITiCSE-1999-FuenteCC #architecture #education

Teaching computer architecture with a new superscalar processor emulator (SRdlF, MIGC, RMC), pp. 99–102.

TOOLS-EUROPE-1999-MaleyS #c++ #contract #design

Emulating Design by Contract in C++ (DM, ITAS), pp. 66–75.

PPDP-1999-Costa #bytecode #optimisation #prolog

Optimising Bytecode Emulation for Prolog (VSC), pp. 261–277.

DAC-1997-AdeLP #data flow #graph #memory management

Data Memory Minimisation for Synchronous Data Flow Graphs Emulated on DSP-FPGA Targets (MA, RL, JAP), pp. 64–69.

DAC-1997-FangWY #debugging #online #realtime

A Real-Time RTL Engineering-Change Method Supporting On-Line Debugging for Logic-Emulation Applications (WJF, ACHW, TYY), pp. 101–106.

DAC-1996-BurgunRFBL #fault

Serial Fault Emulation (LB, FR, GF, JB, OL), pp. 801–806.

DAC-1996-GanapathyNJFWN #functional #hardware #verification

Hardware Emulation for Functional Verification of K5 (GG, RN, GJ, DF, MW, JN), pp. 315–318.

DAC-1996-SawantG #verification

RTL Emulation: The Next Leap in System Verification (SS, PG), pp. 233–235.

DAC-1995-GateleyBCCDDEFGGJKKMNNOPSSWW

UltraSPARC-I Emulation (JG, MB, DC, SC, PD, MD, ME, GF, TG, DG, RJ, MK, RK, MM, CN, SJNJ, TO, GP, CS, NS, JW, PW), pp. 13–18.

DAC-1995-MakW #logic #on the

On Optimal Board-Level Routing for FPGA-Based Logic Emulation (WKM, DFW), pp. 552–556.

DAC-1994-ChouLCDL #clustering #logic

Circuit Partitioning for Huge Logic Emulation Systems (NCC, LTL, CKC, WJD, RL), pp. 244–249.

CHI-1990-Carroll #human-computer #infinity

Infinite detail and emulation in an ontologically minimized HCI (JMC), pp. 321–328.

STOC-1989-KochLMRR #network

Work-Preserving Emulations of Fixed-Connection Networks (Extended Abstract) (RRK, FTL, BMM, SR, ALR), pp. 227–240.

SOSP-J-1979-CanonFHHMR80 #evaluation #performance #virtual machine

A Virtual Machine Emulator for Performance Evaluation (MDC, DHF, JHH, TDH, MFM, JRR), pp. 71–80.

SOSP-1979-CanonFHHMR #evaluation #performance #summary #virtual machine

A Virtual Machine Emulator for Performance Evaluation (Summary) (MDC, DHF, JHH, TDH, MFM, JRR), p. 1.

DAC-1975-WilcoxM #automation

An emulator for an automatic test system (PSW, WJLM), pp. 286–289.