Stem retarget$ (all stems)

71 papers:

DATE-2015-Ibing #architecture #execution #symbolic computation

Architecture description language based retargetable symbolic execution (AI), pp. 241–246.

CHI-2015-MohrKDSK #artificial reality #documentation

Retargeting Technical Documentation to Augmented Reality (PM, BK, MD, DS, DK), pp. 3337–3346.

LCTES-2015-ManilovFMA

Free Rider: A Tool for Retargeting Platform-Specific Intrinsic Functions (SM, BF, AM, CA), p. 10.

ECOOP-2014-KarimDG #framework #legacy

Retargetting Legacy Browser Extensions to Modern Extension Frameworks (RK, MD, VG), pp. 463–488.

DAC-2013-WagstaffGFT #architecture #partial evaluation #set

Early partial evaluation in a JIT-compiled, retargetable instruction set simulator generated from a high-level architecture description (HW, MG, BF, NPT), p. 6.

RecSys-2013-KoyejoAG #collaboration #matrix

Retargeted matrix factorization for collaborative filtering (OK, SA, JG), pp. 49–56.

ICSE-2013-Sanchez04a #code search #named

SNIPR: complementing code search with code retargeting capabilities (HS), pp. 1423–1426.

DATE-2012-HamoudaAK #automation #image #modelling #novel

AIR (Aerial Image Retargeting): A novel technique for in-fab automatic model-based retargeting-for-yield (AYH, MA, KSK), pp. 1603–1608.

WCRE-2012-DurfinaKZK #decompiler #detection

Detection and Recovery of Functions and their Arguments in a Retargetable Decompiler (LD, JK, PZ, BK), pp. 51–60.

FSE-2012-OcteauJM #android #bytecode #java

Retargeting Android applications to Java bytecode (DO, SJ, PM), p. 6.

CGO-2012-HongHYWHLWC #concurrent #multi #named #thread

HQEMU: a multi-threaded and retargetable dynamic binary translator on multicores (DYH, CCH, PCY, JJW, WCH, PL, CMW, YCC), pp. 104–113.

CHI-2011-KumarTAK #design #named #web

Bricolage: example-based retargeting for web design (RK, JOT, SA, SRK), pp. 2197–2206.

PADL-2011-PetricekS #concurrent #control flow #named #parallel #programming

Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming (TP, DS), pp. 205–219.

POPL-2011-RamseyD #composition #dependent type #independence #low level #type system #using

Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code (NR, JD), pp. 575–586.

CGO-2011-NewburnSLMGTWDCWGLZ #array #compilation #embedded

Intel’s Array Building Blocks: A retargetable, dynamic compiler and embedded language (CJN, BS, ZL, MDM, AMG, SDT, ZGW, ZD, YC, GW, PG, ZL, DZ), pp. 224–235.

ICPR-2010-MurthyMRC #image

Image Retargeting in Compressed Domain (OVRM, KM, DR, LTC), pp. 4424–4427.

SLE-2009-HemelV #domain-specific language #framework #independence #named

PIL: A Platform Independent Language for Retargetable DSLs (ZH, EV), pp. 224–243.

DATE-2008-HohenauerELAMBS #execution #optimisation

Retargetable Code Optimization for Predicated Execution (MH, FE, RL, GA, HM, GB, BS), pp. 1492–1497.

DATE-2008-HwangAG #approximate #estimation #performance #transaction

Cycle-approximate Retargetable Performance Estimation at the Transaction Level (YH, SA, DG), pp. 3–8.

DATE-2007-RenterghemDVVQ #compilation #development #using

Development of an ASIP enabling flows in ethernet access using a retargetable compilation flow (KVR, PD, DV, JV, XZQ), pp. 1418–1423.

AdaEurope-2007-WooCJ #approach #compilation #representation #testing

An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers (GW, HSC, HJ), pp. 100–113.

PLDI-2006-BridgesVOA #automation

Automatic instruction scheduler retargeting by reverse-engineering (MJB, NV, GO, DIA), pp. 228–238.

