Stem purpos$ (all stems)

152 papers:

DATE-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.

DATE-2015-YallaHK #comparison #multi

Comparison of multi-purpose cores of Keccak and AES (PY, EH, JPK), pp. 585–588.

ICFP-2015-StuckiRUB #sequence

RRB vector: a practical general purpose immutable sequence (NS, TR, VU, PB), pp. 342–354.

CSCW-2015-KobayashiAIST #multi

Motivating Multi-Generational Crowd Workers in Social-Purpose Work (MK, SA, TI, SS, HT), pp. 1813–1824.

DUXU-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.

HCI-IT-2015-HolsteinWWL #challenge #user interface

Current Challenges in Compositing Heterogeneous User Interfaces for Automotive Purposes (TH, MW, JW, RL), pp. 531–542.

HCI-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.

ECIR-2015-PasinatoMZ #elicitation #learning #rating

Active Learning Applied to Rating Elicitation for Incentive Purposes (MBP, CEM, GZ), pp. 291–302.

RecSys-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.

GPCE-2015-KolesnichenkoPN #contract #gpu #programming

Contract-based general-purpose GPU programming (AK, CMP, SN, BM), pp. 75–84.

ICSE-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.

ICSE-v2-2015-AlexandruG #agile #analysis #multi

Rapid Multi-Purpose, Multi-Commit Code Analysis (CVA, HCG), pp. 635–638.

CGO-2015-McAfeeO #framework #generative #learning #multi #named

EMEURO: a framework for generating multi-purpose accelerators via deep learning (LCM, KO), pp. 125–135.

CAiSE-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.

ICEIS-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.

ASPLOS-2014-Wood #architecture #named

Resolved: specialized architectures, languages, and system software should supplant general-purpose alternatives within a decade (DAW), pp. 653–654.

DAC-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.

ICDAR-2013-BarbozaLJ #documentation #forensics

A Color-Based Model to Determine the Age of Documents for Forensic Purposes (RdSB, RDL, DMdJ), pp. 1350–1354.

ICDAR-2013-KirbyH #analysis #using

Analysis of Topographic Maps for Recreational Purposes Using Decision Trees (RK, TCH), pp. 1105–1109.

MoDELS-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.

MoDELS-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.

HPDC-2013-Shaw #named #simulation

Anton: a special-purpose machine that achieves a hundred-fold speedup in biomolecular simulations (DES), pp. 129–130.

ISSTA-2013-HanazumiM #generative #java #source code

Generation of Java programs properties from test purposes (SH, ACVdM), pp. 362–365.

WICSA-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.

DAC-2012-LuoC #design

Design of pin-constrained general-purpose digital microfluidic biochips (YL, KC), pp. 18–25.

SIGMOD-2012-SearsR #named

bLSM: a general purpose log structured merge tree (RS, RR), pp. 217–228.

CHI-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.

CAiSE-2012-StirnaP #enterprise #modelling

Purpose Driven Competency Planning for Enterprise Modeling Projects (JS, AP), pp. 662–677.

RecSys-2012-JiangJFZ #recommendation

Recommending academic papers via users’ reading purposes (YJ, AJ, YF, DZ), pp. 241–244.

OOPSLA-2012-HaydenSDHF #c #named #performance

Kitsune: efficient, general-purpose dynamic software updating for C (CMH, EKS, MD, MH, JSF), pp. 249–264.

ICSE-2012-AtkinsonGK #domain-specific language

Symbiotic general-purpose and domain-specific languages (CA, RG, BK), pp. 1269–1272.

CBSE-2011-MeloP #component #framework #open source #recommendation

A component-based open-source framework for general-purpose recommender systems (FMM, ÁRPJ), pp. 67–72.

ITiCSE-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.

TACAS-2011-BertrandJSK #automaton #nondeterminism #testing

Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (NB, TJ, AS, MK), pp. 96–111.

CIKM-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.

SAC-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.

CGO-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.

DAC-2010-JuHRC #analysis #multi #source code

