18 papers:
SAC-2015-SaezPCCP #manycore #named #symmetry- ACFS: a completely fair scheduler for asymmetric single-isa multicore systems (JCS, AP, FC, DC, MPM), pp. 2027–2032.
CGO-2015-ZhangGCCH #named #performance- HERMES: a fast cross-ISA binary translator with post-optimization (XZ, QG, YC, TC, WH), pp. 246–256.
CIKM-2013-LiWZWW #probability #scalability #similarity- Computing term similarity by large probabilistic isA knowledge (PPL, HW, KQZ, ZW, XW), pp. 1401–1410.
LOPSTR-2013-LiqatKSGLGHE #analysis #energy #modelling #source code- Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models (UL, SK, AS, KG, PLG, NG, MVH, KE), pp. 72–90.
HPCA-2013-AframZG #implementation- A group-commit mechanism for ROB-based processors implementing the X86 ISA (FA, HZ, KG), pp. 47–58.
DATE-2012-StripfKB #approximate #architecture- A cycle-approximate, mixed-ISA simulator for the KAHRISMA architecture (TS, RK, JB), pp. 21–26.
SEKE-2012-AlrayesL #automation #web- Automatic Acquisition of isA Relationships from Web Tables (NA, WSL), pp. 706–711.
ASPLOS-2012-DeVuystVT #execution #migration #multi- Execution migration in a heterogeneous-ISA chip multiprocessor (MD, AV, DMT), pp. 261–272.
HPDC-2012-GeorgakoudisLN #manycore #migration #summary #symmetry- Dynamic binary rewriting and migration for shared-ISA asymmetric, multicore processors: summary (GG, SL, DSN), pp. 127–128.
- ASPLOS-2011-HashmiNTL
- A case for neuromorphic ISAs (AH, AN, JJT, MHL), pp. 145–158.
- HPCA-2010-LiBKKRH #architecture #manycore #operating system
- Operating system support for overlapping-ISA heterogeneous multi-core architectures (TL, PB, RCK, DAK, DR, SH), pp. 1–12.
ICML-2008-KirshnerP #dependence #using- ICA and ISA using Schweizer-Wolff measure of dependence (SK, BP), pp. 464–471.
- CGO-2006-ChenGSUWZLZ #execution #framework #java
- Java JNI Bridge: A Framework for Mixed Native ISA Execution (MC, SG, SS, VU, YW, QZ, EL, YZ), pp. 65–75.
CADE-2003-DixonF #named #prototype #proving #theorem proving- IsaPlanner: A Prototype Proof Planner in Isabelle (LD, JDF), pp. 279–283.
- DATE-2002-HalambiSBDN #compilation #performance #reduction #using
- An Efficient Compiler Technique for Code Size Reduction Using Reduced Bit-Width ISAs (AH, AS, PB, NDD, AN), pp. 402–408.
FASE-2000-LuthW #development #tool support- More About TAS and IsaWin — Tools for Formal Program Development (CL, BW), pp. 367–370.
- FASE-1999-LuthTKK #development #proving #theorem proving #tool support
- TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving (CL, HT, K, BKB), pp. 239–243.
ICLP-1994-Basin- IsaWhelk Interpreted in Isabelle (DAB), p. 741.