DATE-2005-CengHLAMB #c #compilation #modelling #semantics

C Compiler Retargeting Based on Instruction Semantics Models (JC, MH, RL, GA, HM, GB), pp. 1150–1155.

DAC-2004-BhattacharyaJHS #design #scalability

Correct-by-construction layout-centric retargeting of large analog designs (SB, NJ, RH, CJRS), pp. 139–144.

DAC-2004-CaiGG #agile #design #profiling

Retargetable profiling for rapid, early system-level design space exploration (LC, AG, DG), pp. 281–286.

DATE-v2-2004-ZhuM #architecture #communication #framework #multi #prototype #specification #using

Using a Communication Architecture Specification in an Application-Driven Retargetable Prototyping Platform for Multiprocessing (XZ, SM), pp. 1244–1249.

SEKE-2004-WihartoS #logic #using #xml

Future Proofing and Retargeting Application Logic Using O2XML (MW, PS), pp. 173–178.

LCTES-2004-DaveauTLS #embedded #framework

A retargetable register allocation framework for embedded processors (JMD, TT, TL, MS), pp. 202–210.

LCTES-2004-HiserD #algorithm #compilation #memory management #named #performance

EMBARC: an efficient memory bank assignment algorithm for retargetable compilers (JH, JWD), pp. 182–191.

DAC-2003-MongZ #architecture

A retargetable micro-architecture simulator (WSM, JZ), pp. 752–757.

DAC-2003-QinM #automation #performance #synthesis

Automated synthesis of efficient binary decoders for retargetable software toolkits (WQ, SM), pp. 764–769.

DATE-2003-QinM #flexibility #formal method #modelling #simulation

Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation (WQ, SM), pp. 10556–10561.

ICDAR-2003-Lank #diagrams #framework #interactive #recognition

A Retargetable Framework for Interactive Diagram Recognition (EL), pp. 185–189.

GPCE-2003-Kastner #analysis #hardware #named #optimisation

TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses (DK), pp. 18–36.

CGO-2003-ScottKVCDS #configuration management

Retargetable and Reconfigurable Software Dynamic Translation (KS, NK, SV, BRC, JWD, MLS), pp. 36–47.

DAC-2002-AbbaspourZ

Retargetable binary utilities (MA, JZ), pp. 331–336.

DATE-2002-ZhaoMB #compilation #design #modelling #set #using

Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models (QZ, BM, TB), pp. 1021–1026.

WCRE-2002-BouillonV #web

Retargeting of Web Pages to Other Computing Platforms with VAQUITA (LB, JV), p. 339–?.

WCRE-2002-WillsTJW #framework #parallel

Estimating Potential Parallelism for Platform Retargeting (LMW, TMT, LBBJ, DSW), pp. 55–64.

DATE-2001-Castro-LopezFDR

Retargeting of mixed-signal blocks for SoCs (RCL, FVF, MDR, ÁRV), pp. 772–775.

DATE-2001-JingnanVH #embedded #library

A Skill-based library for retargetable embedded analog cores (XJ, JCV, NH), pp. 768–769.

DATE-2000-GanesanV #array #programmable

Technology Mapping and Retargeting for Field-Programmable Analog Arrays (SG, RV), pp. 58–64.

DATE-2000-PeesHM #using

Retargeting of Compiled Simulators for Digital Signal Processors Using a Machine Description Language (SP, AH, HM), pp. 669–673.

ICSE-2000-HayesGM #component #design #program analysis #reuse #tool support

Component design of retargetable program analysis tools that reuse intermediate representations (JH, WGG, SM), pp. 356–365.

LCTES-2000-Kastner #analysis #named #optimisation

PROPAN: A Retargetable System for Postpass Optimisations and Analyses (DK), pp. 63–80.

DATE-1999-HalambiGGKDN #architecture #compilation #named

EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability (AH, PG, VG, AK, NDD, AN), pp. 485–490.

WCRE-1999-CifuentesER #design