Timing analysis of esterel programs on general-purpose multiprocessors (LJ, BKH, AR, SC), pp. 48–51.

DATE-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.

SIGMOD-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.

PEPM-2010-Siek #metalanguage

General purpose languages should be metalanguages (JGS), pp. 3–4.

CHI-2010-WalshG #game studies #named #recommendation

Curator: a game with a purpose for collection recommendation (GW, JG), pp. 2079–2082.

ASPLOS-2010-HarrisTCU #architecture #multi #runtime

Dynamic filtering: multi-purpose architecture support for language runtime systems (TH, ST, AC, OSÜ), pp. 39–52.

DATE-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.

HT-2009-RafelsbergerS #game studies #network #social

Games with a purpose for social networking platforms (WR, AS), pp. 193–198.

GT-VMT-2009-SchimmelGS #graph grammar #term rewriting

Gene Expression with General Purpose Graph Rewriting Systems (JS, TG, CS), pp. 202–212.

CHI-2009-JiangVBLS #education #named

CThru: exploration in a video-centered information space for educational purposes (HJ, AV, MB, RAL, CS), pp. 1247–1250.

HCI-NT-2009-AlmadaLAFC #composition #framework #named

YVision: A General Purpose Software Composition Framework (AA, GL, AA, JF, NC), pp. 779–788.

HIMI-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.

CIKM-2009-SunWL #injection #trust

Injecting purpose and trust into data anonymisation (XS, HW, JL), pp. 1541–1544.

ECIR-2009-Kettunen #metric #question #source code

Choosing the Best MT Programs for CLIR Purposes — Can MT Metrics Be Helpful? (KK), pp. 706–712.

SAT-2009-Nieuwenhuis #algorithm #modulo theories #satisfiability

SAT Modulo Theories: Enhancing SAT with Special-Purpose Algorithms (RN), p. 1.

ICFP-2008-FluetRR #framework #parallel #scheduling

A scheduling framework for general-purpose parallel languages (MF, MR, JHR), pp. 241–252.

CAiSE-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.

SEKE-2008-FraserWW #automaton #testing #using

Using Observer Automata to Select Test Cases for Test Purposes (GF, MW, FW), pp. 709–714.

SAC-2008-SaCDR #multi

Multi-purpose proactive m-Artifacts (MdS, LC, LD, TR), pp. 1629–1633.

ASPLOS-2008-GummarajuCTR #manycore #named #programming #using

Streamware: programming general-purpose multicore processors using streams (JG, JC, YT, MR), pp. 297–307.

OSDI-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.

PPoPP-2008-RulVB #parallel #source code

Extracting coarse-grain parallelism in general-purpose programs (SR, HV, KDB), pp. 281–282.

PPoPP-2008-ZhaiWYH #compilation #concurrent #optimisation #thread

Compiler optimizations for parallelizing general-purpose applications under thread-level speculation (AZ, SW, PCY, GH), pp. 271–272.

TestCom-FATES-2008-FaivreGGT #refinement

Test Purpose Concretization through Symbolic Action Refinement (AF, CG, PLG, AT), pp. 184–199.

ASE-2007-VainRKE #nondeterminism #synthesis

Synthesis of test purpose directed reactive planning tester for nondeterministic systems (JV, KR, AK, JPE), pp. 363–372.

AGTIVE-2007-GeissK #graph grammar #performance

GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool (RG, MK), pp. 568–569.

HIMI-IIE-2007-StavrakisVKD #design #framework

A Theoretical Framework of Co-purposing in Systems Design (MS, NV, PK, JD), pp. 176–184.

AdaEurope-2007-MosteoM #ada #architecture #mobile #named #research

Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research (ARM, LM), pp. 221–234.

AMOST-2007-AichernigWPW #generative #industrial

Test purpose generation in an industrial application (BKA, MW, BP, FW), pp. 115–125.

TestCom-FATES-2007-SchulzWR

TPLan-A Notation for Expressing Test Purposes (SS, AW, SR), pp. 292–304.

