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:
system (32)
program (19)
implement (17)
use (16)
design (15)

Stem portabl$ (all stems)

171 papers:

DATEDATE-2015-VenkataramaniBH #named
SAPPHIRE: an always-on context-aware computer vision system for portable devices (SV, VB, XSH, JL, JL, MP, BP, MS), pp. 1491–1496.
ICFPICFP-2015-SteuwerFLD #functional #generative #performance #using
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code (MS, CF, SL, CD), pp. 205–217.
PPoPPPPoPP-2015-MajoG #composition #library #locality #optimisation
A library for portable and composable data locality optimizations for NUMA systems (ZM, TRG), pp. 227–238.
PPoPPPPoPP-2015-MuralidharanGCSH #performance #programming
A collection-oriented programming model for performance portability (SM, MG, BCC, AS, MWH), pp. 263–264.
PEPMPEPM-2014-KerneisSH #continuation #named #performance #static analysis
QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines (GK, CS, SH), pp. 83–94.
LISPILC-2014-KeishiS #generative #lalr #named #parsing
PaGe: Portable LALR(1) Parser Generator (SK, AS), p. 8.
CHICHI-2014-LiangCTKHYC #interactive #named
GaussBricks: magnetic building blocks for constructive tangible interactions on portable displays (RHL, LWC, HYT, HCK, DYH, DNY, BYC), pp. 3153–3162.
HCIDUXU-DI-2014-AlomariM #towards
Towards Data Confidentiality and Portability in Cloud Storage (EAA, MMM), pp. 38–49.
HCIDUXU-DP-2014-GomezH #case study #design #experience #roadmap #smarttech
Beyond Wearables: Experiences and Trends in Design of Portable Medical Devices (RG, AH), pp. 261–272.
ECOOPECOOP-2014-LavoieDF #javascript #monitoring #performance #runtime #using #virtual machine
Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering (EL, BD, MF), pp. 541–566.
SACSAC-2014-UnoI #music #named #recommendation
MALL: a life log based music recommendation system and portable music player (AU, TI), pp. 939–944.
ASPLOSASPLOS-2014-NguyenLP #on-demand
Deterministic galois: on-demand, portable and parameterless (DN, AL, KP), pp. 499–512.
CGOCGO-2014-MargiolasO #communication #optimisation
Portable and Transparent Host-Device Communication Optimization for GPGPU Environments (CM, MFPO), p. 55.
PPoPPPPoPP-2014-YangBMB #fortran
Portable, MPI-interoperable coarray fortran (CY, WB, JMMC, PB), pp. 81–92.
DATEDATE-2013-XieYPSC #adaptation
Adaptive thermal management for portable system batteries by forced convection cooling (QX, SY, MP, DS, NC), pp. 1225–1228.
VLDBVLDB-2013-ZhangHHL #architecture #cpu #gpu #named #parallel #performance #query #towards
OmniDB: Towards Portable and Efficient Query Processing on Parallel CPU/GPU Architectures (SZ, JH, BH, ML), pp. 1374–1377.
ITiCSEITiCSE-2013-RobertsS #library
A portable graphics library for introductory CS (ER, KS), pp. 153–158.
CHICHI-2013-LiangCCPCLYC13a #interactive #named
GaussBits: magnetic tangible bits for portable and occlusion-free near-surface interactions (RHL, KYC, LWC, CXP, MYC, RHL, DNY, BYC), pp. 1391–1400.
HCIDHM-SET-2013-OkimotoPOM #usability
Usability of Portable Fire Extinguisher: Perspectives of Ergonomics and Intuitive Use (MLLRO, MP, STdO, VM), pp. 355–364.
EDOCEDOC-2013-LenhardW #execution #process
Measuring the Portability of Executable Service-Oriented Processes (JL, GW), pp. 117–126.
KDIRKDIR-KMIS-2013-SucaS #approach #documentation #ontology #using
An Ontology for Portability and Interoperability Digital Documents — An Approach in Document Engineering using Ontologies (EGS, FSCdS), pp. 373–380.
SEKESEKE-2013-LenhardW #detection #modelling
Detecting Portability Issues in Model-Driven BPEL Mappings (S) (JL, GW), pp. 18–21.
SIGIRSIGIR-2013-Ruiz-RicoRTG #automation #categorisation #multi #wiki
A portable multilingual medical directory by automatic categorization of Wikipedia articles (FRR, MCRS, DT, JLVG), pp. 1099–1100.
PADLPADL-2013-Moura #implementation #induction #logic programming #performance
A Portable and Efficient Implementation of Coinductive Logic Programming (PM), pp. 77–92.
ASPLOSASPLOS-2013-PhothilimthanaARA #architecture #performance
Portable performance on heterogeneous architectures (PMP, JA, JRK, SPA), pp. 431–444.
CGOCGO-2013-GreweWO #parallel #source code
Portable mapping of data parallel programs to OpenCL for heterogeneous systems (DG, ZW, MFPO), p. 10.
ISMMISMM-2013-RicciGM #garbage collection #precise
Elephant tracks: portable production of complete and precise gc traces (NPR, SZG, JEBM), pp. 109–118.
LCTESLCTES-2013-WangCSCH #api #embedded #manycore #using
Portable mapping of openMP to multicore embedded systems using MCA APIs (CW, SC, PS, BMC, JH), pp. 153–162.
DACDAC-2012-WenZCWX #analysis #named #performance #reliability #scalability #statistics
PS3-RAM: a fast portable and scalable statistical STT-RAM reliability analysis method (WW, YZ, YC, YW, YX), pp. 1191–1196.
DATEDATE-2012-KesslerDTNRDBTP #aspect-oriented #manycore #performance #programmable
Programmability and performance portability aspects of heterogeneous multi-/manycore systems (CWK, UD, ST, RN, AR, UD, SB, JLT, SP), pp. 1403–1408.
SACSAC-2012-ZaraketNSJ #architecture #library #parallel #source code #using
Portable Parallel Programs using architecture-aware libraries (FAZ, MN, MS, AJ), pp. 1922–1924.
LCTESLCTES-2012-Gal-OnL #benchmark #challenge #embedded #metric
Creating portable, repeatable, realistic benchmarks for embedded systems and the challenges thereof (SGO, ML), pp. 149–152.
PPoPPPPoPP-2012-KamilCBCGHMF #domain-specific language #effectiveness #embedded #parallel #performance
Portable parallel performance from sequential, productive, embedded domain-specific languages (SK, DC, SB, HC, EG, JH, JM, AF), pp. 303–304.
PPoPPPPoPP-2012-LeissaHW #programming
Extending a C-like language for portable SIMD programming (RL, SH, IW), pp. 65–74.
DATEDATE-2011-Brown #power management #roadmap
Power management trends in portable consumer applications (JB), pp. 1048–1052.
VLDBVLDB-2011-DashPA #interactive #named #scalability
CoPhy: A Scalable, Portable, and Interactive Index Advisor for Large Workloads (DD, NP, AA), pp. 362–372.
SEKESEKE-2011-ChiuchiSSV #guidelines #performance
Efficiency and portability: guidelines to develop websites (CAC, RCGdS, ABS, CRV), pp. 37–41.
PADLPADL-2011-WielemakerC #on the #prolog
On the Portability of Prolog Applications (JW, VSC), pp. 69–83.
ASPLOSASPLOS-2011-HormatiSWMM #named #programming
Sponge: portable stream programming on graphics engines (AH, MS, MW, TNM, SAM), pp. 381–392.
PPoPPPPoPP-2011-WangLCWCZZ #named #parallel #scalability
COREMU: a scalable and portable parallel full-system emulator (ZW, RL, YC, XW, HC, WZ, BZ), pp. 213–222.
DATEDATE-2010-LoHCHC #flexibility #multi
A portable multi-pitch e-drum based on printed flexible pressure sensors (CML, TCH, CYC, JH, KTC), pp. 1082–1087.
SIGMODSIGMOD-2010-AlagiannisDSAP #automation #design #interactive
An automated, yet interactive and portable DB designer (IA, DD, KS, AA, NP), pp. 1183–1186.
ITiCSEITiCSE-2010-Larraza-MendiluzeG #game studies #learning #process #topic #using
Changing the learning process of the input/output topic using a game in a portable console (ELM, NGV), p. 316.
ITiCSEITiCSE-2010-QianLH #education #embedded
Portable labs in a box for embedded system education (KQ, CTDL, XH), p. 318.
FASEFASE-2010-LuoZZH #approach #concurrent #lightweight
A Lightweight and Portable Approach to Making Concurrent Failures Reproducible (QL, SZ, JZ, MH), pp. 323–337.
SCAMSCAM-2010-KatsV #aspect-oriented #case study #encapsulation #framework #logic #programming #using
Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability (LCLK, EV), pp. 147–156.
SACSAC-2010-OliverSF #abstraction #network #operating system
An operating system abstraction layer for portable applications in wireless sensor networks (RSO, IS, GF), pp. 742–748.
ICSEICSE-2010-Staite #re-engineering
Portable secure identity management for software engineering (CS), pp. 325–326.
LCTESLCTES-2010-WernsingS #adaptation #framework #manycore
Elastic computing: a framework for transparent, portable, and adaptive multi-core heterogeneous computing (JRW, GS), pp. 115–124.
SEKESEKE-2009-ChenZLLYLGW #approach #development #embedded #ontology
An Ontology-based Approach to Portable Embedded System Development (FC, HZ, JL, RL, HY, HL, HG, YW), pp. 569–574.
OOPSLAOOPSLA-2009-LeeHGM #debugging
Debug all your code: portable mixed-environment debugging (BL, MH, RG, KSM), pp. 207–226.
PPoPPPPoPP-2009-BikshandiCKNPSSVW #implementation #multi #performance #source code
Efficient, portable implementation of asynchronous multi-place programs (GB, JGC, SBK, VKN, IP, VAS, SS, PV, TW), pp. 271–282.
CASECASE-2008-BaiKL #architecture
Open architecture for contactless smartcard-based portable electronic payment systems (LB, JK, PL), pp. 715–719.
CASECASE-2008-Mainardi #design #interface
Design of a portable touchscreen interface for powerline domotic systems (EM), pp. 680–684.
DATEDATE-2008-GailliardBSV #component #corba #protocol #semantics
Mapping Semantics of CORBA IDL and GIOP to Open Core Protocol for Portability and Interoperability of SDR Waveform Components (GG, HB, MS, FV), pp. 330–335.
SACSAC-2008-SavoldiG #logic #physics
Logical and physical data collection of Windows CE based portable devices (AS, PG), pp. 1448–1449.
PPoPPPPoPP-2008-HoustonPRKFADH #interface #memory management #multi #runtime
A portable runtime interface for multi-level memory hierarchies (MH, JYP, MR, TJK, KF, AA, WJD, PH), pp. 143–152.
DATEDATE-2007-PaganiniKDCC #challenge #design #multi
Portable multimedia SoC design: a global challenge (MP, GK, SD, GC, VC), pp. 831–834.
ICDARICDAR-2007-KimPK #architecture #embedded
An Embedded OCR Software Architecture for Enhancing Portability (SK, JP, YBK), pp. 1004–1008.
ICDARICDAR-2007-LinsSS #documentation #image #quality
Assessing and Improving the Quality of Document Images Acquired with Portable Digital Cameras (RDL, GPeS, ARGeS), pp. 569–573.
ICSMEICSM-2007-SuttonM #c #how #preprocessor
How We Manage Portability and Configuration with the C Preprocessor (AS, JIM), pp. 275–284.
LISPILC-2007-Herth #lisp #user interface #visual notation
Portable Common Lisp graphical user interfaces with LTk (PH), p. 19.
CHICHI-2007-SalvucciMZB #performance
iPod distraction: effects of portable music-player use on driver performance (DDS, DM, MZ, DPB), pp. 243–250.
HCIHIMI-IIE-2007-ShibuyaTKT #3d
Operation-Action Mapping in 3D Information Space on Portable Information Terminal (YS, HT, IK, YT), pp. 628–634.
SACSAC-2007-KinebuchiKN #kernel
Constructing machine emulator on portable microkernel (YK, HK, TN), pp. 1197–1198.
LCTESLCTES-2007-AuerbachBIKRRT #java #programming #realtime
Java takes flight: time-portable real-time programming with exotasks (JSA, DFB, DTI, CMK, VTR, HR, RT), pp. 51–62.
ASEASE-2006-Volanschi #approach
A Portable Compiler-Integrated Approach to Permanent Checking (ENV), pp. 103–112.
CASECASE-2006-LowY #design
Providing Assistance to Knee in the Design of a Portable Active Orthotic Device (KHL, YY), pp. 188–193.
DATEDATE-2006-DErricoQ #approach
Constructing portable compiled instruction-set simulators: an ADL-driven approach (JD, WQ), pp. 112–117.
DATEDATE-2006-NakamuraST #integration #performance #simulation
An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC (HN, NS, NT), pp. 1157–1158.
DATEDATE-DF-2006-KaruriLAMK #composition #design #float #implementation
Design and implementation of a modular and portable IEEE 754 compliant floating-point unit (KK, RL, GA, HM, MK), pp. 221–226.
ICSMEICSM-2006-BakotaFGRX #maintenance #modelling #problem #towards
Towards Portable Metrics-based Models for Software Maintenance Problems (TB, RF, TG, CR, JX), pp. 483–486.
QAPLQAPL-2005-BinderH06 #bytecode #cpu #metric #using
Using Bytecode Instruction Counting as Portable CPU Consumption Metric (WB, JH), pp. 57–77.
QAPLQAPL-2006-BinderH06a #bytecode #profiling #using #virtual machine
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting (WB, JH), pp. 45–64.
SACSAC-2006-ErshovNM #architecture #precise
Quad and correctly rounded double precision math functions: portable and optimized for Intel architectures (AE, AN, SM), pp. 1310–1317.
ISMMISMM-2006-Hosking #garbage collection #multi
Portable, mostly-concurrent, mostly-copying garbage collection for multi-processors (ALH), pp. 40–51.
DATEDATE-2005-KhanV #algorithm #scheduling
An Iterative Algorithm for Battery-Aware Task Scheduling on Portable Computing Platforms (JK, RV), pp. 622–627.
WICSAWICSA-2004-Matinlassi #architecture #case study #maintenance #product line
Evaluating the Portability and Maintainability of Software Product Family Architecture: Terminal Software Case Study (MM), pp. 295–300.
PEPMPEPM-2004-HulaasB #cpu #java #program transformation
Program transformations for portable CPU accounting and control in Java (JH, WB), pp. 169–177.
SACSAC-2004-DemetrescuF #debugging #virtual machine
A portable virtual machine for program debugging and directing (CD, IF), pp. 1524–1530.
SACSAC-2003-WilsonL #usability
Evaluating the Usability of Portable Electronic Books (RW, ML), pp. 564–568.
DACDAC-2002-RakhmatovVC #scalability
Battery-conscious task sequencing for portable devices including voltage/clock scaling (DNR, SBKV, CC), pp. 189–194.
PLDIPLDI-2002-HenzingerK #embedded #predict #realtime
The Embedded Machine: Predictable, Portable Real-Time Code (TAH, CMK), pp. 315–326.
OOPSLAOOPSLA-2002-KillijianRF #approach #corba
Portable serialization of CORBA objects: a reflective approach (MOK, JCRG, JCF), pp. 68–82.
DACDAC-2001-SimunicBAGM #power management #scalability
Dynamic Voltage Scaling and Power Management for Portable Systems (TS, LB, AA, PWG, GDM), pp. 524–529.
DATEDATE-2001-BeniniCMMPS #scheduling
Extending lifetime of portable systems by battery scheduling (LB, GC, AM, EM, MP, RS), pp. 197–203.
ICALPICALP-2001-BilardiP #locality #memory management
A Characterization of Temporal Locality and Its Portability across Memory Hierarchies (GB, EP), pp. 128–139.
OOPSLAOOPSLA-2001-BinderHV #approach #java
Portable Resource Control in Java: The J-SEAL2 Approach (WB, JH, AV), pp. 139–155.
PPoPPPPoPP-2001-CarreraB #clustering #network #performance
Efficiency vs. portability in cluster-based network servers (EVC, RB), pp. 113–122.
DATEDATE-2000-Perez-MontesMDFR #named
XFridge: A SPICE-Based, Portable, User-Friendly Cell-Level Sizing Tool (FMPM, FM, RDC, FVF, ÁRV), p. 739.
ITiCSEITiCSE-2000-CarrS #education #library #parallel #programming #thread
A portable class library for teaching multithreaded programming (SC, CKS), pp. 124–127.
WCREWCRE-2000-MamasK #source code #towards #using #xml
Towards Portable Source Code Representations using XML (EM, KK), p. 172–?.
CHICHI-1999-GoldsteinBAT #interface #mobile #type system
Non-Keyboard QWERTY Touch Typing: A Portable Input Interface for The Mobile User (MG, RB, GA, ST), pp. 32–39.
HCIHCI-EI-1999-HosonoIT #evaluation #requirements
Sensory Evaluation Method for Determining Portable Information Terminal Requirements for Nursing Care Applications (NH, HI, YT), pp. 953–957.
PPDPPPDP-1999-JonesRR #assembly #garbage collection #named
C--: A Portable Assembly Language that Supports Garbage Collection (SLPJ, NR, FR), pp. 1–28.
SACSAC-1999-RudenkoRPK #framework #power management
The Remote Processing Framework for Portable Computer Power Saving (AR, PLR, GJP, GHK), pp. 365–372.
HPDCHPDC-1999-WoodwardA #distributed #grid #programming
Portable Petaflop/s Programming: Applying Distributed Computing Methodology to the Grid within a Single Machine Room (PRW, SEA), pp. 70–83.
SIGMODSIGMOD-1998-GodfreySE #database
Secure and Portable Database Extensibility (MWG, TM, PS, TvE), pp. 390–401.
ITiCSEITiCSE-1998-Thomas #education
Group 4 (working group): the impact of campus-wide portable computing on computer science education (ST), p. 270.
AdaEuropeAdaEurope-1998-HarbourSSJ #api #industrial #named
PINROB: A Portable API for Industrial Robots (MGH, RGS, AS, JJ), pp. 151–162.
AdaEuropeAdaEurope-1998-StrohmeierFRB #named #testing
Quality-for-ASIS: A Portable Testing Facility for ASIS (AS, VF, SR, SB), pp. 163–175.
AdaSIGAda-1998-CarlisleM #agile #design #named #user interface
RAPID: A Free, Portable GUI Design Tool (MCC, PM), pp. 158–164.
AdaSIGAda-1998-TzruyaB #distributed #implementation #java
A Portable Implementation of the Distributed Systems Annex in Java (YT, MBA), pp. 204–211.
EDOCEDOC-1998-FelberGS #corba
Evaluating CORBA portability: the case of an object group service (PF, RG, AS), pp. 164–173.
CCCC-1998-Pettersson #debugging #profiling
Portable Debugging and Profiling (MP), pp. 279–293.
ISMMISMM-1998-KakkadJW #compilation #runtime
Portable Run-Time Type Description for Conventional Compilers (SVK, MSJ, PRW), pp. 146–153.
DACDAC-1997-TsuiCWDP #design #estimation #framework #power management #video
A Power Estimation Framework for Designing Low Power Portable Video Applications (CYT, KKC, QW, CSD, MP), pp. 421–424.
CSMRCSMR-1997-Favre #approach #maintenance #scalability
A Rigorous Approach to Support the Maintenance of Large Portable Software (JMF), pp. 44–47.
IFLIFL-1997-JonesNO #assembly #named
C-: A Portable Assembly Language (SLPJ, TN, DO), pp. 1–19.
AdaTRI-Ada-1997-BrukardtM #ada
CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows (RB, TM), pp. 91–104.
PPoPPPPoPP-1997-JiangSS #memory management #multi #performance
Application Restructuring and Performance Portability on Shared Virtual Memory and Hardware-Coherent Multiprocessors (DJ, HS, JPS), pp. 217–229.
ITiCSEITiCSE-1996-Roberts #source code #tool support
Tools for creating portable demonstration programs (ER), pp. 78–80.
WCREWCRE-1996-RobertsPK #assembly #reverse engineering
A Portable Assembler Reverse Engineering Environment (PARE) (SNR, RLP, DGK), p. 76–?.
PLDIPLDI-1996-TrinderHMPJ #haskell #implementation #named #parallel
GUM: A Portable Parallel Implementation of Haskell (PWT, KH, JSMJ, ASP, SLPJ), pp. 79–88.
OOPSLAOOPSLA-1996-Yelland #case study #design pattern #framework
Creating Host Compliance in a Portable Framework: A Study in the Use of Existing Design Patterns (PMY), pp. 18–29.
CCCC-1996-Salomon #maintenance #partial evaluation #reuse #using
Using Partial Evaluation in Support of Portability, Reusability, and Maintainability (DJS), pp. 208–222.
HPDCHPDC-1996-SilvaSC #distributed #memory management
Portable Transparent Checkpointing for Distributed Shared Memory (LMS, JGS, SC), pp. 422–431.
ASEKBSE-1995-FeldmanF #automation #case study #scalability
Portability by Automatic Translation — A Large-Scale Case Study (YAF, DF), pp. 123–130.
SASSAS-1995-SerranoW #compilation #functional #named #optimisation #strict
Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages (MS, PW), pp. 366–381.
PPDPPLILP-1995-Wunderwald #evaluation #implementation
A Portable Implementation of Memoing Evaluation (JEW), pp. 465–466.
HPDCHPDC-1995-RankinB #algorithm #distributed #implementation #parallel
A Portable Distributed Implementation of the Parallel Multipole Tree Algorithm (WTR, JABJ), pp. 17–22.
HPDCHPDC-1995-SilvaSCC
Portable Checkpointing and Recovery (LMS, JGS, SC, LC), pp. 188–195.
DACDAC-1994-ParkesBP #approach #generative #named #object-oriented #parallel #testing
ProperHITEC: A Portable, Parallel, Object-Oriented Approach to Sequential Test Generation (SP, PB, JHP), pp. 717–721.
DATEEDAC-1994-GreinerLWW #complexity #design #library
Design of a High Complexity Superscalar Microprocessor with the Portable IDPS ASIC Library (AG, LL, FW, LW), pp. 9–13.
AdaEuropeAdaEurope-1994-ObermayerSSKKL #ada #analysis #realtime
Portability Effort Estimates for Real Time Applications Written in Ada Through Static Code Analysis (PEO, JS, GS, AK, PK, RL), pp. 483–488.
AdaEuropeAdaEurope-1994-PitetteCGS #ada #named #realtime
Ex2: Intergrating Ada and Extra Support in a Doubly Portable Extended Executive Designed for Hard Real Time Systems (GMP, JYC, DG, JMS), pp. 406–420.
PPDPPLILP-1994-ChikayamaFS #implementation #performance
A Portable and Efficient Implementation of KL1 (TC, TF, DS), pp. 25–39.
POPLPOPL-1994-DoligezG #garbage collection #multi
Portable, Unobtrusive Garbage Collection for Multiprocessor Systems (DD, GG), pp. 70–83.
SACSAC-1994-RusnokLC #speech
Freedom’93: a portable speech device (KLR, MSL, JMC), pp. 556–560.
CCCC-1994-GeorgeGR #compilation #optimisation
A Portable and Optimizing Back End for the SML/NJ Compiler (LG, FG, JHR), pp. 83–97.
ICLPILPS-1994-RameshC #prolog
A Portable Method of Integrating SLG Resolution into Prolog Systems (RR, WC), pp. 618–632.
ICLPILPS-1994-SagonasW #compilation #prolog
A Portable Compiler for Integrating HiLog into Prolog Systems (KFS, DSW), p. 682.
VLDBVLDB-1993-BernsteinGW #named #transaction
STDL — A Portable Language for Transaction Processing (PAB, POG, TW), pp. 218–229.
PEPMPEPM-1993-ConselPW #composition #incremental #operating system #partial evaluation #performance
Incremental Partial Evaluation: The Key to High Performance, Modularity and Portability in Operating Systems (CC, CP, JW), pp. 44–46.
OOPSLAOOPSLA-1993-KaleK #c++ #concurrent #object-oriented
CHARM++: A Portable Concurrent Object Oriented System Based On C++ (LVK, SK), pp. 91–108.
HPDCHPDC-1993-ButlerLL #implementation #named
P4-Linda: A Portable Implementation of Linda (RB, ALL, ELL), pp. 50–58.
PPoPPPPoPP-1993-BlellochCHSZ #implementation
Implementation of a Portable Nested Data-Parallel Language (GEB, SC, JCH, JS, MZ), pp. 102–111.
PPoPPPPoPP-1993-MorrisettT #framework #ml #multi #standard
Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey (JGM, APT), pp. 198–207.
PPoPPPPoPP-1993-WagnerC #implementation #named #performance
Leapfrogging: A Portable Technique for Implementing Efficient Futures (DBW, BC), pp. 208–217.
ICLPICLP-1993-ChikayamaFY #implementation #performance
A Portable and Reasonably Efficient Implementation of KL1 (TC, TF, HY), p. 833.
LISPLFP-1992-NagasakaSIGT #implementation #lisp #performance
Tachyon Common Lisp: An Efficient and Portable Implementation of CLtL2 (AN, YS, TI, HG, JT), pp. 270–277.
CHICHI-1992-Good #design
Participatory design of a portable torque-feedback device (MG), pp. 439–446.
SOSPSOSP-WIP-1991-Weihl92 #named #parallel #source code #tool support
Prelude: Tools for Building Portable Parallel Programs (Abstract) (WEW), p. 24.
ICLPJICSLP-1992-GudemanBD #implementation #named #performance
jc: An Efficient and Portable Sequential Implementation of Janus (DG, KDB, SKD), pp. 399–413.
ASPLOSASPLOS-1991-Keppel #interface #on the fly
A Portable Interface for On-the-Fly Instruction Space Modifiction (DK), pp. 86–95.
ICLPISLP-1991-FosterKT #composition #parallel #programming #source code #using
Using Compositional Programming to Write Portable, High-Performance Parallel Programs (ITF, CK, ST), pp. 737–738.
PLDIPLDI-1989-AtkinsonDHJKW #case study #experience
Experiences Creating a Portable Cedar (RRA, AJD, CH, CJ, PK, MW), pp. 322–329.
SOSPSOSP-1989-WeiserDH #approach #runtime
The Portable Common Runtime Approach to Interoperability (MW, AJD, CH), pp. 114–122.
PLDIPLDI-1988-BenitezD
A Portable Global Optimizer and Linker (MEB, JWD), pp. 329–338.
LISPLFP-1988-SwansonKL #implementation #lisp #standard
An Implementation of Portable Standard LISP on the BBN Butterfly (MRS, RRK, GL), pp. 132–142.
HCIHCI-CE-1987-StelovskyC #towards
Towards Portability of Dialog Systems (JS, PC), pp. 83–88.
OOPSLAOOPSLA-1987-Miranda #interpreter #named #smalltalk
BrouHaHa — A Portable Smalltalk Interpreter (EM), pp. 354–365.
ESECESEC-1987-CurrieFC #automaton #named
Ten15: An Abstract Machine for Portable Environments (IFC, JMF, PWC), pp. 138–148.
LISPLFP-1986-White #case study #configuration management #lisp #performance
Reconfigurable, Retargetable Bignums: A Case Study in Efficient, Portable Lisp System Building (JLW), pp. 174–191.
ICLPICLP-1986-BowenBCT86 #compilation #design #implementation #incremental #performance #prolog
The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler (KAB, KAB, IC, AKT), pp. 650–656.
DACDAC-1985-GrayH
Portability in silicon CAE (JPG, JH), pp. 597–601.
PLDISCC-1984-Powell #compilation #optimisation
A portable optimizing compiler for Modula-2 (MLP), pp. 310–319.
LISPLFP-1984-ChaillouxDH #lisp #performance
LE LISP, a Portable and Efficient LISP System (JC, MD, JMH), pp. 113–122.
CADECADE-1984-LuskO #automation #reasoning #research
A Portable Environment for Research in Automated Reasoning (ELL, RAO), pp. 43–52.
AdaAda-1983-GoodenoughP #ada #design #interface #testing
Designing and Testing Interfaces for Portable Software: Ada TEXT_IO as an Example (JBG, THP), pp. 104–114.
PLDISCC-1982-GrissBH #compilation #lisp
Current Status of a Portable Lisp Compiler (MLG, EB, ACH), pp. 276–283.
LISPLFP-1982-GrissBM #lisp #named
PSL: A Portable LISP System (MLG, EB, GQMJ), pp. 88–97.
ICSEICSE-1982-MiyazawaOK #communication #protocol
The Portable Communication Protocol Program COMPAS for Data Terminal Systems (KM, MO, SK), pp. 420–421.
SIGMODSIGMOD-1980-AllchinKW #independence #named
FLASH: A Language-Independent, Portable File Access System (JEA, AMK, GW), pp. 151–156.
DACDAC-1979-BekeS #automation #interactive #layout #named
CALMOS: A portable software system for the automatic and interactive layout of MOS/LSI (HB, WS), pp. 102–108.
PLDISCC-1979-Feldman #compilation #fortran #implementation #tool support #using
Implementation of a portable Fortran 77 compiler using modern tools (SIF), pp. 98–106.
ICSEICSE-1979-DAgapayeff #framework #on the
On Microprocessors: A Platform for True Program Portability with Examples from Microcobal (AD), pp. 332–339.
POPLPOPL-1978-Johnson #compilation #theory and practice
A Portable Compiler: Theory and Practice (SCJ), pp. 97–104.
ICSEICSE-1978-Stern #experience
Some Experience in Building Portable Software (MS), pp. 327–332.
ICSEICSE-1978-Thalmann #automaton #design #evolution
Evolution in the Design of Abstract Machines for Software Portability (DT), pp. 333–340.
SOSPSOSP-1977-CheritonMMS #operating system #realtime
Thoth, a Portable Real-Time Operating System (Extended Abstract) (DRC, MAM, LSM, GRS), p. 171.

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.