The Design of a Resourceable and Retargetable Binary Translator (CC, MVE, NR), pp. 280–291.

DAC-1998-ChouB #composition #distributed #embedded #process #towards

Modal Processes: Towards Enhanced Retargetability Through Control Composition of Distributed Embedded Systems (PHC, GB), pp. 88–93.

DAC-1998-HanonoD #code generation #resource management #scheduling

Instruction Selection, Resource Allocation, and Scheduling in the AVIV Retargetable Code Generator (SH, SD), pp. 510–515.

DAC-1997-HadjiyiannisHD #named #set

ISDL: An Instruction Set Description Language for Retargetability (GH, SH, SD), pp. 299–302.

DAC-1997-Lakos #layout

Technology Retargeting for IC Layout (JL), pp. 460–465.

EDTC-1997-LeupersM #generative #modelling

Retargetable generation of code selectors from HDL processor models (RL, PM), pp. 140–144.

ICDAR-1997-ShamilianBW

A retargetable table reader (JHS, HSB, TLW), pp. 158–163.

PLDI-1997-Collberg #analysis #automation #mutation testing

Reverse Interpretation + Mutation Analysis = Automatic Retargeting (CSC), pp. 57–70.

DAC-1996-LiemPJ #architecture #compilation

Address Calculation for Retargetable Compilation and Exploration of Instruction-Set Architectures (CL, PGP, AAJ), pp. 597–600.

ICSM-1996-CifuentesM #question

Binary Translation: Static, Dynamic, Retargetable? (CC, VMM), pp. 340–349.

PLDI-1996-Engler #code generation #named #performance

VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System (DRE), pp. 160–170.

CC-1996-DavidsonJ #compilation #optimisation

Aggressive Loop Unrolling in a Retargetable Optimizing Compiler (JWD, SJ), pp. 59–73.

DAC-1995-BiekerM #constraints #generative #logic programming #self #using

Retargetable Self-Test Program Generation Using Constraint Logic Programming (UB, PM), pp. 605–611.

ICSM-1995-Tilley #modelling #reverse engineering

Domain-retargetable reverse engineering. III. Layered modeling (SRT), p. 52–?.

ICSM-1994-Tilley #personalisation #reverse engineering #user interface

Domain-Retargetable Reverse Engineering II: Personalized User Interfaces (SRT), pp. 336–342.

ASPLOS-1994-EnglerP #code generation #definite clause grammar #named #performance

DCG: An Efficient, Retargetable Dynamic Code Generation System (DRE, TAP), pp. 263–272.

CSM-1993-TilleyMWW #reverse engineering

Domain-Retargetable Reverse Engineering (SRT, HAM, MJW, KW), pp. 142–151.

PLDI-1992-RamseyH #debugging

A Retargetable Debugger (NR, DRH), pp. 22–31.

PLDI-1991-BradleeHE #scheduling

The Marion System for Retargetable Instruction Scheduling (DGB, RRH, SJE), pp. 229–240.

DAC-1989-NowakM #code generation #hardware #verification

Verification of Hardware Descriptions by Retargetable Code Generation (LN, PM), pp. 441–447.

PLILP-1988-DesplandMR #code generation #implementation #prolog

An Implementation of Retargetable Code Generators in Prolog (AD, MM, RR), pp. 83–104.

LFP-1986-BrooksPMWBG #compilation #design #lisp #optimisation

Design of an Optimizing, Dynamically Retargetable Compiler for Common Lisp (RAB, DBP, JLM, JLW, EB, RPG), pp. 67–87.

LFP-1986-White #case study #configuration management #lisp #performance

Reconfigurable, Retargetable Bignums: A Case Study in Efficient, Portable Lisp System Building (JLW), pp. 174–191.

POPL-1986-Coutant #alias #analysis

Retargetable High-Level Alias Analysis (DSC), pp. 110–118.

SCC-1982-MorganR #code generation

Analyzing Exotic Instructions for a Retargetable Code Generator (TMM, LAR), pp. 197–204.