ITiCSE-2006-DaviesCT #education #ontology #using

Using a computing ontology for educational purposes (GD, LNC, HT), p. 334.

FASE-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.

RE-2006-Smith #development #documentation #requirements

Systematic Development of Requirements Documentation for General Purpose Scientific Computing Software (SS), pp. 205–215.

ICSE-2006-ManoliosV #proving #static analysis #termination #theorem proving

Integrating static analysis and general-purpose theorem proving for termination analysis (PM, DV), pp. 873–876.

ASPLOS-2006-TarditiPO #named #parallel #using

Accelerator: using data parallelism to program GPUs for general-purpose uses (DT, SP, JO), pp. 325–335.

MBT-2006-SilvaM #generative #towards

Towards Test Purpose Generation from CTL Properties for Reactive Systems (DAdS, PDLM), pp. 29–40.

TestCom-2006-GastonGRT #execution #symbolic computation

Symbolic Execution Techniques for Test Purpose Definition (CG, PLG, NR, AT), pp. 1–18.

VLDB-2005-Saint-PaulRM #database #summary

General Purpose Database Summarization (RSP, GR, NM), pp. 733–744.

ECMDA-FA-2005-Kleppe #towards

Towards General Purpose, High Level, Software Languages (AK), pp. 220–238.

SAC-2005-SchelpS #framework #integration

Extending the business engineering framework for application integration purposes (JS, AS), pp. 1333–1337.

HPDC-2005-DalheimerPM #grid #named

Calana: a general-purpose agent-based grid scheduler (MD, FJP, PM), pp. 279–280.

VLDB-2004-PandeyDO #algorithm #monitoring #named #web

WIC: A General-Purpose Algorithm for Monitoring Web Information Sources (SP, KD, CO), pp. 360–371.

VLDB-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.

IWPC-2004-Sneed #comprehension #testing

Program Comprehension for the Purpose of Testing (HMS), pp. 162–171.

ICEIS-v2-2004-BelsisGSD #implementation #information management #security

Implementing Knowledge Management Techniques for Security Purposes (PB, SG, CS, ID), pp. 535–540.

ICEIS-v5-2004-KoutsomitropoulosTTP #development #repository #towards

Towards the Development of a General-Purpose Digital Repository (DAK, AAT, DKT, TSP), pp. 271–278.

ICPR-v1-2004-FungM #parallel #using

Using Multiple Graphics Cards as a General Purpose Parallel Computer : Applications to Computer Vision (JF, SM), pp. 805–808.

DATE-2003-Dales #configuration management

Managing a Reconfigurable Processor in a General Purpose Workstation Environment (MD), pp. 10980–10985.

DATE-2003-RapakaM #analysis #embedded #performance

Pre-Characterization Free, Efficient Power/Performance Analysis of Embedded and General Purpose Software Applications (VSPR, DM), pp. 10504–10509.

DocEng-2003-SimskeS #assurance #quality

A ground-truthing engine for proofsetting, publishing, re-purposing and quality assurance (SJS, MS), pp. 150–152.

ICFP-2003-BenzakenCF #named #xml

CDuce: an XML-centric general-purpose language (VB, GC, AF), pp. 51–63.

FATES-2003-HennigerLU #automation #distributed #generative #testing

Automatic Generation of Test Purposes for Testing Distributed Systems (OH, ML, HU), pp. 178–191.

ICSM-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.

PLDI-2002-ChilimbiH #data type #source code

Dynamic Hot Data Stream Prefetching for General-Purpose Programs (TMC, MH), pp. 199–209.

ICEIS-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.

ICPR-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–?.

CBSE-2001-Wile #architecture #using

Ensuring General-Purpose and Domain-Specific Properties Using Architectural Styles (DSW), p. 6.

ASE-2001-LedruBBMOP #adaptation #specification #testing

Test Purposes: Adapting the Notion of Specification to Testing (YL, LdB, PB, OM, CO, MLP), pp. 127–134.

