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:
general (78)
system (30)
test (25)
use (20)
program (19)

Stem purpos$ (all stems)

152 papers:

DATEDATE-2015-DubenSPYAEPP #big data #case study #energy #performance
Opportunities for energy efficient computing: a study of inexact general purpose processors for high-performance and big-data applications (PDD, JS, P, SY, JA, CCE, KVP, TNP), pp. 764–769.
DATEDATE-2015-YallaHK #comparison #multi
Comparison of multi-purpose cores of Keccak and AES (PY, EH, JPK), pp. 585–588.
ICFPICFP-2015-StuckiRUB #sequence
RRB vector: a practical general purpose immutable sequence (NS, TR, VU, PB), pp. 342–354.
CSCWCSCW-2015-KobayashiAIST #multi
Motivating Multi-Generational Crowd Workers in Social-Purpose Work (MK, SA, TI, SS, HT), pp. 1813–1824.
HCIDUXU-DD-2015-Fabri #design #education #lessons learnt #student
Thinking with a New Purpose: Lessons Learned from Teaching Design Thinking Skills to Creative Technology Students (MF), pp. 32–43.
HCIHCI-IT-2015-HolsteinWWL #challenge #user interface
Current Challenges in Compositing Heterogeneous User Interfaces for Automotive Purposes (TH, MW, JW, RL), pp. 531–542.
HCIHCI-UC-2015-FrauCT #mobile #predict #probability #prototype #visualisation
Graphic Visualization of Probabilistic Traffic/Trajectory Predictions in Mobile Applications. A First Prototype and Evaluations for General Aviation Purposes (GF, FDC, DT), pp. 154–164.
ECIRECIR-2015-PasinatoMZ #elicitation #learning #rating
Active Learning Applied to Rating Elicitation for Incentive Purposes (MBP, CEM, GZ), pp. 291–302.
RecSysRecSys-2015-BanksRS #game studies #recommendation #using
The Recommendation Game: Using a Game-with-a-Purpose to Generate Recommendation Data (SB, RR, BS), pp. 305–308.
GPCEGPCE-2015-KolesnichenkoPN #contract #gpu #programming
Contract-based general-purpose GPU programming (AK, CMP, SN, BM), pp. 75–84.
ICSEICSE-v1-2015-MilicevicNKJ #constraints #higher-order #relational #theorem proving
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (AM, JPN, EK, DJ), pp. 609–619.
ICSEICSE-v2-2015-AlexandruG #agile #analysis #multi
Rapid Multi-Purpose, Multi-Commit Code Analysis (CVA, HCG), pp. 635–638.
CGOCGO-2015-McAfeeO #framework #generative #learning #multi #named
EMEURO: a framework for generating multi-purpose accelerators via deep learning (LCM, KO), pp. 125–135.
CAiSECAiSE-2014-KayesHC #data access #framework #named
PO-SAAC: A Purpose-Oriented Situation-Aware Access Control Framework for Software Services (ASMK, JH, AC), pp. 58–74.
ICEISICEIS-v1-2014-Tribolet #adaptation #approach #bottom-up #enterprise #top-down
An Engineering Approach to Natural Enterprise Dynamics — From Top-down Purposeful Systemic Steering to Bottom-up Adaptive Guidance Control (JT), p. XIII.
ASPLOSASPLOS-2014-Wood #architecture #named
Resolved: specialized architectures, languages, and system software should supplant general-purpose alternatives within a decade (DAW), pp. 653–654.
DACDAC-2013-GrossmanTBS #design #framework #simulation
The role of cascade, a cycle-based simulation infrastructure, in designing the anton special-purpose supercomputers (JPG, BT, JAB, DES), p. 9.
ICDARICDAR-2013-BarbozaLJ #documentation #forensics
A Color-Based Model to Determine the Age of Documents for Forensic Purposes (RdSB, RDL, DMdJ), pp. 1350–1354.
ICDARICDAR-2013-KirbyH #analysis #using
Analysis of Topographic Maps for Recreational Purposes Using Decision Trees (RK, TCH), pp. 1105–1109.
MODELSMoDELS-2013-RajbhojR #approach #detection #metamodelling #version control
A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System (AR, SR), pp. 422–435.
MODELSMoDELS-2013-RajbhojR #approach #detection #metamodelling #version control
A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System (AR, SR), pp. 422–435.
HPDCHPDC-2013-Shaw #named #simulation
Anton: a special-purpose machine that achieves a hundred-fold speedup in biomolecular simulations (DES), pp. 129–130.
ISSTAISSTA-2013-HanazumiM #generative #java #source code
Generation of Java programs properties from test purposes (SH, ACVdM), pp. 362–365.
WICSA-ECSAWICSA-ECSA-2012-KeulerKNR #architecture #framework #re-engineering #towards
Architecture Engagement Purposes: Towards a Framework for Planning “Just Enough”-Architecting in Software Engineering (TK, JK, MN, DR), pp. 234–238.
DACDAC-2012-LuoC #design
Design of pin-constrained general-purpose digital microfluidic biochips (YL, KC), pp. 18–25.
SIGMODSIGMOD-2012-SearsR #named
bLSM: a general purpose log structured merge tree (RS, RR), pp. 217–228.
CHICHI-2012-DixonFW #analysis #interface #using #visual notation
A general-purpose target-aware pointing enhancement using pixel-level analysis of graphical interfaces (MD, JF, JOW), pp. 3167–3176.
CAiSECAiSE-2012-StirnaP #enterprise #modelling
Purpose Driven Competency Planning for Enterprise Modeling Projects (JS, AP), pp. 662–677.
RecSysRecSys-2012-JiangJFZ #recommendation
Recommending academic papers via users’ reading purposes (YJ, AJ, YF, DZ), pp. 241–244.
OOPSLAOOPSLA-2012-HaydenSDHF #c #named #performance
Kitsune: efficient, general-purpose dynamic software updating for C (CMH, EKS, MD, MH, JSF), pp. 249–264.
ICSEICSE-2012-AtkinsonGK #domain-specific language
Symbiotic general-purpose and domain-specific languages (CA, RG, BK), pp. 1269–1272.
CBSECBSE-2011-MeloP #component #framework #open source #recommendation
A component-based open-source framework for general-purpose recommender systems (FMM, ÁRPJ), pp. 67–72.
ITiCSEITiCSE-2011-AnjorinGR #collaboration #framework #learning #named #web
CROKODIL: a platform supporting the collaborative management of web resources for learning purposes (MA, RDG, CR), p. 361.
TACASTACAS-2011-BertrandJSK #automaton #nondeterminism #testing
Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (NB, TJ, AS, MK), pp. 96–111.
CIKMCIKM-2011-WeichselbraunGS #game studies #sentiment #using
Using games with a purpose and bootstrapping to create domain-specific sentiment lexicons (AW, SG, AS), pp. 1053–1060.
SACSAC-2011-MitakeKCN #embedded #manycore #realtime
Coexisting real-time OS and general purpose OS on an embedded virtualization layer for a multicore processor (HM, YK, AC, TN), pp. 629–630.
CGOCGO-2011-WuHBW #energy #manycore #virtual machine
A HW/SW co-designed heterogeneous multi-core virtual machine for energy-efficient general purpose computing (YW, SH, EB, CW), pp. 236–245.
DACDAC-2010-JuHRC #analysis #multi #source code
Timing analysis of esterel programs on general-purpose multiprocessors (LJ, BKH, AR, SC), pp. 48–51.
DATEDATE-2010-ZhangDYMZKCPS #code generation #compilation #evaluation
A special-purpose compiler for look-up table and code generation for function evaluation (YZ, LD, PY, SPM, HZ, MTK, CC, NP, XS), pp. 1130–1135.
SIGMODSIGMOD-2010-ZhangHOS #distance #edit distance #named #similarity #string
Bed-tree: an all-purpose index structure for string similarity search based on edit distance (ZZ, MH, BCO, DS), pp. 915–926.
PEPMPEPM-2010-Siek #metalanguage
General purpose languages should be metalanguages (JGS), pp. 3–4.
CHICHI-2010-WalshG #game studies #named #recommendation
Curator: a game with a purpose for collection recommendation (GW, JG), pp. 2079–2082.
ASPLOSASPLOS-2010-HarrisTCU #architecture #multi #runtime
Dynamic filtering: multi-purpose architecture support for language runtime systems (TH, ST, AC, OSÜ), pp. 39–52.
DATEDATE-2009-VayrynenSL #execution #fault tolerance #multi #optimisation
Fault-tolerant average execution time optimization for general-purpose multi-processor system-on-chips (MV, VS, EL), pp. 484–489.
HTHT-2009-RafelsbergerS #game studies #network #social
Games with a purpose for social networking platforms (WR, AS), pp. 193–198.
GT-VMTGT-VMT-2009-SchimmelGS #graph grammar #term rewriting
Gene Expression with General Purpose Graph Rewriting Systems (JS, TG, CS), pp. 202–212.
CHICHI-2009-JiangVBLS #education #named
CThru: exploration in a video-centered information space for educational purposes (HJ, AV, MB, RAL, CS), pp. 1247–1250.
HCIHCI-NT-2009-AlmadaLAFC #composition #framework #named
YVision: A General Purpose Software Composition Framework (AA, GL, AA, JF, NC), pp. 779–788.
HCIHIMI-II-2009-ReichlH #education #learning
Promoting a Central Learning Management System by Encouraging Its Use for Other Purposes Than Teaching (FR, AH), pp. 689–698.
CIKMCIKM-2009-SunWL #injection #trust
Injecting purpose and trust into data anonymisation (XS, HW, JL), pp. 1541–1544.
ECIRECIR-2009-Kettunen #metric #question #source code
Choosing the Best MT Programs for CLIR Purposes — Can MT Metrics Be Helpful? (KK), pp. 706–712.
ICSTSAT-2009-Nieuwenhuis #algorithm #modulo theories #satisfiability
SAT Modulo Theories: Enhancing SAT with Special-Purpose Algorithms (RN), p. 1.
ICFPICFP-2008-FluetRR #framework #parallel #scheduling
A scheduling framework for general-purpose parallel languages (MF, MR, JHR), pp. 241–252.
CAiSECAiSE-2008-VaraSP #analysis #information management #modelling #process #requirements
Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems (JLdlV, JS, OP), pp. 213–227.
SEKESEKE-2008-FraserWW #automaton #testing #using
Using Observer Automata to Select Test Cases for Test Purposes (GF, MW, FW), pp. 709–714.
SACSAC-2008-SaCDR #multi
Multi-purpose proactive m-Artifacts (MdS, LC, LD, TR), pp. 1629–1633.
ASPLOSASPLOS-2008-GummarajuCTR #manycore #named #programming #using
Streamware: programming general-purpose multicore processors using streams (JG, JC, YT, MR), pp. 297–307.
OSDIOSDI-2008-YuIFBEGC #distributed #named #using
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language (YY, MI, DF, MB, ÚE, PKG, JC), pp. 1–14.
PPoPPPPoPP-2008-RulVB #parallel #source code
Extracting coarse-grain parallelism in general-purpose programs (SR, HV, KDB), pp. 281–282.
PPoPPPPoPP-2008-ZhaiWYH #compilation #concurrent #optimisation #thread
Compiler optimizations for parallelizing general-purpose applications under thread-level speculation (AZ, SW, PCY, GH), pp. 271–272.
FATESTestCom-FATES-2008-FaivreGGT #refinement
Test Purpose Concretization through Symbolic Action Refinement (AF, CG, PLG, AT), pp. 184–199.
ASEASE-2007-VainRKE #nondeterminism #synthesis
Synthesis of test purpose directed reactive planning tester for nondeterministic systems (JV, KR, AK, JPE), pp. 363–372.
AGTIVEAGTIVE-2007-GeissK #graph grammar #performance
GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool (RG, MK), pp. 568–569.
HCIHIMI-IIE-2007-StavrakisVKD #design #framework
A Theoretical Framework of Co-purposing in Systems Design (MS, NV, PK, JD), pp. 176–184.
AdaEuropeAdaEurope-2007-MosteoM #ada #architecture #mobile #named #research
Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research (ARM, LM), pp. 221–234.
AMOSTAMOST-2007-AichernigWPW #generative #industrial
Test purpose generation in an industrial application (BKA, MW, BP, FW), pp. 115–125.
FATESTestCom-FATES-2007-SchulzWR
TPLan-A Notation for Expressing Test Purposes (SS, AW, SR), pp. 292–304.
ITiCSEITiCSE-2006-DaviesCT #education #ontology #using
Using a computing ontology for educational purposes (GD, LNC, HT), p. 334.
FASEFASE-2006-AichernigD #concurrent #fault #testing
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems (BKA, CCD), pp. 324–338.
RERE-2006-Smith #development #documentation #requirements
Systematic Development of Requirements Documentation for General Purpose Scientific Computing Software (SS), pp. 205–215.
ICSEICSE-2006-ManoliosV #proving #static analysis #termination #theorem proving
Integrating static analysis and general-purpose theorem proving for termination analysis (PM, DV), pp. 873–876.
ASPLOSASPLOS-2006-TarditiPO #named #parallel #using
Accelerator: using data parallelism to program GPUs for general-purpose uses (DT, SP, JO), pp. 325–335.
MBTMBT-2006-SilvaM #generative #towards
Towards Test Purpose Generation from CTL Properties for Reactive Systems (DAdS, PDLM), pp. 29–40.
ICTSSTestCom-2006-GastonGRT #execution #symbolic computation
Symbolic Execution Techniques for Test Purpose Definition (CG, PLG, NR, AT), pp. 1–18.
VLDBVLDB-2005-Saint-PaulRM #database #summary
General Purpose Database Summarization (RSP, GR, NM), pp. 733–744.
ECMFAECMDA-FA-2005-Kleppe #towards
Towards General Purpose, High Level, Software Languages (AK), pp. 220–238.
SACSAC-2005-SchelpS #framework #integration
Extending the business engineering framework for application integration purposes (JS, AS), pp. 1333–1337.
HPDCHPDC-2005-DalheimerPM #grid #named
Calana: a general-purpose agent-based grid scheduler (MD, FJP, PM), pp. 279–280.
VLDBVLDB-2004-PandeyDO #algorithm #monitoring #named #web
WIC: A General-Purpose Algorithm for Monitoring Web Information Sources (SP, KD, CO), pp. 360–371.
VLDBVLDB-2004-RjaibiB #data access #database #implementation #multi #relational
A Multi-Purpose Implementation of Mandatory Access Control in Relational Database Management Systems (WR, PB), pp. 1010–1020.
IWPCIWPC-2004-Sneed #comprehension #testing
Program Comprehension for the Purpose of Testing (HMS), pp. 162–171.
ICEISICEIS-v2-2004-BelsisGSD #implementation #information management #security
Implementing Knowledge Management Techniques for Security Purposes (PB, SG, CS, ID), pp. 535–540.
ICEISICEIS-v5-2004-KoutsomitropoulosTTP #development #repository #towards
Towards the Development of a General-Purpose Digital Repository (DAK, AAT, DKT, TSP), pp. 271–278.
ICPRICPR-v1-2004-FungM #parallel #using
Using Multiple Graphics Cards as a General Purpose Parallel Computer : Applications to Computer Vision (JF, SM), pp. 805–808.
DATEDATE-2003-Dales #configuration management
Managing a Reconfigurable Processor in a General Purpose Workstation Environment (MD), pp. 10980–10985.
DATEDATE-2003-RapakaM #analysis #embedded #performance
Pre-Characterization Free, Efficient Power/Performance Analysis of Embedded and General Purpose Software Applications (VSPR, DM), pp. 10504–10509.
DocEngDocEng-2003-SimskeS #assurance #quality
A ground-truthing engine for proofsetting, publishing, re-purposing and quality assurance (SJS, MS), pp. 150–152.
ICFPICFP-2003-BenzakenCF #named #xml
CDuce: an XML-centric general-purpose language (VB, GC, AF), pp. 51–63.
FATESFATES-2003-HennigerLU #automation #distributed #generative #testing
Automatic Generation of Test Purposes for Testing Distributed Systems (OH, ML, HU), pp. 178–191.
ICSMEICSM-2002-Sneed #object-oriented #repository
Transforming Procedural Program Structures to Object-Oriented Class Structures for the Purpose of Populating a Common Software Repository (HMS), p. 286.
PLDIPLDI-2002-ChilimbiH #data type #source code
Dynamic Hot Data Stream Prefetching for General-Purpose Programs (TMC, MH), pp. 199–209.
ICEISICEIS-2002-BarjisC #analysis #database #design #modelling #semantics #using
Data Modeling for the Purpose of Database Design Using Entity-Relationship Model and Semantic Analysis (JB, SC), pp. 235–243.
ICPRICPR-v2-2002-RonnebergerBS #3d #classification #invariant #recognition #set #using
General-Purpose Object Recognition in 3D Volume Data Sets Using Gray-Scale Invariants --- Classification of Airborne Pollen-Grains Recorded with a Confocal Laser Scanning Microscope (OR, HB, ES), p. 290–?.
CBSECBSE-2001-Wile #architecture #using
Ensuring General-Purpose and Domain-Specific Properties Using Architectural Styles (DSW), p. 6.
ASEASE-2001-LedruBBMOP #adaptation #specification #testing
Test Purposes: Adapting the Notion of Specification to Testing (YL, LdB, PB, OM, CO, MLP), pp. 127–134.
DACDAC-2001-MeguerdichianDK #design #multi
Latency-Driven Design of Multi-Purpose Systems-On-Chip (SM, MD, DK), pp. 27–30.
HTHT-2001-WuKB #adaptation #design #hypermedia
Design issues for general-purpose adaptive hypermedia systems (HW, EdK, PDB), pp. 141–150.
ITiCSEITiCSE-2001-VanT #evaluation #optimisation #student
A “frequently asked questions” management system that supports voting, built for student evaluation and optimization purposes (HLV, AT), p. 184.
GPCEGCSE-2001-HanenbergBU #aspect-oriented
An Object Model for General-Purpose Aspect Languages (SH, BB, RU), pp. 80–91.
DACDAC-2000-HutchingsN #design #programming language #using
Using general-purpose programming languages for FPGA design (BLH, BEN), pp. 561–566.
CSMRCSMR-2000-RolinskiR #evolution #maintenance #re-engineering #specification
Re-Engineering of Estelle Specifications for Maintenance and Evolution Purposes (PR, JLR), pp. 119–128.
IFMIFM-2000-FischerC #dependence #diagrams #formal method #verification
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes (JF, SC), pp. 45–60.
ITiCSEITiCSE-1999-KoldehofePT #algorithm #distributed #education #visualisation
Distributed algorithms visualisation for educational purposes (BK, MP, PT), pp. 103–106.
PPoPPPPoPP-1999-MainwaringC #challenge #communication #design #network #performance
Design Challenges of Virtual Networks: Fast, General-Purpose Communication (AMM, DEC), pp. 119–130.
SOSPSOSP-1999-DudaC #scheduling #thread
Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose schedular (KJD, DRC), pp. 261–276.
DACDAC-1998-LeeKPM #architecture #multi #programmable
Media Architecture: General Purpose vs. Multiple Application-Specific Programmable Processor (CL, JK, MP, WHMS), pp. 321–326.
DATEDATE-1998-EpplerFGM #energy #network #physics
High Speed Neural Network Chip for Trigger Purposes in High Energy Physics (WE, TF, HG, AM), pp. 108–115.
ITiCSEITiCSE-1998-KoldehofePT #algorithm #animation #distributed #education
Building animations of distributed algorithms for educational purposes (poster) (BK, MP, PT), p. 286.
TOOLSTOOLS-ASIA-1998-BlasbandR #quantifier
All-Purpose Quantifiers (DB, JCR), pp. 8–17.
DATEEDTC-1997-BeckmannH #constraints #in memory #logic programming #memory management #synthesis #using
Using constraint logic programming in memory synthesis for general purpose computers (RB, JH), p. 619.
HCIHCI-CC-1997-SavidisS #integration #multi #tool support
Unifying and Merging Toolkits: A Multi-Purpose Toolkit Integration Engine (AS, CS), pp. 457–460.
TOOLSTOOLS-USA-1997-Tichy #design pattern
A Catalogue of General-Purpose Software Design Patterns (WFT), pp. 330–339.
ASF+SDFASF+SDF-1997-BrandSV #cobol #legacy #re-engineering
Obtaining a COBOL grammar from legacy code for reengineering purposes (MvdB, MPAS, CV), p. 6.
HPDCHPDC-1997-BaldoniBP #communication #distributed #flexibility
Flexible General Purpose Communication Primitives for Distributed Systems (RB, RB, RP), pp. 201–210.
ICLPICLP-1997-CodishDS #program analysis
XSB as the Natural Habitat for General Purpose Program Analysis (MC, BD, KFS), p. 416.
PLDIPLDI-1996-DawsonRW #case study #logic programming #program analysis #using
Practical Program Analysis Using General Purpose Logic Programming Systems — A Case Study (SD, CRR, DSW), pp. 117–126.
SEKESEKE-1995-Kazimierczak #automation #information management #natural language #programming #representation
Knowledge Representation on the Level of Natural Language for Purposes of Automatic Programming (JK), pp. 140–143.
DATEEDAC-1994-McGowenF #case study #detection
A Study of Undetectable Non-Feedback Shorts for the Purpose of Physical-DFT (RM, FJF), pp. 371–375.
AdaTRI-Ada-1994-Kortright #approach #component #development #incremental #reuse
An Incremental Approach to the Development of Reusable General-Purpose Discrete-Event Simulator Components (LMLK), pp. 486–493.
CIKMCIKM-1994-LabrouF #approach #communication #semantics
A Semantics Approach for KQML — A General Purpose Communication Language for Software Agents (YL, TWF), pp. 447–455.
KRKR-1994-Eugenio #natural language #representation
Action Representation for Interpreting Purpose Clauses in Natural Language Instructions (BDE), pp. 158–169.
CCCC-1994-CheathamGS #analysis #interpreter #tool support
A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter (TC, HG, DCS), pp. 188–202.
SASWSA-1993-CharlierDMH #abstract interpretation #algorithm #fixpoint #optimisation #performance #prolog
Optimization Techniques for General Purpose Fixpoint Algorithms — Practical Efficiency for the Abstract Interpretation of Prolog (BLC, OD, LM, PVH), pp. 15–26.
OOPSLAOOPSLA-1993-HoydalsvikS #analysis #object-oriented #on the
On the Purpose of Object-Oriented Analysis (GMH, GS), pp. 240–255.
TOOLSTOOLS-USA-1993-DeublerK #object-oriented #operating system
Object Oriented Restructuring of the General Purpose Operating System BS2000 (HHD, MK), pp. 21–30.
ISSTAISSTA-1993-Vogel #automation #testing
An Integrated General Purpose Automated Test Environment (PAV), pp. 61–69.
HTHT-ECHT-1992-PacelliP #distributed #hypermedia #named
HYPERCRESTS: A General Purpose Distributed Hypermedia System (Demonstration) (MAP, FP), p. 292.
DACDAC-1991-PatilBP #generative #parallel #testing
Parallel Test Generation for Sequential Circuits on General-Purpose Multiprocessors (SP, PB, JHP), pp. 155–159.
DACDAC-1991-YehCL #algorithm #clustering #multi
A General Purpose Multiple Way Partitioning Algorithm (CWY, CKC, TTYL), pp. 421–426.
ICTSSIWPTS-1991-Cowin #case study #documentation #experience #testing
Experiences in Developing a Test Suite Structure and Test Purposes Document for Open Systems (GWC), pp. 151–162.
ICTSSIWPTS-1991-Hogrefe91a #consistency #formal method #requirements
Session on Conformance Requirements and Test Purposes in the Context of Formal Methods (DH), pp. 289–290.
DACDAC-1989-BhatN #architecture
Special Purpose Architecture for Accelerating Bitmap DRC (NBB, SKN), pp. 674–677.
SIGIRSIGIR-1989-Kwasnik #classification #documentation #how
How a Personal Document’s Intended Use or Purpose Affects its Classification in an Office (BHK), pp. 207–210.
DACDAC-1988-SouleB #logic #parallel #simulation
Parallel Logic Simulation on General Purpose Machines (LS, TB), pp. 166–171.
DACDAC-1987-EnbodyD
General Purpose Router (RJE, HCD), pp. 637–640.
HTHT-1987-CampbellG #automaton #hypermedia #named
HAM: A General-Purpose Hypertext Abstract Machine (BC, JMG), pp. 21–32.
ICLPICLP-1987-GeeMP87 #implementation #prolog
Advantages of Implementing PROLOG by Microprogramming a Host General Purpose Computer (JG, SWM, YNP), pp. 1–20.
CADECADE-1986-GreenbaumP #proving #theorem proving
The Illinois Prover: A General Purpose Resolution Theorem Prover (SG, DAP), pp. 685–687.
DACDAC-1985-Frank #data-driven #simulation #using
Switch-level simulation of VLSI using a special-purpose data-driven computer (EHF), pp. 735–738.
SIGMODSIGMOD-1985-Robinson #hardware #performance
A Fast General-Purpose Hardware Synchronisation Mechanism (JTR), pp. 122–130.
DACDAC-1983-Tomkinson #automation #design #named #tool support
UCAD: Building Design Automation with general purpose software tools on UNIX (JHT), pp. 774–787.
DACDAC-1982-Bruggere #hardware
Special purpose vs. general purpose hardware for da (THB), p. 338.
CADECADE-1982-Goad #automation #source code
Automatic Construction of Special Purpose Programs (CG), pp. 194–208.
STOCSTOC-1981-GalilP #parallel #performance
An Efficient General Purpose Parallel Computer (ZG, WJP), pp. 247–262.
DACDAC-1978-DavidV #concept #design #named
SIGMA-CAD: Some new concepts in design of general purpose CAD systems (BTD, GV), pp. 321–325.
VLDBVLDB-1977-StonebrakerR #programming language
Observations on Data Manipulation Languages and Their Embedding in General Purpose Programming Languages (MS, LAR), pp. 128–143.
POPLPOPL-1977-Harrison #code generation #compilation #optimisation
A New Strategy for Code Generation — The General Purpose Optimizing Compiler (WHH), pp. 29–37.
DACDAC-1975-AllevaCGP #evaluation #implementation #simulation #source code
A simulation system for implementation and evaluation of diagnostic programs of a special-purpose telecommunication switching processor (IA, MGC, RG, FP), pp. 123–133.
DACDAC-1975-JacquartRVF #development #roadmap
Current trends in the development of integrated general purpose CAD systems (RJ, PR, FRV, JF), pp. 180–188.
DACDAC-1973-BoehmA #design #parametricity
Parameter sensitivity studies for internal combustion engine control and design purposes (CFBJ, JJAI), pp. 240–246.
DACDAC-1972-Szygenda #generative #logic #named #simulation #testing
TEGAS2 — anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logic (SAS), pp. 116–127.
DACDAC-1967-BeretvasLT #automation #design #file system
A general purpose design automation file system (TB, CHL, LRT).

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.