DAC-2001-MeguerdichianDK #design #multi

Latency-Driven Design of Multi-Purpose Systems-On-Chip (SM, MD, DK), pp. 27–30.

HT-2001-WuKB #adaptation #design #hypermedia

Design issues for general-purpose adaptive hypermedia systems (HW, EdK, PDB), pp. 141–150.

ITiCSE-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.

GCSE-2001-HanenbergBU #aspect-oriented

An Object Model for General-Purpose Aspect Languages (SH, BB, RU), pp. 80–91.

DAC-2000-HutchingsN #design #programming language #using

Using general-purpose programming languages for FPGA design (BLH, BEN), pp. 561–566.

CSMR-2000-RolinskiR #evolution #maintenance #re-engineering #specification

Re-Engineering of Estelle Specifications for Maintenance and Evolution Purposes (PR, JLR), pp. 119–128.

IFM-2000-FischerC #dependence #diagrams #formal method #verification

Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes (JF, SC), pp. 45–60.

ITiCSE-1999-KoldehofePT #algorithm #distributed #education #visualisation

Distributed algorithms visualisation for educational purposes (BK, MP, PT), pp. 103–106.

PPoPP-1999-MainwaringC #challenge #communication #design #network #performance

Design Challenges of Virtual Networks: Fast, General-Purpose Communication (AMM, DEC), pp. 119–130.

SOSP-1999-DudaC #scheduling #thread

Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose schedular (KJD, DRC), pp. 261–276.

DAC-1998-LeeKPM #architecture #multi #programmable

Media Architecture: General Purpose vs. Multiple Application-Specific Programmable Processor (CL, JK, MP, WHMS), pp. 321–326.

DATE-1998-EpplerFGM #energy #network #physics

High Speed Neural Network Chip for Trigger Purposes in High Energy Physics (WE, TF, HG, AM), pp. 108–115.

ITiCSE-1998-KoldehofePT #algorithm #animation #distributed #education

Building animations of distributed algorithms for educational purposes (poster) (BK, MP, PT), p. 286.

TOOLS-ASIA-1998-BlasbandR #quantifier

All-Purpose Quantifiers (DB, JCR), pp. 8–17.

EDTC-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.

HCI-CC-1997-SavidisS #integration #multi #tool support

Unifying and Merging Toolkits: A Multi-Purpose Toolkit Integration Engine (AS, CS), pp. 457–460.

TOOLS-USA-1997-Tichy #design pattern

A Catalogue of General-Purpose Software Design Patterns (WFT), pp. 330–339.

ASF+SDF-1997-BrandSV #cobol #legacy #re-engineering

Obtaining a COBOL grammar from legacy code for reengineering purposes (MvdB, MPAS, CV), p. 6.

HPDC-1997-BaldoniBP #communication #distributed #flexibility

Flexible General Purpose Communication Primitives for Distributed Systems (RB, RB, RP), pp. 201–210.

ICLP-1997-CodishDS #program analysis

XSB as the Natural Habitat for General Purpose Program Analysis (MC, BD, KFS), p. 416.

PLDI-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.

SEKE-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.

EDAC-1994-McGowenF #case study #detection

A Study of Undetectable Non-Feedback Shorts for the Purpose of Physical-DFT (RM, FJF), pp. 371–375.

TRI-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.

CIKM-1994-LabrouF #approach #communication #semantics

A Semantics Approach for KQML — A General Purpose Communication Language for Software Agents (YL, TWF), pp. 447–455.

KR-1994-Eugenio #natural language #representation

Action Representation for Interpreting Purpose Clauses in Natural Language Instructions (BDE), pp. 158–169.

CC-1994-CheathamGS #analysis #interpreter #tool support

A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter (TC, HG, DCS), pp. 188–202.

WSA-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.

OOPSLA-1993-HoydalsvikS #analysis #object-oriented #on the

On the Purpose of Object-Oriented Analysis (GMH, GS), pp. 240–255.

TOOLS-USA-1993-DeublerK #object-oriented #operating system

Object Oriented Restructuring of the General Purpose Operating System BS2000 (HHD, MK), pp. 21–30.

ISSTA-1993-Vogel #automation #testing

An Integrated General Purpose Automated Test Environment (PAV), pp. 61–69.

HT-ECHT-1992-PacelliP #distributed #hypermedia #named

HYPERCRESTS: A General Purpose Distributed Hypermedia System (Demonstration) (MAP, FP), p. 292.

DAC-1991-PatilBP #generative #parallel #testing

Parallel Test Generation for Sequential Circuits on General-Purpose Multiprocessors (SP, PB, JHP), pp. 155–159.

DAC-1991-YehCL #algorithm #clustering #multi

A General Purpose Multiple Way Partitioning Algorithm (CWY, CKC, TTYL), pp. 421–426.

IWPTS-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.

IWPTS-1991-Hogrefe91a #consistency #formal method #requirements

Session on Conformance Requirements and Test Purposes in the Context of Formal Methods (DH), pp. 289–290.

DAC-1989-BhatN #architecture

Special Purpose Architecture for Accelerating Bitmap DRC (NBB, SKN), pp. 674–677.

SIGIR-1989-Kwasnik #classification #documentation #how

How a Personal Document’s Intended Use or Purpose Affects its Classification in an Office (BHK), pp. 207–210.

DAC-1988-SouleB #logic #parallel #simulation

Parallel Logic Simulation on General Purpose Machines (LS, TB), pp. 166–171.

DAC-1987-EnbodyD

General Purpose Router (RJE, HCD), pp. 637–640.

HT-1987-CampbellG #automaton #hypermedia #named

HAM: A General-Purpose Hypertext Abstract Machine (BC, JMG), pp. 21–32.

ICLP-1987-GeeMP87 #implementation #prolog

Advantages of Implementing PROLOG by Microprogramming a Host General Purpose Computer (JG, SWM, YNP), pp. 1–20.

CADE-1986-GreenbaumP #proving #theorem proving

The Illinois Prover: A General Purpose Resolution Theorem Prover (SG, DAP), pp. 685–687.

DAC-1985-Frank #data-driven #simulation #using

Switch-level simulation of VLSI using a special-purpose data-driven computer (EHF), pp. 735–738.

SIGMOD-1985-Robinson #hardware #performance

A Fast General-Purpose Hardware Synchronisation Mechanism (JTR), pp. 122–130.

DAC-1983-Tomkinson #automation #design #named #tool support

UCAD: Building Design Automation with general purpose software tools on UNIX (JHT), pp. 774–787.

DAC-1982-Bruggere #hardware

Special purpose vs. general purpose hardware for da (THB), p. 338.

CADE-1982-Goad #automation #source code

Automatic Construction of Special Purpose Programs (CG), pp. 194–208.

STOC-1981-GalilP #parallel #performance

An Efficient General Purpose Parallel Computer (ZG, WJP), pp. 247–262.

DAC-1978-DavidV #concept #design #named

SIGMA-CAD: Some new concepts in design of general purpose CAD systems (BTD, GV), pp. 321–325.

VLDB-1977-StonebrakerR #programming language

Observations on Data Manipulation Languages and Their Embedding in General Purpose Programming Languages (MS, LAR), pp. 128–143.

POPL-1977-Harrison #code generation #compilation #optimisation

A New Strategy for Code Generation — The General Purpose Optimizing Compiler (WHH), pp. 29–37.

DAC-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.

DAC-1975-JacquartRVF #development #roadmap

Current trends in the development of integrated general purpose CAD systems (RJ, PR, FRV, JF), pp. 180–188.

DAC-1973-BoehmA #design #parametricity

Parameter sensitivity studies for internal combustion engine control and design purposes (CFBJ, JJAI), pp. 240–246.

DAC-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.

DAC-1967-BeretvasLT #automation #design #file system

A general purpose design automation file system (TB, CHL, LRT).