Stem implement$ (all stems)

1854 papers:

WICSA-2015-CavalcanteBO #architecture #implementation

Supporting Dynamic Software Architectures: From Architectural Description to Implementation (EC, TVB, FO), pp. 31–40.

CASE-2015-DeviNVKM #algorithm #implementation

E-mandi implementation based on gale-shapely algorithm for perishable goods supply chain (SPD, YN, NV, SVK, SM), pp. 1421–1426.

CASE-2015-TheorinB #implementation #symmetry

Implementation of an asymmetric relay autotuner in a sequential control language (AT, JB), pp. 874–879.

DAC-2015-ChanNKDS #2d #3d #estimation #implementation

3DIC benefit estimation and implementation guidance from 2DIC implementation (WTJC, SN, ABK, YD, KS), p. 6.

DAC-2015-WangSBS #feedback #implementation #probability

Randomness meets feedback: stochastic implementation of logistic map dynamical system (ZW, NS, KB, AS), p. 7.

DATE-2015-ClercqRVV #encryption #implementation #performance

Efficient software implementation of ring-LWE encryption (RdC, SSR, FV, IV), pp. 339–344.

DATE-2015-JiRML #hardware #implementation #logic #network #probability #using

A hardware implementation of a radial basis function neural network using stochastic logic (YJ, FR, CM, DJL), pp. 880–883.

DATE-2015-KimFPSL #framework #implementation #modelling #verification

Platform-specific timing verification framework in model-based implementation (BK, LF, LTXP, OS, IL), pp. 235–240.

DATE-2015-RosenMH #architecture #implementation #multi #reliability

Semiautomatic implementation of a bioinspired reliable analog task distribution architecture for multiple analog cores (JvR, MM, LH), pp. 912–915.

SIGMOD-2015-ArefCGKOPVW #design #implementation

Design and Implementation of the LogicBlox System (MA, BtC, TJG, BK, DO, EP, TLV, GW), pp. 1371–1382.

SANER-2015-MuskeB #on the #static analysis #tool support

On implementational variations in static analysis tools (TM, PB), pp. 512–515.

PLDI-2015-WilcoxWPTWEA #distributed #framework #implementation #named #verification

Verdi: a framework for implementing and formally verifying distributed systems (JRW, DW, PP, ZT, XW, MDE, TEA), pp. 357–368.

CIAA-J-2013-Konstantinidis15 #automaton #implementation

Implementation and Application of Automata (CIAA 2013) (SK), p. 1.

CIAA-2015-Watson #automaton #finite #hardware #implementation #regular expression

Hardware Implementations of Finite Automata and Regular Expressions — Extended Abstract (BWW), pp. 13–17.

SEFM-2015-Vanspauwen0 #encryption #implementation #library #protocol #specification #verification

Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications (GV, BJ), pp. 53–68.

DUXU-IXD-2015-KurdiAAAAA #design #implementation #mobile

Design and Implementation of a Mobile Cloud Environmental Application for Riyadh City (HK, AAF, AAT, HAM, MAM, SAK), pp. 380–389.

HCI-DE-2015-SugiuraSO #implementation #metric #security #using

Improving IT Security Through Security Measures: Using Our Game-Theory-Based Model of IT Security Implementation (MS, HS, TO), pp. 82–95.

HCI-UC-2015-ZhaoH15a #assessment #concept #enterprise

Post-Implementation ERP Success Assessment: A Conceptual Model (FZ, EH), pp. 246–255.

LCT-2015-IbanezN #design #implementation #multi #using

Contextualization of Archaeological Findings Using Virtual Worlds. Issues on Design and Implementation of a Multiuser Enabled Virtual Museum (LAHI, VBN), pp. 384–393.

LCT-2015-RobertsonSRGCMM #design #implementation #visual notation

The Visual Design and Implementation of an Embodied Conversational Agent in a Shared Decision-Making Context (eCoach) (SR, RS, MR, TWG, TC, VM, AM), pp. 427–437.

LCT-2015-ShimizuO #design #implementation #learning #novel #word

Design and Implementation of Novel Word Learning System “Überall” (RS, KO), pp. 148–159.

AdaEurope-2015-CatellaniBHM #challenge #implementation

Challenges in the Implementation of MrsP (SC, LB, SH, EM), pp. 179–195.

CAiSE-2015-LwakatareKHT #bibliography #challenge #empirical #implementation

Empirical Challenges in the Implementation of IT Portfolio Management: A Survey in Three Companies (LEL, PK, HH, AT), pp. 453–467.

ICEIS-v1-2015-ChevalierMKTT #implementation #multi

Implementing Multidimensional Data Warehouses into NoSQL (MC, MEM, AK, OT, RT), pp. 172–183.

ICEIS-v1-2015-Hasheela #comparison #enterprise #scalability

On-premise ERP Organizational Post-implementation Practices — Comparison between Large Enterprises and Small and Medium-Sized Enterprises (VH), pp. 243–250.

ICEIS-v3-2015-AldeaIHQF #implementation #motivation

Capability-based Planning with ArchiMate — Linking Motivation to Implementation (AA, MEI, JvH, DACQ, HMF), pp. 352–359.

SEKE-2015-HesseKPRB #implementation

Documenting Implementation Decisions with Code Annotations (TMH, AK, BP, TR, BB), pp. 152–157.

SEKE-2015-VianaAGCCL #framework #named

JSAN: A Framework to Implement Normative Agents (MLV, PSCA, ETG, FJPC, DDC, CJPdL), pp. 660–665.

ECOOP-2015-PetriVJ #formal method #implementation

Cooking the Books: Formalizing JMM Implementation Recipes (GP, JV, SJ), pp. 445–469.

PADL-2015-ShterionovJ #implementation #performance #pipes and filters #probability

Implementation and Performance of Probabilistic Inference Pipelines (DSS, GJ), pp. 90–104.

PADL-2015-TamaritVCM #c #haskell #implementation #program transformation #rule-based #source code

A Haskell Implementation of a Rule-Based Program Transformation for C Programs (ST, GV, MC, JM), pp. 105–114.

REFSQ-2015-RempelM #agile #development #implementation #metric #requirements #traceability

Estimating the Implementation Risk of Requirements in Agile Software Development Projects with Traceability Metrics (PR, PM), pp. 81–97.

SAC-2015-MeftehBB #approach #case study #diagrams #evaluation #feature model #implementation #modelling #uml

Implementation and evaluation of an approach for extracting feature models from documented UML use case diagrams (MM, NB, HBA), pp. 1602–1609.

SAC-2015-MinV #anti #design #evaluation #implementation #novel

Design, implementation and evaluation of a novel anti-virus parasitic malware (BM, VV), pp. 2127–2133.

ESEC-FSE-2015-ChenS #difference #implementation #testing #validation

Guided differential testing of certificate validation in SSL/TLS implementations (YC, ZS), pp. 793–804.

ASPLOS-2015-DuanHT #memory management #optimisation #performance #symmetry

Asymmetric Memory Fences: Optimizing Both Performance and Implementability (YD, NH, JT), pp. 531–543.

HPCA-2015-GrigorianFR #approximate #named #reliability

BRAINIAC: Bringing reliable accuracy into neurally-implemented approximate computing (BG, NF, GR), pp. 615–626.

LCTES-2015-BarijoughHKG #analysis #streaming #trade-off

Implementation-Aware Model Analysis: The Case of Buffer-Throughput Tradeoff in Streaming Applications (KMB, MH, VK, SG), p. 10.

LCTES-2015-ProcterHGBA #design #hardware #implementation #semantics #verification

Semantics Driven Hardware Design, Implementation, and Verification with ReWire (AMP, WLH, IG, MB, GA), p. 10.

PPoPP-2015-ThebaultPD #3d #assembly #case study #implementation #matrix #performance #scalability

Scalable and efficient implementation of 3d unstructured meshes computation: a case study on matrix assembly (LT, EP, QD), pp. 120–129.

SOSP-2015-LeePKMO #implementation #latency #scalability

Implementing linearizability at large scale and low latency (CL, SJP, AK, SM, JKO), pp. 71–86.

TAP-2015-BloemHRS #automation #case study #generative #implementation #testing

Case Study: Automatic Test Case Generation for a Secure Cache Implementation (RB, DMH, FR, RS), pp. 58–75.

VMCAI-2015-MukundRS #bound #data type #implementation

Bounded Implementations of Replicated Data Types (MM, GSR, SPS), pp. 355–372.

CBSE-2014-SpacekDT #architecture #component #implementation #modelling #programming #prototype

A component-based meta-level architecture and prototypical implementation of a reflective component-based programming and modeling language (PS, CD, CT), pp. 13–22.

ECSA-2014-CavalcanteOB #architecture #code generation #implementation

Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language (EC, FO, TVB), pp. 130–145.

WICSA-2014-ManteuffelTKGA #architecture #documentation #framework #implementation #industrial

Industrial Implementation of a Documentation Framework for Architectural Decisions (CM, DT, HK, TG, PA), pp. 225–234.

CASE-2014-HsiaoYLH #design #implementation

Design and implementation of a ball-batting robot with optimal batting decision making ability (TH, CMY, IHL, CCH), pp. 1026–1031.

CASE-2014-ParkLK #implementation #visualisation

Implementation of spatial visualization for a tele-operated robot in a complex and hazardous environment (SP, YCL, GWK), pp. 285–289.

DAC-2014-AlbalawiLL #algorithm #classification #design #fixpoint #implementation #machine learning #power management

Computer-Aided Design of Machine Learning Algorithm: Training Fixed-Point Classifier for On-Chip Low-Power Implementation (HA, YL, XL), p. 6.

DAC-2014-ClercqUHV #implementation #power management

Ultra Low-Power implementation of ECC on the ARM Cortex-M0+ (RdC, LU, AVH, IV), p. 6.

DAC-2014-NiKA #component #design #implementation

Design and Implementation of a Dynamic Component Model for Federated AUTOSAR Systems (ZN, AK, JA), p. 6.

DATE-2014-AyariABCKR #predict

New implementions of predictive alternate analog/RF test with augmented model redundancy (HA, FA, SB, MC, VK, MR), pp. 1–4.

DATE-2014-DoanJP #flexibility #implementation #multi #scalability #using

Flexible and scalable implementation of H.264/AVC encoder for multiple resolutions using ASIPs (HCD, HJ, SP), pp. 1–6.

DATE-2014-KimHPSL #approach #implementation #modelling #testing

A layered approach for testing timing in the model-based implementation (BK, HIH, TP, SHS, IL), pp. 1–4.

DATE-2014-MoralesHBHV #energy #implementation #using

Energy-efficient FPGA implementation for binomial option pricing using OpenCL (VMM, PHH, AB, EH, SV), pp. 1–6.

DATE-2014-SchollW #hardware #implementation #set

Hardware implementation of a Reed-Solomon soft decoder based on information set decoding (SS, NW), pp. 1–6.

DATE-2014-Velasco-JimenezCRF #composition #implementation #modelling #performance

Implementation issues in the hierarchical composition of performance models of analog circuits (MVJ, RCL, ER, FVF), pp. 1–6.

SIGMOD-2014-CaiGLPVJ #algorithm #comparison #implementation #machine learning #scalability

A comparison of platforms for implementing and running very large scale machine learning algorithms (ZC, ZJG, SL, LLP, ZV, CMJ), pp. 1371–1382.

VLDB-2014-ZhangYFW #design #implementation #interactive #realtime #scalability

Design and Implementation of a Real-Time Interactive Analytics System for Large Spatio-Temporal Data (SZ, YY, WF, MW), pp. 1754–1759.

VLDB-2015-SidlauskasJ14 #exclamation #implementation #in memory #matter #memory management

Spatial Joins in Main Memory: Implementation Matters! (DS, CSJ), pp. 97–100.

FASE-2014-KrauseTG #graph transformation #implementation #parallel

Implementing Graph Transformations in the Bulk Synchronous Parallel Model (CK, MT, HG), pp. 325–339.

CSMR-WCRE-2014-LammelLSV #comparison #implementation

Comparison of feature implementations across languages, technologies, and styles (RL, ML, TS, AV), pp. 333–337.

ICSME-2014-BauerVJ #approach #detection #novel

A Novel Approach to Detect Unintentional Re-implementations (VB, TV, EJ), pp. 491–495.

ICSME-2014-BouwersDV #architecture #encapsulation

Quantifying the Encapsulation of Implemented Software Architectures (EB, AvD, JV), pp. 211–220.

ICSME-2014-YamauchiYHHK #clustering #commit #comprehension #implementation

Clustering Commits for Understanding the Intents of Implementation (KY, JY, KH, YH, SK), pp. 406–410.

FLOPS-2014-Kiselyov #design #implementation

The Design and Implementation of BER MetaOCaml — System Description (OK), pp. 86–102.

IFL-2014-KoopmanPJ #data type #encoding #functional #harmful #implementation

Church Encoding of Data Types Considered Harmful for Implementations: Functional Pearl (PWMK, RP, JMJ), p. 4.

ILC-2014-WakitaHS #framework #implementation #javascript #metaprogramming

Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework (KW, KH, AS), p. 12.

CHI-2014-DixonLF #implementation #runtime

Pixel-based methods for widget state and style in a runtime implementation of sliding widgets (MED, GL, JAF), pp. 2231–2240.

DUXU-DI-2014-AderholdWCJGK #3d #framework #implementation #novel #towards #web

The Common Implementation Framework as Service — Towards Novel Applications for Streamlined Presentation of 3D Content on the Web (AA, KW, MC, YJ, HG, AK), pp. 3–14.

DUXU-ELAS-2014-Abbas #behaviour #case study #challenge #implementation

Challenges in Implementation of TVM (Ticket Vending Machine) in Developing Countries for Mass Transport System: A Study of Human Behavior while Interacting with Ticket Vending Machine-TVM (MA), pp. 245–254.

HCI-TMT-2014-Merlin #implementation #interactive #paradigm #tool support

IntNovate a Toolkit to Ease the Implementation of Every Interaction Paradigm on Every Device (BM), pp. 331–339.

LCT-TRE-2014-LorenzKL #education #implementation

The Role of Educational Technologist in Implementing New Technologies at School (BL, KK, ML), pp. 288–296.

CAiSE-2014-NeumayrJSS #concept #implementation

Dual Deep Instantiation and Its ConceptBase Implementation (BN, MAJ, MS, CGS), pp. 503–517.

EDOC-2014-0001HPW #execution #framework #implementation #modelling

Implementation Framework for Production Case Management: Modeling and Execution (AM, NH, FP, MW), pp. 190–199.

EDOC-2014-GarciaV #abstraction #architecture #framework #implementation #process

Object-Business Process Mapping Frameworks: Abstractions, Architecture, and Implementation (RG, MTV), pp. 160–169.

ICEIS-v1-2014-CruzRFC #behaviour #implementation

Norm-based Behavior Modification in Reflex Agents — An Implementation in JAMDER 2.0 (FISC, RMRJ, ESSF, MIC), pp. 497–504.

ICEIS-v1-2014-PintoB #architecture #health #implementation

Architectural Key Dimensions for a Successful Electronic Health Record Implementation (EP, ACB), pp. 136–143.

ICEIS-v1-2014-SkoumpopoulouW #case study #implementation

The Organisational Impact of Implementing Integrated IS in HE Institutions — A Case Study from a UK University (DS, TSW), pp. 119–127.

ICEIS-v2-2014-FerreiraS #approach #enterprise #implementation #named #semantics #towards #web

e-swim: Enterprise Semantic Web Implementation Model — Towards a Systematic Approach to Implement the Semantic Web in Enterprises (RF, IS), pp. 653–658.

ICEIS-v2-2014-RalyteB #implementation #novel #requirements

Implementing Novel IT Products in Small Size Organizations — Technology-driven Requirements Engineering (JR, LB), pp. 153–160.

ICEIS-v2-2014-SilvaMS #aspect-oriented #bibliography #evaluation #performance #programming

A Systematic Review on Performance Evaluation of Aspect-Oriented Programming Techniques used to Implement Crosscutting Concerns (RFGdS, MdAM, MSS), pp. 5–13.

ICPR-2014-LinnerS #alias #anti #distance #graph #implementation

A Graph-Based Implementation of the Anti-aliased Euclidean Distance Transform (EL, RS), pp. 1025–1030.

KMIS-2014-Muthaiyah #implementation #information management #theory and practice

Knowledge Management Technology Implementation — Bridging the Gap between Theory and Practice (SM), pp. 393–399.

KMIS-2014-SmirnovS #implementation #information management #lessons learnt

Role-Driven Knowledge Management Implementation — Lessons Learned (AVS, NS), pp. 36–43.

SEKE-2014-Al-MsiedeenSHUV #implementation #object-oriented #source code

Documenting the Mined Feature Implementations from the Object-oriented Source Code of a Collection of Software Product Variants (RAM, AS, MH, CU, SV), pp. 138–143.

SEKE-2014-BakerS #architecture #aspect-oriented #implementation

Aspect-Oriented Secure Connectors for Implementation of Secure Software Architecture (CB, MS), pp. 187–192.

SEKE-2014-OliveiraMGND #framework #source code #testing

An Extensible Framework to Implement Test Oracle for Non-Testable Programs (RAPO, AMM, VNG, FLSN, MED), pp. 199–204.

SEKE-2014-OrtinPQG #framework #implementation #named #object-oriented

TyS — A Framework to Facilitate the Implementation of Object-Oriented Type Checkers (FO, DZP, JQ, MG), pp. 150–155.

SEKE-2014-PaikariF #analysis #design #implementation #simulation

Analysis, Design and Implementation of an Agent Based System for Simulating Connected Vehicles (EP, BHF), pp. 338–343.

BX-2014-Wider #bidirectional #domain-specific language #implementation #model transformation #scala

Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala (AW), pp. 63–70.

ECOOP-2014-FelgentreffBHLOFK #constraints #implementation #named #ocl

Babelsberg/JS — A Browser-Based Implementation of an Object Constraint Language (TF, AB, RH, JL, YO, BF, RK), pp. 411–436.

Onward-2014-VisserWTNVPK #design #implementation #verification

A Language Designer’s Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs (EV, GW, APT, PN, VAV, AP, GK), pp. 95–111.

GPCE-2014-GousetiPS #algebra #implementation

Extensible language implementation with object algebras (short paper) (MG, CP, TvdS), pp. 25–28.

PPDP-2014-CruzRG #design #implementation #linear #logic programming #parallel #source code #thread #virtual machine

Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs (FC, RR, SCG), pp. 43–54.

PPDP-2014-SchrijversWDD #functional #heuristic #implementation #logic programming #specification

Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation (TS, NW, BD, BD), pp. 259–270.

POPL-2014-BartheFGSSB #encryption #implementation #probability #relational #verification

Probabilistic relational verification for cryptographic implementations (GB, CF, BG, PYS, NS, SZB), pp. 193–206.

POPL-2014-KumarMNO #implementation #ml #named

CakeML: a verified implementation of ML (RK, MOM, MN, SO), pp. 179–192.

RE-2014-RubythonM #implementation #modelling #off the shelf #requirements #variability

The effect of variability modeling on requirements satisfaction for the configuration and implementation of off-the-shelf software packages (AR, NAMM), pp. 394–401.

SAC-2014-ChenLFCCK #algorithm #design #detection #effectiveness #health #implementation #monitoring

Design and implementation of a personal health monitoring system with an effective SVM-based PVC detection algorithm in cardiology (HC, GTL, YCF, BCC, CMC, TCK), pp. 33–35.

SAC-2014-CorralGSS #android #energy #implementation

Method reallocation to reduce energy consumption: an implementation in Android OS (LC, ABG, AS, GS), pp. 1213–1218.

SAC-2014-EmuraKOT #communication #formal method #implementation #prototype

Building secure and anonymous communication channel: formal model and its prototype implementation (KE, AK, SO, TT), pp. 1641–1648.

SAC-2014-EvermannA #algorithm #big data #implementation #mining #process

Big data meets process mining: implementing the alpha algorithm with map-reduce (JE, GA), pp. 1414–1416.

SAC-2014-KangS #analysis #implementation #scheduling

Schedulability analysis support for automotive systems: from requirement to implementation (EYK, PYS), pp. 1080–1085.

SAC-2014-KwonB #implementation #library #prototype

A CUDA-based implementation of OpenGL-compatible rasterization library prototype (YCK, NB), pp. 1747–1748.

SAC-2014-ManducaMFP #approach #database #implementation #multitenancy #web

A nonintrusive approach for implementing single database, multitenant services from web applications (AMM, EVM, RPMF, MdGCP), pp. 751–756.

SAC-2014-Umatani #calculus #implementation

Practical implementation techniques of ambient calculus in conventional dynamic languages (SU), pp. 1345–1351.

FSE-2014-Behringer #implementation

Integrating approaches for feature implementation (BB), pp. 775–778.

SLE-J-2012-StormCL #design #implementation

The design and implementation of Object Grammars (TvdS, WRC, AL), pp. 460–487.

SPLC-2014-VacchiCCA #automation #component #implementation #model inference #variability

Automating variability model inference for component-based language implementations (EV, WC, BC, MA), pp. 167–176.

ASPLOS-2014-DallN #design #implementation #linux #named

KVM/ARM: the design and implementation of the linux ARM hypervisor (CD, JN), pp. 333–348.

CAV-2014-RakamaricE #implementation #named #verification

SMACK: Decoupling Source Language Details from Verifier Implementations (ZR, ME), pp. 106–113.

ICLP-J-2014-GallF #adaptation #implementation

Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R (DG, TWF), pp. 525–538.

ICST-2014-PatelK #case study #enterprise #experience #implementation #reuse #testing

Test Case Reuse in Enterprise Software Implementation — An Experience Report (SP, RKK), pp. 99–102.

IJCAR-2014-GoreOT #calculus #implementation #using

Implementing Tableau Calculi Using BDDs: BDDTab System Description (RG, KO, JT), pp. 337–343.

IJCAR-2014-OlivettiP #calculus #implementation #logic #named

NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics (NO, GLP), pp. 511–518.

SAT-2014-BalintBFS #heuristic #implementation #satisfiability

Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses (AB, AB, AF, US), pp. 302–316.

CBSE-2013-JafroodiG #implementation

Implementing generalized alternative construct for erasmus language (NJ, PG), pp. 101–110.

ASE-2013-Mirakhorli #architecture #implementation #visualisation

Preventing erosion of architectural tactics through their strategic implementation, preservation, and visualization (MM), pp. 762–765.

CASE-2013-ZhangH #algorithm #analysis #convergence #coordination #implementation #optimisation #parallel

Convergence analysis and parallel computing implementation for the multiagent coordination optimization algorithm with applications (HZ, QH), pp. 825–830.

DAC-2013-NacciRBSBA #algorithm #implementation #synthesis

A high-level synthesis flow for the implementation of iterative stencil loop algorithms on FPGA devices (AAN, VR, FB, DS, IB, DA), p. 6.

DAC-2013-YangRHX #behaviour #design #equivalence #implementation #optimisation #synthesis

Handling design and implementation optimizations in equivalence checking for behavioral synthesis (ZY, SR, KH, FX), p. 6.

DATE-2013-FarisiBCS #automation #implementation #multi

An automatic tool flow for the combined implementation of multi-mode circuits (BAF, KB, JMPC, DS), pp. 821–826.

DATE-2013-Kae-NuneP #anti #process #testing

Qualification and testing process to implement anti-counterfeiting technologies into IC packages (NKN, SP), pp. 1131–1136.

DATE-2013-PouyanAMR #adaptation #configuration management #design #implementation

Design and implementation of an adaptive proactive reconfiguration technique for SRAM caches (PP, EA, FM, AR), pp. 1303–1306.

DATE-2013-YinQZ #design #implementation

Design and implementation of a group-based RO PUF (CEDY, GQ, QZ), pp. 416–421.

DATE-2013-ZhuDNZ #finite #implementation #robust #state machine

Robust and extensible task implementations of synchronous finite state machines (QZ, PD, MDN, HZ), pp. 1319–1324.

SIGMOD-2013-Horikawa #data type #design #evaluation #implementation

Latch-free data structures for DBMS: design, implementation, and evaluation (TH), pp. 409–420.

VLDB-2013-CaoB #implementation #performance #quantifier #query #relational

Efficient Implementation of Generalized Quantification in Relational Query Languages (BC, AB), pp. 241–252.

ESOP-2013-KatoenP #concurrent #implementation #modelling #probability

Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems (JPK, DP), pp. 411–430.

FASE-2013-MacedoC #alloy #bidirectional #implementation #model transformation #qvt #using

Implementing QVT-R Bidirectional Model Transformations Using Alloy (NM, AC), pp. 297–311.

FASE-2013-TrikiCBS #implementation #modelling #parallel #realtime

Model-Based Implementation of Parallel Real-Time Systems (AT, JC, SB, JS), pp. 235–249.

CSMR-2013-BergerSK #architecture #security

Extracting and Analyzing the Implemented Security Architecture of Business Applications (BJB, KS, RK), pp. 285–294.

PLDI-2013-RajaramNSE #implementation #performance #semantics

Fast RMWs for TSO: semantics and implementation (BR, VN, SS, ME), pp. 61–72.

CIAA-2013-Campeanu #implementation

Cover Languages and Implementations (CC), p. 1.

CIAA-2013-DemailleDLS #concept #implementation

Implementation Concepts in Vaucanson 2 (AD, ADL, SL, JS), pp. 122–133.

IFM-2013-GrafQ #distributed #implementation

Knowledge for the Distributed Implementation of Constrained Systems (SG, SQ), pp. 77–93.

SEFM-2013-OliveiraJW #csp #multi #protocol

A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP (MVMO, ISdMJ, JW), pp. 46–60.

SEFM-2013-SalehKBW #detection #fault #implementation #specification #static analysis #using

Static Detection of Implementation Errors Using Formal Code Specification (IS, GK, MBB, YW), pp. 197–211.

CEFP-2013-Brady #dependent type #domain-specific language #embedded #implementation #programming language

The Idris Programming Language — Implementing Embedded Domain Specific Languages with Dependent Types (EB), pp. 115–186.

CEFP-2013-CunhaFMPS #design #implementation #modelling #query #spreadsheet

Design and Implementation of Queries for Model-Driven Spreadsheets (JC, JPF, JM, RP, JS), pp. 459–478.

ICFP-2013-Schmidt-SchaussS #correctness #haskell #implementation

Correctness of an STM Haskell implementation (MSS, DS), pp. 161–172.

IFL-2013-AljabriLT #design #haskell #implementation #parallel

The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation (MA, HWL, PWT), p. 37.

IFL-2013-GijzelN #framework #implementation #modelling #towards #verification

Towards a framework for the implementation and verification of translations between argumentation models (BvG, HN), p. 93.

IFL-2013-Protzenko #implementation

The implementation of the Mezzo type-checker (JP), p. 129.

DHM-SET-2013-LauterbachS #evaluation #implementation #interactive

Implementing Scenarios as an Evaluation Method of the Patient-Physician Interaction in Decision Aids (CVL, JDS), pp. 232–239.

DUXU-CXC-2013-WilkosinskaAGJ #framework #implementation #online #towards

Towards a Common Implementation Framework for Online Virtual Museums (KW, AA, HG, YJ), pp. 321–330.

DUXU-WM-2013-OzturkR #implementation #information management #navigation #web

Selection and Implementation of Navigation and Information Search Strategies in Bank Web Sites: Turkish Case (ÖÖ, KR), pp. 284–293.

HCI-AMTE-2013-SantosM #automation #design #identification #implementation #interactive

Design and Implementation of ErgoIdentifier: A Tool for Automated Identification of Websites Interaction Elements (OFdS, MM), pp. 249–255.

HCI-AS-2013-CusseauGWZ #case study #health #implementation

Electronic Health Records: A Case Study of an Implementation (GC, JG, CW, FZ), pp. 46–55.

HCI-AS-2013-DixonDD13a #design #health #implementation #mobile #testing

Designing, Implementing and Testing a Mobile Application to Assist with Pediatric-to-Adult Health Care Transition (JD, JD, SDD), pp. 66–75.

HCI-IMT-2013-WahabZ #implementation #multi

The Implementation of Multi-touch Table to Support the Military Decision Making through Critical Success Factors (CSFs) (NW, HBZ), pp. 523–529.

HCI-UC-2013-ScheruhnABF #case study #enterprise #implementation

Repository-Based Implementation of Information Pyramid: A Study Based on an ERP Case Study (HJS, DA, RB, UF), pp. 446–455.

HIMI-LCCB-2013-BarotH #implementation #interface #lifecycle

Lifecycle Support of Automotive Manufacturing Systems through a Next-Generation Operator Interface Implementation (VB, RH), pp. 277–286.

HILT-2013-BolengS #architecture #concept #implementation

Service-oriented architecture (SOA) concepts and implementations (JB, RES), pp. 11–12.

ICEIS-v1-2013-BimonteBPK #design #implementation #modelling #multi #uml

Design of Complex Spatio-multidimensional Models with the ICSOLAP UML Profile — An Implementation in MagicDraw (SB, KB, FP, MAK), pp. 310–315.

ICEIS-v1-2013-PiazzaR #implementation #modelling #multi #problem

Bridging the Gap between Multidimensional Business Problem Formulation and the Implementation of Multidimensional Data Models (FP, FR), pp. 79–87.

ICEIS-v2-2013-BenhaddiBA #approach #evaluation #formal method #implementation #user satisfaction

Formalization of the User Centric SOA Approach — Implementation and End User Satisfaction Evaluation (MB, KB, EHA), pp. 481–488.

KEOD-2013-AveiroP13a #approach #enterprise #implementation #ontology #semantics

Implementing Organizational Self Awareness — A Semantic Mediawiki based Enterprise Ontology Management Approach (DA, DP), pp. 453–461.

KEOD-2013-KarolyA #implementation

The Implementation of a ReALIS-based Method of Static Intensional Interpretation (MK, GA), pp. 393–398.

ECMFA-2013-AmbertBLLP #approach #modelling #testing

Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing (FA, FB, JL, BL, FP), pp. 134–151.

ICMT-2013-HildebrandtLG #automation #consistency #graph grammar #implementation #specification #testing

Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (SH, LL, HG), pp. 174–188.

MoDELS-2013-ChavezSFM #approach #implementation #java #testing #uml

An Approach to Testing Java Implementation against Its UML Class Model (HMC, WS, RBF, BAM), pp. 220–236.

ECOOP-2013-FreudenreichEFAB #implementation #object-oriented

Implementing Federated Object Systems (TF, PE, SF, SA, APB), pp. 230–254.

GPCE-2013-SujeethGBLROO #declarative #domain-specific language #generative #implementation #named #performance #specification

Forge: generating a high performance DSL implementation from a declarative specification (AKS, AG, KJB, HL, TR, MO, KO), pp. 145–154.

LOPSTR-2013-FakhrySA #implementation #semantics #text-to-text #towards

Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics (GF, NS, SA), pp. 145–163.

PADL-2013-0004R #implementation #on the #performance

On the Efficient Implementation of Mode-Directed Tabling (JS, RR), pp. 141–156.

PADL-2013-BrasselHPR #constraints #equation #functional #implementation

Implementing Equational Constraints in a Functional Language (BB, MH, BP, FR), pp. 125–140.

PADL-2013-FourtounisPR #functional #implementation #lazy evaluation

The Generalized Intensional Transformation for Implementing Lazy Functional Languages (GF, NP, PR), pp. 157–172.

PADL-2013-Moura #implementation #induction #logic programming #performance

A Portable and Efficient Implementation of Coinductive Logic Programming (PM), pp. 77–92.

RE-2013-SchneiderBB #architecture #enterprise #implementation #modelling #requirements

A tool implementation of the unified requirements modeling language as enterprise architect add-in (FS, BB, BB), pp. 334–335.

SAC-OOPS-J-2009-LievensH13 #abstraction #encapsulation #implementation #multi #symmetry

Abstraction over implementation structure with symmetrically encapsulated multimethods (DL, WH), pp. 953–968.

SAC-2013-Bettini #implementation #java #semantics #xtext

Implementing Java-like languages in Xtext with Xsemantics (LB), pp. 1559–1564.

SAC-2013-HuangXCL #adaptation #algorithm #analysis #detection #implementation #parallel #random testing #testing

Failure-detection capability analysis of implementing parallelism in adaptive random testing algorithms (RH, XX, JC, YL), pp. 1049–1054.

SAC-2013-InzingerHSLD #identification #implementation #using

Identifying incompatible service implementations using pooled decision trees (CI, WH, BS, PL, SD), pp. 485–492.

ICSE-2013-Slankas #data access #database #implementation #natural language #policy

Implementing database access control policy from unconstrained natural language text (JS), pp. 1357–1360.

CGO-2013-KruijfS #analysis #code generation #evaluation #implementation

Idempotent code generation: Implementation, analysis, and evaluation (MdK, KS), p. 12.

HPCA-2013-AframZG #implementation

A group-commit mechanism for ROB-based processors implementing the X86 ISA (FA, HZ, KG), pp. 47–58.

HPCA-2013-RobatmiliLEGSPBK #architecture #effectiveness #how #manycore #predict

How to implement effective prediction and forwarding for fusable dynamic multicore architectures (BR, DL, HE, MSSG, AS, AP, DB, SWK), pp. 460–471.

HPDC-2013-ZhangODJ #clustering #framework #implementation #manycore #named

Orthrus: a framework for implementing high-performance collective I/O in the multicore clusters (XZ, JO, KD, SJ), pp. 113–114.

PPoPP-2013-PrountzosP #algorithm #implementation

Betweenness centrality: algorithms and implementations (DP, KP), pp. 35–46.

ICTSS-2013-GastonHG #distributed #framework #implementation

An Implementation Relation and Test Framework for Timed Distributed Systems (CG, RMH, PLG), pp. 82–97.

CASE-2012-QuangR #approach #implementation

Implementation of Time Domain Passivity Approach on Rate-Mode bilateral teleoperation (HVQ, JHR), pp. 846–850.

CASE-2012-ZhangXG #implementation

Promise surgery start times and implementation strategies (ZZ, XX, NG), pp. 143–149.

DAC-2012-ZhangHY #implementation #realtime #recognition

Implementing an FPGA system for real-time intent recognition for prosthetic legs (XZ, HH, QY), pp. 169–175.

DATE-2012-CupaiuoloI #flexibility #framework #implementation #performance

A flexible and fast software implementation of the FFT on the BPE platform (TC, DLI), pp. 1467–1470.

DATE-2012-GoswamiLSC #implementation

Time-triggered implementations of mixed-criticality automotive software (DG, ML, RS, SC), pp. 1227–1232.

DATE-2012-GuoSHGHNS #implementation

ASIC implementations of five SHA-3 finalists (XG, MS, SH, DG, MBH, LN, PS), pp. 1006–1011.

DATE-2012-LiangCZRZJC #3d #implementation #locality #optimisation #performance #realtime

Real-time implementation and performance optimization of 3D sound localization on GPUs (YL, ZC, SZ, KR, YZ, DLJ, DC), pp. 832–835.

DATE-2012-NataleZ #finite #implementation #state machine

Task implementation of synchronous finite state machines (MDN, HZ), pp. 206–211.

DATE-2012-PerinTBM #analysis #implementation

Amplitude demodulation-based EM analysis of different RSA implementations (GP, LT, PB, PM), pp. 1167–1172.

DATE-2012-TtofisT #adaptation #algorithm #hardware #implementation #realtime #towards

Towards accurate hardware stereo correspondence: A real-time FPGA implementation of a segmentation-based adaptive support weight algorithm (CT, TT), pp. 703–708.

DATE-2012-VeljkovicRV #generative #implementation #low cost #on the fly #random #testing

Low-cost implementations of on-the-fly tests for random number generators (FV, VR, IV), pp. 959–964.

DocEng-2012-AcebalBRL #css #implementation #javascript #layout #named

ALMcss: a javascript implementation of the CSS template layout module (CFA, BB, MR, JMCL), pp. 23–32.

HT-2012-SofeanS #architecture #design #detection #evaluation #implementation #network #realtime #social #using

A real-time architecture for detection of diseases using social networks: design, implementation and evaluation (MS, MS), pp. 309–310.

SIGMOD-2012-ShaoWX #graph #implementation #mining #scalability

Managing and mining large graphs: systems and implementations (BS, HW, YX), pp. 589–592.

ICSM-2012-HindleBZN #analysis #developer #implementation #question #requirements #topic

Relating requirements to implementation via topic analysis: Do topics extracted from requirements make sense to managers and developers? (AH, CB, TZ, NN), pp. 243–252.

PLDI-2012-OhHLLY #analysis #design #implementation

Design and implementation of sparse global analyses for C-like languages (HO, KH, WL, WL, KY), pp. 229–238.

FLOPS-2012-GuzmanCHS #framework #implementation

A General Implementation Framework for Tabled CLP (PCdG, MC, MVH, PJS), pp. 104–119.

CIAA-2012-KlimannMP #automaton #implementation

Implementing Computations in Automaton (Semi)groups (IK, JM, MP), pp. 240–252.

SEFM-2012-FilhoO #implementation #refinement

Implementing Tactics of Refinement in CRefine (MCF, MVMO), pp. 342–351.

GRAPHITE-2012-Cormie-Bowins #comparison #gpu #implementation #reachability

A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities (ECB), pp. 20–34.

ICGT-2012-BlumeBEK #automaton #graph #implementation #invariant #performance

Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking (CB, HJSB, DE, BK), pp. 264–278.

CHI-2012-FosterLWBL #design #effectiveness #energy #implementation #quote

“Watts in it for me?”: design implications for implementing effective energy interventions in organisations (DF, SWL, JW, MB, CL), pp. 2357–2366.

AdaEurope-2012-EdmundsRB #ada #formal method #implementation #modelling

Formal Modelling for Ada Implementations: Tasking Event-B (AE, AR, MJB), pp. 119–132.

AdaEurope-2012-FairbairnB #implementation #verification

Implementing and Verifying EDF Preemption-Level Resource Control (MLF, AB), pp. 193–206.

HILT-2012-Bosch #library

Synchronization cannot be implemented as a library (GB), pp. 73–80.

HILT-2012-Kirtchev #compilation #implementation #performance #robust

A new robust and efficient implementation of controlled types in the GNAT compiler (HHK), pp. 43–50.

HILT-2012-SchonbergP #ada #implementation

Implementation of a simple dimensionality checking system in Ada 2012 (ES, VP), pp. 35–42.

HILT-2012-SwardB #architecture #concept #implementation

Service-oriented architecture (SOA) concepts and implementations (RES, JB), pp. 11–12.

ICEIS-v1-2012-Monch #component #design #implementation #scheduling

Design and Implementation of a Service-based Scheduling Component for Complex Manufacturing Systems (LM), pp. 284–290.

ICPR-2012-RichtsfeldZV #implementation #segmentation

Implementation of Gestalt principles for object segmentation (AR, MZ, MV), pp. 1330–1333.

ICPR-2012-YoonT #implementation

Bayesian implementation of a Lagrangian macroscopic traffic flow model (JWY, TTT), pp. 214–217.

SEKE-2012-BritoOMNBGM #case study #composition #implementation #social #web

Implementing Web Applications as Social Machines Composition: A Case Study (KdSB, LEAO, PFM, LMN, VAdAB, VCG, SRdLM), pp. 311–314.

TOOLS-EUROPE-2012-MarrD #abstraction #concurrent #identification #implementation #multi #virtual machine

Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual Machines (SM, TD), pp. 171–186.

GPCE-2012-EfftingeEKZMHH #domain-specific language #implementation #java #named

Xbase: implementing domain-specific languages for Java (SE, ME, JK, SZ, RvM, WH, MH), pp. 112–121.

GPCE-2012-WalkingshawE #calculus #implementation #modelling

A calculus for modeling and implementing variation (EW, ME), pp. 132–140.

SAC-PL-J-2009-J-CervelleFLR12 #implementation #parsing #using

Banzai+Tatoo: Using cutting-edge parsers for implementing high-performance servers (JC, RF, GL, GR), pp. 990–1005.

SAC-2012-BabaogluMT #design #implementation

Design and implementation of a P2P Cloud system (ÖB, MM, MT), pp. 412–417.

SAC-2012-BromanFHA #comparison #domain-specific language #implementation

A comparison of two metacompilation approaches to implementing a complex domain-specific language (DB, PF, GH, JÅ), pp. 1919–1921.

SAC-2012-FahmyRJ #implementation #interface #kernel #linux #programming #realtime #scheduling #thread

Implementing distributable real-time threads in the Linux kernel: programming interface and scheduling support (SFF, BR, EDJ), pp. 1771–1778.

SAC-2012-FrantzC #development #integration

A software development kit to implement integration solutions (RZF, RC), pp. 1647–1652.

SAC-2012-LeeLKKKS #implementation

An implementation study of a ghost drive: hidden file store in a filesystem (EL, JL, HK, KK, SRK, SYS), pp. 1796–1798.

SAC-2012-MaamarFLH #implementation #social #specification #using #web #web service

Specifying and implementing social Web services operation using commitments (ZM, NF, ML, SH), pp. 1955–1960.

SAC-2012-RajeDFRR #data access #implementation #ontology #using

Using ontology-based methods for implementing role-based access control in cooperative systems (SR, CD, MF, RR, JR), pp. 763–764.

ICSE-2012-ZhengT #architecture #behaviour #consistency #implementation

Enhancing architecture-implementation conformance with change management and support for behavioral mapping (YZ, RNT), pp. 628–638.

ICSE-2012-ZhengT12a #architecture #implementation #named

xMapper: An architecture-implementation mapping tool (YZ, RNT), pp. 1461–1462.

SLE-2012-BettiniSVC #implementation #tool support #type system #xtext

Approaches and Tools for Implementing Type Systems in Xtext (LB, DS, MV, SC), pp. 392–412.

HPCA-2012-BensonCFHGNS #design #hardware #implementation #integration

Design, integration and implementation of the DySER hardware accelerator into OpenSPARC (JB, RC, CF, CHH, VG, TN, KS), pp. 115–126.

PPoPP-2012-LiuAHLSZWT #gpu #implementation #named

FlexBFS: a parallelism-aware implementation of breadth-first search on GPU (GL, HA, WH, XL, TS, WZ, XW, XT), pp. 279–280.

PPoPP-2012-Mendez-LojoBP #analysis #gpu #implementation #points-to

A GPU implementation of inclusion-based points-to analysis (MML, MB, KP), pp. 107–116.

PPoPP-2012-ZuYXWTPD #automaton #implementation #memory management #nondeterminism #performance #regular expression

GPU-based NFA implementation for memory efficient high speed regular expression matching (YZ, MY, ZX, LW, XT, KP, QD), pp. 129–140.

ICLP-2012-LeNPS #implementation

ASP at Work: An ASP Implementation of PhyloWS (TL, HN, EP, TCS), pp. 359–369.

WICSA-2011-BuchgeherW #architecture #automation #implementation

Automatic Tracing of Decisions to Architecture and Implementation (GB, RW), pp. 46–55.

ASE-2011-BergmannHHRUV #emf #implementation #performance #tool support #validation

Implementing efficient model validation in EMF tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 580–583.

ASE-2011-ZhengT #architecture #implementation

Taming changes With 1.x-Way architecture-implementation mapping (YZ, RNT), pp. 396–399.

DATE-2011-AkinBNRSA #algorithm #implementation #parallel

A high-performance parallel implementation of the Chambolle algorithm (AA, IB, AAN, VR, MDS, DA), pp. 1436–1441.

DATE-2011-HeidmannWP #architecture #detection #throughput

Architecture and FPGA-implementation of a high throughput K+-Best detector (NH, TW, SP), pp. 240–245.

DATE-2011-VidalLGDG #configuration management #design #implementation #uml

Dynamic applications on reconfigurable systems: From UML model design to FPGAs implementation (JV, FdL, GG, JPD, SG), pp. 1208–1211.

VLDB-2011-ChattopadhyayLLMALKW #framework #implementation #pipes and filters #sql

Tenzing A SQL Implementation On The MapReduce Framework (BC, LL, WL, SM, PA, VL, YK, MW), pp. 1318–1327.

VLDB-2011-LometTZ #implementation #logic #performance

Implementing Performance Competitive Logical Recovery (DBL, KT, MJZ), pp. 430–439.

CSMR-2011-AndradeRGSRB #flexibility #implementation

Assessing Idioms for Implementing Features with Flexible Binding Times (RA, MR, VG, LS, HR, PB), pp. 231–240.

ICSM-2011-RupakhetiH #implementation #java #named #similarity

EQ: Checking the implementation of equality in Java (CRR, DH), pp. 590–593.

ICSM-2011-SoaresMG #identification #implementation #refactoring

Identifying overly strong conditions in refactoring implementations (GS, MM, RG), pp. 173–182.

MSR-2011-RotellaC #implementation #metric #quality

Implementing quality metrics and goals at the corporate level (PR, SC), pp. 113–122.

WCRE-2011-FuhrHR #clustering #dynamic analysis #implementation #legacy #reuse #using

Using Dynamic Analysis and Clustering for Implementing Services by Reusing Legacy Code (AF, TH, VR), pp. 275–279.

PLDI-2011-SrivastavaBMS #api #detection #implementation #multi #policy #security #using

A security policy oracle: detecting security holes using multiple API implementations (VS, MDB, KSM, VS), pp. 343–354.

STOC-2011-GolabHW #distributed #implementation #random

Linearizable implementations do not suffice for randomized distributed computation (WMG, LH, PW), pp. 373–382.

AFL-2011-Umeo #2d #algorithm #automaton #implementation

Recent Developments in Firing Squad Synchronization Algorithms for Two-Dimensional Cellular Automata and Their State-Efficient Implementations (HU), pp. 368–387.

SEFM-2011-HafaiedhGM #distributed #implementation #interactive #multi

Distributed Implementation of Systems with Multiparty Interactions and Priorities (IBH, SG, NM), pp. 38–57.

CEFP-2011-AxelssonS #implementation #named

Feldspar: Application and Implementation (EA, MS), pp. 402–439.

CEFP-2011-TothB #erlang #static analysis

Static Analysis of Complex Software Systems Implemented in Erlang (MT, IB), pp. 440–498.

ICFP-2011-GillF #fault #implementation #performance

Deriving an efficient FPGA implementation of a low density parity check forward error corrector (AG, AF), pp. 209–220.

IFL-2011-MaierT #haskell #implementation #parallel

Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell (PM, PWT), pp. 35–50.

AGTIVE-2011-HildebrandtLGPR #automation #consistency #graph grammar #implementation #testing

Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (SH, LL, HG, DP, IR), pp. 238–253.

DUXU-v1-2011-KaptanG #design #guidelines #implementation #physics #usability #user interface

Effects of Physical Display Size on GUI Designers’ Perception and Implementation of Usability Guidelines (SNK, MG), pp. 128–137.

DUXU-v2-2011-KimJH #concept #design #experience #implementation #user interface

Different UI, Same UX: A Design Concept for Implementing a Locally-Optimized and Globally-Unified User Experience (SWK, HKJ, DYH), pp. 440–448.

HCD-2011-ChoiS #approach #design #implementation #process

A Design-Supporting Tool for Implementing the Learning-Based Approach: Accommodating Users’ Domain Knowledge into Design Processes (JMC, KS), pp. 369–378.

HCI-DDA-2011-DittmarF #implementation #interactive #modelling #using

Intertwined Modeling and Implementation of Interactive Systems Using HOPS (AD, PF), pp. 194–203.

HCI-MIIE-2011-ChenLY #design #implementation #interactive

Mojo iCuisine: The Design and Implementation of an Interactive Restaurant Tabletop Menu (THC, HHL, YDY), pp. 185–194.

HCI-MIIE-2011-MortimerZMS #effectiveness #implementation #navigation

Implementing Effective Tactile Symbology for Orientation and Navigation (BJPM, GAZ, GRM, CS), pp. 321–328.

AdaEurope-2011-BaruahB #ada #implementation

Implementing Mixed Criticality Systems in Ada (SKB, AB), pp. 174–188.

AdaEurope-2011-ChouteauR #design #implementation #multi

Design and Implementation of a Ravenscar Extension for Multiprocessors (FC, JFR), pp. 31–45.

AdaEurope-2011-Taft #implementation #manycore #parallel #programming #specification

Multicore Programming in ParaSail — Parallel Specification and Implementation Language (STT), pp. 196–200.

SIGAda-2011-SwardB #architecture #concept #implementation

Service-oriented architecture (SOA)concepts and implementations (RES, JB), pp. 3–4.

SIGAda-2011-Taft #implementation #parallel #specification

Experimenting with parasail: parallel specification and implementation language (STT), pp. 11–12.

ICEIS-v1-2011-AsghariNAA #approach #enterprise #fuzzy #implementation #resource management #risk management #using

Risk Management in Enterprise Resource Planning Implementation using a Fuzzy Approach (HAA, MN, FA, FA), pp. 290–294.

ICEIS-v1-2011-LiuEM #design #framework #implementation #integration

Design and Implementation of an Open Platform for Services Integration based on Mashup (YL, HE, LM), pp. 554–559.

ICEIS-v1-2011-MaEL #capacity #convergence #design #framework #implementation

The Design and Implementation of Convergent Service Delivery Platform based on Capacity Open System (LM, HE, LL), pp. 564–570.

ICEIS-v1-2011-WangWH #data analysis #implementation

Research and Implementation of Campus Card Data Analysis System (FW, FW, LH), pp. 515–518.

ICEIS-v2-2011-Li11b #design #implementation

From Consulting to Implementation, Information Technology Also Needs Professional Design (YL), pp. 297–301.

ICEIS-v2-2011-YangJ #implementation #research #risk management

Research on Critical Chain Management and Risk Management in Project Implementation Management (ZY, JJ), pp. 351–356.

ICEIS-v4-2011-MartinsP #implementation #visual notation

A Method Proposal for Implementing Accessibility in Desktop Applications for Visually Impaired Users (LCGM, BEP), pp. 287–290.

ICEIS-v4-2011-OanaVZ #framework #implementation

An Integrated Framework for the Implementation and Continous Improvement of the Romanian Spatial Data Infrastructure (CO, CV, LZ), pp. 176–183.

CIKM-2011-Bradford #implementation #scalability #semantics

Implementation techniques for large-scale latent semantic indexing applications (RBB), pp. 339–344.

ECIR-2011-AlonsoB #crowdsourcing #design #implementation #using

Design and Implementation of Relevance Assessments Using Crowdsourcing (OA, RABY), pp. 153–164.

ICML-2011-MahoneyO #approximate #implementation

Implementing regularization implicitly via approximate eigenvector computation (MWM, LO), pp. 121–128.

KDD-2011-GhotingKPK #algorithm #data mining #implementation #machine learning #mining #named #parallel #pipes and filters #tool support

NIMBLE: a toolkit for the implementation of parallel data mining and machine learning algorithms on mapreduce (AG, PK, EPDP, RK), pp. 334–342.

KDD-2011-ThanhRT #implementation #testing

k-NN as an implementation of situation testing for discrimination discovery and prevention (BLT, SR, FT), pp. 502–510.

KEOD-2011-AlbertiK #database #interpreter

The Implemented Human Interpreter as a Database (GA, MK), pp. 379–385.

KEOD-2011-Karbe #concept #formal method #implementation #information management #representation

Formalizing and Implementing Knowledge Representation on the Basis of Conceptions — Position Statement (TK), pp. 317–321.

KMIS-2011-GretschMH #implementation #process

The Difficulty of Finding Experts — Implementation Process of Corporate Yellow Pages (SG, HM, JH), pp. 48–56.

KMIS-2011-JoshiC #framework #implementation #information management #performance

Knowledge Management and Organizational Performance — A KM Implementation Framework in Indian Context (HJ, DC), pp. 136–145.

MLDM-2011-DanylenkoLL #algebra #implementation #named

Decisions: Algebra and Implementation (AD, JL, WL), pp. 31–45.

SEKE-2011-DiawLC #implementation #metamodelling #process #specification

Specification and Implementation of SPEM4MDE, a metamodel for MDE software processes (SD, RL, BC), pp. 646–653.

SEKE-2011-PossompesDHT #design #diagrams #feature model #implementation #uml

Design of a UML profile for feature diagrams and its tooling implementation (TP, CD, MH, CT), pp. 693–698.

SEKE-2011-SantosGSF #agile #empirical #implementation #learning #towards

A view towards Organizational Learning: An empirical study on Scrum implementation (VAS, AG, ACMS, ALF), pp. 583–589.

SEKE-2011-ZaatarHH #approach #identification #implementation #product line

An Approach for Identifying and Implementing Aspectual Features inSoftware Product Lines (MAZ, HSH, AEFH), pp. 722–728.

BX-2011-Kindler #concept #graph grammar #implementation

Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios (EK), p. 60.

LOPSTR-2011-Henglein #domain-specific language #implementation #symbolic computation

Dynamic Symbolic Computation for Domain-Specific Language Implementation (FH), pp. 4–24.

RE-2011-MasseySOA #implementation

Assessing the accuracy of legal implementation readiness decisions (AKM, BS, PNO, AIA), pp. 207–216.

SAC-2011-EbraertSJ #design #diagrams #feature model #implementation

Change-based FODA diagrams: bridging the gap between feature-oriented design and implementation (PE, QDS, DJ), pp. 1345–1352.

SAC-2011-VenkateshGBC #fixpoint #implementation #markov #modelling #recognition #speech #using

Fixed-point implementation of isolated sub-word level speech recognition using hidden Markov models (NV, RG, RB, MGC), pp. 368–373.

ESEC-FSE-2011-CostacheKK #design #implementation #process #validation

Design and validation of feature-based process model tailoring: a sample implementation of PDE (DC, GK, MK), pp. 464–467.

ICSE-2011-AndersonS #data analysis #design #framework #implementation

Design and implementation of a data analytics infrastructure in support of crisis informatics research (KMA, AS), pp. 844–847.

ICSE-2011-ChristensenH #architecture #implementation #towards

Towards architectural information in implementation (HBC, KMH), pp. 928–931.

ICSE-2011-Zheng #architecture #implementation

1.x-Way architecture-implementation mapping (YZ), pp. 1118–1121.

SPLC-2011-DordowskyBT #implementation #product line

Implementing a Software Product Line for a Complex Avionics System (FD, RB, HT), pp. 241–250.

CC-2011-LameedH #array #compilation #jit #matlab #semantics #staged

Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler (NL, LJH), pp. 22–41.

ICLP-2011-Wilson #axiom #implementation

Implementation of Axiomatic Language (WWW), pp. 290–295.

ICST-2011-KeatingMH #implementation #model checking

Model Checking a TTCAN Implementation (DK, AM, MPH), pp. 387–396.

ICST-2011-SaifanDBP #consistency #implementation #mobile #runtime

Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems (AAS, JD, JSB, EP), pp. 269–278.

ICTSS-2011-PetrenkoY #adaptation #implementation #nondeterminism #testing

Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs (AP, NY), pp. 162–178.

ASE-2010-BiegelD #api #clone detection #detection #flexibility #implementation #named

JCCD: a flexible and extensible API for implementing custom code clone detectors (BB, SD), pp. 167–168.

ASE-2010-BoucherCHBD #approach #implementation #product line

Tag and prune: a pragmatic approach to software product line implementation (QB, AC, PH, AB, LD), pp. 333–336.

ASE-2010-Green #implementation #specification

Keynote address: the actual implementation will be derived from the formal specification — KBSA, 1983 (CG), pp. 183–184.

ASE-2010-TanejaLMXT #multi #named #testing #validation #web

MiTV: multiple-implementation testing of user-input validators for web applications (KT, NL, MRM, TX, NT), pp. 131–134.

CASE-2010-AnandFLM #distributed #implementation #network #using

A practical implementation of distributed system control over an asynchronous Ethernet network using time stamped data (DMA, JGF, YSLB, JRM), pp. 515–520.

CASE-2010-SouzaPC #analysis #distributed #implementation #network #predict

Distributed model predictive control applied to urban traffic networks: Implementation, experimentation, and analysis (FAdS, VBP, EC), pp. 399–405.

DAC-2010-LuoWH #effectiveness #gpu #implementation

An effective GPU implementation of breadth-first search (LL, MDFW, WmWH), pp. 52–55.

DAC-2010-SeomunSS #implementation #power management #synthesis

Synthesis and implementation of active mode power gating circuits (JS, IS, YS), pp. 487–492.

DATE-2010-BollapalliKK #implementation #logic

Implementing digital logic with sinusoidal supplies (KCB, SPK, LBK), pp. 315–318.

DATE-2010-ChenS #implementation #manycore #named #parallel #scalability

pSHS: A scalable parallel software implementation of Montgomery multiplication for multicore systems (ZC, PS), pp. 843–848.

DATE-2010-KranenburgL #architecture #implementation #named #robust

MB-LITE: A robust, light-weight soft-core implementation of the MicroBlaze architecture (TK, RvL), pp. 997–1000.

DATE-2010-LiSBNO #analysis #implementation

Power Variance Analysis breaks a masked ASIC implementation of AES (YL, KS, LB, DN, KO), pp. 1059–1064.

DATE-2010-MehdipourHKIKMAF #quantum #scalability

Mapping scientific applications on a large-scale data-path accelerator implemented by single-flux quantum (SFQ) circuits (FM, HH, HK, KI, IK, KM, HA, AF), pp. 993–996.

DATE-2010-MullerBGRNZB #design #implementation #manycore #recognition

Design of an automotive traffic sign recognition system targeting a multi-core SoC implementation (MM, AGB, JG, WR, DN, JMZ, OB), pp. 532–537.

DATE-2010-RathiDGCV #distance #feature model #gpu #implementation

A GPU based implementation of Center-Surround Distribution Distance for feature extraction and matching (AR, MD, WG, RTC, NV), pp. 172–177.

DATE-2010-TumeoRPFS #architecture #configuration management #implementation #multi #recognition #reliability

A reconfigurable multiprocessor architecture for a reliable face recognition implementation (AT, FR, GP, FF, DS), pp. 319–322.

DATE-2010-VasicekSB #design #implementation

A method for design of impulse bursts noise filters optimized for FPGA implementations (ZV, LS, MB), pp. 1731–1736.

ICSM-2010-BurgstallerE #comprehension #requirements

Understanding where requirements are implemented (BB, AE), pp. 1–5.

ICSM-2010-GuptaDKR #case study #implementation

A case study in matching service descriptions to implementations in an existing system (HSG, DD, RK, GMR), pp. 1–10.

ICSM-2010-Haller #correctness #implementation #information management #on the

On the implementation and correctness of information system upgrades (KH), pp. 1–5.

ICSM-2010-HayashiSS #comprehension #implementation #interactive #named

iFL: An interactive environment for understanding feature implementations (SH, KS, MS), pp. 1–5.

PEPM-2010-MossP #implementation #performance

Bridging the gap between symbolic and efficient AES implementations (AM, DP), pp. 101–110.

DLT-2010-Head #algebra #parallel #using

Using Light to Implement Parallel Boolean Algebra (TH), pp. 231–242.

ICFP-2010-BradyH #domain-specific language #implementation #partial evaluation #using

Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation (EB, KH), pp. 297–308.

IFL-2010-AxelssonCSSEP #design #embedded #implementation

The Design and Implementation of Feldspar — An Embedded Language for Digital Signal Processing (EA, KC, MS, JS, DE, AP), pp. 121–136.

CHI-2010-DixonF #behaviour #implementation #interface #named #reverse engineering #using

Prefab: implementing advanced behaviors using pixel-based reverse engineering of interface structure (MD, JF), pp. 1525–1534.

AdaEurope-2010-AlbertosCSF #algorithm #co-evolution #design #implementation

Control Co-design: Algorithms and Their Implementation (PA, AC, JES, AF), pp. 19–40.

AdaEurope-2010-Andersen #implementation #performance #persistent

An Efficient Implementation of Persistent Objects (JSA), pp. 265–275.

AdaEurope-2010-AnderssonP #ada #algorithm #implementation #manycore #realtime #scheduling #using

Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 (BA, LMP), pp. 54–67.

CAiSE-2010-StoermerRV #evaluation #implementation

Feature-Based Entity Matching: The FBEM Model, Implementation, Evaluation (HS, NR, NV), pp. 180–193.

ICEIS-AIDSS-2010-GilS #implementation #performance #process #using

Using Key Performance Indicators to Facilitate the Strategy Implementation and Business Process Improvement in SME’s (MMG, DNS), pp. 193–197.

ICPR-2010-AmcalarC #design #evaluation #human-computer #implementation #interface #realtime

Design, Implementation and Evaluation of a Real-Time P300-based Brain-Computer Interface System (AA, MÇ), pp. 117–120.

ICPR-2010-BaldacciBD #3d #algorithm #bound #design #framework #graph #segmentation

Oriented Boundary Graph: A Framework to Design and Implement 3D Segmentation Algorithms (FB, AJPB, JPD), pp. 1116–1119.

ICPR-2010-MizukamiTWLP #database #implementation #pattern matching #pattern recognition #recognition

CUDA Implementation of Deformable Pattern Recognition and its Application to MNIST Handwritten Digit Database (YM, KT, JW, PL, SP), pp. 2001–2004.

KMIS-2010-Jezek #bibliography #implementation #repository

Universal Extra-functional Properties Repository — Model Overview and Implementation (KJ), pp. 382–385.

SEKE-2010-AdderleyDT #framework #implementation #rule-based

An Examination of a Rule-Based Expert System to Aid in the Implementation of the CMMI Framework (TA, SD, FT), pp. 599–603.

SEKE-2010-ElabdCH #approach #data access #implementation #web #web service

Selecting Web Services for Choreography Implementation: Compatibility Checking Approach with Access Control (EE, EC, MSH), pp. 235–240.

SEKE-2010-KhwajaU #execution #implementation #realtime #specification

Intertwining Implementation with the RealSpec Executable Real-Time Specification Language (AAK, JEU), pp. 649–652.

SEKE-2010-PeixotoBRP #case study #implementation #process

A Case Study of Software Process Improvement Implementation (DCCP, VAB, RFR, CIPSP), pp. 716–721.

ECMFA-2010-AcherCLF #composition #feature model

Comparing Approaches to Implement Feature Model Composition (MA, PC, PL, RBF), pp. 3–19.

ICMT-2010-Perez-CastilloGP #implementation #process #qvt

Implementing Business Process Recovery Patterns through QVT Transformations (RPC, IGRdG, MP), pp. 168–183.

ECOOP-2010-Owens #abstraction #concurrent #implementation #reasoning

Reasoning about the Implementation of Concurrency Abstractions on x86-TSO (SO), pp. 478–503.

OOPSLA-2010-SchaferM #implementation #refactoring #specification

Specifying and implementing refactorings (MS, OdM), pp. 286–301.

PADL-2010-AreiasR #implementation #linear #order #performance

An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives (MA, RR), pp. 279–293.

PADL-2010-Costa #implementation #on the

On the Implementation of the CLP(BN) Language (VSC), pp. 234–248.

PADL-2010-GomesAS #hybrid #implementation #knowledge base #query

Implementing Query Answering for Hybrid MKNF Knowledge Bases (ASG, JJA, TS), pp. 25–39.

PADL-2010-MarquesSC #concurrent #implementation #performance

A Simple and Efficient Implementation of Concurrent Local Tabling (RM, TS, JCC), pp. 264–278.

PADL-2010-WangG #approach #domain-specific language #implementation #protocol #stack

A Domain-Specific Language Approach to Protocol Stack Implementation (YW, VG), pp. 183–185.

SAC-2010-BettiniDS #implementation #product line #using

Implementing software product lines using traits (LB, FD, IS), pp. 2096–2102.

SAC-2010-CostaNSFL #adaptation #framework #self

JAAF+T: a framework to implement self-adaptive agents that apply self-test (ADdC, CN, VTdS, BFdSN, CJPdL), pp. 928–935.

SAC-2010-GomesM #design pattern #implementation

Design pattern implementation in object teams (JLG, MPM), pp. 2119–2120.

SAC-2010-HansenS #analysis #implementation #optimisation #reachability

Reachability analysis of GSPDIs: theory, optimization, and implementation (HAH, GS), pp. 2511–2516.

SAC-2010-LiuCXMBG #architecture #domain-specific language #question

Can domain-specific languages be implemented by service-oriented architecture? (SHL, AC, XX, MM, BRB, JG), pp. 2491–2492.

SAC-2010-LuSPFZ #constraints #database #implementation #relational

Constraint processing in relational database systems: from theory to implementation (JJL, SS, OP, GHLF, HZ), pp. 2066–2070.

SAC-2010-MadeoPBDB #implementation #pattern matching #pattern recognition #recognition

A committee machine implementing the pattern recognition module for fingerspelling applications (RCBM, SMP, HHB, DBD, CB), pp. 954–958.

SAC-2010-RytzO #design #object-oriented #polymorphism #scala

Named and default arguments for polymorphic object-oriented languages: a discussion on the design implemented in the Scala language (LR, MO), pp. 2090–2095.

SAC-2010-SorniottiM #facebook #implementation #network #social

Secret interest groups (SIGs) in social networks with an implementation on Facebook (AS, RM), pp. 621–628.

FSE-2010-BanerjeeRHL #debugging #implementation

Golden implementation driven software debugging (AB, AR, JAH, ZL), pp. 177–186.

FSE-2010-KillianNPBAJ #debugging #implementation #performance

Finding latent performance bugs in systems implementations (CEK, KN, SP, RB, JWA, RJ), pp. 17–26.

LDTA-J-2007-AkessonEH #attribute grammar #compilation #implementation #jastadd #using

Implementation of a Modelica compiler using JastAdd attribute grammars (JÅ, TE, GH), pp. 21–38.

LDTA-2009-RiescoR10 #implementation #maude #semantics

A Natural Implementation of Plural Semantics in Maude (AR, JRH), pp. 165–175.

LDTA-2010-Bagge #implementation

Language description for front end implementation (AHB), p. 9.

LDTA-2010-KlintSV #domain-specific language #implementation #maintenance #on the #tool support

On the impact of DSL tools on the maintainability of language implementations (PK, TvdS, JJV), p. 10.

SLE-2010-HostO #canonical #identification #implementation #java #semantics #using

Canonical Method Names for Java — Using Implementation Semantics to Identify Synonymous Verbs (EWH, BMØ), pp. 226–245.

SLE-2010-JohnstoneS #gll #implementation #modelling #parsing

Modelling GLL Parser Implementations (AJ, ES), pp. 42–61.

HPDC-2010-BhagawatyJPABK #design #implementation #simulation

Design, implementation and use of a simulation data archive for coastal science (HB, LJ, SP, GA, NB, TK), pp. 651–657.

OSDI-2010-Ben-YehudaDDFHGLWY #design #implementation

The Turtles Project: Design and Implementation of Nested Virtualization (MBY, MDD, ZD, MF, NH, AG, AL, OW, BAY), pp. 423–436.

PPoPP-2010-RomeinBMN #analysis #implementation #performance

The LOFAR correlator: implementation and performance analysis (JWR, PCB, JDM, RvN), pp. 169–178.

CAV-2010-CernyRZCA #concurrent #implementation #model checking

Model Checking of Linearizability of Concurrent List Implementations (PC, AR, DZ, SC, RA), pp. 465–479.

CAV-2010-ConwayB #data type #implementation #low level #verification

Verifying Low-Level Implementations of High-Level Datatypes (CLC, CB), pp. 306–320.

ICLP-2010-Brass10 #bottom-up #evaluation #implementation

Implementation Alternatives for Bottom-Up Evaluation (SB), pp. 44–53.

ICLP-2010-Martinez10 #concurrent #constraints #design #implementation #linear #logic programming #programming language

Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints (TM), pp. 277–280.

ICTSS-2010-UlrichAHB #implementation

From Scenarios to Test Implementations Via Promela (AU, EHA, HH, SB), pp. 236–249.

CBSE-2009-KiniryF #consistency #design #documentation #implementation #specification

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations (JRK, FF), pp. 242–261.

WICSA-ECSA-2009-PaceCBSC #architecture #documentation #implementation

Assisting the synchronization of UCM-based architectural documentation with implementation (JADP, JPC, MB, AS, MRC), pp. 151–160.

ASE-2009-GonzalezCD #analysis #automation #implementation #workflow

Automating the Implementation of Analysis Concerns in Workflow Applications (OG, RC, DD), pp. 585–589.

DATE-2009-AfratisGSMCPP #database #design #implementation

Design and implementation of a database filter for BLAST acceleration (PA, CG, ES, GGM, GC, IP, DNP), pp. 166–171.

DATE-2009-FerrariNGRG #component #implementation #memory management #trade-off

Time and memory tradeoffs in the implementation of AUTOSAR components (AF, MDN, GG, GR, PG), pp. 864–869.

DATE-2009-GarridoVSML #detection #implementation

Implementation of a reduced-lattice MIMO detector for OFDM Systems (JSG, HV, MS, DM, AL), pp. 1626–1631.

DATE-2009-Gomez-PradoRCGB #data flow #graph #hardware #implementation #optimisation

Optimizing data flow graphs to minimize hardware implementation (DGP, QR, MJC, JG, EB), pp. 117–122.

DATE-2009-KodakaSTONKMUAOKTM #design #implementation #manycore #scalability #thread

Design and implementation of scalable, transparent threads for multi-core media processor (TK, SS, TT, RO, NN, KK, TM, YU, HA, YO, TK, YT, NM), pp. 1035–1039.

DATE-2009-ZridaJAA #implementation #parallel #video

High level H.264/AVC video encoder parallelization for multiprocessor implementation (HKZ, AJ, ACA, MA), pp. 940–945.

HT-2009-JankowskiD #implementation

The 2LIP model and its implementations (JJ, SD), pp. 339–340.

ICDAR-2009-SchenkHSBR #implementation #modelling #online #recognition

GMs in On-Line Handwritten Whiteboard Note Recognition: The Influence of Implementation and Modeling (JS, BH, BWS, AB, GR), pp. 877–880.

VLDB-2009-KimSCKNBLSD #implementation #manycore #performance

Sort vs. Hash Revisited: Fast Join Implementation on Modern Multi-Core CPUs (CK, ES, JC, TK, ADN, ADB, VWL, NS, PD), pp. 1378–1389.

WRLA-2008-DuranO09 #implementation #maude #realtime

A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude (FD, PCÖ), pp. 83–102.

WRLA-2008-RiescoV09 #implementation #maude #protocol

Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol (AR, AV), pp. 249–266.

FASE-2009-Kosiuczenko #implementation #on the

On the Implementation of @pre (PK), pp. 246–261.

TACAS-2009-EmmiJKM #implementation #verification

Verifying Reference Counting Implementations (ME, RJ, EK, RM), pp. 352–367.

CSMR-2009-NunesKSNGL #implementation #multi #product line

Comparing Stability of Implementation Techniques for Multi-agent System Product Lines (CN, UK, CS, IN, AFG, CJPdL), pp. 229–232.

ICSM-2009-BouwersVD #architecture #evaluation

Criteria for the evaluation of implemented architectures (EB, JV, AvD), pp. 73–82.

PLDI-2009-Oiwa #compilation #implementation

Implementation of the memory-safe full ANSI-C compiler (YO), pp. 259–269.

SAS-2009-Bouissou #algorithm #correctness #implementation #proving

Proving the Correctness of the Implementation of a Control-Command Algorithm (OB), pp. 102–119.

CIAA-J-2008-MatsumotoHT09 #automaton #implementation #pattern matching #performance #runtime

A Run-Time Efficient Implementation of Compressed Pattern Matching Automata (TM, KH, MT), pp. 717–733.

CIAA-2009-AhnH #heuristic #implementation #using

Implementation of State Elimination Using Heuristics (JHA, YSH), pp. 178–187.

CIAA-2009-HolubS #automaton #finite #implementation #on the #parallel

On Parallel Implementations of Deterministic Finite Automata (JH, SS), pp. 54–64.

CIAA-2009-Navarro #automaton #implementation #string

Implementation and Application of Automata in String Processing (GN), p. 1.

SEFM-2009-CunhaP #alloy #database #implementation #specification

Mapping between Alloy Specifications and Database Implementations (AC, HP), pp. 285–294.

SEFM-2009-DaumSS #correctness #implementation #operating system #realtime

Implementation Correctness of a Real-Time Operating System (MD, NS, MS), pp. 23–32.

ICFP-2009-RompfMO #continuation #implementation #polymorphism

Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform (TR, IM, MO), pp. 317–328.

CHI-2009-RukzioMH #design #evaluation #implementation #navigation #novel

Design, implementation and evaluation of a novel public display for pedestrian navigation: the rotating compass (ER, MM, RH), pp. 113–122.

DHM-2009-GoreHWS #implementation

A Computational Implementation of a Human Attention Guiding Mechanism in MIDAS v5 (BFG, BLH, CDW, SSN), pp. 237–246.

DHM-2009-HashagenZSZ #adaptation #implementation #interactive #learning #pattern matching #pattern recognition #recognition

Adaptive Motion Pattern Recognition: Implementing Playful Learning through Embodied Interaction (AH, CZ, HS, SZ), pp. 105–114.

DHM-2009-TianDBAH #implementation #performance

The Performance of BCMA-Aided Healthcare Service: Implementation Factors and Results (RT, VGD, CB, SRA, KH), pp. 560–568.

HCI-AUII-2009-LekkasTGMS #design #implementation #parametricity #personalisation

Implementing Affect Parameters in Personalized Web-Based Design (ZL, NT, PG, CM, GS), pp. 320–329.

HCI-VAD-2009-ThiesK #concept #implementation #interactive

Electronic Glassboard — Conception and Implementation of an Interactive Tele-presence Application (PT, BK), pp. 632–640.

HIMI-DIE-2009-LinYLL #enterprise #implementation

A Human Factors Model for Enterprise Resources Planning System Implementation (CJL, CWY, SBL, SFL), pp. 123–130.

OCSC-2009-PuseyM #education #heuristic #implementation #learning #wiki

Heuristics for Implementation of Wiki Technology in Higher Education Learning (PP, GM), pp. 507–514.

AdaEurope-2009-BurnsWZ #ada #analysis #implementation #scheduling

Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 (AB, AJW, FZ), pp. 119–133.

AdaEurope-2009-RivasHR #ada #implementation

Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT (MAR, MGH, JFR), pp. 105–118.

AdaEurope-2009-SaezTGC #ada #implementation #state machine #uml

Implementing Reactive Systems with UML State Machines and Ada 2005 (SS, ST, VLG, AC), pp. 149–163.

SIGAda-2009-DelangePPKSK #simulation #using #validation

Validate, simulate, and implement ARINC653 systems using the AADL (JD, LP, AP, MK, FS, FK), pp. 31–44.

SIGAda-2009-Sward #architecture #concept #implementation

Service oriented architecture (SOA) concepts and implementations (RES), pp. 15–16.

CAiSE-2009-Haller #concept #implementation #migration #standard #towards

Towards the Industrialization of Data Migration: Concepts and Patterns for Standard Software Implementation Projects (KH), pp. 63–78.

ICEIS-AIDSS-2009-CastroAP #approach #concept #implementation #metadata #named #using

K-annotations — An Approach for Conceptual Knowledge Implementation using Metadata Annotations (ESEC, MA, RTP), pp. 66–72.

ICEIS-DISI-2009-BergerS #architecture #case study #implementation #named #query

FedDW: A Tool for Querying Federations of Data Warehouses — Architecture, Use Case and Implementation (SB, MS), pp. 113–122.

ICEIS-ISAS-2009-OussenaB #analysis #implementation #modelling #process #using

Layered Process Models — Analysis and Implementation (using MDA Principles) (SO, BSB), pp. 168–175.

ICEIS-SAIC-2009-DrumondGMA #implementation #multi #recommendation

Implementation Issues of the Infonorma Multi-agent Recommender System (LD, RG, DM, GA), pp. 128–133.

ICEIS-SAIC-2009-MaamarSTS #implementation #web #web service

A P2P Implementation for the High Availability of Web Services (ZM, MS, ST, QZS), pp. 19–24.

ICEIS-SAIC-2009-WuFL #implementation #integration #online #physics #process

A Process for Implementing Online and Physical Business based on a Strategy Integration Aspect (ILW, CYF, CWL), pp. 5–11.

CIKM-2009-Moussa #database #distributed #implementation #middleware

HDDBrs middleware for implementing highly available distributed databases (RM), pp. 2075–2076.

KDIR-2009-Kirsch #implementation

KM Implementation Strategy (DK), p. 11.

KEOD-2009-Kirsch #implementation

KM Implementation Strategy (DK), p. 11.

KEOD-2009-ZambachM #implementation #logic #ontology

Applying Terminological Methods and Description Logic for Creating and Implementing an Ontology on Inhibition (SZ, BNM), pp. 452–455.

KMIS-2009-Kirsch #implementation

KM Implementation Strategy (DK), p. 11.

KMIS-2009-SerranoA #approach #implementation #information management #towards

Knowledge Management Implementation Methodology — Towards a Practical Approach (DBS, RMdA), pp. 305–308.

SEKE-2009-LiaoHPWCLWCH #architecture #implementation #network #research

Research and Implementation of Service-oriented Architecture Supporting Locationbased Services on Sensor Networks (BYL, WSH, JSP, HCW, YMC, JKL, BSW, ELC, MFH), pp. 334–337.

SEKE-2009-NetoCNSL #adaptation #framework #named #self

JAAF: A Framework to Implement Self-adaptive Agents (BFdSN, ADdC, MTdAN, VTdS, CJPdL), pp. 212–217.

MoDELS-2009-MoiseevHS #approach #generative #implementation #ocl

Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.

ECOOP-2009-HeydarnooriCB #automation #concept #framework

Supporting Framework Use via Automatically Extracted Concept-Implementation Templates (AH, KC, TTB), pp. 344–368.

ECOOP-2009-VolosWASTN #design #implementation #memory management #named #parallel #transaction

NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems (HV, AW, ARAT, TS, XT, RN), pp. 123–147.

OOPSLA-2009-DucournauMP #assessment #empirical #implementation #inheritance #multi #object-oriented #static typing #type system

Empirical assessment of object-oriented implementations with multiple inheritance and static typing (RD, FM, JP), pp. 41–60.

PPDP-2009-Aranda-LopezNSS #constraints #database #deduction #fixpoint #implementation #semantics

Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas (GAL, SN, FSP, JSH), pp. 117–128.

PADL-2009-Moura #implementation

Secure Implementation of Meta-predicates (PM), pp. 269–283.

PADL-2009-SuleimanM #concurrent #implementation #parallel #prolog #thread

Implementing Thread Cancellation in Multithreaded Prolog Systems (AS, JM), pp. 122–136.

SAC-2009-CervelleFLR #framework #implementation #java #named

Banzai: a Java framework for the implementation of high-performance servers (JC, RF, GL, GR), pp. 1903–1909.

SAC-2009-DemailleLS #abstract syntax tree #effectiveness #named #parsing #using

TWEAST: a simple and effective technique to implement concrete-syntax AST rewriting using partial parsing (AD, RL, BS), pp. 1924–1929.

SAC-2009-EstevesRFO #concept #framework #implementation #simulation

Conceptualization and implementation of a microscopic pedestrian simulation platform (EFE, RJFR, PAFF, ECO), pp. 2105–2106.

SAC-2009-FaggioliTC #algorithm #implementation #linux

An implementation of the earliest deadline first algorithm in Linux (DF, MT, FC), pp. 1984–1989.

SAC-2009-KangCRRV #adaptation #composition #implementation #probability #simulation

Modular implementation of adaptive decisions in stochastic simulations (PK, YC, NR, CJR, SV), pp. 995–1001.

SAC-2009-KrajcaV #formal method #implementation #parallel #performance

Data parallel dialect of scheme: outline of the formal model, implementation, performance (PK, VV), pp. 1938–1939.

SAC-2009-MiyamotoTT #design #implementation #interface

Design and implementation on a pie menu interface for analog joysticks (MM, TT, MT), pp. 154–155.

SAC-2009-PaganoCRLSAST #implementation #network #realtime

ERIKA and open-ZB: an implementation for real-time wireless networking (PP, MC, AR, GL, RS, MA, PGS, ET), pp. 1687–1688.

SAC-2009-RodriguesMF #algebra #implementation #navigation #process #web #web service

Implementing rigorous web services with process algebra: navigation plan for web services (MCR, SM, JEF), pp. 625–631.

SAC-2009-SchippersHH #implementation

An implementation substrate for languages composing modularized crosscutting concerns (HS, MH, RH), pp. 1944–1951.

SAC-2009-ViroliCO #coordination #framework #implementation #modelling #self

A framework for modelling and implementing self-organising coordination (MV, MC, AO), pp. 1353–1360.

ICSE-2009-CalinescuK #analysis #using

Using quantitative analysis to implement autonomic IT systems (RC, MZK), pp. 100–110.

ICSE-2009-RaysideBSNMJ #abstraction #generative #implementation #similarity

Equality and hashing for (almost) free: Generating implementations from abstraction functions (DR, ZB, RS, JPN, AM, DJ), pp. 342–352.

ICSE-2009-SentillesPNNPC #analysis #component #design #embedded #implementation #named

Save-IDE — A tool for design, analysis and implementation of component-based embedded systems (SS, AP, DN, TN, PP, IC), pp. 607–610.

SLE-2009-MalletLAGT #automation #domain model #implementation #modelling #multi #process

An Automated Process for Implementing Multilevel Domain Models (FM, FL, CA, SG, FT), pp. 314–333.

ASPLOS-2009-DiceLMN #experience #hardware #implementation #memory management #transaction

Early experience with a commercial hardware transactional memory implementation (DD, YL, MM, DN), pp. 157–168.

CC-2009-AbadiBHHI #implementation #memory management #transaction

Implementation and Use of Transactional Memory with Dynamic Separation (MA, AB, TH, JH, MI), pp. 63–77.

HPCA-2009-SeoLS #design #implementation #memory management #multi

Design and implementation of software-managed caches for multicores with local memory (SS, JL, ZS), pp. 55–66.

HPDC-2009-IbrahimJCCWQ #implementation #named #pipes and filters #towards #virtual machine

CLOUDLET: towards mapreduce implementation on virtual machines (SI, HJ, BC, HC, SW, LQ), pp. 65–66.

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

PPoPP-2009-VolosWASTN #design #implementation #memory management #named #parallel #transaction

NePalTM: design and implementation of nested parallelism for transactional memory systems (HV, AW, ARAT, TS, XT, RN), pp. 291–292.

SOSP-2009-GlerumKGAONGLH #debugging #experience #implementation #scalability

Debugging in the (very) large: ten years of implementation and experience (KG, KK, SG, GA, VO, GN, DG, GL, GCH), pp. 103–116.

SOSP-2009-YuGI #distributed #implementation #interface

Distributed aggregation for data-parallel computing: interfaces and implementations (YY, PKG, MI), pp. 247–260.

ICLP-2009-GebserKKS #constraints #implementation #on the

On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (MG, RK, BK, TS), pp. 250–264.

ICLP-2009-GuzmanCH #implementation #multi

A Tabling Implementation Based on Variables with Multiple Bindings (PCdG, MC, MVH), pp. 190–204.

ICST-2009-PostS #bound #equivalence #functional #implementation #model checking #proving #using

Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking (HP, CS), pp. 31–40.

TestCom-FATES-2009-BorodayPU #implementation #testing

Implementing MSC Tests with Quiescence Observation (SB, AP, AU), pp. 49–65.

CASE-2008-HuangHCLC #automation #design #implementation

Automatic virtual metrology system design and implementation (YTH, HCH, FTC, TSL, FCC), pp. 223–229.

CASE-2008-WeiP #implementation #industrial #learning

An implementation of iterative learning control in industrial production machines (DW, RP), pp. 472–477.

DAC-2008-GerstlauerPSGNAN #implementation #specification

Specify-explore-refine (SER): from specification to implementation (AG, JP, DS, DG, AN, DA, YN), pp. 586–591.

DAC-2008-GolsonC #implementation #physics #theory and practice

Flow engineering for physical implementation: theory and practice (SG, PC), p. 1.

DAC-2008-LiBNPC #approach #how #implementation #power management #set

How to let instruction set processor beat ASIC for low power wireless baseband implementation: a system level approach (ML, BB, DN, LVdP, FC), pp. 345–346.

DAC-2008-MilderFHP #implementation #representation

Formal datapath representation and manipulation for implementing DSP transforms (PAM, FF, JCH, MP), pp. 385–390.

DAC-2008-PinckneyBDMJNHSP #implementation

A MIPS R2000 implementation (NRP, TB, MD, MM, NJ, CN, DMH, JS, BP), pp. 102–107.

DATE-2008-ArteagaF #architecture #hardware #implementation #named #novel

GMDS: Hardware implementation of novel real output queuing architecture (RA, FT, REC, VdA, RS), pp. 1450–1455.

DATE-2008-AsianVR #implementation #network

Practical Implementation of a Network Analyzer for Analog BIST Applications (MJBA, DV, AR), pp. 80–85.

DATE-2008-BonnotLEGRG #approach #architecture #implementation #multi

Definition and SIMD Implementation of a Multi-Processing Architecture Approach on FPGA (PB, FL, GE, GG, OR, PG), pp. 610–615.

DATE-2008-DasMJZMC #analysis #component #detection #implementation #network #performance

An Efficient FPGA Implementation of Principle Component Analysis based Network Intrusion Detection System (AD, SM, SJ, JZ, GM, ANC), pp. 1160–1165.

DATE-2008-GerinGP #implementation #performance #simulation

Efficient Implementation of Native Software Simulation for MPSoC (PG, XG, FP), pp. 676–681.

DATE-2008-MucciVMGDGKSCC #adaptation #array #configuration management #implementation #parallel #pipes and filters

Implementation of Parallel LFSR-based Applications on an Adaptive DSP featuring a Pipelined Configurable Gate Array (CM, LV, IM, DG, AD, SG, JK, AS, LC, FC), pp. 1444–1449.

DATE-2008-SahaSPBW #framework #implementation #message passing #parallel

An Optimized Message Passing Framework for Parallel Implementation of Signal Processing Applications (SS, JS, SP, SSB, WW), pp. 1220–1225.

DATE-2008-ZezzaM #implementation

VLSI implementation of SISO arithmetic decoders for joint source channel coding (SZ, GM), pp. 1075–1078.

DRR-2008-ShafaitKB #adaptation #image #implementation #performance #using

Efficient implementation of local adaptive thresholding techniques using integral images (FS, DK, TMB), p. 681510.

HT-2008-PanissonRS #framework #implementation #named #recommendation #social

X-hinter: a framework for implementing social oriented recommender systems (AP, GR, RS), pp. 235–236.

VLDB-2008-ChhuganiNLMHCBKD #architecture #cpu #implementation #manycore #performance #sorting

Efficient implementation of sorting on multi-core SIMD CPU architecture (JC, ADN, VWL, WM, MH, YKC, AB, SK, PD), pp. 1313–1324.

VLDB-2008-HolupirekS #implementation

Implementing filesystems by tree-aware DBMSs (AH, MHS), pp. 1623–1630.

ESOP-2008-FournetGN #implementation

A Formal Implementation of Value Commitment (CF, NG, FZN), pp. 383–397.

CIAA-2008-MatsumotoHT #automaton #implementation #pattern matching #performance #runtime

A Run-Time Efficient Implementation of Compressed Pattern Matching Automata (TM, KH, MT), pp. 201–211.

FM-2008-RidgeNS #approach #implementation #network #protocol

A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service (TR, MN, PS), pp. 294–309.

SFM-2008-VersariG #calculus #implementation #process

pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi (CV, RG), pp. 449–506.

IFL-2008-GrelckP #architecture #implementation #parallel #runtime #thread

Implementation Architecture and Multithreaded Runtime System of S-Net (CG, FP), pp. 60–79.

IFL-2008-Mackie #implementation #interactive #reduction

An Interaction Net Implementation of Closed Reduction (IM), pp. 43–59.

GT-VMT-2006-DarabosPV08 #graph transformation #implementation #testing #towards

Towards Testing the Implementation of Graph Transformations (AD, AP, DV), pp. 75–85.

GT-VMT-2006-Varro08 #database #graph transformation #implementation #independence #plugin #query #using

Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries (GV), pp. 121–132.

GT-VMT-2008-HassanMS #design #implementation #interactive #programming language

Interaction nets: programming language design and implementation (AH, IM, SS).

ICGT-2008-DerbelMG #graph #implementation #mobile

Mobile Agents Implementing Local Computations in Graphs (BD, MM, SG), pp. 99–114.

ICGT-2008-GadducciM #distributed #implementation #mobile

A Decentralized Implementation of Mobile Ambients (FG, GVM), pp. 115–130.

ICGT-2008-Striewe #graph grammar #implementation #state machine #using

Using a Triple Graph Grammar for State Machine Implementations (MS), pp. 514–516.

SIGAda-2008-Sward #ada #architecture #concept #implementation #named

SP1: service oriented architecture (SOA) concepts and implementations for Ada (RES), pp. 3–4.

SIGAda-2008-Taft #ada #implementation

Implementing the extended return statement for Ada 2005 (STT), pp. 97–104.

EDOC-2008-Jacobs #as a service #implementation

Implementing Software as a Service (DJ).

EDOC-2008-MeierL #implementation

Implementation of a Process-Based SOA at a Publishing Company (IM, ML).

EDOC-2008-WehrweinMT #approach #collaboration #implementation

A Requirements-Driven and Collaborative Decision Support Approach for Evaluating the Viability of Candidate Implementation Technologies (BW, GM, RT), pp. 293–299.

ICEIS-DISI-2008-EqueyKVM #empirical #enterprise #implementation

Empirical Study of ERP Systems Implementation Costs in Swiss SMEs (CE, RJK, SV, NM), pp. 143–148.

ICEIS-DISI-2008-PanLT #implementation #integration #xml

An Implementation of XML Data Integration (WP, JL, JT), pp. 111–116.

ICEIS-DISI-2008-Savnik #algebra #data flow #implementation #query #web

Implementation of Algebra for Querying Web Data Sources (IS), pp. 91–96.

ICEIS-HCI-2008-LucaB #design #implementation #navigation #recommendation

Microformats Based Navigation Assistant — A Non-intrusive Recommender Agent: Design and Implementation (APL, SCB), pp. 54–61.

ICEIS-HCI-2008-TrulockH #case study #implementation #web

Assessing the Progress of Implementing Web Accessibility — An Irish Case Study (VT, RH), pp. 105–111.

ICEIS-ISAS2-2008-SchmitzAFA #implementation #nondeterminism #order

Defining the Implementation Order of Software Projects in Uncertain Environments (EAS, AJA, MCF, CMdA), pp. 23–29.

ECIR-2008-LoponenPJK #implementation #novel

A Novel Implementation of the FITE-TRT Translation Method (AL, AP, KJ, HK), pp. 138–149.

ICML-2008-WeinbergerS #distance #implementation #learning #metric #performance

Fast solvers and efficient implementations for distance metric learning (KQW, LKS), pp. 1160–1167.

ICPR-2008-BenezethJELR #algorithm #bibliography #evaluation

Review and evaluation of commonly-implemented background subtraction algorithms (YB, PMJ, BE, HL, CR), pp. 1–4.

ICPR-2008-IlayarajaNJ #implementation #performance #problem #scalability

Efficient implementation of SVM for large class problems (PI, NVN, CVJ), pp. 1–4.

SEKE-2008-PengDZ #behaviour #correctness #design pattern #implementation #verification

Verifying Behavioral Correctness of Design Pattern Implementation (TP, JD, YZ), pp. 454–459.

SIGIR-2008-MurthyTFVYG #approach #concept #implementation #information retrieval #tool support #visualisation

From concepts to implementation and visualization: tools from a team-based approach to ir (UM, RdST, EAF, LV, SY, MAG), p. 889.

SIGIR-2008-Shah #behaviour #collaboration #comprehension #implementation

Understanding system implementation and user behavior in a collaborative information seeking environment (CS), p. 896.

MoDELS-2008-LuongLC #behaviour #consistency #development #implementation #incremental #modelling

Implementation of the Conformance Relation for Incremental Development of Behavioural Models (HVL, TL, ALC), pp. 356–370.

OOPSLA-2008-NiWABBCGKNOPSTT #c #c++ #design #implementation #transaction

Design and implementation of transactional constructs for C/C++ (YN, AW, ARAT, MB, SB, JC, RG, SK, RN, JO, SP, BS, AT, XT), pp. 195–212.

TOOLS-EUROPE-2008-BishopH #c# #design pattern #on the #performance

On the Efficiency of Design Patterns Implemented in C# 3.0 (JB, RNH), pp. 356–371.

GPCE-2008-RothamelL #generative #implementation #incremental #query

Generating incremental implementations of object-set queries (TR, YAL), pp. 55–66.

PADL-2008-CasasCH #execution #implementation #independence #strict #towards

Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism (AC, MC, MVH), pp. 230–247.

PADL-2008-GuzmanCHSR #continuation #implementation

An Improved Continuation Call-Based Implementation of Tabling (PCdG, MC, MVH, CS, RR), pp. 197–213.

PADL-2008-PaganoACCCMW #development #implementation #ml #tool support

Certified Development Tools Implementation in Objective Caml (BP, OA, BC, EC, JLC, TM, PW), pp. 2–17.

POPL-2008-FournetR #data flow #encryption #implementation #security

Cryptographically sound implementations for typed information-flow security (CF, TR), pp. 323–335.

POPL-2008-Tobin-HochstadtF #design #implementation

The design and implementation of typed scheme (STH, MF), pp. 395–406.

SAC-2008-BracherK #documentation #implementation #prototype

Implementing secure document circulation: a prototype (SB, PK), pp. 1452–1456.

SAC-2008-CeriottiMP #case study #message passing

Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study (MC, ALM, GPP), pp. 100–107.

SAC-2008-GronauR #implementation #information management

Information systems implementation: the big picture (NG, MR), pp. 1077–1078.

SAC-2008-Hosokawa #mobile

A location-aware information browser implemented on BREW-based mobile phones (YH), pp. 1878–1883.

SAC-2008-LoTP #detection #hardware #implementation #network #regular expression

Hardware implementation for network intrusion detection rules with regular expression support (CTDL, YGT, KP), pp. 1535–1539.

SAC-2008-RebeloSLFC #aspectj #contract #implementation #java #modelling

Implementing Java modeling language contracts with AspectJ (HR, SS, RMFL, LF, MC), pp. 228–233.

SAC-2008-RibeiroMB #implementation #product line

A decision model for implementing product lines variabilities (MdMR, PMJ, PB), pp. 276–277.

SAC-2008-SchmitzAA #implementation #nondeterminism #order

A method for defining the implementation order of software projects under uncertainty (EAS, AJA, CMdA), pp. 844–845.

SAC-2008-SridharanBRA #architecture #fault tolerance #implementation #network

Implementing an autonomic architecture for fault-tolerance in a wireless sensor network testbed for at-scale experimentation (MS, SB, RR, AA), pp. 1670–1676.

SAC-2008-TsujiKH #implementation #multi #scalability #set

History offset implementation scheme for large scale multidimensional data sets (TT, MK, KH), pp. 1021–1028.

SAC-2008-WainerBD #automation #framework #guidelines #implementation #named

ST-guide: a framework for the implementation of automatic clinical guidelines (JW, CZB, MPD), pp. 1325–1332.

SAC-2008-XiangYLW #implementation #memory management #reliability

A reliable B-tree implementation over flash memory (XX, LY, ZL, PW), pp. 1487–1491.

FSE-2008-KrishnamurthiFDY #alloy #implementation #named #specification

Alchemy: transmuting base alloy specifications into implementations (SK, KF, DJD, DY), pp. 158–169.

ICSE-2008-ScherlHKH #3d #architecture #design #implementation #re-engineering

Design and implementation of the software architecture for a 3-D reconstruction system in medical imaging (HS, SH, MK, JH), pp. 661–668.

LDTA-2007-HameyG08 #domain-specific language #experience #implementation #stratego #using

Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper (LGCH, SG), pp. 37–51.

ASPLOS-2008-GanapathyRBSJ #design #implementation

The design and implementation of microdrivers (VG, MJR, AB, MMS, SJ), pp. 168–178.

HPCA-2008-SalapuraBG #design #implementation

Design and implementation of the blue gene/P snoop filter (VS, MAB, AG), pp. 5–14.

PPoPP-2008-GregorL #c# #design #framework #implementation

Design and implementation of a high-performance MPI for C# and the common language infrastructure (DG, AL), pp. 133–142.

ICLP-2008-AnhRD #implementation #using

An Implementation of Extended P-Log Using XASP (HTA, CDPKR, CVD), pp. 739–743.

ICLP-2008-CalimeriCIL #implementation

Computable Functions in ASP: Theory and Implementation (FC, SC, GI, NL), pp. 407–424.

ICLP-2008-CasasCH #implementation #independence #nondeterminism #strict

A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism (AC, MC, MVH), pp. 651–666.

ICLP-2008-DemoenN #implementation

Two WAM Implementations of Action Rules (BD, PLN), pp. 621–635.

ICLP-2008-DuckKS #implementation #named #term rewriting

Cadmium: An Implementation of ACD Term Rewriting (GJD, LDK, PJS), pp. 531–545.

ICLP-2008-EglyGW #framework #implementation #named #programming #using

ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming (UE, SAG, SW), pp. 734–738.

IJCAR-2008-BeierleKK #automation #implementation #reasoning

A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description) (CB, GKI, NK), pp. 147–153.

TestCom-FATES-2008-DinSP #design #implementation #multi #performance #process

Performance Test Design Process and Its Implementation Patterns for Multi-services Systems (GD, IS, RP), pp. 135–152.

TestCom-FATES-2008-HieronsMN #architecture #distributed #implementation

Implementation Relations for the Distributed Test Architecture (RMH, MGM, MN), pp. 200–215.

ASE-2007-Abi-AntounWT #consistency #data flow #diagrams #implementation #modelling #security

Checking threat modeling data flow diagrams for implementation conformance and security (MAA, DW, PT), pp. 393–396.

ASE-2007-HoskingG #domain-specific language #implementation #tool support #visual notation

Meta tools for implementing domain specific visual languages (JGH, JCG), p. 576.

CASE-2007-AlenljungSLA #detection #fault #implementation #process

PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems (TA, MS, BL, KÅ), pp. 207–212.

CASE-2007-FagioliniVPDB #detection #distributed #implementation #monitoring #multi

Local Monitor Implementation for Decentralized Intrusion Detection in Secure Multi-Agent Systems (AF, GV, LP, GD, AB), pp. 454–459.

CASE-2007-LuXL #development #implementation

Development and implementation of NURBS interpolator with look-ahead technique (YL, JX, ZL), pp. 134–139.

CASE-2007-SuLCW #algorithm #implementation

Implementation Considerations of Various Virtual Metrology Algorithms (YCS, THL, FTC, WMW), pp. 276–281.

DAC-2007-LeungT #energy #synthesis

Energy-Aware Synthesis of Networks-on-Chip Implemented with Voltage Islands (LFL, CYT), pp. 128–131.

DAC-2007-RajnakK #architecture #design #distributed #implementation

Computer-aided Architecture Design & Optimized Implementation of Distributed Automotive EE Systems (AR, AK), pp. 556–561.

DATE-2007-DielissenH #implementation #parallel

Non-fractional parallelism in LDPC decoder implementations (JD, AH), pp. 337–342.

DATE-2007-EckerESVH #framework #implementation #interactive #transaction

Interactive presentation: Implementation of a transaction level assertion framework in SystemC (WE, VE, TS, MV, MH), pp. 894–899.

DATE-2007-GrossschadlTRHM #constraints #energy #evaluation #implementation #memory management

Energy evaluation of software implementations of block ciphers under memory constraints (JG, ST, CR, MH, MM), pp. 1110–1115.

DATE-2007-Jerraya #architecture #implementation #modelling

HW/SW implementation from abstract architecture models (AAJ), pp. 1470–1471.

DATE-2007-KhanA #architecture #configuration management #implementation #pipes and filters #programmable #realtime

Pipelined implementation of a real time programmable encoder for low density parity check code on a reconfigurable instruction cell architecture (ZK, TA), pp. 349–354.

DATE-2007-KhanATE #algorithm #implementation #pipes and filters #sorting

A new pipelined implementation for minimum norm sorting used in square root algorithm for MIMO-VBLAST systems (ZK, TA, JST, ATE), pp. 1569–1574.

DATE-2007-MucciVCT #architecture #configuration management #implementation #interactive

Interactive presentation: Implementation of AES/Rijndael on a dynamically reconfigurable architecture (CM, LV, FC, MT), pp. 355–360.

DATE-2007-NarayananHMCZ #classification #implementation #interactive

Interactive presentation: An FPGA implementation of decision tree classification (RN, DH, GM, ANC, JZ), pp. 189–194.

DATE-2007-PapadonikolakisPK #implementation #performance

Efficient high-performance ASIC implementation of JPEG-LS encoder (MEP, VP, AK), pp. 159–164.

DATE-2007-SheibanyradPG #architecture #comparison #implementation #multi #network

Systematic comparison between the asynchronous and the multi-synchronous implementations of a network on chip architecture (AS, IMP, AG), pp. 1090–1095.

ICDAR-2007-KwonP #analysis #implementation #recognition

Implementation of Content Analysis System for Recognition of Journals_ Table of Contents (YBK, JP), pp. 1018–1022.

WRLA-2006-DuranRV07 #distributed #implementation #maude #mobile

A Distributed Implementation of Mobile Maude (FD, AR, AV), pp. 113–131.

ESOP-2007-BlanquiHW #data type #implementation #on the

On the Implementation of Construction Functions for Non-free Concrete Data Types (FB, TH, PW), pp. 95–109.

FASE-2007-DarvasL #implementation #reasoning

Practical Reasoning About Invocations and Implementations of Pure Methods (ÁD, KRML), pp. 336–351.

ICPC-2007-KothariDSM #comprehension #convergence #evolution #implementation

Reducing Program Comprehension Effort in Evolving Software by Recognizing Feature Implementation Convergence (JK, TD, AS, SM), pp. 17–26.

MSR-2007-AnvikM #debugging #implementation

Determining Implementation Expertise from Bug Reports (JA, GCM), p. 2.

SCAM-2007-JuilleratH #implementation #refactoring #towards

Toward an Implementation of the “Form Template Method” Refactoring (NJ, BH), pp. 81–90.

PEPM-2007-RothamelL #implementation #performance #retrieval #tuple

Efficient implementation of tuple pattern based retrieval (TR, YAL), pp. 81–90.

PLDI-2007-LiZ #concurrent #evaluation #implementation #monad #network #scalability #thread

Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives (PL, SZ), pp. 189–199.

SAS-2007-BanterleG #abstract domain #hardware #implementation #performance

A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware (FB, RG), pp. 315–332.

CIAA-J-2006-BloemCPR07 #automaton #implementation

Symbolic Implementation of Alternating Automata (RB, AC, IP, MR), pp. 727–743.

CIAA-2007-CarrascoDF #automaton #implementation

An Implementation of Deterministic Tree Automata Minimization (RCC, JD, MLF), pp. 122–129.

ICALP-2007-Schneider #evaluation #implementation

Credentials-Based Authorization: Evaluation and Implementation (FBS), pp. 12–14.

ILC-2007-HiraishiYY #c #experience #implementation

Experience with SC: transformation-based implementation of various extensions to C (TH, MY, TY), p. 20.

DHM-2007-ZhangYWD #3d #design #evaluation #implementation

Design and Implementation of Ergonomics Evaluation System of 3D Airplane Cockpit (LZ, XY, LW, DD), pp. 1047–1055.

HCI-AS-2007-KimLYC #design #implementation #monitoring #personalisation #process

Design and Implementation of a Personalized Business Activity Monitoring System (HK, YHL, HY, NWC), pp. 581–590.

HCI-IPT-2007-ChangC #design #implementation #interactive

Implementing an Interactive Collage Table System with Design Puzzle Exploration (TWC, YBC), pp. 778–787.

HCI-IPT-2007-Hinske #implementation #mobile

Pulling Digital Data from a Smart Object: Implementing the PullMe-Paradigm with a Mobile Phone (SH), pp. 306–310.

HCI-IPT-2007-HuangPX #design

AGV Simulator and Implementer Design (QH, TP, WX), pp. 818–826.

HCI-IPT-2007-KimKL #human-computer #implementation #interactive #multi

Implementation of Multi-touch Tabletop Display for HCI (Human Computer Interaction) (SGK, JWK, CWL), pp. 854–863.

HCI-IPT-2007-SchwaigerTU #framework #implementation #named

Cyberwalk: Implementation of a Ball Bearing Platform for Humans (MCS, TT, HU), pp. 926–935.

HCI-MIE-2007-ShukranCC #algorithm #implementation #usability #video

Implementation of a New H.264 Video Watermarking Algorithm with Usability Test (MAMS, YYC, XC), pp. 963–970.

HIMI-IIE-2007-Quraishy #case study #design #health #how #implementation #information management

How Participation at Different Hierarchical Levels Can Have an Impact on the Design and Implementation of Health Information Systems at the Grass Root Level — A Case Study from India (ZBQ), pp. 128–136.

HIMI-IIE-2007-Sonntag #design #implementation #interactive #interface #mobile #multimodal #semantics #web

Interaction Design and Implementation for Multimodal Mobile Semantic Web Interfaces (DS), pp. 645–654.

HIMI-MTT-2007-KimCE #adaptation #implementation #migration #mobile #ubiquitous #user interface

The Implementation of Adaptive User Interface Migration Based on Ubiquitous Mobile Agents (GSK, HjC, YIE), pp. 659–668.

HIMI-MTT-2007-KwonSH #design #implementation #realtime #using

Design and Implementation of Enhanced Real Time News Service Using RSS and VoiceXML (HJK, JHS, KSH), pp. 677–686.

HIMI-MTT-2007-ParlitzBRH #implementation

Intuitive Human-Machine-Interaction and Implementation on a Household Robot Companion (CP, WB, UR, MH), pp. 922–929.

HIMI-MTT-2007-TsengTW #implementation #process

Implementing the HCD Method into the Developing Process of a CPD System (KCT, THT, KCW), pp. 199–207.

AdaEurope-2007-RivasR #ada #implementation #realtime

Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT (MAR, JFR), pp. 29–40.

EDOC-2007-Molina-JimenezSC #consistency #implementation #message passing #middleware #using

Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware (CMJ, SKS, NC), pp. 51–62.

EDOC-2007-SalinesiBE #enterprise #experience #implementation #requirements #reuse

An Experience of Reuse Based Requirements Engineering in ERP Implementation Projects (CS, MRB, EE), pp. 379–389.

ICEIS-AIDSS-2007-CaropreseTZ #implementation #logic programming #reasoning

Implementing Prioritized Reasoning in Logic Programming (LC, IT, EZ), pp. 94–100.

ICEIS-AIDSS-2007-KirwanGM #adaptation #case study #energy #implementation #information management #using

Energy Management Information Systems: An Exploratory study of Implementations Using Adaptive Structuration Theory (OK, WG, PM), pp. 303–309.

ICEIS-DISI-2007-HawkingSF #challenge #enterprise #implementation

The challenges facing global ERP systems implementations (PH, AS, SF), pp. 415–422.

ICEIS-DISI-2007-KustersHJ #cost analysis #enterprise #implementation

Determining the costs of ERP implementation (RJK, FJH, AJ), pp. 102–112.

ICEIS-DISI-2007-MalinowskiZ #implementation

Implementing spatial datawarehouse hierarchies in object-relational DBMSs (EM, EZ), pp. 186–191.

ICEIS-EIS-2007-OussenaSB #implementation

BPEL Patterns for Implementing Variations in SOA Applications (SO, DS, BB), pp. 295–300.

ICEIS-J-2007-KustersHJ07a #enterprise #implementation

ERP Implementation Costs: A Preliminary Investigation (RJK, FJH, AJ), pp. 95–107.

SEKE-2007-Fredrick #agile #development #implementation

Implementing Agile Development — More than Changing Methodology (CF), pp. 751–754.

SEKE-2007-MonteiroOG #implementation #source code #user interface #using

A Proposal to Delegate GUI Implementation using a Source Code based Model (MM, PO, RG), pp. 29–32.

MoDELS-2007-BrownDJ #design #implementation

A Practical Perspective on the Design and Implementation of Service-Oriented Solutions (AWB, MD, SKJ), pp. 390–404.

ECOOP-2007-CottenierBE #behaviour #implementation #specification

Joinpoint Inference from Behavioral Specification to Implementation (TC, AvdB, TE), pp. 476–500.

GPCE-2007-Selic #challenge #generative #implementation

Challenges in generating qos-constrained software implementations (BS), pp. 83–84.

PPDP-2007-BentonF #declarative #implementation #interactive #program analysis #prototype #scalability

Interactive, scalable, declarative program analysis: from prototype to implementation (WCB, CNF), pp. 13–24.

PADL-2007-GustafssonS #erlang #evaluation #implementation #performance #programming

Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang (PG, KFS), pp. 94–108.

POPL-2007-Batory #implementation #synthesis

From implementation to theory in product synthesis (DSB), pp. 135–136.

POPL-2007-BugliesiG #abstraction #implementation

Secure implementations of typed channel abstractions (MB, MG), pp. 251–262.

REFSQ-2007-FrickerGM #implementation #using

Handshaking Between Software Projects and Stakeholders Using Implementation Proposals (SF, TG, PM), pp. 144–159.

SAC-2007-HwangPJ #analysis #implementation #performance

An implementation and performance analysis of slave-side arbitration schemes for the ML-AHB BusMatrix (SYH, HJP, KSJ), pp. 1545–1551.

SAC-2007-KimHC #implementation #mobile #multi #performance

An efficient implementation of RC4 cipher for encrypting multimedia files on mobile devices (HK, JH, SC), pp. 1171–1175.

SAC-2007-LawleyR #declarative #implementation #model transformation

Implementing a practical declarative logic-based model transformation engine (ML, KR), pp. 971–977.

SAC-2007-LebbahMR #constraints #implementation #performance #reduction #using

Using constraint techniques for a safe and fast implementation of optimality-based reduction (YL, CM, MR), pp. 326–331.

SAC-2007-Lu #implementation #type system

Implementing type-based constructive negation (LL), pp. 1299–1306.

ESEC-FSE-2007-Hanna #implementation #lightweight #named #network #protocol #security #verification

SLEDE: lightweight verification of sensor network security protocol implementations (YH), pp. 591–594.

GTTSE-2007-JuhaszSP #c++ #finite #implementation #library #state machine

Implementation of a Finite State Machine with Active Libraries in C++ (ZJ, ÁS, ZP), pp. 474–488.

GTTSE-2007-Tratt #domain-specific language #evolution #implementation

Evolving a DSL Implementation (LT), pp. 425–441.

ICSE-2007-DammL #detection #fault #implementation #metric

Company-Wide Implementation of Metrics for Early Software Fault Detection (LOD, LL), pp. 560–570.

ICSE-2007-Jones #analysis #case study #design #implementation #re-engineering

Bringing the Systems Analysis and Design Course into 21^st Century: A Case Study in Implementing Modern Software Engineering Principles (CGJ), pp. 744–747.

LDTA-J-2003-Wyk #aspect-oriented #composition #implementation #programming

Implementing aspect-oriented programming constructs as modular language extensions (EVW), pp. 38–61.

SPLC-2007-KastnerAB #aspectj #case study #implementation #using

A Case Study Implementing Features Using AspectJ (CK, SA, DSB), pp. 223–232.

SPLC-2007-VolterG #aspect-oriented #development #implementation #modelling #product line #using

Product Line Implementation using Aspect-Oriented and Model-Driven Software Development (MV, IG), pp. 233–242.

ISMM-2007-StanchinaM #algorithm #implementation #realtime

Mark-sweep or copying?: a “best of both worlds” algorithm and a hardware-supported real-time implementation (SS, MM), pp. 173–182.

LCTES-2007-AliasBD #array #implementation #text-to-text

Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose (CA, FB, AD), pp. 73–82.

ICLP-2007-RochaSL #on the #program transformation #prolog

On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog (RR, CS, RL), pp. 444–445.

ICLP-2007-SilvaC #compilation #design #evaluation #framework #implementation

Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System (AFdS, VSC), pp. 410–424.

ICLP-2007-Weert #implementation

Extension and Implementation of CHR (PVW), pp. 466–468.

TestCom-FATES-2007-HorvathS #framework #implementation #testing

A Framework for Testing AIS Implementations (TH, TS), pp. 186–198.

TestCom-FATES-2007-Huima #implementation

Implementing Conformiq Qtronic (AH), pp. 1–12.

ASE-2006-MurtaHW #architecture #evolution #implementation #named #traceability

ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links (LGPM, AvdH, CMLW), pp. 135–144.

CASE-2006-LengC #analysis #implementation #mobile

Velocity Analysis of Omnidirectional Mobile Robot and System Implementation (CL, QC), pp. 81–86.

CASE-2006-YoungSB #implementation #interactive

Implementing Bubblegrams: The Use of Haar-Like Features for Human-Robot Interaction (JEY, ES, JEB), pp. 298–303.

DAC-2006-BurginCHMMSKFF #adaptation #algorithm #architecture #implementation #power management #trade-off

Low-power architectural trade-offs in a VLSI implementation of an adaptive hearing aid algorithm (FB, FC, MH, HM, RMP, RS, HK, NF, WF), pp. 558–561.

DAC-2006-ShiH #challenge #design #implementation #power management

Challenges in sleep transistor design and implementation in low-power designs (KS, DH), pp. 113–116.

DAC-2006-StojanovicBDW #effectiveness #implementation #queue

A cost-effective implementation of an ECC-protected instruction queue for out-of-order microprocessors (VS, RIB, JD, RW), pp. 705–708.

DATE-2006-RossiSM #analysis

Analysis of the impact of bus implemented EDCs on on-chip SSN (DR, CS, CM), pp. 59–64.

DATE-DF-2006-ArifinC #adaptation #clustering #implementation #logic #novel #segmentation

A novel FPGA-based implementation of time adaptive clustering for logical story unit segmentation (SA, PYKC), pp. 227–232.

DATE-DF-2006-BertoniBFPS #implementation

Software implementation of Tate pairing over GF(2m) (GB, LB, PF, GP, LS), pp. 7–11.

DATE-DF-2006-CarvalhoPJF #algorithm #fault tolerance #implementation

A practical implementation of the fault-tolerant daisy-chain clock synchronization algorithm on CAN (FCC, CEP, ETSJ, EPdF), pp. 189–194.

DATE-DF-2006-DavilaTSSBR #algorithm #architecture #configuration management #design #implementation

Design and implementation of a rendering algorithm in a SIMD reconfigurable architecture (MorphoSys) (JD, AdT, JMS, MSE, NB, FR), pp. 52–57.

DATE-DF-2006-KappenN #implementation

Application specific instruction processor based implementation of a GNSS receiver on an FPGA (GK, TGN), pp. 58–63.

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

HT-2006-Mandl #evaluation #implementation

Implementation and evaluation of a quality-based search engine (TM), pp. 73–84.

SIGMOD-2006-BhaskarBCGSSY #implementation #named #performance #xquery

Quark: an efficient XQuery full-text implementation (AB, CB, MC, LG, JS, FS, FY), pp. 781–783.

SIGMOD-2006-JainAAKPSV #design #evaluation #implementation #linear

Design, implementation, and evaluation of the linear road bnchmark on the stream processing core (NJ, LA, HA, RK, YP, PS, CV), pp. 431–442.

VLDB-2006-BernsteinGMN #composition #implementation

Implementing Mapping Composition (PAB, TJG, SM, AN), pp. 55–66.

FASE-2006-CooneyDR #implementation #named #programming language

GPSL: A Programming Language for Service Implementation (DC, MD, PR), pp. 3–17.

FASE-2006-HallstromST #design pattern #implementation #specification

Amplifying the Benefits of Design Patterns: From Specification Through Implementation (JOH, NS, BT), pp. 214–229.

FASE-2006-TowellD #implementation

A Software Implementation Progress Model (DT, JD), pp. 93–106.

WCRE-2006-Ribic #concept #decompiler #embedded #equivalence #execution #implementation #programming language

Concept and implementation of the programming language and translator, for embedded systems, based on machine code decompilation and equivalence between source and executable code (SR), pp. 307–308.

PEPM-2006-LiuWGRCZZ #data access #implementation #performance

Core role-based access control: efficient implementations by transformations (YAL, CW, MG, TR, YC, YZ, JZ), pp. 112–120.

STOC-2006-FatourouFR #implementation #trade-off

Time-space tradeoffs for implementations of snapshots (PF, FEF, ER), pp. 169–178.

CIAA-2006-BloemCPRS #automaton #implementation

Symbolic Implementation of Alternating Automata (RB, AC, IP, MR, SS), pp. 208–218.

ICALP-v2-2006-AdaoF #communication #encryption #implementation #process

Cryptographically Sound Implementations for Communicating Processes (PA, CF), pp. 83–94.

CHI-2006-KoM #editing #framework #implementation #interactive #named #tool support

Barista: An implementation framework for enabling new tools, interaction techniques and views in code editors (AJK, BAM), pp. 387–396.

CAiSE-2006-PenseriniPSM #implementation

From Stakeholder Intentions to Software Agent Implementations (LP, AP, AS, JM), pp. 465–479.

ICEIS-AIDSS-2006-KafkasBY #algebra #equation #implementation

Implementation Strategies for “Equation Guru” — A User Friendly Intelligent Algebra Tutor (SK, ZB, HY), pp. 58–65.

ICEIS-AIDSS-2006-RamezaniM #case study #design #fuzzy #implementation

Design and Implementation of a Fuzzy Expert Decision Support System for Vendor Selection — Case Study in OIEC Iran (Oil Industerial Engineering and Construction) (MR, GAM), pp. 243–248.

ICEIS-DISI-2006-AntolliniCB #enterprise #implementation #information management

Implementing a High Level PUB/SUB Layer for Enterprise Information Systems (MA, MC, APB), pp. 54–62.

ICEIS-DISI-2006-DingGJH #approach #modelling #transaction

A New Approach to Implement Extended Transaction Models in J2EE (XD, XG, BJ, TH), pp. 118–123.

ICEIS-ISAS-2006-BouneffaBM #evolution #flexibility #implementation #on the #process

On Implementing Interoperable and Flexible Software Evolution Activities (MB, HB, YM), pp. 253–260.

ICEIS-ISAS-2006-Sucurovic #health #implementation #information management #named #web

MEDIS — A Web Based Health Information System — Implementing Integrated Secure Electronic Health Record (SS), pp. 160–164.

CIKM-2006-BaileyHM #documentation #enterprise #implementation #performance #security #trade-off

Secure search in enterprise webs: tradeoffs in efficient implementation for document level security (PB, DH, BM), pp. 493–502.

ICPR-v1-2006-Ueshiba #bidirectional #implementation #performance #realtime

An Efficient Implementation Technique of Bidirectional Matching for Real-time Trinocular Stereo Vision (TU), pp. 1076–1079.

ICPR-v3-2006-ZhuZX #algorithm #implementation

A Digital Watermarking Algorithm and Implementation Based on Improved SVD (XZ, JZ, HX), pp. 651–656.

SEKE-2006-BuchwalderP #implementation #modelling #named #web

WebLang: A Language for Modeling and Implementing Web Applications (OB, CP), pp. 584–590.

SEKE-2006-JiangAYCA #automation #implementation #mobile

Automating the Implementation of Mobile Applications and Services (MJ, AA, ZY, RC, JA), pp. 526–531.

SEKE-2006-SadaouiS #implementation #java #specification

Implementation of CafeOBJ Specifications to Java Code (SS, SS), pp. 446–449.

OOPSLA-2006-AndreaeNMM #framework #implementation #type system

A framework for implementing pluggable type systems (CA, JN, SM, TDM), pp. 57–74.

OOPSLA-2006-HerlihyLM #flexibility #framework #implementation #memory management #transaction

A flexible framework for implementing software transactional memory (MH, VL, MM), pp. 253–262.

GPCE-2006-Fontijne #algebra #generative #geometry #implementation

Gaigen 2: a geometric algebra implementation generator (DF), pp. 141–150.

PADL-2006-SomogyiS #design #implementation

Tabling in Mercury: Design and Implementation (ZS, KFS), pp. 150–167.

POPL-2006-BishopFNSSW #implementation #logic #specification #testing

Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations (SB, MF, MN, PS, MS, KW), pp. 55–66.

POPL-2006-OlinskyLR #composition #implementation #specification #staged

Staged allocation: a compositional technique for specifying and implementing procedure calling conventions (RO, CL, NR), pp. 409–421.

SAC-2006-AhmedKL #algorithm #design #implementation #network

Design and implementation of a context-aware decision algorithm for heterogeneous networks (TA, KK, ML), pp. 1134–1138.

SAC-2006-BadicaBG #implementation #rule-based

Implementing rule-based mechanisms for agent-based price negotiations (CB, AB, MG), pp. 96–100.

SAC-2006-ChoiBS #design #implementation #kernel #linux #programming #robust

Design and implementation of a kernel resource protector for robustness of Linux module programming (JC, SB, SYS), pp. 1477–1481.

SAC-2006-GuesmiR #design #embedded #implementation #realtime

Design and implementation of a real-time notification service within the context of embedded ORB and the CAN bus (TG, HR), pp. 773–777.

SAC-2006-LejdforsO #embedded #generative #gpu #implementation

Implementing an embedded GPU language by combining translation and generation (CL, LO), pp. 1610–1614.

SAC-2006-RuttiWS #abstraction #implementation #interface #protocol

Service interface: a new abstraction for implementing and composing protocols (OR, PTW, AS), pp. 691–696.

SAC-2006-YangYCW #grid #implementation #performance

Implementation of a dynamic adjustment mechanism with efficient replica selection in data grid environments (CTY, IHY, CHC, SYW), pp. 797–804.

HPCA-2006-HuKLS #approach #implementation #performance

An approach for implementing efficient superscalar CISC processors (SH, IK, MHL, JES), pp. 41–52.

HPDC-2006-NiH #adaptation #implementation #interface #message passing #network #peer-to-peer

An Implementation of the Message Passing Interface over an Adaptive Peer-to-Peer Network (LN, AH), pp. 371–372.

LCTES-2006-YanSG #architecture #configuration management #estimation #implementation

Area and delay estimation for FPGA implementation of coarse-grained reconfigurable architectures (LY, TS, NG), pp. 182–188.

ICLP-2006-SilvaC #compilation #design #implementation #logic programming #optimisation #programming language

The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages (AFdS, VSC), pp. 461–462.

ICLP-2006-SilvaRL #implementation #linear #prolog

An External Module for Implementing Linear Tabling in Prolog (CS, RR, RL), pp. 429–430.

ICLP-2006-Soares #database #deduction #implementation #parallel

Deductive Databases: Implementation, Parallelism and Applications (TS), pp. 467–468.

IJCAR-2006-Mahboubi #algorithm #implementation #performance #proving

Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials (AM), pp. 438–452.

IJCAR-2006-UrbanB #combinator #data type #higher-order #recursion

A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL (CU, SB), pp. 498–512.

LICS-2006-Gordon #implementation #protocol #security

Provable Implementations of Security Protocols (ADG), pp. 345–346.

SAT-2006-ManoliosZ #bibliography #implementation

Implementing Survey Propagation on Graphics Processing Units (PM, YZ), pp. 311–324.

CBSE-2005-Beznosov #architecture #case study #component #design #experience #implementation #web #web service

Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services (KB), pp. 337–352.

CBSE-2005-GuH #component #implementation #modelling #realtime #scheduling #synthesis

Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models (ZG, ZH), pp. 235–250.

WICSA-2005-Abi-AntounAGSN #architecture #automation #concept #implementation #incremental

Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures (MAA, JA, DG, BRS, NHN), pp. 265–268.

ASE-2005-Kemmerer #design #detection #implementation #product line

Designing and implementing a family of intrusion detection systems (RAK), p. 3.

CASE-2005-CengicALYF #composition #implementation #using

Implementation of full synchronous composition using IEC 61499 function blocks (GC, KÅ, BL, CY, PMF), pp. 267–272.

CASE-2005-SuCHLL #design #implementation

Design and implementation of an intelligent prognostics system (YCS, FTC, MHH, YCL, RCL), pp. 273–278.

DAC-2005-ManolacheEP #communication #energy #fault #latency

Fault and energy-aware communication mapping with guaranteed latency for applications implemented on NoC (SM, PE, ZP), pp. 266–269.

DAC-2005-MetzgenN #implementation #multi #reduction

Multiplexer restructuring for FPGA implementation cost reduction (PM, DN), pp. 421–426.

DAC-2005-SauerGS #composition #embedded #framework #implementation

Modular domain-specific implementation and exploration framework for embedded software platforms (CS, MG, SS), pp. 254–259.

DAC-2005-WeiR #configuration management #implementation #power management #trade-off

Implementing low-power configurable processors: practical options and tradeoffs (JW, CR), pp. 706–711.

DATE-2005-BeckBKPLP #design #generative #implementation #logic #quality

Logic Design for On-Chip Test Clock Generation — Implementation Details and Impact on Delay Test Quality (MB, OB, MK, FP, XL, RP), pp. 56–61.

DATE-2005-DykaL #encryption #hardware #implementation #performance

Area Efficient Hardware Implementation of Elliptic Curve Cryptography by Iteratively Applying Karatsuba’s Method (ZD, PL), pp. 70–75.

DATE-2005-FaroukS #algorithm #communication #encryption #hybrid #implementation #security

An Improved FPGA Implementation of the Modified Hybrid Hiding Encryption Algorithm (MHHEA) for Data Communication Security (HAF, MS), pp. 76–81.

DATE-2005-ThullS #embedded #implementation #performance

Performance Considerations for an Embedded Implementation of OMA DRM 2 (DT, RS), pp. 46–51.

DRR-2005-HopkinsA #framework #open source #recognition

A Fourier-descriptor-based character recognition engine implemented under the Gamera open-source document-processing framework (JH, TLA), pp. 111–118.

ICDAR-2005-OkumurUS #coordination #implementation #online #recognition

An HMM Implementation for On-line Handwriting Recognition — Based on Pen-Coordinate Feature and Pen-Direction Feature (DO, SU, HS), pp. 26–30.

VLDB-2005-FaginKKNST #database #implementation #multi #performance #scalability

Efficient Implementation of Large-Scale Multi-Structural Databases (RF, PGK, RK, JN, DS, AT), pp. 958–969.

VLDB-2005-PalCSRSYTBBCK #database #implementation #relational #xquery

XQuery Implementation in a Relational Database System (SP, IC, OS, MR, GS, WY, DT, AB, BB, DC, EK), pp. 1175–1186.

TACAS-2005-Genest #composition #sequence chart

Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs (BG), pp. 429–444.

ICSM-2005-Jurjens #comprehension #implementation #security

Understanding Security Goals Provided by Crypto-Protocol Implementations (JJ), pp. 643–646.

ICSM-2005-LinEW #evolution #implementation

Facilitating the Implementation and Evolution of Business Rules (LL, SME, BW), pp. 609–612.

IWPC-2005-MaruyamaY #design #implementation #refactoring

Design and Implementation of an Extensible and Modifiable Refactoring Tool (KM, SY), pp. 195–204.

SCAM-2005-ZhangBCD #implementation #using #verification

Implementation and Verification of Implicit-Invocation Systems Using Source Transformation (HZ, JSB, JRC, JD), pp. 87–96.

PLDI-2005-Boehm #library #thread

Threads cannot be implemented as a library (HJB), pp. 261–268.

ICALP-2005-BaudetCK #equation #implementation

Computationally Sound Implementations of Equational Theories Against Passive Adversaries (MB, VC, SK), pp. 652–663.

FM-2005-WulfDR #implementation #modelling #realtime

Systematic Implementation of Real-Time Models (MDW, LD, JFR), pp. 139–156.

SEFM-2005-LeinenbachPP #code generation #compilation #implementation #towards #verification

Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes (DL, WJP, EP), pp. 2–12.

IFL-2005-HuchK #composition #concurrent #haskell #implementation #memory management #transaction

A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell (FH, FK), pp. 124–141.

IFL-2005-PlasmeijerA #implementation

The Implementation of iData (RP, PA), pp. 106–123.

IFL-2005-ShafarenkoSHGT #case study #equation #experience #implementation #lessons learnt #using

Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences (AVS, SBS, SH, CG, KT), pp. 160–177.

AdaEurope-2005-MirandaSD #ada #compilation #implementation #interface

The Implementation of Ada 2005 Interface Types in the GNAT Compiler (JM, ES, GD), pp. 208–219.

AdaEurope-2005-OrtizAAP #architecture

A Reference Control Architecture for Service Robots Implemented on a Climbing Vehicle (FJO, DA, BÁ, JAP), pp. 13–24.

AdaEurope-2005-SaezLTC #implementation #performance

Efficient Alternatives for Implementing Fixed-Priority Schedulers (SS, VLG, ST, AC), pp. 39–50.

SIGAda-2005-MirandaSK #ada #compilation #implementation #interface

The implementation of ada 2005 synchronized interfaces in the GNAT compiler (JM, ES, HHK), pp. 41–48.

EDOC-2005-RobinsonCS #implementation #interactive #web #web service

Implementing Fair Non-repudiable Interactions with Web Services (PR, NC, SKS), pp. 195–206.

ICEIS-v1-2005-Barki #assessment #enterprise #implementation #information management #research

Enterprise Information Systems Implementation Research: Assessment and Suggestions for the Future (HB), p. 11.

ICEIS-v1-2005-FaverioSB #enterprise #implementation #process #using

Using Critical Success Factors for Assessing Critical Activities in ERP Implementation within SMEs (PF, DS, GB), pp. 285–292.

ICEIS-v1-2005-Mattsson #database #encryption #enterprise #implementation

A Practical Implementation of Transparent Encryption and Separation of Duties in Enterprise Databases — Protection against External and Internal Attacks on Databases (UTM), pp. 146–153.

ICEIS-v1-2005-TansalarakC #composition #implementation #named

COCO: Composition Model and Composition Model Implementation (NT, KTC), pp. 340–345.

ICEIS-v4-2005-ZahreddineM #composition #design #implementation #web #web service

Design and Implementation of a Context-Based System for Composition of Web Services (WZ, QHM), pp. 119–126.

ICEIS-v5-2005-TopiLB #enterprise #identification #implementation #usability

Identifying Usability Issues with an ERP Implementation (HT, WTL, TB), pp. 128–133.

CIKM-2005-GuppenbergerF #concept #evaluation #implementation #information management

Intelligent creation of notification events in information systems: concept, implementation and evaluation (MG, BF), pp. 52–59.

SEKE-2005-AsawateeraR #automation #implementation #multi #tool support #uml

The Implementation of Multi Agents Awareness System for CSCW UML CASE Tools (PA, SR), pp. 735–738.

SEKE-2005-ChenTTC #implementation

Implementation of a Remote Checkpointing System for Windows NT Applications (WHC, JT, DT, YCC), pp. 671–676.

SEKE-2005-LiW #approach #behaviour #implementation #web

Web Search Based on Ant Behavior: Approach and Implementation in Case of Interlegis (WL, MQW), pp. 572–577.

SEKE-2005-ShihY #implementation

The Implementation of Chronobot Engine (EYS, WHY), pp. 12–15.

ECMDA-FA-2005-BendraouDG #approach #component #flexibility #implementation

MDA Components: A Flexible Way for Implementing the MDA Approach (RB, PD, MPG), pp. 59–73.

LOPSTR-2005-SimonMG #design #implementation #realtime

Design and Implementation of AT: A Real-Time Action Description Language (LS, AM, GG), pp. 44–60.

RE-2005-DanevaW #enterprise #implementation #requirements

Requirements Engineering for Cross-organizational ERP Implementation: Undocumented Assumptions and Potential Mismatches (MD, RW), pp. 63–74.

RE-2005-Nesland #framework #implementation #lessons learnt #process #requirements

Initial Lessons Learned from the Definition and Implementation of a Platform Requirements Engineering Process at Intel Corporation (SN), pp. 429–433.

SAC-2005-CleenewerckD #implementation

Disentangling the implementation of local-to-global transformations in a rewrite rule transformation system (TC, TD), pp. 1398–1403.

SAC-2005-DalkilicS05a #classification #design #implementation #named

Circle: design and implementation of a classifier based on circuit minimization (MMD, AS), pp. 547–548.

SAC-2005-ForaxDR #implementation #java

Reflection-based implementation of Java extensions: the double-dispatch use-case (RF, ÉD, GR), pp. 1409–1413.

SAC-2005-RodriguezL #implementation

Implementing private Vickrey auctions (IR, NL), pp. 796–800.

SAC-2005-WangG #approach #domain-specific language #framework #implementation #prototype #semantics

Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach (QW, GG), pp. 1419–1426.

SAC-OOPS-J-2005-ForaxDR #implementation #java

Reflection-based implementation of Java extensions: the double-dispatch use-case (RF, ÉD, GR), pp. 49–69.

ICSE-2005-Abi-AntounAGSNT #architecture #implementation #modelling

Modeling and implementing software architecture with acme and archJava (MAA, JA, DG, BRS, NHN, TT), pp. 676–677.

CGO-2005-ReisCVRA #fault tolerance #named

SWIFT: Software Implemented Fault Tolerance (GAR, JC, NV, RR, DIA), pp. 243–254.

COCV-J-2005-Langmaack #question #reasoning #what

What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer? (HL), pp. 5–32.

HPDC-2005-HumphreyWJBRGBLFMPM #comparison #framework #implementation #web #web service

State and events for Web services: a comparison of five WS-resource framework and WS-notification implementations (MH, GSW, KRJ, JB, MR, JG, JB, SL, ITF, SM, SP, MM), pp. 3–13.

HPDC-2005-OppenheimerAPV #design #implementation #resource management #trade-off

Design and implementation tradeoffs for wide-area resource discovery (DLO, JRA, DAP, AV), pp. 113–124.

SOSP-2005-LooCHMRS #declarative #implementation

Implementing declarative overlays (BTL, TC, JMH, PM, TR, IS), pp. 75–90.

SAT-J-2004-HeuleDZM05 #implementation #named #performance #reasoning #satisfiability

March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver (MH, MD, JvZ, HvM), pp. 345–359.

SAT-J-2004-TompkinsH05 #algorithm #implementation #named #satisfiability

UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT and MAX-SAT (DADT, HHH), pp. 306–320.

ICLP-2005-MoralesCPH #automaton #generative #implementation #performance

A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization (JFM, MC, GP, MVH), pp. 21–36.

ICLP-2005-TompitsW #equivalence #implementation #programming #towards

Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming (HT, SW), pp. 189–203.

ICLP-2005-Wielemaker #implementation #prolog #query #semantics #web

An Optimised Semantic Web Query Language Implementation in Prolog (JW), pp. 128–142.

TestCom-2005-KrichenT05a #framework #realtime #testing

An Expressive and Implementable Formal Framework for Testing Real-Time Systems (MK, ST), pp. 209–225.

VMCAI-2005-BurckhardtAM #composition #implementation #parametricity #refinement #safety #verification

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement (SB, RA, MMKM), pp. 130–145.

WICSA-2004-LesaintP #architecture #aspect-oriented #configuration management #constraints #implementation #product line

Aspects and Constraints for Implementing Configurable Product-Line Architectures (DL, GP), pp. 135–144.

DAC-2004-ClabesFSDCPDMPFSLGWSRGRKMD #design #implementation

Design and implementation of the POWER5 microprocessor (JGC, JF, MS, JD, SGC, DWP, JD, PM, LP, MSF, BS, ML, MG, JW, NSS, SLR, GG, PR, RNK, JM, JSD), pp. 670–672.

DAC-2004-DavareLKS #implementation #performance #specification

The best of both worlds: the efficient asynchronous implementation of synchronous specifications (AD, KL, AK, ALSV), pp. 588–591.

DATE-DF-2004-FaroukS #architecture #design #implementation

Design and Implementation of a Secret Key Steganographic Micro-Architecture Employing FPGA (HAF, MS), pp. 212–217.

DATE-DF-2004-FerrerGFAC #implementation #logic #named #network #programmable

NeuroFPGA — Implementing Artificial Neural Networks on Programmable Logic Devices (DF, RG, RF, JPA, RC), pp. 218–223.

DATE-DF-2004-PortoA #2d #architecture #implementation

Project Space Exploration on the 2-D DCT Architecture of a JPEG Compressor Directed to FPGA Implementation (RECP, LVA), pp. 224–229.

DATE-DF-2004-QuaxHM #configuration management #implementation #scalability

A Scalable Implementation of a Reconfigurable WCDMA Rake Receiver (MQ, JH, JLvM), pp. 230–235.

DATE-DF-2004-SchliebuschCLAMSBN #architecture #implementation #synthesis

RTL Processor Synthesis for Architecture Exploration and Implementation (OS, AC, RL, GA, HM, MS, GB, AN), pp. 156–160.

DATE-DF-2004-WortmannSM #architecture #performance

A High-Speed Transceiver Architecture Implementable as Synthesizable IP Core (AW, SS, MM), pp. 46–51.

DATE-v1-2004-HettiaratchiC #implementation #novel

A Novel Implementation of Tile-Based Address Mapping (SH, PYKC), pp. 306–311.

DATE-v1-2004-PerezMT #scheduling #using

A New Optimized Implemention of the SystemC Engine Using Acyclic Scheduling (DGP, GM, OT), pp. 552–557.

DATE-v1-2004-RaudvereSSJ #abstraction #polynomial #verification

Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits (TR, AKS, IS, AJ), pp. 690–691.

DATE-v1-2004-RolindezMPB #generative #implementation

A 0.18 µm CMOS Implementation of On-chip Analogue Test Signal Generation from Digital Test Patterns (LR, SM, GP, AB), pp. 706–707.

DATE-v1-2004-TiriV #design #implementation #logic

A Logic Level Design Methodology for a Secure DPA Resistant ASIC or FPGA Implementation (KT, IV), pp. 246–251.

DATE-v1-2004-WilsonRBKB #behaviour #modelling #performance

Efficient Mixed-Domain Behavioural Modeling of Ferromagnetic Hysteresis Implemented in VHDL-AMS (PRW, JNR, ADB, TJK, JB), pp. 742–743.

DATE-v2-2004-CasuM #implementation #latency #protocol

Issues in Implementing Latency Insensitive Protocols (MRC, LM), pp. 1390–1391.

DATE-v2-2004-GoudarziHM #implementation #modelling #morphism #object-oriented #polymorphism

Overhead-Free Polymorphism in Network-on-Chip Implementation of Object-Oriented Models (MG, SH, AM), pp. 1380–1381.

DATE-v2-2004-KarandikarS #implementation #performance

Fast Comparisons of Circuit Implementations (SKK, SSS), pp. 910–915.

DATE-v2-2004-KhawamBPAAAW #array #configuration management #implementation #mobile #performance #video

Efficient Implementations of Mobile Video Computations on Domain-Specific Reconfigurable Arrays (SK, SB, AP, IA, NA, TA, FW), pp. 1230–1235.

DATE-v2-2004-RosaPGL #configuration management #framework #implementation

Implementation of a UMTS Turbo-Decoder on a Dynamically Reconfigurable Platform (ALR, CP, FG, LL), pp. 1218–1223.

DATE-2005-AndersenBTBBHM04 #pipes and filters

A 97mW 110MS/s 12b Pipeline ADC Implemented in 0.18mum Digital CMOS (TNA, AB, FT, JB, TEB, BH, ØM), pp. 219–222.

DocEng-2004-KilpelainenT #implementation #modelling #performance #towards #xml

Towards efficient implementation of XML schema content models (PK, RT), pp. 239–241.

SIGMOD-2004-TianDPRMM #database #implementation #relational #scalability #using #xml

Implementing a Scalable XML Publish/Subscribe System Using a Relational Database System (FT, BR, HP, TM, JM), pp. 479–490.

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.

CSMR-2004-Kajko-MattssonJKW

Lesson Learned from Attempts to Implement Daily Build (MKM, MJ, SK, FW), pp. 137–146.

ICSM-2004-TonellaC #aspect-oriented #implementation #interface #migration

Migrating Interface Implementation to Aspects (PT, MC), pp. 220–229.

PASTE-2004-BusCSPB #design #flexibility #implementation #tool support

The design and implementation of FIT: a flexible instrumentation toolkit (BDB, DC, BDS, LVP, KDB), pp. 29–34.

PEPM-2004-LawallMD #design #implementation #process #scheduling

Invited application paper: language design for implementing process scheduling hierarchies (JLL, GM, HD), pp. 80–91.

FLOPS-2004-Escobar #implementation

Implementing Natural Rewriting and Narrowing Efficiently (SE), pp. 147–162.

CIAA-2004-BinderFLO #implementation

Implementation of Catalytic P Systems (AB, RF, GL, MO), pp. 45–56.

CIAA-2004-Couvreur #automaton #implementation

A BDD-Like Implementation of an Automata Package (JMC), pp. 310–311.

CIAA-2004-Egri-NagyN #algebra #automaton #comparison #composition #finite #implementation

Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes Theory (AEN, CLN), pp. 315–316.

ICFP-2004-TolmachAN #functional #implementation #logic #multi #thread #using

Implementing functional logic languages using multiple threads and stores (APT, SA, MN), pp. 90–102.

AdaEurope-2004-RivasGH #ada #framework #implementation #scheduling

Implementing an Application-Defined Scheduling Framework for Ada Tasking (MAR, FJMG, MGH), pp. 283–296.

AdaEurope-2004-ZamoranoAPP #ada #implementation

Implementing Execution-Time Clocks for the Ada Ravenscar Profile (JZ, AA, JAP, JAdlP), pp. 132–143.

SIGAda-2004-SoriconeN #algorithm #analysis #comparative #implementation #search-based

Comparative analysis of genetic algorithm implementations (RS, MN), pp. 35–38.

CAiSE-2004-AalstADH #design #implementation

Design and Implementation of the YAWL System (WMPvdA, LA, MD, AHMtH), pp. 142–159.

ICEIS-v1-2004-AbreuD #design #implementation #information management

Contexts for Organizational Information System Design and Implementation (SA, DD), pp. 227–232.

ICEIS-v1-2004-DimassiSR #concept #implementation

The Concept and Implementation of the Market Place E-Utilities*COM (JD, CS, CR), pp. 337–347.

ICEIS-v1-2004-EstevesP #behaviour #enterprise #implementation

Organizational and Technological Critical Success Factors Behavior Along the ERP Implementation Phases (JE, JAP), pp. 45–53.

ICEIS-v1-2004-FerrarioM #enterprise #framework #implementation

A Framework for Evaluating Difficulties in ERP Implementation (LF, JMM), pp. 460–465.

ICEIS-v1-2004-MagnussonNC #concept #enterprise #framework #implementation #towards

A Conceptual Framework for Forecasting ERP Implementation Success — A First Step Towards the Creation of an Implementation Support Tool (JM, AN, FC), pp. 447–453.

ICEIS-v1-2004-SammonAC #comprehension #enterprise

Understanding the ERP Post-Implementation Discourse (DS, FA, FC), pp. 466–472.

ICEIS-v1-2004-Soja #enterprise #implementation #research

Important Factors in ERP Systems Implementations: Result of the Research in Polish Enterprises (PS), pp. 84–90.

ICEIS-v1-2004-ZhouNB #c++ #implementation #performance #using

An Efficient B+-Tree Implementation in C++ Using the STL Style (JZ, BN, GB), pp. 163–168.

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

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

ICEIS-v2-2004-HansennePSW #design #fuzzy #implementation #scalability

Design and Implementation of a Scalable Fuzzy Case-Based Matching Engine (RH, JVP, VVdS, BVdW), pp. 375–382.

ICEIS-v4-2004-RamasamyHBCSA #implementation #named

E-Enterprise: Awareness and Implementation of Transparent Factory in South East Asia (GR, AH, MB, SHC, SS, JA), pp. 463–466.

ICPR-v1-2004-FerrettiB #implementation #parallel #pipes and filters

A Parallel Pipelined Implementation of LOCO-I for JPEG-LS (MF, MB), pp. 769–772.

ICPR-v1-2004-LuoLZ #design #implementation

Design and Implementation of a Card Reader based on Build-in Camera (XPL, JL, LXZ), pp. 417–420.

ICPR-v2-2004-DengC #image #implementation #segmentation #using

Unsupervised Image Segmentation Using A Simple MRF Model with A New Implementation Scheme (HD, DAC), pp. 691–694.

ICPR-v4-2004-CastanedaLC #architecture #composition #implementation #realtime #visual notation

Implementation of a Modular Real-Time Feature-Based Architecture Applied to Visual Face Tracking (BC, YL, JCC), pp. 167–170.

GPCE-2004-PadovaniCZ #approach #documentation #generative #implementation

A Generative Approach to the Implementation of Language Bindings for the Document Object Model (LP, CSC, SZ), pp. 469–487.

PPDP-2004-AntoyJ #formal method #implementation

Formalization and abstract implementation of rewriting with nested rules (SA, SJ), pp. 144–154.

PADL-2004-ChenZX #case study #dependent type #haskell #implementation #simulation

Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell (CC, DZ, HX), pp. 239–254.

PADL-2004-CorreasGCCH #implementation #persistent

A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) (JC, JMG, MC, DC, MVH), pp. 104–119.

PADL-2004-NeubauerT #implementation

An Implementation of Session Types (MN, PT), pp. 56–70.

SAC-2004-AnconaC #implementation #runtime

Implementing the essence of reflection: a reflective run-time environment (MA, WC), pp. 1503–1507.

SAC-2004-AtasuBM #implementation #performance

Efficient AES implementations for ARM based platforms (KA, LB, MM), pp. 841–845.

SAC-2004-FialaHHF #adaptation #component #design #implementation #web

Design and implementation of component-based adaptive Web presentations (ZF, MH, GJH, FF), pp. 1698–1704.

SAC-2004-HatalaREW #communication #implementation #learning #network #repository

The eduSource Communication Language: implementing open network for learning repositories and services (MH, GR, TE, JW), pp. 957–962.

SAC-2004-IwaiharaJK #implementation #workflow

An integrated model of workflows, e-contracts and solution implementation (MI, HJ, YK), pp. 1390–1395.

SAC-2004-TangMC #embedded #fixpoint #implementation #mobile #performance #using #verification

Efficient implementation of fingerprint verification for mobile embedded systems using fixed-point arithmetic (TYT, YSM, KCC), pp. 821–825.

FSE-2004-WalkerV #declarative #implementation #protocol

Implementing protocols via declarative event patterns (RJW, KV), pp. 159–169.

ICSE-2004-WohlstadterJD #design #distributed #feature model #implementation

Design and Implementation of Distributed Crosscutting Features with DADO (EW, SJ, PTD), pp. 706–707.

CAV-2004-BarrettB #implementation

CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (CWB, SB), pp. 515–518.

CSL-2004-AvelloneFFM #calculus #implementation #logic #performance

A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation (AA, CF, GF, UM), pp. 488–502.

ICLP-2004-CaldonM #implementation

Limiting Resolution: From Foundations to Implementation (PC, EM), pp. 149–164.

ICLP-2004-Munoz-HernandezM #implementation

Implementation Results in Classical Constructive Negation (SMH, JJMN), pp. 284–298.

ICLP-2004-Schrijvers #generative #java #memory management #named #prolog

JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR (TS), pp. 475–476.

SAT-2004-TompkinsH #algorithm #implementation #named #satisfiability

UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT (DADT, HHH), pp. 37–46.

TestCom-2004-BatteramHRHRV #component #implementation #open source #testing #tool support

Implementation of an Open Source Toolset for CCM Components and Systems Testing (HJB, WH, WAR, AH, AR, AV), pp. 1–16.

VMCAI-2004-RepsSY #implementation

Symbolic Implementation of the Best Transformer (TWR, SS, GY), pp. 252–266.

ASE-2003-TurnerGWBHSR #consistency #constraints #diagrams #implementation #modelling #runtime #uml #visual notation

Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations (CJT, TCNG, CW, JB, DH, HDS, AGR), pp. 271–276.

DAC-2003-El-GamalBBHMOP #implementation #performance

Fast, cheap and under control: the next implementation fabric (AEG, IB, AB, CH, PM, ZOB, LTP), pp. 354–355.

DAC-2003-Travaglione #algorithm #design #implementation #quantum

Designing and implementing small quantum circuits and algorithms (BT), pp. 894–899.

DAC-2003-ZhongKBR #adaptation #implementation #performance

An adaptive window-based susceptance extraction and its efficient implementation (GZ, CKK, VB, KR), pp. 728–731.

DATE-2003-AndriahantenainaG #implementation #network

Micro-Network for SoC: Implementation of a 32-Port SPIN network (AA, AG), pp. 11128–11129.

DATE-2003-BeeckGBMCD #data transformation #implementation #power management #realtime

Background Data Organisation for the Low-Power Implementation in Real-Time of a Digital Audio Broadcast Receiver on a SIMD Processor (POdB, CG, EB, MM, FC, GD), pp. 11144–11145.

DATE-2003-EbadiI #comparison #implementation #multi

Time Domain Multiplexed TAM: Implementation and Comparison (ZSE, AI), pp. 10732–10737.

DATE-2003-IndrusiakLRG #configuration management #hardware #implementation #ubiquitous

Ubiquitous Access to Reconfigurable Hardware: Application Scenarios and Implementation Issues (LSI, FL, RAdLR, MG), pp. 10940–10945.

DATE-2003-KandemirKZ #energy #evaluation #implementation #on-demand

Implementation and Evaluation of an On-Demand Parameter-Passing Strategy for Reducing Energy (MTK, IK, WZ), pp. 11058–11063.

DATE-2003-MazzeoRSM #implementation

FPGA-Based Implementation of a Serial RSA Processor (AM, LR, GPS, NM), pp. 10582–10589.

DATE-2003-PanatoBR #algorithm

A Low Device Occupation IP to Implement Rijndael Algorithm (AP, MB, RAdLR), pp. 20020–20025.

DATE-2003-PetrotG #api #implementation #lightweight #multi #thread

Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect (FP, PG), pp. 20051–20056.

DATE-2003-VerderberZL #implementation #optimisation #video

HW/SW Partitioned Optimization and VLSI-FPGA Implementation of the MPEG-2 Video Decoder (MV, AZ, DL), pp. 20238–20243.

DATE-2003-ZhangM #implementation #independence #satisfiability #using #validation

Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications (LZ, SM), pp. 10880–10885.

DocEng-2003-RodigBSS #implementation

Preservation of digital publications: an OAIS extension and implementation (PR, UMB, JS, LS), pp. 131–139.

DRR-2003-OgataWIYFSF #identification #implementation

Form-type identification for banking applications and its implementation issues (HO, SW, AI, TY, NF, HS, HF), pp. 208–218.

VLDB-2003-FernandezSCMS #experience #implementation #xquery

Implementing Xquery 1.0: The Galax Experience (MFF, JS, BC, AM, GS), pp. 1077–1080.

ESOP-2003-GiambiagiD #implementation #on the #protocol #security

On the Secure Implementation of Security Protocols (PG, MD), pp. 144–158.

SCAM-2003-UmemoriKYI #design #implementation #java #slicing

Design and Implementation of Bytecode-based Java Slicing System (FU, KK, RY, KI), pp. 108–117.

PEPM-2003-ChenX #implementation #program transformation

Implementing typeful program transformations (CC, HX), pp. 20–28.

PLDI-2003-HsuK #algorithm #compilation #cpu #design #energy #evaluation #implementation #reduction

The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction (CHH, UK), pp. 38–48.

STOC-2003-FatourouFR #bound #implementation #multi

A tight time lower bound for space-optimal implementations of multi-writer snapshots (PF, FEF, ER), pp. 259–268.

FME-2003-SawadaKF #future of #implementation #past present future

Past, Present, and Future of SRA Implementation of CafeOBJ: Annex (TS, KK, KF), pp. 7–17.

FME-2003-WassyngL #formal method #implementation #industrial #lessons learnt

Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project (AW, ML), pp. 133–153.

SIGAda-2003-MarcoF #ada #design #framework #implementation #library #standard

A framework for designing and implementing the Ada standard container library (JM, XF), pp. 49–61.

SIGAda-2003-Potratz #ada #comparison #embedded #implementation #java #realtime

A practical comparison between Java and Ada in implementing a real-time embedded system (EP), pp. 71–83.

CAiSE-2003-AlbertPFRP #composition #framework #implementation #multi #uml

Implementing UML Association, Aggregation, and Composition. A Particular Interpretation Based on a Multidimensional Framework (MA, VP, JF, MR, OP), pp. 143–158.

EDOC-2003-BelaundeBP #component #framework #implementation

Implementing EDOC business components on top of a CCM platform (MB, JB, THP), pp. 208–221.

EDOC-2003-GrossWZ #component #corba #implementation

Corba Component Based Implementation of Telecom Services Building Blocks (JG, FW, JZ), pp. 308–314.

ICEIS-v1-2003-AmraniGRMB #enterprise #implementation

ERP Implementation, Cross-Functionality and Critical Change Factors (REA, BGM, FR, RM, MB), pp. 600–619.

ICEIS-v1-2003-BarkerD #database #implementation

Extended Protected Databases: A Practical Implementation (SB, PD), pp. 456–459.

ICEIS-v1-2003-WashingtonNU #education #implementation #modelling #online #realtime

Models for Implementation of Online Real Time It-Enabled Service for Entry to Professional Education (DGW, TRN, VRU), pp. 260–266.

ICEIS-v1-2003-ZhangLZC #approach #case study #enterprise #implementation #metric

ERP Systems Implementation Determinants and Success Measures in China: A Case Study Approach (LZ, MKOL, ZZ, CMKC), pp. 136–143.

ICEIS-v2-2003-ShenS #design #implementation

The Design and Implementation of Improved Intelligent Answering Model (RS, QS), pp. 148–154.

ICEIS-v3-2003-BokovecD #enterprise #implementation #multi

The Relevance of a Global Accounting Model in Multi-Site Erp Implementations (KB, TD), pp. 23–31.

ICEIS-v3-2003-ChimarisP #component #framework #implementation

Implementing a Generic Component-Based Framework for Tele-Control Applications (AC, GAP), pp. 51–58.

ICEIS-v3-2003-Gittoes #approach #implementation #quality

A Three Perspective Approach to Groupware Implementation Quality Management: Within an Australian University (DG), pp. 307–312.

ICEIS-v3-2003-SutharshanMK #design #difference #implementation

Implementing User Centred Partnership Design — Change in Attitude Made a Difference (AS, SPM, GK), pp. 456–461.

ICEIS-v4-2003-PanMK #approach #implementation #internet #modelling

An Internet Enabled Approach for MRO Models and Its Implementation (PP, ZM, DFK), pp. 317–323.

ICEIS-v4-2003-ProsserKK #experience #implementation

Implementing an Internet-Based Voting System for Public Elections — A Project Experience (AP, RK, RK), pp. 28–33.

CIKM-2003-AlonsoBL #adaptation #implementation #lessons learnt

Lessons from the implementation of an adaptive parts acquisition ePortal (RA, JAB, HL), pp. 169–171.

MLDM-2003-KostersPP #analysis #complexity #implementation

Complexity Analysis of Depth First and FP-Growth Implementations of APRIORI (WAK, WP, VP), pp. 284–292.

SEKE-2003-BelliniGNR #c++ #implementation #logic #realtime

TILCO Temporal Logic for Real-Time Systems Implementation in C++ (PB, AG, PN, DR), pp. 166–173.

SEKE-2003-CanforaCPT #approach #case study #implementation

A Tool for Decision Support Implementing OFNWA Approach: A Case Study (GC, LC, RP, LT), pp. 714–720.

SEKE-2003-MaLCCZ #approach #architecture #distributed #implementation

A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture (XM, JL, JC, ATSC, KZ), pp. 518–525.

SEKE-2003-NiaziWZ #design #effectiveness #framework #implementation #process

A Framework for Guiding the Design of Effective Implementation Strategies for Software Process Improvement (MN, DW, DZ), pp. 366–371.

GPCE-2003-CalcagnoTHL #abstract syntax tree #implementation #multi #using

Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection (CC, WT, LH, XL), pp. 57–76.

GPCE-2003-ZolyomiPK #c++ #metaprogramming #type system

An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming (IZ, ZP, TK), pp. 209–227.

SAC-2003-AnaneA #implementation

Implementation of a Proactive Load Sharing Scheme (RA, RJA), pp. 1038–1045.

SAC-2003-AugurusaBCC #design #implementation #interface #visual notation #xquery

Design and Implementation of a Graphical Interface to Xquery (EA, DB, AC, SC), pp. 1163–1167.

SAC-2003-CatalyurekGKSSF #component #implementation #multi #sequence

A Component-based Implementation of Multiple Sequence Alignment (ÜVÇ, MG, TMK, JHS, ES, RF), pp. 122–126.

SAC-2003-Reyes-GarciaC #fuzzy #implementation

Implementing Fuzzy Expert System for Intelligent Buildings (CARG, EC), pp. 9–13.

SAC-2003-ShinACJ #design #implementation

A Role Administration System in Role-based Authorization Infrastructures — Design and Implementation (DS, GJA, SC, SJ), pp. 325–330.

ESEC-FSE-2003-Thramboulidis #distributed #implementation #reuse #towards

Towards an engineering tool for implementing reusable distributed control systems (KT), pp. 351–354.

ESEC-FSE-2003-VignaVK #design #detection #implementation #product line

Designing and implementing a family of intrusion detection systems (GV, FV, RAK), pp. 88–97.

ICSE-2003-EdenK #architecture #design #implementation

Architecture, Design, Implementation (AHE, RK), pp. 149–159.

ICSE-2003-LorenzV #implementation #interface

Pluggable Reflection: Decoupling Meta-Interface and Implementation (DHL, JMV), pp. 3–13.

CC-2003-GhoshKKKLLN #compilation #design #experience #implementation #optimisation

Integrating High-Level Optimizations in a Production Compiler: Design and Implementation Experience (SG, AK, RK, DK, WL, CCL, JN), pp. 303–319.

CGO-2003-FinkQ #adaptation #design #evaluation #implementation

Design, Implementation and Evaluation of Adaptive Recompilation with On-Stack Replacement (SJF, FQ), pp. 241–252.

LCTES-2003-CorlissLR #implementation

A DISE implementation of dynamic code decompression (MLC, ECL, AR), pp. 232–243.

PPoPP-2003-DeitzCCS #array #design #implementation #parallel

The design and implementation of a parallel array operator for the arbitrary remapping of data (SJD, BLC, SEC, LS), pp. 155–166.

SOSP-2003-LieTH #hardware #implementation #operating system

Implementing an untrusted operating system on trusted hardware (DL, CAT, MH), pp. 178–192.

ICLP-2003-GranvilliersM #composition #constraints #implementation #reduction

Implementing Constraint Propagation by Composition of Reductions (LG, EM), pp. 300–314.

ICLP-2003-LangevineDD #implementation #performance #prolog

A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation (LL, MD, PD), pp. 269–283.

ICLP-2003-Munoz-HernandezM #implementation

A Real Implementation for Constructive Negation (SMH, JJMN), pp. 496–497.

SAT-2003-ZhangM #algorithm #case study #implementation #performance #satisfiability

Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms (LZ, SM), pp. 287–298.

WICSA-2002-MedvidovicMM #architecture #framework #implementation #product line

A Family of Software Architecture Implementation Frameworks (NM, NRM, MMR), pp. 221–235.

DAC-2002-ChangC #implementation #self #verification

Self-referential verification of gate-level implementations of arithmetic circuits (YTC, KTC), pp. 311–316.

DAC-2002-Sotiriou #implementation #using

Implementing asynchronous circuits using a conventional EDA tool-flow (CPS), pp. 415–418.

DATE-2002-AbkeB #automaton #implementation

A Direct Mapping System for Datapath Module and FSM Implementation into LUT-Based FPGAs (JA, EB), p. 1085.

DATE-2002-Essi #all about #implementation

IP is All About Implementation and Customer Satisfaction (VPEJ), p. 132.

DATE-2002-LeeWH #design #implementation #multi #runtime

Dynamic Runtime Re-Scheduling Allowing Multiple Implementations of a Task for Platform-Based Designs (TML, WW, JH), pp. 296–301.

DATE-2002-MartinezAQSK #encoding #implementation #power management

An Encoding Technique for Low Power CMOS Implementations of Controllers (MM, MJA, JMQ, HS, MK), p. 1083.

DATE-2002-TeichK #configuration management #finite #implementation #self #state machine

(Self-)reconfigurable Finite State Machines: Theory and Implementation (JT, MK), pp. 559–566.

HT-2002-GronbaekVO #concept #hypermedia #implementation #prototype #towards

Towards geo-spatial hypermedia: Concepts and prototype implementation (KG, PPV, PØ), pp. 117–126.

HT-2002-LukkaF #hypermedia #implementation

Freenet-like GUIDs for implementing xanalogical hypertext (TJL, BF), pp. 194–195.

HT-2002-TataGW #concept #hypermedia #implementation #policy #prototype

Policies for cooperative hypermedia systems: concepts and prototype implementation (ST, CG, UKW), pp. 140–141.

HT-2002-VitaliFT #implementation

Two implementations of XPointer (FV, FF, CT), pp. 145–146.

SIGMOD-2002-Cotton #implementation #xquery

Implementing XQuery (PC), p. 634.

SIGMOD-2002-DattaDTVSR #approach #implementation #web

Proxy-based acceleration of dynamically generated content on the world wide web: an approach and implementation (AD, KD, HMT, DEV, S, KR), pp. 97–108.

SIGMOD-2002-DogacTPPLKTK #framework #implementation

An ebXML infrastructure implementation through UDDI registries and RosettaNet PIPs (AD, YT, PP, SP, GL, GK, ST, YK), pp. 512–523.

SIGMOD-2002-ZhouR #database #implementation #using

Implementing database operations using SIMD instructions (JZ, KAR), pp. 145–156.

VLDB-2002-KiesslingK #case study #design #experience #implementation #sql

Preference SQL — Design, Implementation, Experiences (WK, GK), pp. 990–1001.

FASE-2002-Cerone #algebra #implementation #process

Implementing Condition/Event Nets in the Circal Process Algebra (AC), pp. 49–63.

TACAS-2002-AmnellFMPY #embedded #implementation #modelling #named

TIMES — A Tool for Modelling and Implementation of Embedded Systems (TA, EF, LM, PP, WY), pp. 460–464.

WRLA-2002-VerdejoM #implementation #maude

Implementing CCS in Maude 2 (AV, NMO), pp. 282–300.

PASTE-2002-Naumovich #analysis #data flow #design pattern #implementation #using

Using the observer design pattern for implementation of data flow analyses (GN), pp. 61–68.

PEPM-2002-BischofHN #automation #difference #implementation #tool support

Implementation of automatic differentiation tools (CHB, PDH, BN), pp. 98–107.

CIAA-J-2000-Champarnaud02 #automaton #evaluation #nondeterminism #regular expression

Evaluation of Three Implicit Structures to Implement Nondeterministic Automata From Regular Expressions (JMC), pp. 99–113.

CIAA-2002-Fatholahzadeh #automaton #implementation

Implementation of Dictionaries via Automata and Decision Trees (AF), pp. 95–105.

CIAA-2002-HolubC #implementation #on the

On the Implementation of Compact DAWG’s (JH, MC), pp. 289–294.

FME-2002-BackesJP #bisimulation #composition #encryption #implementation #using

Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation (MB, CJ, BP), pp. 310–329.

ICFP-2002-GasbichlerS #implementation

Final shift for call/cc: : direct implementation of shift and reset (MG, MS), pp. 271–282.

ICFP-2002-GregoireL #implementation #reduction

A compiled implementation of strong reduction (BG, XL), pp. 235–246.

EDOC-2002-CariouBJ #architecture #distributed #implementation #process

An Architecture and a Process for Implementing Distributed Collaborations (EC, AB, JMJ), pp. 132–143.

EDOC-2002-KoehlerTK #consistency #implementation #process #verification

From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods (JK, GT, SK), p. 96–?.

ICEIS-2002-AshB #enterprise #implementation #network #staged

Staged Implementation of E-Business Networks through ERP (CGA, JMB), pp. 877–884.

ICEIS-2002-EstevesP #enterprise #framework #implementation

A Framework to Analyse Most Critical Work Packages in ERP Implementation Projects (JE, JAP), pp. 89–98.

ICEIS-2002-SongLK #design #implementation

Design and Implementation of a Message Service Handler for EBXML (EJS, HSL, TGK), pp. 1064–1069.

ICEIS-2002-Veryha #classification #database #fuzzy #implementation #query #relational #using

Implementation of Fuzzy Classification Query Language in Relational Databases Using Stored Procedures (YV), pp. 195–202.

ICPR-v3-2002-DraperBBRC #image #implementation

Implementing Image Applications on FPGAs (BAD, JRB, APWB, CR, MC), pp. 265–268.

ICPR-v4-2002-CorreiaC #algorithm #implementation #realtime

Real-Time Implementation of an Optical Flow Algorithm (MVC, ACC), pp. 247–250.

ICPR-v4-2002-IwahoriWWI #implementation #network #self

Self-Calibration and Neural Network Implementation of Photometric Stereo (YI, YW, RJW, AI), pp. 359–362.

KR-2002-GiacomoLLS #implementation #on the #semantics

On the Semantics of Deliberation in IndiGolog: From Theory to Implementation (GDG, YL, HJL, SS), pp. 603–614.

LSO-2002-AngkasaputraPRT #collaboration #implementation #learning

The Collaborative Learning Methodology CORONET-Train: Implementation and Guidance (NA, DP, ER, ST), pp. 13–24.

SIGIR-2002-HoashiZI #feedback #implementation #music #retrieval

Implementation of relevance feedback for content-based music retrieval based on user prefences (KH, EZ, NI), pp. 385–386.

ECOOP-2002-BaconFG #implementation #java

Space- and Time-Efficient Implementation of the Java Object Model (DFB, SJF, DG), pp. 111–132.

ECOOP-2002-NeumannZ #case study #design #implementation #interpreter #parsing #rdf #xml

Pattern-Based Design and Implementation of an XML and RDF Parser and Interpreter: A Case Study (GN, UZ), pp. 392–414.

OOPSLA-2002-HannemannK #aspectj #design pattern #implementation #java

Design pattern implementation in Java and aspectJ (JH, GK), pp. 161–173.

OOPSLA-2002-SoaresLB #aspect-oriented #aspectj #implementation #persistent

Implementing distribution and persistence aspects with aspectJ (SS, EL, PB), pp. 174–190.

GPCE-2002-ElradAB #aspect-oriented #design #implementation #modelling

Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design (TE, OA, AB), pp. 189–201.

SAC-2002-Baptista #design #implementation #multi #set

A geolibrary for multimedia data sets: design and implementation issues (CdSB), pp. 488–492.

SAC-2002-GallardoMMR #abstraction #model checking #using #xml

Using XML to implement abstraction for Model Checking (MdMG, JM, PM, ER), pp. 1021–1025.

SAC-2002-LuSP #generative #implementation #performance #smarttech

Implementation of fast RSA key generation on smart cards (CL, ALMdS, FRP), pp. 214–220.

SAC-2002-ZhangS #algorithm #implementation #parametricity #performance

An efficient implementation of parametric line and polygon clipping algorithm (MZ, CLS), pp. 796–800.

ICSE-2002-AldrichCN #architecture #implementation #named

ArchJava: connecting software architecture to implementation (JA, CC, DN), pp. 187–197.

HPDC-2002-Johnson #design #grid #implementation #information management

Design and Implementation of Secured Information Services for the ASCI Grid (WRJ), pp. 209–214.

HPDC-2002-ShirasunaNMS #implementation #web #web service

Evaluating Web Services Based Implementations of GridRPC (SS, HN, SM, SS), pp. 237–245.

OSDI-2002-OsmanSSN #design #implementation #migration

The Design and Implementation of Zap: A System for Migrating Computing Environments (SO, DS, GS, JN), pp. 361–376.

ICLP-2002-VaucheretGM #fuzzy #implementation #prolog #using

Fuzzy Prolog: A Simple General Implementation Using CLP(R) (CV, SG, SMH), p. 469.

RTA-2002-LeclandR #implementation #named

TTSLI: An Implementation of Tree-Tuple Synchronized Languages (BL, PR), pp. 376–379.

TestCom-2002-ParadaCFLC #implementation #testing

Testing IP Differentiated Services Implementations (CP, JC, FF, SRL, PC), p. 55–?.

TestCom-2002-SchulzV #implementation #using

Implementation of TTCN-3 Test Systems using the TRI (SS, TVG), pp. 425–442.

ASE-2001-Kong #implementation #interactive #specification

Implementation of Specification Conjunction and Domain Interaction in Rosetta (CK), p. 435.

DAC-2001-SchollB #equivalence #implementation

Checking Equivalence for Partial Implementations (CS, BB), pp. 238–243.

DATE-2001-AzaisBBR #implementation #linear

Implementation of a linear histogram BIST for ADCs (FA, SB, YB, MR), pp. 590–595.

DATE-2001-Mandapati #implementation

Implementation of the ATI flipper chip (AM), pp. 697–698.

VLDB-2001-SeegerBBKSDS #approach #database #implementation #library #named #performance #query

XXL — A Library Approach to Supporting Efficient Implementations of Advanced Database Queries (JVdB, BB, JPD, JK, TS, MS, BS), pp. 39–48.

TACAS-2001-ChechikDE #implementation #model checking #multi

Implementing a Multi-valued Symbolic Model Checker (MC, BD, SME), pp. 404–419.

ICSM-2001-AtkinsonG #analysis #data flow #implementation #performance #scalability #source code

Implementation Techniques for Efficient Data-Flow Analysis of Large Programs (DCA, WGG), pp. 52–61.

ICSM-2001-BinkleyCRS #difference #empirical #implementation #semantics

An Implementation of and Experiment with Semantic Differencing (DB, RC, LRR, CS), pp. 82–91.

ICSM-2001-DemestichaGKMPSS #aspect-oriented #design #implementation #information management #multi

Aspects of Design and Implementation of a Multi-Channel and Multi-Modal Information System (VD, JG, JK, MM, LP, HS, LS), pp. 312–319.

PLDI-2001-KennedyS #design #dot-net #implementation #runtime

Design and Implementation of Generics for the .NET Common Language Runtime (AK, DS), pp. 1–12.

FLOPS-J2-1998-Hinze01 #axiom #functional #implementation #prolog

Prolog’s Control Constructs in a Functional Setting — Axioms and Implementation (RH), pp. 125–170.

FLOPS-2001-Nadathur #implementation #metalanguage #prolog

The Metalanguage λ-Prolog and Its Implementation (GN), pp. 1–20.

FME-2001-BurtonKP #implementation #verification

Verifying Implementation Relations (JB, MK, GP), pp. 364–383.

ICFP-2001-Hinze #implementation

A Simple Implementation Technique for Priority Search Queues (RH), pp. 110–121.

ICFP-2001-Russell #haskell #how

Events in Haskell, and How to Implement Them (GR), pp. 157–168.

CHI-2001-BickmoreC #implementation #relational #trust

Relational agents: a model and implementation of building user trust (TWB, JC), pp. 396–403.

AdaEurope-2001-BernatB #ada #flexibility #implementation

Implementing a Flexible Scheduler in Ada (GB, AB), pp. 179–190.

AdaEurope-2001-CrespoBT #ada #implementation

Complex Task Implementation in Ada (AC, PB, ST), pp. 167–178.

AdaEurope-2001-ZamoranoRP #ada #implementation #kernel #realtime

Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels (JZ, JFR, JAdlP), pp. 317–327.

SIGAda-2001-SherrillAH #ada #architecture #implementation #product line

Implementing a product line-based architecture in Ada (JS, JA, GH), pp. 39–46.

CAiSE-2001-KellerBS #design #implementation #repository #uml

Design and Implementation of a UML-Based Design Repository (RKK, JFB, GSD), pp. 448–464.

ICEIS-v1-2001-EstevesP #enterprise #implementation #process

Establishing the Importance of ERP Implementation — Critical Success Factors along ASAP Methodology Processes (JE, JAP), pp. 182–187.

ICEIS-v1-2001-JianfengJ #fuzzy #implementation

Implementation and Application of Fuzzy Case-Based Expert System (DJ, SJ), pp. 366–369.

ICEIS-v1-2001-MohanY01a #implementation #object-oriented #using

Implementing Business Rules in an Object-Oriented System Using JESS (PM, SY), pp. 553–558.

ICEIS-v2-2001-LeeLW #design #implementation #interface #online #visual notation

Design and Implementation of a Visual Online Product Catalog Interface (JL, HSL, PW), pp. 1010–1017.

ICML-2001-SingerV #implementation #learning #performance

Learning to Generate Fast Signal Processing Implementations (BS, MMV), pp. 529–536.

SEKE-2001-Basili #concept #experience #implementation #set

Implementing the Experience Factory concepts as a set of Experience Bases (VRB), pp. 102–109.

SEKE-2001-TalensBD #multi #reuse

Object Indexes to Implement a Case Base for Reuse in a Multi-Domain Context (GT, DB, ID), pp. 95–101.

OOPSLA-2001-AlpernCFGL #harmful #implementation #interface #java #performance

Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless (BA, AC, SJF, DG, DL), pp. 108–124.

TOOLS-USA-2001-Arsanjani01b #component #design #implementation

Patterns for Designing and Implementing Business Rules in Component-Based Systems (AA), p. 369.

TOOLS-USA-2001-ArsanjaniP01a #design #implementation

Best Practices in Business Rule Design and Implementation (AA, GP), pp. 407–408.

TOOLS-USA-2001-Breuel #code generation #implementation #java #using

Implementing Dynamic Language Features in Java Using Dynamic Code Generation (TMB), pp. 143–152.

TOOLS-USA-2001-SelonenSK #diagrams #generative #implementation #sequence chart #uml

Generating Structured Implementation Schemes from UML Sequence Diagrams (PS, TS, KK), pp. 317–330.

PPDP-2001-AntoyHMS #implementation

An Implementation of Narrowing Strategies (SA, MH, BM, FS), pp. 207–217.

PADL-2001-Leuschel #csp #design #implementation #prolog #specification

Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog (ML), pp. 14–28.

PADL-2001-LopesCS #implementation #novel

A Novel Implementation of the Extended Andorra Model (RL, VSC, FMAS), pp. 199–213.

SAC-2001-MernikNAZ #implementation

Designa and implementation of simple object description language (MM, UN, EA, VZ), pp. 590–595.

SAC-2001-Viroli #implementation #java #morphism #parametricity #performance #polymorphism

Parametric polymorphism in Java: an efficient implementation for parametric methods (MV), pp. 610–619.

ESEC-FSE-2001-FreimutHKKK #case study #implementation #industrial #risk management

An industrial case study of implementing software risk management (BGF, SH, PK, JK, WK), pp. 277–287.

ESEC-FSE-2001-JagannathanS #component #implementation

Increasing client-side confidence in remote component implementations (RJ, PAGS), pp. 52–61.

ICSE-2001-HuntR #documentation #implementation #using #version control #web

Using the Web for Document Versioning: An Implementation Report for Delta V (JJH, JR), pp. 507–513.

LDTA-2001-HedinM #implementation #jastadd #named

JastAdd — a Java-based system for implementing front ends (GH, EM), pp. 59–78.

LDTA-2001-Noll #erlang #implementation #logic

A Rewriting Logic Implementation of Erlang (TN), pp. 206–224.

CC-2001-Madsen #implementation

Virtual Classes and Their Implementation (OLM), pp. 1–2.

CAV-2001-AlurW #implementation #network #protocol #refinement #verification

Verifying Network Protocol Implementations by Symbolic Refinement Checking (RA, BYW), pp. 169–181.

CAV-2001-SongPP #automation #generative #implementation #named #protocol #security #verification

AGVI — Automatic Generation, Verification, and Implementation of Security Protocols (DXS, AP, DP), pp. 241–245.

ICLP-2001-GuoG #implementation #logic programming #order

A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives (HFG, GG), pp. 181–196.

ICLP-2001-VillaverdePGG #architecture #implementation #named #prolog

PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures (KV, EP, HFG, GG), pp. 27–42.

IJCAR-2001-BaaderT #approach #automaton #satisfiability

The Inverse Method Implements the Automata Approach for Modal Satisfiability (FB, ST), pp. 92–106.

IJCAR-2001-HodasT #agile #first-order #implementation #linear #logic #named #proving #theorem proving

lolliCop — A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic (JSH, NT), pp. 670–684.

SAT-2001-PattersonK #implementation #named #self

Auto-Walksat: A Self-Tuning Implementation of Walksat (DJP, HAK), pp. 360–368.

SAT-2001-SinzBK #implementation #named #parallel

PaSAT — Parallel SAT-Checking with Lemma Exchange: Implementation and Applications (CS, WB, WK), pp. 205–216.

TLCA-2001-Pinto #geometry #implementation #interactive #modelling #parallel #using #λ-calculus

Parallel Implementation Models for the λ-Calculus Using the Geometry of Interaction (JSP), pp. 385–399.

DAC-2000-KatagiriYKHT #communication #concurrent #hardware #implementation #multi #protocol

Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization (HK, KY, AK, TH, KT), pp. 762–767.

DATE-2000-CiricYS #implementation #logic #using

Delay Minimization and Technology Mapping of Two-Level Structures and Implementation Using Clock-Delayed Domino Logic (JC, GY, CS), pp. 277–282.

DATE-2000-MurthyB #data flow #implementation #memory management #specification

Shared Memory Implementations of Synchronous Dataflow Specifications (PKM, SSB), pp. 404–410.

DATE-2000-RustSAT #embedded #implementation #parallel #realtime #specification

From High-Level Specifications Down to Software Implementations of Parallel Embedded Real-Time Systems (CR, FS, PA, JT), pp. 686–691.

VLDB-2000-Blecken #database #workflow

Media360 Workflow-Implementing a Workflow Engine Inside a Database (CB), p. 692.

VLDB-2000-ChoenniV #algorithm #data mining #design #implementation #mining

Design and Implementation of a Genetic-Based Algorithm for Data Mining (SC), pp. 33–42.

VLDB-2000-KemmeA #consistency #database #lazy evaluation #replication

Don’t Be Lazy, Be Consistent: Postgres-R, A New Way to Implement Database Replication (BK, GA), pp. 134–143.

ESOP-2000-Danvy #continuation #formal method #implementation

Formalizing Implementation Strategies for First-Class Continuations (OD), pp. 88–103.

ESOP-2000-HoweK #analysis #implementation

Implementing Groundness Analysis with Definite Boolean Functions (JMH, AK), pp. 200–214.

PLDI-2000-ChengH #analysis #composition #design #evaluation #implementation #interprocedural #pointer #using

Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation (BCC, WmWH), pp. 57–69.

PLDI-2000-RamseyJ #exception #implementation #multi

A single intermediate language that supports multiple implementations of exceptions (NR, SLPJ), pp. 285–298.

SAS-2000-Lev-AmiS #analysis #implementation #named

TVLA: A System for Implementing Static Analyses (TLA, SS), pp. 280–301.

CIAA-2000-BergeronH #automaton #implementation #performance

Fast Implementations of Automata Computations (AB, SH), pp. 47–56.

CIAA-2000-Champarnaud #automaton #nondeterminism #regular expression

Implicit Structures to Implement NFA’s from Regular Expressions (JMC), pp. 80–93.

CIAA-2000-KlarlundMS #implementation

MONA Implementation Secrets (NK, AM, MIS), pp. 182–194.

CIAA-2000-SchmitzV #algorithm #finite #game studies #implementation

Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games (DS, JV), pp. 263–271.

CIAA-2000-ShankarSAR #automaton #finite #implementation

A Package for the Implementation of Block Codes as Finite Automata (PS, KS, VA, BSR), pp. 279–292.

IFL-2000-ArtsN #erlang #implementation #verification

Verifying Generic Erlang Client-Server Implementations (TA, TN), pp. 37–52.

IFL-2000-KlusikLPR #implementation #parallel #programming

Implementation Skeletons in Eden: Low-Effort Parallel Programming (UK, RL, SP, FR), pp. 71–88.

IFL-2000-PointonTL #design #distributed #haskell #implementation

The Design and Implementation of Glasgow Distributed Haskell (RFP, PWT, HWL), pp. 53–70.

CSCW-2000-Bajesy #implementation #named

IT2: an information technology initiative for the twenty-first century — NSF plans for implementation (RB), p. 359.

AdaEurope-2000-BriotBC #ada #design #implementation #named

GtkAda: Design and Implementation of a High Level Binding in Ada (EB, JB, AC), pp. 112–124.

AdaEurope-2000-CloshenH #ada #implementation #programming #using

An Ada95 Programming Style Checker Using the GNAT ASIS Implementation (PC, HJH), pp. 149–160.

AdaEurope-2000-Schmitt #ada #analysis #design #framework #implementation #object-oriented

Analysis, Design and Implementation of an Object-Oriented Framework in Ada95 (DS), pp. 196–210.

AdaEurope-2000-Weiss #ada #java #monitoring

Kingcat MCAS — Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java (RW), pp. 2–3.

CAiSE-2000-KrumbholzM #enterprise #how #implementation #resource management

How Culture Might Impact on the Implementation of Enterprise Resource Planning Packages (MK, NAMM), pp. 279–293.

EDOC-2000-QuEM #framework #implementation #protocol

Implementation of an Enterprise-Level Groupware System Based on J2EE Platform and WebDAV Protocol (CQ, TE, CM), pp. 160–169.

ICPR-v3-2000-BoydM #implementation #multi #performance

Fast Implementation of Multiple Oriented Filters (JEB, JM), pp. 3458–3462.

ICPR-v3-2000-LiuH00a #detection #implementation

Two Practical Issues in Canny’s Edge Detector Implementation (GL, RMH), pp. 3680–3682.

KR-2000-IocchiNR #concurrent #framework #implementation #logic

Planning with sensing, concurrency, and exogenous events: logical framework and implementation (LI, DN, RR), pp. 678–689.

TOOLS-ASIA-2000-MinJYG #corba #implementation

An Implementation Model of IntServ/RSVP Based CORBA A/V Stream Service (CM, XJ, WY, GG), pp. 94–99.

TOOLS-ASIA-2000-NicoloudisM #implementation

Implementing Trading Object Services in COM (NN, CM), pp. 230–239.

TOOLS-ASIA-2000-WuJZ #design #implementation #normalisation #object-oriented #proving

Implementation and Proof for Normalization Design of Object-Oriented Data Schemes (YW, WJ, AZ), pp. 220–229.

TOOLS-ASIA-2000-XingsheX #corba #design #implementation #security

Design and Implementation of CORBA Security Service (XZ, XL), pp. 140–147.

TOOLS-ASIA-2000-ZhangW #design pattern #implementation #object-oriented #undo #using

Implementing Undo/Redo in PDF Studio Using Object-Oriented Design Pattern (MZ, KW), pp. 58–64.

TOOLS-EUROPE-2000-Arsanjani #design #implementation #object-oriented

Design and Implementation of Business Rules in Object-Oriented Applications (AA), p. 475.

TOOLS-PACIFIC-2000-MaheshwariF #corba #design #implementation

Design and Implementation of CORBA-Based Subscription Server (RM, RF), pp. 2–13.

TOOLS-USA-2000-Langer00a #c++ #implementation #using

Using C++ Templates for Implementation of Patterns (AL), pp. 485–486.

TOOLS-USA-2000-PulvermullerSR #aspect-oriented #design #implementation #programming #using

Implementing Collaboration-Based Designs Using Aspect-Oriented Programming (EP, AS, AR), pp. 95–104.

GCSE-2000-GoedickeNZ #architecture #component #design #development #flexibility #implementation

Design and Implementation Constructs for the Development of Flexible, Component-Oriented Software Architectures (MG, GN, UZ), pp. 114–128.

PPDP-2000-Necula #design #implementation

Proof-carrying code: design, implementation and applications (abstract) (GCN), pp. 175–177.

PPDP-2000-PediciniQ #implementation #parallel #reduction #λ-calculus

A parallel implementation for optimal λ-calculus reduction (MP, FQ), pp. 3–14.

SAIG-2000-Kieburtz #domain-specific language #implementation

Implementing Closed Domain-Specific Languages (RBK), pp. 1–2.

PADL-2000-ZhouSYY #implementation #linear

Implementation of a Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), pp. 109–123.

SAC-2000-DiazC #implementation #prolog

The GNU Prolog System and its Implementation (DD, PC), pp. 728–732.

SAC-2000-RibeiroHOR #algorithm #implementation #parallel #problem

A Parallel Algorithm for the Routing Problem: An Implementation in The Parallel Computer IBM-SP2 (CMR, FH, FCJdO, JFFR), pp. 649–654.

SAC-2000-SchreckC #implementation #using

R-Tree Implementation Using Branch-Grafting Method (TS, ZC), pp. 328–332.

ICSE-2000-AndersonGW #architecture #concept #implementation #interactive #multi #named

Dragonfly: linking conceptual and implementation architectures of multiuser interactive systems (GEA, TCNG, TNW), pp. 252–261.

ICSE-2000-EmmerichMF #implementation #incremental #migration #xml

Implementing incremental code migration with XML (WE, CM, AF), pp. 397–406.

SPLC-2000-Griss #aspect-oriented #implementation #product line

Implementing Product-line features by composing aspects (MLG), pp. 271–289.

CC-2000-MaraninchiRR #implementation #named

MATOU: An Implementation of Mode-Automata (FM, YR, YR), pp. 249–263.

HPDC-2000-WangOCF #predict #using

Using Idle Workstations to Implement Predictive Prefetching (JYQW, JSO, YC, MJF), pp. 87–94.

ISMM-2000-DomaniKLSBLLPY #garbage collection #implementation #java #on the fly

Implementing an On-the-Fly Garbage Collector for Java (TD, EKK, EL, EES, KB, IL, YL, EP, IY), pp. 155–166.

LCTES-2000-LeeLKK #debugging #design #embedded #implementation #internet

A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software (KL, CL, KK, HNK), pp. 199–203.

CL-2000-CelleB #algorithm #consistency #database #implementation #query

Querying Inconsistent Databases: Algorithms and Implementation (AC, LEB), pp. 942–956.

CL-2000-DavulcuYKR #design #experience #implementation #physics

Design and Implementation of the Physical Layer in WebBases: The XRover Experience (HD, GY, MK, IVR), pp. 1094–1105.

CL-2000-YangK #implementation #logic #named #performance #using

FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine (GY, MK), pp. 1078–1093.

ASE-1999-Brackin #analysis #automation #effectiveness #encryption #implementation #protocol

Implementing Effective Automatic Cryptographic Protocol Analysis (SHB), pp. 319–322.

DAC-1999-GoodmanCD #design #embedded #encryption #implementation #scalability

Design and Implementation of a Scalable Encryption Processor with Embedded Variable DC/DC Converter (JG, AC, APD), pp. 855–860.

DAC-1999-NachtergaeleVPLBB #implementation #scalability #visual notation

Implementation of a Scalable MPEG-4 Wavelet-Based Visual Texture Compression System (LN, BV, MP, GL, JB, IB), pp. 333–336.

DATE-1999-ONilsJ #implementation #independence #operating system #protocol #specification #synthesis

Operating System Sensitive Device Driver Synthesis from Implementation Independent Protocol Specification (MO, AJ), pp. 562–567.

ICDAR-1999-LuSWR #implementation #recognition #segmentation

An Implementation of Postal Numerals Segmentation and Recognition System for Chinese Business Letters (YL, PS, JW, JR), pp. 725–728.

SIGMOD-1999-Brown #implementation

Implementing the Spirit of SQL-99 (PB), pp. 515–518.

VLDB-1999-BernsteinPS #implementation

Context-Based Prefetch for Implementing Objects on Relations (PAB, SP, DS), pp. 327–338.

VLDB-1999-ChengGKLLQS #database #implementation #optimisation #query #semantics

Implementation of Two Semantic Query Optimization Techniques in DB2 Universal Database (QC, JG, FK, TYCL, LL, XQ, KBS), pp. 687–698.

VLDB-1999-FuhDCMTLDRM #implementation #inheritance #sql

Implementation of SQL3 Structured Types with Inheritance and Value Substitutability (YCF, SD, WC, NMM, BTT, BGL, LD, SR, DM), pp. 565–574.

VLDB-1999-HoskingC #design #implementation #named #orthogonal #performance #persistent #programming language

PM3: An Orthogonal Persistent Systems Programming Language — Design, Implementation, Performance (ALH, JC), pp. 587–598.

VLDB-1999-LakshmananSS #database #implementation #on the #sql

On Efficiently Implementing SchemaSQL on an SQL Database System (LVSL, FS, SNS), pp. 471–482.

FASE-1999-Tapken #implementation

Implementing Hierarchical Graph-Structures (JT), pp. 219–233.

ICSM-1999-Chatters #development #evolution #experience #implementation #maintenance #process

Experience Paper: Implementing an Experience Factory: Maintenance and Evolution of the Software and Systems Development Process (BWC), p. 146–?.

FLOPS-1999-Lux #encapsulation #functional #implementation #lazy evaluation #logic

Implementing Encapsulated Search for a Lazy Functional Logic Language (WL), pp. 100–113.

WIA-1999-SeuringG #automaton

A Structural Method for Output Compaction of Sequential Automata Implemented as Circuits (MS, MG), pp. 158–163.

IFL-1999-AchtenP #implementation #interactive

The Implementation of Interactive Local State Transition Systems in Clean (PA, MJP), pp. 115–130.

CHI-1999-OlsenHVHP #implementation #interface

Implementing Interface Attachments Based on Surface Representations (DRO, SEH, TV, JMH, MP), pp. 191–198.

HCI-CCAD-1999-KirvesojaOVTKH #health #implementation

Implementation criteria for a videophone system used in telemedicine — a case in Finnish health care (HK, AO, SV, VT, MK, UH), pp. 271–275.

HCI-CCAD-1999-OzawaAFSY #adaptation #case study #education #implementation #process #realtime

An experimental study on implementing real-time estimator of human cognitive process into eye-sensing head mounted display for realizing adaptive CAI for teaching plant diagnosis knowledge (TO, YA, SF, HS, HY), pp. 1197–1200.

HCI-CCAD-1999-SavidisAS #design #implementation #user interface

Unified user interfaces: from design to implementation (AS, DA, CS), pp. 782–786.

HCI-EI-1999-HuuhtanenRL #implementation

Age and Implementation of new Information Technology in Banking Tasks (PH, TR, TL), pp. 3–5.

HCI-EI-1999-RistimakiLH #implementation

Implementation of Information Technology in Call Centers (TR, TL, PH), pp. 6–10.

AdaEurope-1999-KamradS #ada #implementation #runtime

An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch (JMKI, BAS), pp. 26–38.

AdaEurope-1999-RuizG #implementation #low level #runtime

Implementing a New Low-Level Tasking Support for the GNAT Runtime System (JFR, JMGB), pp. 298–307.

AdaEurope-1999-ShenCB #ada #implementation #kernel #linux #multi

A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel (HS, AC, TPB), pp. 287–297.

AdaEurope-1999-Tuosto #ada #coordination #implementation #network

An Ada95 Implementation of a Network Coordination Language with Code Mobility (ET), pp. 199–210.

SIGAda-1999-Carlisle #development #implementation #independence #user interface

A truly implementation independent GUI development tool (MCC), pp. 47–52.

EDOC-1999-HallidaySW #coordination #distributed #implementation #process #workflow

Implementing support for work activity coordination within a distributed workflow system (JJH, SKS, SMW), pp. 116–123.

ICEIS-1999-AnwarY #database #design #implementation #network #object-oriented

Design and Implementation of an Object-Oriented Road Network Database (MAA, TY), pp. 7–14.

ICEIS-1999-DuartennBACGS #implementation #java

3270 Webclient — A Java Implementation of Dynamic Revamping (CJD, BB, JA, JC, RG, MSdS), p. 791.

ICEIS-1999-Falsarella #corba #execution #framework #implementation #multi #using

Multi Language and Multi Platform Suport for Agent Execution Using CORBA Platform-An Implementation (OMF), p. 772.

ICEIS-1999-JungBP #agile #framework #implementation #network #protocol #prototype

Implementing Network Protocols in Java-A Framework for Rapid Prototyping (MJ, EB, AP), pp. 649–656.

ICEIS-1999-MilosavljevicRND #development #enterprise #implementation #intranet

Transportation in Postal Enterprise of Serbia: Application Development and Intranet Implementation (NM, DR, RRN, DD), pp. 477–484.

ICEIS-1999-Orozco-Barbosa #implementation #network #performance #video

Video Communications Over IP/ATM Networks Implementation Issues and Performance (LOB), pp. 577–584.

ICEIS-1999-PopescuM #implementation #perspective

Organizational Level of Intelligent Robots-An Implementation Point of View (AP, GM), p. 779.

ICEIS-1999-ZarriE #approach #implementation #metadata #semantics #web

A Semantic Approach for Implementing Metadata on the World Wide Web (GPZ), pp. 740–747.

SEKE-1999-BroomeR #experience #implementation #requirements

Technical Requirements for the Implementation of an Experience Base (MB, PR), pp. 87–102.

UML-1999-Sourrouille #behaviour #implementation #inheritance #object-oriented #uml

UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages (JLS), pp. 457–472.

OOPSLA-1999-AgesenDGKRW #implementation #performance #ubiquitous

An Efficient Meta-Lock for Implementing Ubiquitous Synchronization (OA, DD, AG, RK, YSR, DW), pp. 207–222.

OOPSLA-1999-AlpernABCHLNMSS #implementation #java

Implementing Jalapeño in Java (BA, CRA, JJB, AC, SFH, DL, TN, MFM, JCS, SES), pp. 314–324.

OOPSLA-1999-Kendall #aspect-oriented #design #implementation #programming

Role Model Designs and Implementations with Aspect-oriented Programming (EAK), pp. 353–369.

TOOLS-ASIA-1999-BaiLYX #database #design #implementation #object-oriented

The Design and Implementation of an Object Oriented Database Management System-OMNIX (WB, ZL, LY, JX), pp. 414–423.

TOOLS-ASIA-1999-JuCC #design #implementation

Extensible Motor of a Object-Relational DBMS: Design and Implementation (SgJ, SVC, WhC), pp. 372–379.

TOOLS-ASIA-1999-JunqingMY #corba #implementation #internet #realtime

An Implementation Model of Real Time CORBA for Internet Applications (XJ, CM, WY), pp. 326–330.

TOOLS-ASIA-1999-WangZAC #debugging #distributed #java #parallel

A Parallel and Distributed Debugger Implemented with Java (FW, QZ, HA, GC), pp. 342–347.

TOOLS-EUROPE-1999-CabriLRZ #architecture #coordination #design #implementation #mobile #programmable

Design and Implementation of a Programmable Coordination Architecture for Mobile Agents (GC, LL, GR, FZ), pp. 10–19.

TOOLS-EUROPE-1999-Coplien99a #c++ #design #implementation #multi #paradigm

Multiparadigm Design and Implementation in C++ (JC), p. 408.

TOOLS-EUROPE-1999-LoweNTZ #aspect-oriented #implementation #robust

Robust Dynamic Exchange of Implementation Aspects (WL, RN, MT, WZ), pp. 351–360.

TOOLS-PACIFIC-1999-Caspersen #c++ #embedded #framework #implementation #modelling #realtime

A C++ Framework for Active Objects in Embedded Real-time Systems-Bridging the Gap Between Modeling and Implementation (MEC), pp. 52–65.

TOOLS-USA-1999-Arsanjani #analysis #design #distributed #framework #implementation #java #using

Analysis, Design and Implementation of Distributed Java Business Frameworks Using Domain Patterns (AA), pp. 490–500.

TOOLS-USA-1999-BielakS #database #distributed #garbage collection #implementation #object-oriented

Implementing a Distributed Garbage Collector for OO Databases (RB, JPS), pp. 42–52.

TOOLS-USA-1999-PloschP #analysis #c++ #contract #implementation #named

Contracts: From Analysis to C++ Implementation (RP, JP), pp. 248–257.

PADL-1999-HakliNTU #declarative #implementation #query #string

Implementing a Declarative String Query Language with String Restructuring (RH, MN, HT, EU), pp. 179–195.

PADL-1999-WallaceS #declarative #eclipse #implementation #named #specification

ECLiPSe: Declarative Specification and Scaleable Implementation (MW, JS), pp. 365–366.

RE-1999-Holtzblatt #design #implementation

Contextual Design: From Customer Data to Implementation (KH), p. 1–?.

SAC-1999-CallahanT #finite #implementation #parallel

Parallel Implementation of a Frontal Finite Element Solver on Multiple Platforms (JDC, JMT), pp. 491–495.

SAC-1999-Royappa #implementation #xml

Implementing Catalog Clearinghouses with XML and XSL (AVR), pp. 616–621.

SAC-1999-Sabharwal #approach #database #hybrid #image #implementation

An Implementation of Hybrid Approach to Indexing Image Databases (CLS), pp. 421–426.

SAC-1999-SodanT #fuzzy #implementation

Hierarchical Fuzzy Configuration of Implementation Strategies (AS, VT), pp. 250–259.

ICSE-1999-DashofyMT #architecture #distributed #middleware #off the shelf #using

Using Off-the-Shelf Middleware to Implement Connectors in Distributed Software Architectures (EMD, NM, RNT), pp. 3–12.

CC-1999-PatelR #implementation #parallel #runtime

Implementation Issues of Loop-Level Speculative Run-Time Parallelization (DP, LR), pp. 183–197.

HPDC-1999-CoadyOF #clustering #embedded #memory management #network #using

Using Embedded Network Processors to Implement Global Memory Management in a Workstation Cluster (YC, JSO, MJF), pp. 319–328.

PPoPP-1999-MaassenNVBP #implementation #java #performance

An Efficient Implementation of Java’s Remote Method Invocation (JM, RvN, RV, HEB, AP), pp. 173–182.

SOSP-1999-Adjie-WinotoSBL #design #implementation

The design and implementation of an intentional naming system (WAW, ES, HB, JL), pp. 186–201.

SOSP-1999-SirerGGB #design #distributed #implementation #virtual machine

Design and implementation of a distributed virtual machine for networked computers (EGS, RG, AJG, BNB), pp. 202–216.

CADE-1999-NadathurM #automaton #compilation #implementation #prolog #λ-calculus

System Description: Teyjus — A Compiler and Abstract Machine Based Implementation of lambda-Prolog (GN, DJM), pp. 287–291.

CSL-1999-Bonelli #using

Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting (EB), pp. 204–219.

ICLP-1999-Li #garbage collection #implementation #prolog

Implementing Prolog with Chronological Garbage Collection (XL), p. 612.

RTA-1999-SaubionS #implementation #on the

On Implementation of Tree Synchronized Languages (FS, IS), pp. 382–396.

DAC-1998-GrbicBCGGLLMSSVZ #design #implementation #multi

Design and Implementation of the NUMAchine Multiprocessor (AG, SDB, SC, RG, MG, GGL, KL, NM, SS, MS, ZGV, ZZ), pp. 66–69.

DATE-1998-BottgerAMS #implementation #object-oriented #prototype #reuse #specification

An Object-Oriented Model for Specification, Prototyping, Implementation and Reuse (JB, KA, DM, SS), pp. 303–310.

DATE-1998-RassauYCLECW #2d #implementation #mobile #parallel

Smart Pixel Implementation of a 2-D Parallel Nucleic Wavelet Transform for Mobile Multimedia Communications (AMR, TCBY, HC, SL, KE, WAC, TDW), pp. 191–195.

DATE-1998-RenovellAB #implementation #multi

Optimized Implementations of the Multi-Configuration DFT Technique for Analog Circuits (MR, FA, YB), pp. 815–821.

DATE-1998-RunjeK #encryption #implementation

Universal Strong Encryption FPGA Core Implementation (DR, MK), pp. 923–924.

VLDB-1998-MuthOPW #data access #design #implementation #performance

Design, Implementation, and Performance of the LHAM Log-Structured History Data Access Method (PM, PEO, AP, GW), pp. 452–463.

WRLA-1998-Borovansky #implementation

Controlling rewriting: study and implementation of a strategy formalism (PB), pp. 299–310.

WRLA-1998-BruniMM #implementation

Internal strategies in a rewriting implementation of tile systems (RB, JM, UM), pp. 263–284.

PLDI-1998-FessantPS #distributed #garbage collection #implementation

An Implementation for Complete, Asynchronous, Distributed Garbage Collection (FLF, IP, MS), pp. 152–161.

PLDI-1998-FrigoLR #implementation #parallel #thread

The Implementation of the Cilk-5 Multithreaded Language (MF, CEL, KHR), pp. 212–223.

PLDI-1998-LewisLS #array #evaluation #implementation

The Implementation and Evaluation of Fusion and Contraction in Array Languages (ECL, CL, LS), pp. 50–59.

PLDI-1998-NeculaL #compilation #design #implementation

The Design and Implementation of a Certifying Compiler (GCN, PL), pp. 333–344.

Best-of-PLDI-1998-NeculaL98a #compilation #design #implementation

The design and implementation of a certifying compiler (with retrospective) (GCN, PL), pp. 612–625.

FLOPS-1998-Hinze #axiom #functional #implementation #prolog

Prological Features in a Functional Setting Axioms and Implementation (RH), pp. 98–122.

WIA-1998-HolubM #approximate #automaton #finite #implementation #nondeterminism #pattern matching

Implementation of Nondeterministic Finite Automata for Approximate Pattern Matching (JH, BM), pp. 92–99.

WIA-1998-HuerterSWY #automaton #finite #implementation

Implementing Reversed Alternating Finite Automaton (r-AFA) Operations (SH, KS, XW, SY), pp. 69–81.

WIA-1998-Velinov #graph #implementation #on the #semantics #syntax

On the Syntax, Semantics, and Implementation of a Graph-Based Computational Environment (YV), pp. 199–212.

FM-1998-GoerigkH #compilation #correctness #how #implementation

Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct (WG, UH), pp. 122–136.

AFP-1998-SwierstraAS98 #combinator #design #implementation

Designing and Implementing Combinator Languages (SDS, PRAA, JS), pp. 150–206.

ICFP-1998-Erlich #design pattern #implementation

Implementing Design Patterns as Language Constructs (YDE), p. 348.

ICFP-1998-ShaoLM #implementation

Implementing Typed Intermediate Languages (ZS, CL, SM), pp. 313–323.

IFL-1998-Assmann #coordination #implementation #performance #process

Performance Results for an Implementation of the Process Coordination Language K2 (CA), pp. 1–19.

IFL-1998-KlusikOP #implementation

Implementing Eden — or: Dreams Become Reality (UK, YOM, RP), pp. 103–119.

IFL-1998-Reid #implementation

Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes (AR), pp. 186–199.

CHI-1998-RoseDMBN #community #design #implementation #learning

Building an Electronic Learning Community: From Design to Implementation (AR, WD, GM, JBJ, VN), pp. 203–210.

AdaEurope-1998-HarbourRGG #ada #execution #implementation #realtime #using

Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications (MGH, MAR, JJGG, JCPG), pp. 90–101.

SIGAda-1998-ReisnerLPS #ada #algorithm #implementation #self

Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95 (JAR, ZL, TJP, SAD), pp. 104–113.

SIGAda-1998-TzruyaB #distributed #implementation #java

A Portable Implementation of the Distributed Systems Annex in Java (YT, MBA), pp. 204–211.

EDOC-1998-Ben-ShaulGR #architecture #component #distributed #framework #implementation #multi

Implementing a component architecture on multiple distributed object frameworks (IBS, JWG, WNR), pp. 319–329.

CIKM-1998-ZhouPL #implementation #process #transaction #workflow

Dynamic Restructuring of Transactional Workflow Activities: A Practical Implementation Method (TZ, CP, LL), pp. 378–385.

ICPR-1998-ShuZ #implementation #verification

Palmprint verification: an implementation of biometric technology (WS, DZ), pp. 219–221.

KR-1998-BrassDNP #comparison #implementation #semantics

A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation (SB, JD, IN, TCP), pp. 74–85.

ECOOP-1998-SmaragdakisB #design #implementation #mixin

Implementing Layered Designs with Mixin Layers (YS, DSB), pp. 550–570.

TOOLS-ASIA-1998-CoddingtonHKMWWIGJT #corba #implementation #java #library #using

Implementation of a Geospatial Imagery Digital Library Using Java and CORBA (PDC, KAH, KEK, JAM, AJS, DLW, PJW, CGI, MWG, RJ, KT), pp. 280–289.

TOOLS-ASIA-1998-LiZG #distributed #implementation #research

Research and Implementation of Distributed Time Service in Distributed Object Environment (YL, XZ, JG), pp. 340–345.

TOOLS-ASIA-1998-NguyenD #design #implementation #object-oriented

Bridging the Gap Between Object Oriented Design and Implementation (KN, TSD), p. 53–?.

TOOLS-ASIA-1998-WangH #data mining #implementation #mining #research

The Research and Implementation of Data Warehouse and Data Mining in Decision Support System (BW, JH), pp. 362–371.

TOOLS-USA-1998-FosterMN #architecture #case study #data-driven #distributed #experience #implementation #named

AutoPilot: Experiences Implementing a Distributed Data-Driven Agent Architecture (SSF, DM, BAN), pp. 259–268.

TOOLS-USA-1998-LeontievOS #implementation #interface #on the #representation

On Separation between Interface, Implementation, and Representation in Object DBMSs (YL, MTÖ, DS), pp. 155–167.

TOOLS-USA-1998-MengerKES #implementation #library #object-oriented

Collection Types and Implementations in Object-Oriented Software Libraries (GM, JLK, ME, AS), p. 97–?.

ALP-PLILP-1998-BreitingerKL #haskell #implementation #parallel #perspective

From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View (SB, UK, RL), pp. 318–334.

ALP-PLILP-1998-Elliott #animation #functional #implementation

Functional Implementations of Continuos Modeled Animation (CE), pp. 284–299.

POPL-1998-Blanchet #analysis #correctness #implementation #proving

Escape Analysis: Correctness Proof, Implementation and Experimental Results (BB), pp. 25–37.

SAC-1998-KappelRR #architecture #database #implementation

A tour on the TriGS active database system — architectue and implementation (GK, SRS, WR), pp. 211–219.

ASPLOS-1998-CitronFR #implementation #multi

Accelerating Multi-Media Processing by Implementing Memoing in Multiplication and Division Units (DC, DGF, LR), pp. 252–261.

ASPLOS-1998-MachanickSP #implementation #memory management #trade-off

Hardware-Software Trade-Offs in a Direct Rambus Implementation of the RAMpage Memory Hierarchy (PM, PS, LP), pp. 105–114.

CC-1998-BrouwerGP #analysis #automaton #finite #implementation #performance

Myths and Facts about the Efficient Implementation of Finite Automata and Lexical Analysis (KB, WG, EP), pp. 1–15.

HPDC-1998-AndersenA #case study #clustering #implementation #multi

Implementation and Utilization of a Heterogeneous Multicomputer Cluster for the Study of Load Balancing Strategies (PHA, JKA), pp. 362–363.

ISMM-1998-ChilimbiL #garbage collection #using

Using Generational Garbage Collection To Implement Cache-Conscious Data Placement (TMC, JRL), pp. 37–48.

LCTES-1998-HinesB #debugging #distributed #implementation #process

Debugging Distributed Implementations of Modal Process Systems (KH, GB), pp. 98–107.

CAV-1998-McMillan #algorithm #composition #implementation #model checking #verification

Verification of an Implementation of Tomasulo’s Algorithm by Compositional Model Checking (KLM), pp. 110–121.

JICSLP-1998-AngelopoulosPW #algorithm #constraints #implementation #logic programming #random

Implementing Randomised Algorithms in Constraint Logic Programming (NA, ADP, HW), pp. 355–356.

JICSLP-1998-HodasWTK #implementation #linear #logic programming #performance #programming language

Efficient Implementation of a Linear Logic Programming Language (JSH, KMW, NT, KSK), pp. 145–159.

LICS-1998-AbadiFG #abstraction #implementation

Secure Implementation of Channel Abstractions (MA, CF, GG), pp. 105–116.

ASE-1997-MarletTC #architecture #implementation #partial evaluation #performance

Mapping Software Architectures to Efficient Implementations via Partial Evaluation (RM, ST, CC), pp. 183–192.

DAC-1997-LiaoTG #design #hardware #implementation #modelling #performance

An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment (SYL, SWKT, RKG), pp. 70–75.

EDTC-1997-DuarteNBZ #design #implementation

Fault-secure shifter design: results and implementations (RdOD, MN, HB, YZ), pp. 335–341.

EDTC-1997-OzimekVT #array #implementation #performance #scheduling

Optimal scheduling for fast systolic array implementations (IO, RV, JFT), p. 620.

EDTC-1997-RoyoML #design #encryption #implementation

Design and implementation of a coprocessor for cryptography applications (AR, JM, JCL), pp. 213–217.

SIGMOD-1997-GriffinH #framework #implementation #query

A Framework for Implementing Hypothetical Queries (TG, RH), pp. 231–242.

SIGMOD-1997-PatelYKTNBHRLEKGDN #evaluation #implementation

Building a Scaleable Geo-Spatial DBMS: Technology, Implementation, and Evaluation (JMP, JBY, NK, KT, BN, JB, NEH, KR, RL, CJE, JK, SG, DJD, JFN), pp. 336–347.

VLDB-1997-Jamil #implementation #inheritance

Implementing Abstract Objects with Inheritance in Datalogneg (HMJ), pp. 56–65.

PLDI-1997-TauraY #approach #compilation #effectiveness #implementation #multi #performance #thread

Fine-grain Multithreading with Minimal Compiler Support — A Cost Effective Approach to Implementing Efficient Multithreading Languages (KT, AY), pp. 320–333.

SAS-1997-Mackie #distributed #implementation #interactive #static analysis

Static Analysis of Interaction Nets for Distributed Implementations (IM), pp. 217–231.

WIA-1997-GarzonGRMDFS #finite #implementation #state machine

In Vitro Implementation of Finite-State Machines (MHG, YG, JAR, RCM, RJD, DRF, SESJ), pp. 56–74.

WIA-1997-GlennG #automaton #finite #implementation #performance

Implementing WS1S via Finite Automata: Performance Issues (JG, WIG), pp. 75–86.

WIA-1997-KirazE #automaton #implementation #multi #prolog #speech

Multi-tape Automata for Speech and Language Systems: A Prolog Implementation (GAK, EGE), pp. 87–103.

WIA-1997-Maout #automaton #tool support

Tools to Implement Automata, a First Step: ASTL (VLM), pp. 104–108.

WIA-1997-SalomaaWY #implementation #performance #regular expression #using

Efficient Implementation of Regular Languages Using R-AFA (KS, XW, SY), pp. 176–184.

FME-1997-PetersohnU #implementation #semantics

A Timed Semantics for the STATEMATE Implementation of Statecharts (CP, LU), pp. 553–572.

FME-1997-YuL #implementation #model checking

Implementing a Model Checker for LEGO (SY, ZL), pp. 442–458.

ICFP-1997-Crary #higher-order #implementation #type system

Foundations for the Implementation of Higher-Order Subtyping (KC), pp. 125–135.

ICFP-1997-Draves #implementation

Implementing Bit-addressing with Specialization (SD), pp. 239–250.

HCI-CC-1997-BadhamM #case study #implementation #tool support

Tools for Implementing Socio-Technical Systems: An Australian Case Study and the Use of Handbooks (RB, IM), pp. 245–248.

HCI-CC-1997-Blanchard #how #human-computer #interactive #question #standard #what

International Standards on Human-Computer Interaction: What is Out There and How Will it be Implemented? (HEB), pp. 599–602.

HCI-CC-1997-EnokiKNESK #implementation

Role-Oriented Organization Model and its Implementation with Agent System (HE, YK, KN, TE, YS, SK), pp. 65–68.

HCI-CC-1997-KorunkaZV #implementation

The Second Vienna Implementation Study. II. An Integrative Model (CK, SZ, OV), pp. 387–390.

HCI-CC-1997-LindstromLS #implementation

Organizational Support and Employee Well-Being in the Implementation of New VDT Application (KL, TL, JS), pp. 373–377.

HCI-CC-1997-SavidisAS #adaptation #architecture #implementation #interactive #interface

Software Architecture for Transformable Interface Implementations: Building User-Adapted Interactions (AS, DA, CS), pp. 453–456.

HCI-CC-1997-ZauchnerKVW #implementation

The Second Vienna Implementation Study: I. Contextual Factors Modifying the Effects of Continuous Implementations of Information Technology (SZ, CK, OV, AW), pp. 383–386.

HCI-SEC-1997-HirotaK #implementation

Implementation of Elastic Object in Virtual Environment (KH, TK), pp. 969–972.

HCI-SEC-1997-Tsunoda #design #implementation

A Design and Implementation of Cyber Laboratory (TT), pp. 483–486.

AdaEurope-1997-BakerO #ada #c #implementation #interface #lessons learnt

Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation (TPB, DIO), pp. 13–22.

AdaEurope-1997-Franch #ada #automation #implementation #non-functional #source code

Including Non-functional Issues in Anna/Ada Programs for Automatic Implementation Selection (XF), pp. 88–99.

AdaEurope-1997-HarbourGG #ada #implementation

Implementing Application-Level Sporadic Server Schedulers in Ada 95 (MGH, JJGG, JCPG), pp. 125–136.

TRI-Ada-1997-KaiserP #case study #implementation #reliability #resource management

Comparing the Reliability Provided by Tasks or Protected Objects for Implementing a Resource Allocation Service: a Case Study (CK, JFPP), pp. 51–65.

TRI-Ada-1997-RileyDP #analysis #implementation #verification

An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation (JDR, SD, WP), pp. 273–278.

CAiSE-1997-JajodiaRA #composition #implementation #semantics #transaction

Implementing Semantic-Based Decomposition of Transactions (SJ, IR, PA), pp. 75–88.

CAiSE-1997-Kaipala #automation #hypermedia #implementation #tool support

Augmenting CASE Tools with Hypertext: Desired Functionality and Implementation Issues (JK), pp. 217–230.

EDOC-1997-EckertS #design #distributed #enterprise #framework #implementation

Engineering Frameworks: A Prerequisite for the Design and Implementation of Distributed Enterprise Objects (KPE, PS), p. 170–?.

EDOC-1997-Grasso #corba #implementation #transaction

Implementing interposition in CORBA Object Transaction Service (EG), pp. 184–189.

EDOC-1997-Peter #corba #implementation #lifecycle

An Implementation of CORBA’s LifeCycle Service (YP), pp. 111–117.

SIGIR-1997-DavisO #implementation #named #retrieval #scalability

QUILT: Implementing a Large-scale Cross-language Text Retrieval System (MWD, WCO), pp. 92–98.

UML-1997-WeberM #concept #diagrams #implementation #modelling #reuse #uml

Reuse of Models and Diagrams of the UML and Implementation Concepts Regarding Dynamic Modeling (WW, PM), pp. 190–203.

OOPSLA-1997-BoylandC #implementation #java #multi

Parasitic Methods: An Implementation of Multi-Methods for Java (JB, GC), pp. 66–76.

OOPSLA-1997-Haines #analysis #design #implementation #lightweight #thread

An Open Implementation Analysis and Design for Lightweight Threads (MH), pp. 229–242.

TOOLS-ASIA-1997-PengCC #analysis #morphism #multi #performance #polymorphism

The Implement Mechanism and Efficiency Analysis of Multiinheritance and Polymorphism (RP, JC, SC), pp. 389–392.

TOOLS-PACIFIC-1997-CasadeiA #implementation

A Language for Implementing Computational Mechanics Applications (FC, JA), pp. 52–67.

TOOLS-PACIFIC-1997-KeedyESM #implementation

Attribute Types and Bracket Implementations (JLK, ME, AS, GM), pp. 325–339.

TOOLS-USA-1997-BencomoLMM #framework #implementation #interface #java

Java Implementations of User-Interface Frameworks (NB, FL, FM, AM), pp. 232–246.

TOOLS-USA-1997-Jakubik #c++ #implementation

Callback Implementations in C++ (PJ), p. 377.

PLILP-1997-EisingerGP #logic

Logic Implemented Functionally (NE, TG, SP), pp. 351–368.

PLILP-1997-OgataF #evaluation #implementation #term rewriting

Implementation of Term Rewritings with the Evaluation Strategy (KO, KF), pp. 225–239.

SAC-1997-BanachP #implementation #interactive

Implementing interaction nets in MONSTR (RB, GAP), pp. 509–514.

SAC-1997-OchiDF #algorithm #design #implementation #parallel #problem #search-based

Design and implementation of a parallel genetic algorithm for the travelling purchaser problem (LSO, LMdAD, RMVF), pp. 257–262.

SAC-1997-ShimazuF #database #implementation #information management

Knowledge discovery in database by Progol-design, implementation and its application to expert system building (KS, KF), pp. 91–93.

ICSE-1997-AvruninCD #realtime

Analyzing Partially-Implemented Real-Time Systems (GSA, JCC, LKD), pp. 228–238.

ICSE-1997-KiczalesLLMMM #design #guidelines #implementation

Open Implementation Design Guidelines (GK, JL, CVL, CM, AM, GCM), pp. 481–490.

ICSE-1997-OshanaC #implementation #maturity #re-engineering

Implementing Cleanroom Software Engineering into a Mature CMM-Based Software Organization (RO, FPC), pp. 572–573.

ASF+SDF-1997-BrandKMO #asf+sdf #ide #implementation #prototype

Implementation of a prototype for the new ASF+SDF meta-environment (MvdB, TK, LM, PO), p. 5.

ASF+SDF-1997-Vigna #implementation #performance #source code #towards

Towards an efficient implementation of distributive programs (SV), p. 13.

PPoPP-1997-NarlikarB #implementation #parallel

Space-Efficient Implementation of Nested Parallelism (GJN, GEB), pp. 25–36.

SOSP-1997-NiehL #design #evaluation #implementation #multi

The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications (JN, MSL), pp. 184–197.

CADE-1997-Hickey #framework #higher-order #implementation #logic #named

Nuprl-Light: An Implementation Framework for Higher-Order Logics (JJH), pp. 395–399.

CADE-1997-Matthews #implementation #induction #using

A Practical Implementation of Simple Consequence Relations Using Inductive Definitions (SM), pp. 306–320.

ICLP-1997-PontelliG #implementation

Implementation Mechanisms for Dependent And-Parallelism (EP, GG), pp. 123–137.

DAC-1996-SrivastavaP #approach #implementation #linear #optimisation #programmable

Power Optimization in Programmable Processors and ASIC Implementations of Linear Systems: Transformation-based Approach (MBS, MP), pp. 343–348.

DAC-1996-StornettaB #implementation #parallel #performance

Implementation of an Efficient Parallel BDD Package (TS, FB), pp. 641–644.

HT-1996-Buford #experience #implementation

Evaluating HyTime: An Examination and Implementation Experience (JFB), pp. 105–115.

SIGMOD-1996-HarinarayanRU #implementation

Implementing Data Cubes Efficiently (VH, AR, JDU), pp. 205–216.

SIGMOD-1996-LibkinMW #array #design #implementation #multi #optimisation #query

A Query Language for Multidimensional Arrays: Design, Implementation, and Optimization Techniques (LL, RM, LW), pp. 228–239.

SIGMOD-1996-SeshadriHPLRSSS #algebra #cost analysis #implementation #optimisation

Cost-Based Optimization for Magic: Algebra and Implementation (PS, JMH, HP, TYCL, RR, DS, PJS, SS), pp. 435–446.

VLDB-1996-SeshadriLR #database #design #implementation #sequence

The Design and Implementation of a Sequence Database System (PS, ML, RR), pp. 99–110.

VLDB-1996-Suciu96a #analysis #implementation #parallel #query

Implementation and Analysis of a Parallel Collection Query Language (DS), pp. 366–377.

RWLW-1996-CiampoliniLMS #distributed #implementation #logic

Distributed logic objects: A fragment of rewriting logic and its implementation (AC, EL, PM, CS), pp. 110–125.

PLDI-1996-TrinderHMPJ #haskell #implementation #named #parallel

GUM: A Portable Parallel Implementation of Haskell (PWT, KH, JSMJ, ASP, SLPJ), pp. 79–88.

ICALP-1996-Joung #interactive #multi

Characterizing Fairness Implementability for Multiparty Interaction (YJJ), pp. 110–121.

WIA-1996-GarzonE #automaton #concurrent #implementation #nondeterminism

Dynamical Implementation of Nondeterministic Automata and Concurrent Systems (MHG, EE), pp. 35–49.

WIA-1996-GlennG #automaton #finite #implementation

Implementing WS1S via Finite Automata (JG, WIG), pp. 50–63.

WIA-1996-RavikumarX #implementation #parallel #problem #sequence #source code

Implementing Sequential and Parallel Programs for the Homing Sequence Problem (BR, XX), pp. 120–131.

FME-1996-KolyangSW #implementation

Correct and User-Friendly Implementations of Transformation Systems (K, TS, BW), pp. 629–648.

FME-1996-PeleskaS #implementation #testing

From Testing Theory to Test Driver Implementation (JP, MS), pp. 538–556.

AFP-1996-Lee96 #implementation #ml #standard #thread

Implementing Threads in Standard ML (PL), pp. 115–130.

ICFP-1996-BlellochG #implementation #performance

A Provable Time and Space Efficient Implementation of NESL (GEB, JG), pp. 213–225.

ICFP-1996-FlanaganN #design #functional #implementation #named #parallel

pHluid: The Design of a Parallel Functional Language Implementation on Workstations (CF, RSN), pp. 169–179.

IFL-1996-BreitingerKL #concurrent #haskell #implementation

An Implementation of Eden on Top of Concurrent Haskell (SB, UK, RL), pp. 141–161.

IFL-1996-Groningen #array #implementation #performance

The Implementation and Efficiency of Arrays in Clean 1.1 (JHGvG), pp. 105–124.

IFL-1996-Serrarens #algorithm #functional #implementation

Implementing the Conjugate Gradient Algorithm in a Functional Language (PRS), pp. 125–140.

CSCW-1996-BiksonE #implementation

Groupware Implementation: Reinvention in the Sociotechnical Frame (TKB, JDE), pp. 428–437.

CSCW-1996-Dewan #collaboration #design #implementation #tutorial

Designing and Implementing Collaborative Applications (Tutorial) (PD), p. 4.

CSCW-1996-HalversonR #design #distributed #implementation #social #tutorial

An Introduction to Distributed Cognition: Analyzing the Organizational, the Social and the Cognitive for Designing and Implementing CSCW Applications (Tutorial) (CH, YR), p. 4.

AdaEurope-1996-LundqvistW #ada #object-oriented #using

Using Object-Oriented Methods in Ada 95 to Implement Linda (KL, GW), pp. 211–222.

AdaEurope-1996-MundieFK #embedded #implementation

Implementing Protected Types on Embedded Targets (DM, JF, EK), pp. 287–297.

AdaEurope-1996-OhBM #ada #implementation

The GNARL Implementation of POSIX/Ada Signal Services (DIO, TPB, SJM), pp. 275–286.

AdaEurope-1996-RybinSKF #implementation #prototype

ASIS for GNAT: From the Prototype to the Full Implementation (SR, AS, AK, VF), pp. 298–311.

TRI-Ada-1996-BeugnardCK #ada #corba #implementation #named #realtime

COREMO: A CORBA Real Time Extension Model and its Ada 95 Implementation (AB, ZC, YK), pp. 255–268.

TRI-Ada-1996-KlinglerS #architecture #implementation #named #process

DAGAR: A Process for Domain Architecture Definition and Asset Implementation (CDK, JS), pp. 231–245.

CIKM-1996-AndrewsLSS #database #implementation #on the #programming language

On Implementing SchemaLog — A Database Programming Language (AA, NS, LVSL, INS), pp. 309–316.

ICPR-1996-BernardoGP #3d #implementation #realtime

Monocular tracking of the human arm in 3D: real-time implementation and experiments (EDB, LG, PP), pp. 622–626.

ICPR-1996-SawasakiMU #analysis #design #implementation #performance #realtime #visual notation

Design and implementation of high-speed visual tracking system for real-time motion analysis (NS, TM, TU), pp. 478–483.

KDD-1996-Ullman #implementation #performance

Efficient Implementation of Data Cubes Via Materialized Views (JDU), pp. 386–388.

KR-1996-BasinMV #framework #implementation #logic

Implementing Modal and Relevance Logics in a Logical Framework (DAB, SM, LV), pp. 386–397.

KR-1996-Hendler #bound #implementation #research

Implementations and Research: Discussions at the Boundary (JAH), pp. 659–660.

KR-1996-MacGregor #bound #implementation #research

Implementations and Research: Discussions at the Boundary (RMM), pp. 657–658.

KR-1996-Schubert #bound #implementation #research

Implementations and Research: Discussions at the Boundary (LKS), pp. 661–662.

KR-1996-Shapiro #bound #implementation #research

Implementations and Research: Discussions at the Boundary (SCS), pp. 663–664.

SEKE-1996-GuilfoyleHSB #algorithm #implementation #knowledge base

Implementation of Selected Data/Knowledge-Base Algorithms on a Digital Optoelectronic Processor (PSG, JMH, RVS, PBB), pp. 571–576.

SIGIR-1996-HendryH #architecture #implementation

An Architecture for Implementing Extensible Information-Seeking Environments (DGH, DJH), pp. 94–100.

ECOOP-1996-KonoKM #distributed #implementation #memory management #using

An Implementation Method of Migratable Distributed Objects Using an RPC Technique Integrated with Virtual Memory Management (KK, KK, TM), pp. 295–315.

OOPSLA-1996-KleindienstPT #corba #implementation #lessons learnt #persistent

Lessons Learned from Implementing the CORBA Persistent Object Service (JK, FP, PT), pp. 150–167.

OOPSLA-1996-VanHilstN #component #design #using

Using Role Components to Implement Collaboration-Based Designs (MVH, DN), pp. 359–369.

ALP-1996-AlouiniK #concurrent #implementation #towards

Toward the Concurrent Implementation of Computational Systems (IA, CK), pp. 1–31.

PLILP-1996-Bagnara #implementation #using

A Reactive Implementation of Pos Using ROBDDs (RB), pp. 107–121.

PLILP-1996-Gorlatch #divide and conquer #implementation #parallel

Systematic Extraction and Implementation of Divide-and-Conquer Parallelism (SG), pp. 274–288.

PLILP-1996-Li #approach #implementation #prolog

Program Sharing: A New Implementation Approach for Prolog (XL), pp. 259–273.

PLILP-1996-Thiemann #implementation #partial evaluation

Implementing Memoization for Partial Evaluation (PT), pp. 198–212.

POPL-1996-GreinerB #implementation #parallel

A Provably Time-Efficient Parallel Implementation of Full Speculation (JG, GEB), pp. 309–321.

SAC-1996-BurkeS #implementation #parallel

Data parallel implementation of surface-to-surface intersection (TMB, CLS), pp. 353–357.

SAC-1996-CucuccioGS #fuzzy #logic #low cost #performance

W.A.R.P and FUZZYSTUDIO: an easy and fast way to implement, With low cost, fuzzy logic control systems (AC, BG, GS), pp. 580–585.

SAC-1996-LeeHHC #case study #how #implementation #performance #problem #process #set

Efficient implementations of two variant subset sum problems: a case study of how to process appraisal books resulting from fire-destroyed money (PL, FYH, CYH, HTC), pp. 230–237.

SAC-1996-LiK #c++ #case study #design #graph #implementation #object-oriented #reuse

An object-oriented design and implementation of reusable graph objects with C++: a case study (WNL, RK), pp. 510–514.

SAC-1996-MonfroyRS #constraints #implementation

Implementing non-linear constraints with cooperative solvers (EM, MR, RS), pp. 63–72.

SAC-1996-SchleiferSP #implementation #smalltalk

The implementation of a Chronicle collection class in Smalltalk/DB (PS, YS, DP), pp. 209–215.

SAC-1996-WaillyB #data flow #functional #implementation #parallel #semantics #specification

Specification of a functional synchronous dataflow language for parallel implementations with the denotational semantics (GdW, FB), pp. 414–419.

ICSE-1996-GodartCCMS #architecture #design #implementation #lessons learnt #process

Designing and Implementing COO: Design Process, Architectural Style, Lessons Learned (CG, GC, FC, PM, HS), pp. 342–352.

ICSE-1996-Vekens #implementation #object-oriented

An Object-Oriented Implementation of B-ISDN Signalling — Part 2: Extendability Stands the Test (AWvdV), pp. 125–132.

CC-1996-BoucherF #compilation #implementation #paradigm #static analysis

Abstract Compilation: A New Implementation Paradigm for Static Analysis (DB, MF), pp. 192–207.

HPCA-1996-AdveCDRZ #comparison #consistency #implementation #lazy evaluation

A Comparison of Entry Consistency and Lazy Release Consistency Implementations (SVA, ALC, SD, RR, WZ), pp. 26–37.

HPDC-1996-BraunCDGG #automation #compilation #distributed #implementation #protocol

ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications (TB, IC, CD, FG, LG), pp. 450–459.

HPDC-1996-LigonR #distributed #file system #implementation #parallel #performance

Implementation and Performance of a Parallel File System for High Performance Distributed Applications (WBLI, RBR), pp. 471–480.

HPDC-1996-RobinsonRFH #implementation #interface #message passing #migration

A Task Migration Implementation of the Message-Passing Interface (JR, SHR, BKF, BH), pp. 61–68.

JICSLP-1996-NiemelaS #implementation #performance #semantics

Efficient Implementation of the Well-founded and Stable Model Semantics (IN, PS), pp. 289–303.

JICSLP-1996-Rao #implementation

Completeness Results for Basic Narrowing in Non-Copying Implementations (MRKKR), pp. 393–407.

JICSLP-1996-Shen #implementation #parallel

Initial Results of the Parallel Implementation of DASWAM (KS), pp. 513–527.

JICSLP-1996-Zhou #implementation #novel

A Novel Implementation Method of Delay (NFZ), pp. 97–111.

DAC-1995-SawasakiYL #implementation

Externally Hazard-Free Implementations of Asynchronous Circuits (MHS, CYC, BL), pp. 718–724.

ICDAR-v2-1995-KimLK #architecture #array #hardware #implementation #parallel #recognition

Parallel hardware implementation of handwritten character recognition system on wavefront array processor architecture (YJK, SWL, MWK), pp. 715–718.

SIGMOD-1995-ThomasDM #design #implementation

Design and Implementation of Advanced Knowledge Processing in the KDMS KRISYS (Demonstration Description) (JT, SD, NMM), p. 479.

SIGMOD-1995-WhiteD #implementation #performance

Implementing Crash Recovery in QuickStore: A Performance Study (SJW, DJD), pp. 187–198.

VLDB-1995-BargaP #composition #implementation #modelling #transaction

A Practical and Modular Implementation of Extended Transaction Models (RSB, CP), pp. 206–217.

VLDB-1995-Wang #implementation #parallel #query #staging

DB2 Query Parallelism: Staging and Implementation (YW), pp. 686–691.

ESOP-J-1994-Andrews95 #constraints #implementation #logic programming

Foundational Issues in Implementing Constraint Logic Programming Systems (JHA), pp. 117–147.

PEPM-1995-PueblaH #implementation #logic programming #multi #source code

Implementation of Multiple Specialization in Logic Programs (GP, MVH), pp. 77–87.

PLDI-1995-AmagbegnonBG #data flow #implementation

Implementation of the Data-Flow Synchronous Language SIGNAL (PA, LB, PLG), pp. 163–173.

SAS-1995-Seward #analysis #haskell #implementation #polymorphism #prototype

Beyond Prototype Implementations: Polymorphic Projection Analysis for Glasgow Haskell (JS), pp. 382–399.

AdaEurope-1995-RybinSZ #implementation #problem

ASIS for GNAT: Goals, Problems and Implementation Strategy (SR, AS, EZ), pp. 139–151.

TRI-Ada-1995-Bardin #ada #concurrent #implementation #source code

Implementing Concurrent Programs in Ada 95 (BMB), pp. 557–654.

ECOOP-1995-StroudW #data type #protocol #using

Using Metaobject Protocols to Implement Atomic Data Types (RJS, ZW), pp. 168–189.

OOPSLA-1995-KiernanC #design #experience #implementation

Extending SQL-92 for OODB Access: Design and Implementation Experience (JK, MJC), pp. 467–480.

PLILP-1995-DawsonRR #design #implementation #logic programming #performance #source code

Design and Implementation of Jump Tables for Fast Indexing of Logic Programs (SD, CRR, IVR), pp. 133–150.

PLILP-1995-DouenceF #functional #implementation #taxonomy #towards

Towards a Taxonomy of Functional Languages Implementations (RD, PF), pp. 27–44.

PLILP-1995-Fasbender #implementation

A Verified Implementation of Narrowing (HF), pp. 63–80.

PLILP-1995-HansSW #functional #implementation #logic

An Expression-Or-Parallel Implementation for a Functional Logic Language (WH, FS, SW), pp. 457–458.

PLILP-1995-Wunderwald #evaluation #implementation

A Portable Implementation of Memoing Evaluation (JEW), pp. 465–466.

RE-1995-JacquotV #assessment #specification

Trading legibility against implementability in requirement specifications: an experimental assessment (JPJ, AV), pp. 181–189.

RE-1995-RameshPSE #case study #implementation #requirements #traceability

Implementing requirements traceability: a case study (BR, TP, CS, ME), pp. 89–99.

SAC-1995-AlfantookhGA #architecture #implementation

Implementation of 2-4 finger trees in the hypercube architecture (AA, KMG, HMAH), pp. 198–205.

SAC-1995-KumblaJB #algorithm #fuzzy #implementation #logic #network #using

Implementation of fuzzy logic and neural networks control algorithm using a digital signal processing chip (KKK, MJ, JBR), pp. 524–528.

SAC-1995-Purdom #implementation #memory management #parallel

Implementing a system on a shared memory parallel processor (REP), pp. 187–190.

ASF+SDF-1995-Klint #asf+sdf #evolution #ide #implementation

The Evolution of Implementation Techniques in the ASF+SDF Meta-environment (PK), pp. 5–26.

HPCA-1995-MichaelS #distributed #implementation #memory management #multi

Implementation of Atomic Primitives on Distributed Shared Memory Multiprocessors (MMM, MLS), pp. 222–231.

HPCA-1995-NuthD #implementation #performance

The Named-State Register File: Implementation and Performance (PRN, WJD), pp. 4–13.

HPCA-1995-Weiss #implementation #multi #queue

Implementing Register Interlocks in Parallel-Pipeline Multiple Instruction Queue, Superscalar Processors (SW), pp. 14–21.

HPDC-1995-BraunSUSYPNFEM #adaptation #implementation

A High Speed Implementation of Adaptive Shaping for Dynamic Bandwidth Allocation (CB, VS, HU, SWS, EY, DWP, DN, VF, JBE, GJM), pp. 94–101.

HPDC-1995-RankinB #algorithm #distributed #implementation #parallel

A Portable Distributed Implementation of the Parallel Multipole Tree Algorithm (WTR, JABJ), pp. 17–22.

SOSP-1995-FeeleyMPKL #clustering #implementation #memory management

Implementing Global Memory Management in a Workstation Cluster (MJF, WEM, FHP, ARK, HML, CAT), pp. 201–212.

ICLP-1995-ChengPE #equation #implementation #logic programming #source code

A Method for Implementing Equational Theories as Logic Programs (MHMC, DSPJ, MHvE), pp. 497–511.

ICLP-1995-Hausman #erlang #hybrid #implementation

Hybrid Implementation Techniques in Erlang BEAM (BH), p. 816.

ICLP-1995-HermenegildoGC #concurrent #implementation #logic programming #parallel #using

Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems (MVH, DCG, MC), pp. 631–645.

ICLP-1995-PontelliGT #implementation #optimisation #prolog

Determinacy Driven Optimizations of And-Parallel Prolog Implementations (EP, GG, DT), pp. 615–629.

ICLP-1995-SagonasW #execution #implementation #performance #prolog

Efficient Execution of HiLog in WAM-based Prolog Implementations (KFS, DSW), pp. 349–363.

ICLP-1995-Sripada #calculus #database #implementation #performance

Efficient Implementation of the Event Calculus for Temporal Database Applications (SMS), pp. 99–113.

ILPS-1995-CarlsonCJ #implementation

The implementation of AKL(FD) (BC, MC, SJ), pp. 227–241.

ILPS-1995-Kuchen #functional #implementation #logic programming #tutorial

Implementation Issues for Functional Logic Programming (Tutorial Abstract) (HK), pp. 612–613.

ILPS-1995-WinikoffH #implementation #linear #logic programming #programming language

Implementing the Linear Logic Programming Language Lygon (MW, JH), pp. 66–80.

RTA-1995-Asperti #exclamation #implementation #optimisation #λ-calculus

deltao!Epsilon = 1 — Optimizing Optimal λ-Calculus Implementations (AA), pp. 102–116.

RTA-1995-Holmes #equation #proving #recursion #theorem

Disguising Recursively Chained Rewrite Rules as Equational Theorems, as Implemented in the Prover EFTTP Mark 2 (MRH), pp. 432–437.

DAC-1994-KondratyevKLVY #implementation #independence

Basic Gate Implementation of Speed-Independent Circuits (AK, MK, BL, PV, AY), pp. 56–62.

EDAC-1994-AlexiouSK #composition #design #implementation #sorting

Design and Implementation of a High-Performance, Modular, Sorting Engine (GA, DS, NK), pp. 2–8.

EDAC-1994-Koudakou #component #implementation #optimisation #statistics

Software Implementation and Statistical Optimization of Some Electronic Component’s Lifetime (KCK), p. 663.

EDAC-1994-NicolaidisB #array #implementation #multi #performance #self

Efficient Implementations of Self-Checking Multiply and Divide Arrays (MN, HB), pp. 574–579.

EDAC-1994-SarmientoE #implementation

Implementation of a CORDIC Processor for CFFT Computation in Gallium Arsenide Technology (RS, KE), pp. 238–244.

EDAC-1994-VacherBGRS #fourier #implementation #parallel #performance

A VLSI Implementation of Parallel Fast Fourier Transform (AV, MB, AG, TR, AS), pp. 250–255.

HT-ECHT-1994-Haake #hypermedia #implementation

Under CoVer: The Implementation of a Contextual Version Server for Hypertext Applications (AH), pp. 81–93.

SIGMOD-1994-MumickP #database #implementation #relational

Implementation of Magic-sets in a Relational Database System (ISM, HP), pp. 103–114.

VLDB-1994-FerrandinaMZ #database #implementation #lazy evaluation

Implementing Lazy Database Updates for an Object Database System (FF, TM, RZ), pp. 261–272.

ESOP-1994-Andrews #constraints #implementation #logic programming

Foundational Issues in Implementing Constraint Logic Programming Systems (JHA), pp. 74–88.

LFP-1994-AshleyD #implementation #multi #performance

An Efficient Implementation of Multiple Return Values in Scheme (JMA, RKD), pp. 140–149.

LFP-1994-Chuang #array #functional #implementation #multi #random

A Randomized Implementation of Multiple Functional Arrays (TRC), pp. 173–184.

CSCW-1994-TriggB #design #implementation

From Implementation to Design: Tailoring and the Emergence of Systematization in CSCW (RHT, SB), pp. 45–54.

TRI-Ada-1994-BodilyEW #ada #implementation

Implementing OSA Model Instances in Ada (SB, DWE, SNW), pp. 331–342.

TRI-Ada-1994-ComarP #ada #implementation

Ada 9X Tagged Types and Their Implementation in GNAT (CC, BP), pp. 71–81.

TRI-Ada-1994-Duncan #ada #implementation

Implementing Internal Program Representations with Ada and Ada 9X (AGD), pp. 154–163.

TRI-Ada-1994-Oliver #ada #concurrent #design #implementation #object-oriented #realtime

Object Oriented Design and Implementation of Concurrent and Real Time Systems in Ada (SRO), pp. 343–349.

TRI-Ada-1994-Pena #bibliography #implementation #lessons learnt #process

Lessons Learned in Implementing a Team Review Process (RP), pp. 24–28.

CIKM-1994-ChenT #implementation #pattern matching #programming

An Optimized Implementation for VML Based on Pattern Matching and Dynamic Programming (WC, VT), pp. 88–96.

KR-1994-BarndenHIS #implementation #nondeterminism #reasoning

An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States (JAB, SH, EI, GCS), pp. 27–38.

SEKE-1994-ChenU #design #implementation #knowledge base

Design and implementation of a knowledge based BPA/BPR tool: EUOBFE (YC, YU), pp. 446–453.

OOPSLA-1994-BeckH #persistent #smalltalk #workflow

Persistent Storgage for a Workflow Tool Implemented in Smalltalk (BB, SH), pp. 373–387.

OOPSLA-1994-HolzleU #implementation #latency #performance

A Third-Generation SELF Implementation: Reconsiling Responsiveness with Performance (UH, DU), pp. 229–243.

OOPSLA-1994-LopezFB #constraints #imperative #implementation #programming language #virtual machine

Implementing Constraint Imperative Programming Languages: The Kaleidospace’93 Virtual Machine (GL, BNFB, AB), pp. 259–271.

PLILP-1994-BrogiCMMPRT #composition #implementation

Implementations of Program Composition Operations (AB, AC, PM, VM, DP, CR, FT), pp. 292–307.

PLILP-1994-Bsaies #implementation #synthesis

Implementing the Synthesis of Properties in Unfold/Fold Transformations (KB), pp. 459–460.

PLILP-1994-ChikayamaFS #implementation #performance

A Portable and Efficient Implementation of KL1 (TC, TF, DS), pp. 25–39.

PLILP-1994-Pettersson #implementation #named #semantics

RML — A New Language and Implementation for Natural Semantics (MP), pp. 117–131.

PLILP-1994-Voronkov #bottom-up #implementation

An Implementation Technique for a Class of Bottom-Up Procedures (AV), pp. 147–164.

POPL-1994-Ramsey #correctness #implementation

Correctness of Trap-Based Breakpoint Implementations (NR), pp. 15–24.

POPL-1994-TofteT #call-by #implementation #stack #using #λ-calculus

Implementation of the Typed Call-by-Value λ-Calculus using a Stack of Regions (MT, JPT), pp. 188–201.

SAC-1994-RondogiannisW #data flow #hardware #higher-order #implementation

Higher-order dataflow and its implementation on stock hardware (PR, WWW), pp. 431–435.

SAC-1994-Sabharwal #algorithm #implementation #performance

A fast implementation of surface/surface intersection algorithm (CLS), pp. 333–337.

ASPLOS-1994-LarusRV #implementation #memory management #named #parallel

LCM: Memory System Support for Parallel Language Implementation (JRL, BR, GV), pp. 208–218.

CC-1994-Ben-AsherRWS #2d #implementation #multi

Implementing 2DT on a Multiprocessor (YBA, GR, RW, AS), pp. 113–127.

CC-1994-HogenL #distributed #implementation #performance

Efficient Organization of Control Structures in Distributed Implementations (GH, RL), pp. 98–112.

CC-1994-JanssensS #abstract interpretation #constraints #implementation #logic programming #on the #source code

On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs (GJ, WS), pp. 172–187.

HPDC-1994-BurrellMP #analysis #capacity #implementation #multi #network #performance #protocol

Performance Analysis of a New Implementation Efficient Capacity Allocation Protocol for Multimedia Traffic in ATM Networks (AB, DM, PPK), pp. 51–60.

HPDC-1994-HuangM #design #implementation #network #reduction

Design and Implementation of Global Reduction Operations Across ATM Networks (CH, PKM), pp. 43–50.

HPDC-1994-MoralesA #design #implementation #logic #protocol

Design of a Header Processor for the PSi Implementation of the Logical Link Control Protocol in LANs (FAM, HAA), pp. 270–277.

HPDC-1994-PuthukattukaranCS #algorithm #design #implementation #parallel

Design and Implementation of Parallel Algorithms for Gene-Finding (JP, SC, PS), pp. 186–193.

CADE-1994-Paulson #approach #implementation #induction

A Fixedpoint Approach to Implementing (Co)Inductive Definitions (LCP), pp. 148–161.

CAV-1994-LeeR #algorithm #implementation #parallel #problem #relational

A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation (IL, SR), pp. 404–414.

ICLP-1994-Janson #implementation

Implementation of Andorra-based Languages (SJ), pp. 9–10.

ISSTA-1994-ChechikG #automation #implementation #requirements #verification

Automatic Verification of Requirements Implementation (MC, JDG), pp. 1–14.

DAC-1993-WooK #clustering #implementation #multi #performance

An Efficient Method of Partitioning Circuits for Multiple-FPGA Implementation. (NSW, JK), pp. 202–207.

KBSE-1993-Feather #bound #implementation

An Implementation of Bounded Obligations (MSF), p. 18.

HT-1993-ShackelfordSS #architecture #distributed #hypermedia #implementation

The Architecture and Implementation of a Distributed Hypermedia Storage System (DES, JBS, FDS), pp. 1–13.

ICDAR-1993-Lemarie #implementation #network #recognition

Practical implementation of a radial basis function network for handwritten digit recognition (BL), pp. 412–415.

ICDAR-1993-PhillipsHHD #database #documentation #implementation

The implementation methodology for a CD-ROM English document database (ITP, JH, RMH, DD), pp. 484–487.

ICDAR-1993-ShabanLNR #image #implementation #performance

Fast image filtering implementation (MS, SL, LN, RB), pp. 735–738.

ICDAR-1993-TangLL #algorithm #implementation #pattern matching #pattern recognition #recognition

VLSI implementation for HVRI algorithm in pattern recognition (YYT, TL, SWL), pp. 460–463.

ICDAR-1993-Yan #classification #design #implementation #nearest neighbour #recognition

Design and implementation of optimized nearest neighbor classifiers for handwritten digit recognition (HY), pp. 10–13.

SIGMOD-1993-ChuMB #design #implementation

The Design and Implementation of CoBase (WWC, MAM, LB), pp. 517–522.

SIGMOD-1993-DerrMP #database #design #implementation

Design and Implementation of the Glue-Nail Database System (MAD, SM, GP), pp. 147–156.

SIGMOD-1993-RamakrishnanSSS #database #deduction #implementation

Implementation of the CORAL Deductive Database System (RR, DS, SS, PS), pp. 167–176.

VLDB-1993-GhandeharizadehHJCELLTZ #database #execution #implementation #modelling #on the #specification

On Implementing a Language for Specifying Active Database Execution Models (SG, RH, DJ, JC, MEM, SHL, JL, CT, GZ), pp. 441–454.

VLDB-1993-HoutsmaWF #algorithm #evaluation #implementation #parallel #performance #transitive

Implementation and Performance Evaluation of a Parallel Transitive Closure Algorithm on PRISMA/DB (MAWH, ANW, JF), pp. 206–217.

PEPM-1993-CharlierH #analysis #evaluation #implementation #prolog

Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop (BLC, PVH), pp. 99–110.

PLDI-1993-GroveT #case study #constant #implementation #interprocedural

Interprocedural Constant Propagation: A Study of Jump Function Implementations (DG, LT), pp. 90–99.

PLDI-1993-PetersonJ #implementation

Implementing Type Classes (JP, MPJ), pp. 227–236.

PLDI-1993-WahbeLG #design #implementation

Practical Data Breakpoints: Design and Implementation (RW, SL, SLG), pp. 1–12.

FME-1993-WidyaH #protocol #specification #towards

Towards an Implementation-oriented Specification of TP Protocol in LOTOS (IW, GJvdH), pp. 93–109.

FPCA-1993-Ang #data flow #implementation #performance

Efficient Implementation of Sequential Loops in Dataflow Computation (BSA), pp. 169–178.

FPCA-1993-Augustsson #haskell #implementation

Implementing Haskell Overloading (LA), pp. 65–73.

FPCA-1993-CattrallR #functional #implementation #programming #relational #representation

Widening the Representation Bottleneck: A Functional Implementation of Relational Programming (DC, CR), pp. 191–200.

FPCA-1993-GrantSWZ #algorithm #finite #functional #implementation

Some Issues in a Functional Implementation of a Finite Element Algorithm (PWG, JAS, MFW, XZ), pp. 12–17.

FPCA-1993-HartelL #benchmark #functional #implementation #lazy evaluation #metric

Benchmarking Implementations of Lazy Functional Languages (PHH, KL), pp. 341–349.

FPCA-1993-KuchenG #implementation #parallel

Parallel Implementation of Bags (HK, KG), pp. 299–307.

HCI-ACS-1993-Badham #design #implementation

Implementing Smart Manufacturing: Some Techniques for Designer/User Cooperation (RJB), pp. 62–67.

HCI-ACS-1993-BrodbeckR #implementation #industrial

Implementing Group Work in the Car Manufacturing Industry: The Foreman as a Focal Factor (FCB, SR), pp. 32–37.

HCI-ACS-1993-HuuhtanenVL #automation #communication #implementation #library #named

Communication — A Key Factor in Implementation of Library Automation (PH, MV, IL), pp. 976–981.

HCI-ACS-1993-LindstromLP #implementation

Follow-up of Job Demands and Strain Symptoms after Implementation of New VDT Applications in an Insurance Company (KL, TL, MP), pp. 1005–1010.

HCI-ACS-1993-PuhakainenTL #aspect-oriented #health #implementation

Follow-up after Implementation of a New Data System and Health Aspects in an Insurance Company (MP, IT, KL), pp. 999–1004.

HCI-ACS-1993-SeppalaT #case study #experience #implementation #industrial

Experiences in the Use and Implementation of Information Technology in the Printing Industry (PKS, ET), pp. 56–61.

HCI-SHI-1993-BenyshK #implementation #simulation

The Implementation of Knowledge Structures in Cognitive Simulation Environments (DVB, RJK), pp. 309–314.

HCI-SHI-1993-LeighR #adaptation #database #hypermedia #implementation #relational

Implementing Adaptable Hypermedia in a Relational Database (WL, JMR), pp. 187–189.

HCI-SHI-1993-MorganHCHQMO #analysis #design #implementation #interactive #knowledge base #multi #perspective

Implementation and Design Issues in Interactive Multi-Media Knowledge Based Systems for Criminal Intelligence Analysis: The Mycroft Perspective (KM, PH, JC, LH, TQ, RM, RO), pp. 513–518.

HCI-SHI-1993-Stelovsky #hypermedia #implementation #parametricity #reuse

Use of Parameters to Facilitate the Implementation of Reusable Hypermedia Modules (JS), pp. 525–530.

AdaEurope-1993-BurnsWBF #case study #design #implementation #realtime

The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation (AB, AJW, CMB, EF), pp. 19–35.

TRI-Ada-1993-Brett #ada #compilation #implementation #what

Smart Recompilation: What Is It?, Its Benefits for the User, and Its Implementation in the DEC Ada Compilation System (BRB), pp. 277–287.

TRI-Ada-1993-GieringMB #ada #design #implementation #thread #using

Implementing Ada 9X Features Using POSIX Threads: Design Issues (EWG, FM, TPB), pp. 214–228.

CIKM-1993-SubramanianA #database #design #implementation #object-oriented

The Design and Implementation of an Expert Object-Oriented Geographic Database Model (RS, NRA), pp. 537–546.

SEKE-1993-AzemBJ #prolog #reliability #source code #testing

Implementation-Oriented Testing and Reliability Determination of Prolog Programs (AA, FB, OJ), pp. 526–533.

SEKE-1993-JonkerG #design #development #implementation #modelling

KBS Development: From Design Models to Implementations (WJ, BG), pp. 657–664.

SEKE-1993-KoonoFTOHB #automation #design #implementation #process

Software Creation: Implementation and Application of Design Process Knowledge in Automatic Software Design (ZK, BHF, TT, MO, KIH, TB), pp. 332–336.

SIGIR-1993-RoseMOPSW #file system #implementation #interface

Content Awareness in a File System Interface: Implementing the “Pile” Metaphor for Organizing Information (DER, RM, TO, DBP, GS, YYW), pp. 260–269.

ECOOP-1993-Achauer #distributed #implementation

Implementation of Distributed Trellis (BA), pp. 103–117.

TOOLS-EUROPE-1993-BahsounFS #approach #design #implementation #object-oriented

Designing and Implementing Synchronization: an Object Oriented Approach (JPB, LF, JCS), pp. 235–248.

TOOLS-EUROPE-1993-McHughC #distributed #eiffel #implementation #persistent

Eiffel**: An Implementation of Eiffel on Amadeus, a Persistent, Distributed Applications Support Environment (CM, VC), pp. 47–62.

TOOLS-PACIFIC-1993-Maughan #implementation #library #persistent #programming #requirements

Persistent Programming: Requirements for a Class Library Implementation (GM), pp. 371–381.

TOOLS-PACIFIC-1993-Peeters #animation #design #implementation #interactive #object-oriented

Design and Implementation of an Object-Oriented, Interactive Animation System (EP), pp. 255–267.

TOOLS-USA-1993-FischerH #distributed #implementation #object-oriented #specification #towards

Towards an Object-Oriented Technology for Specification and Implementation of Distributed Systems (JF, EH), pp. 83–93.

TOOLS-USA-1993-Simmel #implementation #persistent

Implementing Object Persistence and Visibility with Kala (SSS), p. 552.

PLILP-1993-AliK #implementation #novel #parallel

A Novel Method for Parallel Implementation of findall (KAMA, RK), pp. 235–245.

PLILP-1993-BugliesiN #implementation #named

SelfLog: Language and Implementation (MB, GN), pp. 412–413.

PLILP-1993-DovierP #implementation #logic #set

A WAM-Based Implementation of a Logical Language with Sets (AD, EP), pp. 275–290.

PLILP-1993-HogenL #distributed #implementation #runtime #stack

Stack Management of Runtime Structures in Distributed Implementations (GH, RL), pp. 416–417.

PLILP-1993-JourdanBPR #attribute grammar #implementation #specification #using

Specification and Implementation of Grammar Couplings using Attribute Grammars (MJ, CLB, DP, GR), pp. 123–136.

PLILP-1993-Kastens #execution #implementation #specification

Executable Specifications for Language Implementation (UK), pp. 1–11.

PLILP-1993-Mantsivoda #implementation

Flang and its Implementation (AM), pp. 151–166.

PLILP-1993-MoolenaarD #implementation #parallel

A Parallel Implementation for AKL (RM, BD), pp. 246–261.

POPL-1993-DoligezL #concurrent #garbage collection #implementation #ml #parallel #thread

A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML (DD, XL), pp. 113–123.

SAC-1993-Al-HaddadGG #implementation #object-oriented #paradigm #programming #reuse

Dynamic Selection and Reuse of Implementations in the Object-Oriented Programming Paradigm (HMAH, KMG, TG), pp. 452–459.

SAC-1993-BerqueGE #algorithm #implementation #recursion

Implementing Progress Indicators for Recursive Algorithms (DAB, MKG, JAE), pp. 533–538.

FSE-1993-CaiP #algorithm #implementation #towards

Towards Increased Productivity of Algorithm Implementation (JC, RP), pp. 71–78.

HPDC-1993-BraunS #architecture #implementation #parallel

Implementation of a Parallel Transport Subsystem on a Multiprocessor Architecture (TB, CS), pp. 76–83.

HPDC-1993-ButlerLL #implementation #named

P4-Linda: A Portable Implementation of Linda (RB, ALL, ELL), pp. 50–58.

PPoPP-1993-BlellochCHSZ #implementation

Implementation of a Portable Nested Data-Parallel Language (GEB, SC, JCH, JS, MZ), pp. 102–111.

PPoPP-1993-ChakrabartiY #distributed #implementation #memory management #multi

Implementing an Irregular Application on a Distributed Memory Multiprocessor (SC, KAY), pp. 169–178.

PPoPP-1993-TauraMY #concurrent #implementation #multi #object-oriented #performance

An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers (KT, SM, AY), pp. 218–228.

PPoPP-1993-WagnerC #implementation #named #performance

Leapfrogging: A Portable Technique for Implementing Efficient Futures (DBW, BC), pp. 208–217.

ICLP-1993-BevemyrLM #implementation #prolog

Reform Prolog: The Language and Its Implementation (JB, TL, HM), pp. 283–298.

ICLP-1993-BosschereJ #implementation #multi #named #prolog #semantics

Multi-Prolog: Definition, Operational Semantics and Implementation (KDB, JMJ), pp. 299–313.

ICLP-1993-ChikayamaFY #implementation #performance

A Portable and Reasonably Efficient Implementation of KL1 (TC, TF, HY), p. 833.

ICLP-1993-Shen #implementation

Implementing Dynamic Dependent And-Parallelism (KS), pp. 167–183.

ISSTA-1993-BelliJ #analysis #prolog #source code #testing

Implementation-Based Analysis and Testing of Prolog Programs (FB, OJ), pp. 70–80.

RTA-1993-LoweB #algebra #graph grammar #implementation #named

AGG — An Implementation of Algebraic Graph Rewriting (ML, MB), pp. 451–456.

DAC-1992-LiLAS #implementation #on the #problem

On the Circuit Implementation Problem (WNL, AL, PA, SS), pp. 478–483.

PODS-1992-BellNNS #database #deduction #implementation #linear #programming

Implementing Deductive Databases by Linear Programming (CB, AN, RTN, VSS), pp. 283–292.

SIGMOD-1992-Bigelow #constraints #implementation

Implementation of General Constraints in SIM (RB), p. 382.

SIGMOD-1992-Chou #database #design #implementation #persistent #transaction

The Design and Implementation of Persistent Transactions in an Object Database System (HTC), p. 319.

VLDB-1992-GehaniJS #database #implementation #specification

Composite Event Specification in Active Databases: Model & Implementation (NHG, HVJ, OS), pp. 327–338.

VLDB-1992-SimonKM #implementation #relational

Implementing High Level Active Rules on Top of a Relational DBMS (ES, JK, CdM), pp. 315–326.

PLDI-1992-OgataKID #design #implementation

The Design and Implementation of HoME (KO, SK, MI, ND), pp. 44–54.

LFP-1992-KaserPRRS #experience #implementation #lazy evaluation #parallel #performance

Fast Parallel Implementation of Lazy Languages — The EQUALS Experience (OK, SP, CRR, IVR, RCS), pp. 335–344.

LFP-1992-NagasakaSIGT #implementation #lisp #performance

Tachyon Common Lisp: An Efficient and Portable Implementation of CLtL2 (AN, YS, TI, HG, JT), pp. 270–277.

CHI-1992-AhlbergWS #evaluation #implementation #query

Dynamic Queries for Information Exploration: An Implementation and Evaluation (CA, CW, BS), pp. 619–626.

CSCW-1992-GoldbergSS #framework #implementation

Active Mail — A Framework for Implementing Groupware (YG, MS, EYS), pp. 75–83.

CSCW-1992-GrahamU #automation #distributed #implementation #multi

Rational Views as a Model for Automatic Distributed Implementation of Multi-User Applications (TCNG, TU), pp. 59–66.

CSCW-1992-Orlikowski #implementation #learning

Learning from Notes: Organizational Issues in Groupware Implementation (WJO), pp. 362–369.

CSCW-1992-Sanderson #case study #implementation #process

The CSCW Implementation Process: An Interpretative Model and Case Study of the Implementation of a Videoconference System (DS), pp. 370–377.

AdaEurope-1992-LooneyO #ada #distributed #using

Distributed Application Designed Using MASCOT and Implemented in Ada (MJL, AO), pp. 1–8.

TRI-Ada-C-1992-Cleveland #implementation

Implementation versus Binding to the X Window Environment (SC), pp. 477–481.

TRI-Ada-C-1992-Crespi-ReghizziMP #ada #behaviour #concept #experience #implementation #inheritance

Behavioral Inheritance: Concepts, Ada Implementation and Experience (SCR, MDM, SP), pp. 200–210.

TRI-Ada-C-1992-DismukesR #ada #implementation

Implementing Tagged Types and Type Extensions for Ada 9X (GD, MAR), pp. 68–78.

TRI-Ada-C-1992-GieringB #ada #thread #using

Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress (EWG, TPB), pp. 518–529.

TRI-Ada-C-1992-Reed #ada #case study #experience #implementation

Experiences in Implementing Ada 9X Protected Records and Requeue (PR), pp. 62–67.

TRI-Ada-C-1992-RogersP #ada #distributed #implementation

Implementing Distributed Ada (PR, MP), pp. 504–510.

TRI-Ada-C-1992-Sielski #ada #implementation #parallel #thread

Implementing Ada Tasking in a Multiprocessing, Multithreaded UNIX Environment (KLS), pp. 512–517.

TRI-Ada-C-1992-Tokar #ada #implementation

Ada 9X Implementation (JLT), pp. 107–112.

TRI-Ada-T2-1992-MogilenskyM #assessment #implementation #process

After the Assessment: Preparing and Implementing a Process Improvement Action Plan (JM, MM), pp. 590–624.

SEKE-1992-LoiaCQ #framework #implementation #incremental #prolog

Incremental, High Level Implementation of Prolog in an Open System Framework (VL, GC, MQ), pp. 394–403.

ECOOP-1992-Gabelgaard #implementation #object-oriented #programming #using

Using Object-Oriented Programming Techniques for Implementing ISDN Supplementary Services (BG), pp. 213–232.

ECOOP-1992-NormandC #design #implementation #paradigm #user interface

Unifying the Design and Implementation of User Interfaces through the Object Paradigm (VN, JC), pp. 153–169.

OOPSLA-1992-CalderL #documentation #editing #implementation #object-oriented

The Object-Oriented Implementation of a Document Editor (PRC, MAL), pp. 154–165.

OOPSLA-1992-HoskingMS #comparative #evaluation #implementation #performance

A Comparative Performance Evaluation of Write Barrier Implementations (ALH, JEBM, DS), pp. 92–109.

OOPSLA-1992-MasuharaMWY #concurrent #object-oriented

Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently (HM, SM, TW, AY), pp. 127–144.

OOPSLA-1992-Yokote #concept #implementation #operating system

The Apertos Reflective Operating System: The Concept and its Implementation (YY), pp. 414–434.

ALP-1992-GioviniMC #algebra #concurrent #implementation #prototype #specification #tool support

Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems (AG, FM, AC), pp. 335–349.

PLILP-1992-Kahrs #implementation

Unlimp, Uniqueness as a Leitmotiv for Implementation (SK), pp. 115–129.

PLILP-1992-KuchenMH #implementation #independence

Independent AND-Parallel Implementation of Narrowing (HK, JJMN, MVH), pp. 24–38.

PLILP-1992-Moura #action semantics #implementation #semantics

An Implementation of Action Semantics (Summaray) (HM), pp. 477–478.

PLILP-1992-Reus #algebra #higher-order #implementation #specification

Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing (BR), pp. 483–484.

PLILP-1992-Vilo #attribute grammar #implementation #modelling

Implementing Attribute Grammars by Computational Models (JV), pp. 485–486.

POPL-1992-FarrowMY #attribute grammar #composition #design #implementation

Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation (RF, TJM, DMY), pp. 223–234.

ICSE-1992-PeuschelS #concept #implementation #process #rule-based

Concepts and Implementation of a Rule-Based Process Engine (BP, WS), pp. 262–279.

SOSP-WIP-1991-Herlihy92 #concurrent #implementation

A Methodology for Implementing Highly Concurrent Data Objects (Abstract) (MH), p. 12.

SOSP-WIP-1991-Renesse92 #design #implementation #multi

Design and Implementation of a Multicast Transport Service (Abstract) (RvR), p. 31.

CC-1992-ButhBFKLLM #compilation #development #implementation

Provably Correct Compiler Development and Implementation (BB, KHB, MF, BvK, YL, HL, MMO), pp. 141–155.

CC-1992-Poetzsch-Heffter #identification #implementation #specification

Implementing High-Level Identification Specifications (APH), pp. 59–65.

CC-1992-Samples #compilation #data type #implementation #using

Compiler Implementation of ADTs Using Profile Data (ADS), pp. 72–87.

CC-1992-ViklundHF #implementation #programming

The Implementation of ObjectMath — a High-Level Programming Environment for Scientific Computing (LV, JH, PF), pp. 312–318.

IWMM-1992-Delacour #contract #implementation

Allocation Regions & Implementation Contracts (VD), pp. 426–439.

IWMM-1992-HeckW #file system #implementation

An Implementation of an Applicative File System (BCH, DSW), pp. 248–263.

IWMM-1992-Mateu #implementation #performance

An Efficient Implementation for Coroutines (LM), pp. 230–247.

CADE-1992-PfenningR #deduction #implementation

Implementing the Meta-Theory of Deductive Systems (FP, ER), pp. 537–551.

CADE-1992-Schumann #logic #named #proving #theorem proving

KPROP — An AND-parallel Theorem Prover for Propositional Logic implemented in KL1 (System Abstract) (JS), pp. 740–742.

JICSLP-1992-GudemanBD #implementation #named #performance

jc: An Efficient and Portable Sequential Implementation of Janus (DG, KDB, SKD), pp. 399–413.

JICSLP-1992-KuchenLMR #constraints #functional #implementation #lazy evaluation #logic

Implementing a Lazy Functional Logic Language with Disequality Constraints (HK, FJLF, JJMN, MRA), pp. 207–221.

DAC-1991-MassonEBWC #implementation #lisp #object-oriented

Object Oriented Lisp Implementation of the CHEOPS VLSI Floor Planning and Routing System (CM, RE, DB, DW, GC), pp. 259–264.

KBSE-1991-Morris #coordination #implementation #process

Implementation of an Activity Coordination System (RM), pp. 208–214.

HT-1991-HaraKW #database #exception #hypermedia #implementation

Implementing Hypertext Database Relationships through Aggregations and Exceptions (YH, AMK, GW), pp. 75–90.

VLDB-1991-WidomCL #implementation

Implementing Set-Oriented Production Rules as an Extension to Starburst (JW, RC, BGL), pp. 275–285.

PLDI-1991-KishonHC #execution #framework #implementation #monitoring #reasoning #semantics #specification

Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors (AK, PH, CC), pp. 338–352.

WSA-1991-ColbyL #implementation #partial evaluation

An Implementation of Parametrized Partial Evaluation (CC, PL), pp. 82–89.

FPCA-1991-AikenM #implementation

Implementing Regular Tree Expressions (AA, BRM), pp. 427–447.

FPCA-1991-FrandsenS #implementation #performance #question #what #λ-calculus

What is an Efficient Implementation of the λ-calculus? (GSF, CS), pp. 289–312.

FPCA-1991-Maranget #implementation #lazy evaluation #ml #named #parallel

GAML: a Parallel Implementation of Lazy ML (LM), pp. 102–123.

AdaEurope-1991-SouposG #ada #distributed #object-oriented #transaction #using

Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS (PS, SG), pp. 252–259.

CAiSE-1991-ConradiM #design #implementation #transaction

Cooperating Transactions and Workspaces in EPOS: Design and Preliminary Implementation (RC, CCM), pp. 375–392.

CAiSE-1991-Kalman #algorithm #concept #database #implementation #relational

Implementation and Critique of an Algorithm which Maps a Relational Database to a Conceptual Model (KK), pp. 393–415.

KR-1991-Rich #information management #question #reasoning #representation

Implemented Knowledge Representation and Reasoning Systems: An Endangered Species? (CR), pp. 591–592.

ECOOP-1991-Almarode #design #implementation

Issues in the Design and Implementation of a Schema Designer for an OODBMS (JA), pp. 200–218.

ECOOP-1991-LippeF #implementation

Implementation Techniques for Integral Version Management (EL, GF), pp. 342–359.

ECOOP-1991-Rao

Implementational Reflection in Silica (RR), pp. 251–267.

OOPSLA-1991-HansonHR #case study #database #experience #implementation #object-oriented #persistent #programming language #tool support #using

Experiences in DBMS Implementation Using an Object-Oriented Persistent Programming Language and a Database Toolkit (ENH, TMH, MAR), pp. 314–328.

PLILP-1991-Aasa #implementation #programming language #specification

Precedences in Specifications and Implementations of Programming Languages (AA), pp. 183–194.

PLILP-1991-ChakravartyL #implementation #lazy evaluation

The Implementation of Lazy Narrowing (MMTC, HCRL), pp. 123–134.

ICSE-1991-Litke #implementation #process #towards

Toward new Techniques to Assess the Software Implementation Process (JDL), pp. 74–82.

ASPLOS-1991-BagrodiaM #implementation #parallel #performance #source code

Efficient Implementation of High Level Parallel Programs (RB, SM), pp. 142–151.

SOSP-1991-CarterBZ #implementation #performance

Implementation and Performance of Munin (JBC, JKB, WZ), pp. 152–164.

SOSP-1991-DravesBRD #communication #concurrent #continuation #operating system #thread #using

Using Continuations to Implement Thread Management and Communication in Operating Systems (RD, BNB, RFR, RWD), pp. 122–136.

SOSP-1991-RosenblumO #design #file system #implementation

The Design and Implementation of a Log-Structured File System (MR, JKO), pp. 1–15.

CSL-1991-Dahlhaus #first-order #how #memory management #modelling

How to Implement First Order Formulas in Local Memory Machine Models (ED), pp. 68–78.

ICLP-1991-CostaWY91a #implementation #parallel

The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model (VSC, DHDW, RY), pp. 825–839.

ICLP-1991-JayaramanN #implementation #logic programming

Implementation Techniques for Scoping Constructs in Logic Programming (BJ, GN), pp. 871–886.

DAC-1990-BraceRB #implementation #performance

Efficient Implementation of a BDD Package (KSB, RLR, REB), pp. 40–45.

DAC-1990-SatoKO #hardware #implementation #memory management

A Hardware Implementation of Gridless Routing Based on Content Addressable Memory (MS, KK, TO), pp. 646–649.

SIGMOD-1990-BernsteinHM #implementation #using

Implementing Recoverable Requests Using Queues (PAB, MH, BM), pp. 112–122.

SIGMOD-1990-RosenthalG #graph #implementation #query

Query Graphs, Implementing Trees, and Freely-Reorderable Outerjoins (AR, CAGL), pp. 291–299.

VLDB-1990-DrewKH #algorithm #implementation #performance

The Performance and Utility of the Cactis Implementation Algorithms (PD, RK, SEH), pp. 135–147.

VLDB-1990-KuittinenNSS #bottom-up #evaluation #implementation #logic #performance #query

Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries (JK, ON, SS, ESS), pp. 372–379.

ESOP-1990-Bertot #implementation #interpreter #parallel

Implementation of an Interpreter for a Parallel Language in Centaur (YB), pp. 57–69.

ESOP-1990-GoldbergP #analysis #functional #higher-order #implementation #optimisation #stack

Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations (BG, YGP), pp. 152–160.

ESOP-1990-KuchenLMR #functional #graph #implementation #logic

Graph-based Implementation of a Functional Logic Langugage (HK, RL, JJMN, MRA), pp. 271–290.

ESOP-1990-SchreyePRB #constraints #implementation #logic programming #prolog

Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism (DDS, DP, JR, MB), pp. 106–117.

PLDI-1990-JourdanPJDB #attribute grammar #design #evaluation #implementation

Design, Implementation and Evaluation of the FNC-2 Attribute Grammar System (MJ, DP, CJ, OD, CLB), pp. 209–222.

PLDI-1990-Kessler #design #implementation #performance

Fast Breakpoints: Design and Implementation (PBK), pp. 78–84.

Best-of-PLDI-1990-Kessler90a #design #implementation #performance

Fast breakpoints: design and implementation (with retrospective) (PBK), pp. 390–397.

VDME-1990-Weber-Wulff #implementation #using

A Buffering System Implementation using VDM (DWW), pp. 135–149.

LFP-1990-GiorgiM #functional #implementation #parallel #programming language

Continuation-Based Parallel Implementation of Functional Programming Languages (JFG, DLM), pp. 209–217.

GG-1990-BunkeGT #algorithm #graph grammar #implementation #performance

An Efficient Implementation of Graph Grammars Based on the RETE Matching Algorithm (HB, TG, THT), pp. 174–189.

CHI-1990-GeorgeVN #analysis #implementation #process

The organizational implementation of an electronic meeting system: an analysis of the innovation process (JFG, JSV, JFNJ), pp. 361–368.

CSCW-1990-HartE #effectiveness #implementation #integration #network

Computer Integration: a Co-Requirement for Effective Inter-Organization Computer Network Implementation (PH, DE), pp. 131–142.

SEKE-1990-BerztissL #implementation #prototype

The Prototyping Language SF and its Implementation (ATB, CTL), pp. 51–57.

ALP-1990-Lescanne #implementation

Implementations of Completion by Transition Rules + Control: ORME (PL), pp. 262–269.

ALP-1990-Walters #algebra #hybrid #implementation #specification

Hybrid Implementations of Algebraic Specifications (HRW), pp. 40–54.

PLILP-1990-Huitouze #data type #implementation #prolog

A New Data Structure for Implementing Extensions to Prolog (SLH), pp. 136–150.

PLILP-1990-KirchnerV #implementation #parallel

Implementing Parallel Rewriting (CK, PV), pp. 1–15.

PLILP-1990-LimM #implementation #logic

Implementing a Meta-Logical Scheme (PL, DNM), pp. 106–120.

POPL-1990-DemersWHBBS #framework #garbage collection #implementation

Combining Generational and Conservative Garbage Collection: Framework and Implementations (AJD, MW, BH, HJB, DGB, SS), pp. 261–269.

ICSE-1990-Diaz #case study #classification #experience #implementation #reuse

Implementing Faceted Classification for Software Reuse (Experience Report) (RPD), pp. 300–304.

WAGA-1990-JourdanBP #attribute grammar #design #evaluation #implementation

The OLGA Attribute Grammar Description Language: Design, Implementation and Evaluation (MJ, CLB, DP), pp. 222–237.

WAGA-1990-ShinodaK #algorithm #attribute grammar #distributed #evaluation #implementation #object-oriented #using

Object-Oriented Extension of Attribute Grammars and its Implementation Using Distributed Attribute Evaluation Algorithm (YS, TK), pp. 177–191.

CC-1990-HartwigSS #ada #implementation #interface #specification

Specification and Implementation of a Tree-Abiding Interface for Ada (Extended Abstract) (MH, ES, RS), pp. 215–216.

CC-1990-Paakki #definite clause grammar #implementation

A Practical Implementation of DCGs (Abstract) (JP), pp. 224–225.

PPoPP-1990-AmbriolaCD #design #distributed #implementation #logic #parallel #prolog

Design and Distributed Implementation of the Parallel Logic Language Shared Prolog (VA, PC, MD), pp. 40–49.

PPoPP-1990-ChangE #functional #implementation #predict

An Implementation of a Barotropic Numerical Weather Prediction Model in the Functional Language SISAL (PSC, GKE), pp. 109–117.

PPoPP-1990-Herlihy #concurrent #data type #implementation

A Methodology for Implementing Highly Concurrent Data Structures (MH), pp. 197–206.

PPoPP-1990-RamkumarK #compilation #implementation #kernel #parallel #prolog

A Chare Kernel Implementation of a Parallel Prolog Compiler (BR, LVK), pp. 99–108.

CADE-1990-CostaHLS #automation #implementation #logic #proving #theorem proving

Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation (NCAdC, LJH, JJL, VSS), pp. 72–86.

CADE-1990-Lescanne #implementation #named #set

ORME: An Implementation of Completion Procedures as Sets of Transition Rules (PL), pp. 661–662.

CADE-1990-NieuwenhuisOR #implementation #named

TRIP: An Implementation of Clausal Rewriting (RN, FO, AR), pp. 667–668.

CADE-1990-SchumannLK #implementation #parallel #performance #proving #theorem proving #tutorial

Tutorial on High-Performance Theorem Provers: Efficient Implementation and Parallelisation (JS, RL, FJK), p. 683.

CAV-1990-Pixley #equivalence #hardware #implementation

Introduction to a Computational Theory and Implementation of Sequential Hardware Equivalence (CP), pp. 54–64.

CLP-1990-UedaM90 #haskell #implementation

A New Implementation Technique for Flat GHC (KU, MM), pp. 3–17.

CSL-1990-BorgerR #algebra #implementation #prolog #towards

From Prolog Algebras Towards WAM — A Mathematical Study of Implementation (EB, DR), pp. 31–66.

NACLP-1990-Ciepielewski #implementation #parallel #prolog

Parallel Implementations of Prolog (AC), p. 835.

NACLP-1990-Crammond #implementation #parallel #scheduling

Scheduling and Variable Assignment in the Parallel PARLOG Implementation (JAC), pp. 642–657.

NACLP-1990-GuptaJ #implementation #optimisation #parallel

Optimizing And-Or Parallel Implementations (GG, BJ), pp. 605–623.

DAC-1989-OdentCM #feedback #implementation #multi #scalability

Feedback Loops and Large Subcircuits in the Multiprocessor Implementation of a Relaxation Based Circuit Simulator (PO, LJMC, HDM), pp. 25–30.

DAC-1989-VillaS #finite #implementation #logic #named #state machine

NOVA: State Assignment of Finite State Machines for Optimal Two-level Logic Implementations (TV, ALSV), pp. 327–332.

VLDB-1989-Olive #concept #deduction #design #implementation #information management #modelling #on the

On the design and implementation of information systems from deductive conceptual models (AO), pp. 3–11.

PLDI-1989-HorwatCD #experience #implementation #programming

Experience with CST: Programming and Implementation (WH, AAC, WJD), pp. 101–109.

FPCA-1989-Bloss #analysis #functional #implementation #performance

Update Analysis and the Efficient Implementation of Functional Aggregates (AGB), pp. 26–38.

CHI-1989-Wellner #implementation #named #prototype

Statemaster: A UIMS based on statecharts for prototyping and target implementation (PDW), pp. 177–182.

CAiSE-1989-HernbackL #analysis #automation #classification #framework #implementation #tool support

A Framework for Use and Classification of CASE Tools in Systems Analysis and a Strategy for Implementation (JH, IL).

ML-1989-MarkovitchS #implementation

Information Filters and Their Implementation in the SYLLOG System (SM, PDS), pp. 404–407.

OOPSLA-1989-ChambersUL #dynamic typing #implementation #object-oriented #performance #prototype

An Efficient Implementation of SELF — a Dynamically-Typed Object-Oriented Language Based on Prototypes (CC, DU, EL), pp. 49–70.

OOPSLA-1989-Dussud #implementation #named #product line

TICLOS: An Implementation of CLOS for the Explorer Family (PHD), pp. 215–219.

ESEC-1989-Gottler #graph grammar #implementation #paradigm #visual notation

Graph Grammars, a new Paradigm for Implementing Visual Languages (HG), pp. 336–350.

ASPLOS-1989-VegdahlP #implementation #runtime

The Run-Time Environment for Screme, A Scheme Implementation on the 88000 (SRV, UFP), pp. 172–182.

SOSP-1989-CoxF #abstraction #case study #experience #implementation #memory management #multi

The Implementation of a Coherent Memory Abstraction on a NUMA Multiprocessor: Experiences with PLATINUM (ALC, RJF), pp. 32–44.

RTA-1989-Gottler #graph grammar #implementation #visual notation

Graph Grammars, A New Paradigma for Implementing Visual Languages (HG), pp. 152–166.

RTA-1989-Lindenstrauss #implementation #parallel

A Parallel Implementation of Rewriting and Narrowing (NL), pp. 569–573.

SIGMOD-1988-ChenG #implementation #reasoning

An Implementation Model for Reasoning with Complex Objects (QC, GG), pp. 164–172.

SIGMOD-1988-SellisLR #algorithm #concept #implementation #scalability

Implementing Large Production Systems in a DBMS Environment: Concepts and Algorithms (TKS, CCL, LR), pp. 404–412.

VLDB-1988-DeshpandeG #database #implementation #relational

An Implementation for Nested Relational Databases (AD, DVG), pp. 76–87.

VLDB-1988-LecluseS #implementation #interface #query

Implementing Queries and Updates on Universal Scheme Interfaces (CL, NS), pp. 62–75.

VLDB-1988-LeeFL #functional #implementation #interpreter #query

Implementing an Interpreter for Functional Rules in a Query Optimizer (MKL, JCF, GML), pp. 218–229.

VLDB-1988-LinnemannKDPEKSWW #data type #database #design #implementation

Design and Implementation of an Extensible Database Management System Supporting User Defined Data Types and Functions (VL, KK, PD, PP, RE, AK, NS, GW, MW), pp. 294–305.

VLDB-1988-SeegerK #data access #design #implementation #performance

Techniques for Design and Implementation of Efficient Spatial Access Methods (BS, HPK), pp. 360–371.

ESOP-1988-Diepen #algebra #composition #implementation #specification

Implementation of Modular Algebraic Specifications (NWPvD), pp. 64–78.

ESOP-1988-Laville #algorithm #implementation #lazy evaluation #pattern matching

Implementation of Lazy Pattern Matching Algorithms (AL), pp. 298–316.

ESOP-1988-WeemeeuwBH #architecture #data flow #implementation #logic programming #on the #programming language

On Implementing Logic Programming Languages on a Dataflow Architecture (PW, MB, MDH), pp. 359–372.

PLDI-1988-AndrewsHY #compilation #design #implementation

Design and Implementation of the UW Illustrated Compiler (KA, RRH, WKY), pp. 105–114.

LFP-1988-ClingerHO #continuation #implementation

Implementation Strategies for Continuations (WDC, AH, EO), pp. 124–131.

LFP-1988-GoldmanG #implementation

Preliminary Results with the Initial Implementation of Qlisp (RG, RPG), pp. 143–152.

LFP-1988-MacQueen #implementation #ml #standard

An Implementation of Standard ML Modules (DBM), pp. 212–223.

LFP-1988-SwansonKL #implementation #lisp #standard

An Implementation of Portable Standard LISP on the BBN Butterfly (MRS, RRK, GL), pp. 132–142.

ECOOP-1988-DoiKH #concurrent #implementation #kernel #object-oriented #operating system #using

An Implementation of an Operating System Kernel Using Concurrent Object-Oriented Language ABCL/c+ (ND, YK, KH), pp. 250–266.

ECOOP-1988-Paepcke #flexibility #implementation #named #persistent

PCLOS: A Flexible Implementation of CLOS Persistence (AP), pp. 374–389.

ECOOP-1988-ParringtonS #concurrent #implementation #object-oriented #reliability

Implementing Concurrency Control in Reliable Object-Oriented Systems (GDP, SKS), pp. 233–249.

ECOOP-1988-SchelvisB #distributed #implementation #smalltalk

The Implementation of a Distributed Smalltalk (MS, EB), pp. 212–232.

OOPSLA-1988-RubinJMG #implementation #smalltalk

A Smalltalk Implementation of an Intelligent Operator’s Associate (KSR, PMJ, CMM, TCG), pp. 234–247.

OOPSLA-1988-Shibayama #approach #concurrent #distributed #how #implementation

How To Invent Distributed Implementation Schemes of an Object-Based Concurrent Language: A Transformational Approach (ES), pp. 297–305.

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

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

ICSE-1988-Barstow #automation #implementation #programming

Automatic Programming for Streams II: Transformational Implementation (DRB), pp. 439–447.

CCHSC-1988-Koskimies #aspect-oriented #implementation #re-engineering

Software Engineering Aspects in Language Implementation (KK), pp. 39–51.

CCHSC-1988-Poetzsch-Heffter #compilation #implementation #optimisation #specification

Optimizing Implementation of Aggregates in the Compiler Specification System MAGIC (APH), pp. 190–203.

PPEALS-1988-Katseff #assembly #clustering #parallel #using

Using Data Partitioning to Implement a Parallel Assembler (HPK), pp. 66–76.

PPEALS-1988-LeeSF #implementation #multi #on the

On the Implementation of Applicative Languages on Shared-Memory, MIMD Multiprocessors (CCL, SKS, JF), pp. 188–197.

PPEALS-1988-Rose #composition #implementation #parallel

The Parallel Decomposition and Implementation of an Integrated Circuit Global Router (JR), pp. 138–145.

CADE-1988-HeiselRS #implementation #verification

Implementing Verification Strategies in the KIV-System (MH, WR, WS), pp. 131–140.

CADE-1988-MantheyB #named #prolog #proving #theorem proving

SATCHMO: A Theorem Prover Implemented in Prolog (RM, FB), pp. 415–434.

CADE-1988-MarcusR #automation #implementation #proving

Two Automated Methods in Implementation Proofs (LM, TR), pp. 622–642.

CADE-1988-MurrayR #implementation

An Implementation of a Dissolution-Based System Employing Theory Links (NVM, ER), pp. 658–674.

CADE-1988-SmithL #implementation #prolog

An nH-Prolog Implementation (BTS, DWL), pp. 766–767.

JICSCP-1988-Bacha88 #design #implementation #prolog

Meta Prolog Design and Implementation (HB), pp. 1371–1387.

JICSCP-1988-CarlssonDO88 #approach #implementation

A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment (MC, KJD, RAO), pp. 1565–1577.

JICSCP-1988-Docker88 #analysis #implementation #named #prolog

SAME — A Structured Analysis Tool and its Implementation in Prolog (TWGD), pp. 82–95.

JICSCP-1988-HannanM88 #higher-order #implementation #unification

Uses of Higher-Order Unification for Implementing Program Transformers (JH, DM), pp. 942–959.

JICSCP-1988-JayaramanN88 #implementation #logic programming

Subset-Logic Programming: Application and Implementation (BJ, AN), pp. 843–858.

JICSCP-1988-NilssonT88 #haskell #implementation

A Flat GHC Implementation for Supercomputers (MN, HT), pp. 1337–1350.

JICSCP-1988-Waern88 #abstract interpretation #implementation #prolog

An Implementation Technique for the Abstract Interpretation of Prolog (AW), pp. 700–710.

JICSCP-1988-Zaniolo88 #data-driven #design #implementation #logic

Design and Implementation of a Logic Based Language for Data Intensive Applications (CZ), pp. 1666–1687.

DAC-1987-Kingsley #compilation #implementation #state machine

The Implementation of a State Machine Compiler (CK), pp. 580–583.

DAC-1987-MaDSW #algorithm #implementation #logic #parallel #verification

Logic Verification Algorithms and Their Parallel Implementation (HKTM, SD, ALSV, RW), pp. 283–290.

DAC-1987-SchuckWGK #compilation #design #experience #implementation

The ALGIC Silicon Compiler System: Implementation, Design Experience and Results (JS, NW, MG, GK), pp. 370–375.

PODS-1987-Hegner #database #implementation #source code #specification

Specification and Implementation of Programs for Updating Incomplete Information Databases (SJH), pp. 146–158.

PODS-1987-Marchetti-SpaccamelaPS #analysis #complexity #implementation #logic #query #worst-case

Worst-case Complexity Analysis of Methods for Logic Query Implementation (AMS, AP, DS), pp. 294–301.

SIGMOD-1987-BanerjeeKKK #database #evolution #implementation #object-oriented #semantics

Semantics and Implementation of Schema Evolution in Object-Oriented Databases (JB, WK, HJK, HFK), pp. 311–322.

SIGMOD-1987-NixonCLBMS #case study #compilation #experience #implementation #semantics

Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis (BAN, LC, DL, AB, JM, MS), pp. 118–131.

SIGMOD-1987-PaulSSWD #architecture #database #implementation #kernel

Architecture and Implementation of the Darmstadt Database Kernel System (HBP, HJS, MHS, GW, UD), pp. 196–207.

SIGMOD-1987-RichardsonC #database #implementation #programming

Programming Constructs for Database System Implementation in EXODUS (JER, MJC), pp. 208–219.

PLDI-1987-Krall #implementation #interpreter #performance #prolog

Implementation of a high-speed Prolog interpreter (AK), pp. 125–131.

PLDI-1987-ShebsK #automation #data type #design #implementation

Automatic design and implementation of language data types (SS, RRK), pp. 26–37.

FPCA-1987-BellotJ #implementation

A theory for natural modelisation and implementation of functions with variable arity (PB, VJ), pp. 212–233.

HCI-CE-1987-Soloway #specification #what

I Can’t Tell What in the Code Implements What in the Specs (ES), pp. 317–328.

HCI-CE-1987-ZhangCW #data-driven #design #implementation #user interface

The Design and Implementation of a Data-Driven User Interface (FZ, SC, SW), pp. 183–190.

HCI-SES-1987-KaplanD #implementation #information management

Job-Related Responses to a Clinical Laboratory Computer Information System Seven Months Post Implementation (BK, DD), pp. 17–24.

ECOOP-1987-BlakeC #implementation #object-oriented #on the #smalltalk

On Including Part Hierarchies in Object-Oriented Languages with an Implementation in Smalltalk (EHB, SC), pp. 41–50.

OOPSLA-1987-Bennett #design #distributed #implementation #smalltalk

The Design and Implementation of Distributed Smalltalk (JKB), pp. 318–330.

ESEC-1987-CollbergK #implementation #multi

A Property-Based Method for Selecting Among Multiple Implementations of Modules (CSC, MGK), pp. 193–201.

ASPLOS-1987-GeorgiouPR #implementation

An Experimental Coprocessor for Implementing Persistant Objects on an IBM 4381 (CJG, SLP, PLR), pp. 84–87.

SOSP-1987-BirrellJW #big data #database #implementation #performance

A Simple and Efficient Implementation for Small Databases (AB, MBJ, EW), pp. 149–154.

SOSP-1987-LiskovCJS #implementation

Implementation of Argus (BL, DC, PJ, RS), pp. 111–122.

SOSP-1987-VargheseL #data type #implementation #performance

Hashed and Hierarchical Timing Wheels: Data Structures for the Efficient Implementation of a Timer Facility (GV, AL), pp. 25–38.

SOSP-1987-YoungTRGECBBB #communication #implementation #memory management #multi #operating system

The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System (MY, AT, RFR, DBG, JLE, JC, WJB, DLB, RVB), pp. 63–76.

ICLP-1987-Carlsson87 #implementation

Freeze, Indexing, and Other Implementation Issues in the WAM (MC), pp. 40–58.

ICLP-1987-Conery87 #execution #implementation #nondeterminism

Implementing Backward Execution in Non-Deterministic AND-Parallel Systems (JSC), pp. 633–653.

ICLP-1987-GeeMP87 #implementation #prolog

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

ICLP-1987-IchiyoshiMT87 #distributed #haskell #implementation #multi

A Distributed Implementation of Flat GHC on the Multi-PSI (MI, TM, KT), pp. 257–275.

ICLP-1987-JaffarM87 #implementation

Methodology and Implementation of a CLP System (JJ, SM), pp. 196–218.

ICLP-1987-LindholmO87 #implementation #performance #prolog #semantics

Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code (TGL, RAO), pp. 21–39.

ICLP-1987-SaccaZ87 #implementation #logic #query #recursion

Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic (DS, CZ), pp. 104–135.

ICLP-1987-Shapiro87 #algorithm #execution #implementation #prolog

An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation (EYS), pp. 311–337.

RTA-1987-ODonnell #equation #implementation #logic programming

Term-Rewriting Implementation of Equational Logic Programming (MJO), pp. 1–12.

SLP-1987-Ali87 #execution #implementation #parallel #prolog

A Method for Implementing Cut in Parallel Execution of Prolog (KAMA), pp. 449–456.

SLP-1987-ChenxiYLY87 #database #implementation #prolog

Implementation of a Prolog Code Database and Source Database in Compiler-Based Systems (CZ, TY, LL, HY), pp. 398–405.

SLP-1987-Wallace87 #constraints #database #deduction #implementation #performance

Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases (MW), pp. 253–263.

SLP-1987-Warren87 #design #execution #implementation #prolog

The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues (DHDW), pp. 92–102.

DAC-1986-Coppola #heuristic #implementation

An implementation of a state assignment heuristic (AJC), pp. 643–649.

DAC-1986-WatanabeS #algorithm #hardware #implementation

A new routing algorithm and its hardware implementation (TW, YS), pp. 574–580.

PODS-1986-BancilhonMSU #logic programming #set #source code

Magic Sets and Other Strange Ways to Implement Logic Programs (FB, DM, YS, JDU), pp. 1–15.

PODS-1986-SaccaZ #database #implementation #logic #on the #query

On the Implementation of a Simple Class of Logic Queries for Databases (DS, CZ), pp. 16–23.

VLDB-1986-ValduriezKC #implementation

Implementation Techniques of Complex Objects (PV, SK, GPC), pp. 101–110.

ESOP-1986-BertE #design #functional #implementation #logic #programming language

Design and Implementation of a Generic, Logic and Functional Programming Language (DB, RE), pp. 119–132.

ESOP-1986-Boizumault #implementation #prolog

A Classical Implementation for Prolog-II (PB), pp. 262–273.

ESOP-1986-GlaserH #implementation

Another Implementation Technique for Applicative Languages (HG, SH), pp. 70–81.

STOC-1986-KarlinU #implementation #memory management #parallel #performance

Parallel Hashing-An Efficient Implementation of Shared Memory (Preliminary Version) (ARK, EU), pp. 160–168.

LFP-1986-BartleyJ #implementation

The Implementation of PC Scheme (DHB, JCJ), pp. 88–93.

LFP-1986-LeeP #implementation #lisp #on the #semantics

On the Use of LISP in Implementing Denotational Semantics (PL, UFP), pp. 233–248.

LFP-1986-MaunyS #automaton #category theory #functional #implementation

Implementing Functional Languages in the Categorical Abstract Machine (MM, AS), pp. 266–278.

OOPSLA-1986-CaudillW #generative #implementation

A Third Generation Smalltalk-80 Implementation (PJC, AWB), pp. 119–130.

OOPSLA-1986-IshikawaT #concurrent #implementation #information management #object-oriented #representation

A Concurrent Object-Oriented Knowledge Representation Language Orient84/K: Its Features and Implementation (YI, MT), pp. 232–241.

OOPSLA-1986-Lieberman #behaviour #object-oriented #prototype #using

Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems (HL), pp. 214–223.

OOPSLA-1986-YokoteT #design #implementation

The Design and Implementation of ConcurrentSmalltalk (YY, MT), pp. 331–340.

CADE-1986-CherifaL #implementation #polynomial #term rewriting #termination

An Actual Implementation of a Procedure That Mechanically Proves Termination of Rewriting Systems Based on Inequalities Between Polynomial Interpretations (ABC, PL), pp. 42–51.

CADE-1986-HannaD #functional #implementation #logic

Purely Functional Implementation of a Logic (FKH, ND), pp. 598–607.

CADE-1986-Howe #empirical #implementation

Implementing Number Theory: An Experiment with Nuprl (DJH), pp. 404–415.

CADE-1986-Stickel #compilation #implementation #prolog #proving #theorem proving

A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler (MES), pp. 573–587.

ICLP-1986-Boizumault86

A General Model to Implement DIF and FREEZE (PB), pp. 585–592.

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

ICLP-1986-Chikayama86 #architecture #implementation #programming #prolog

Prolog Programming Environments: Architecture and Implementation (TC), pp. 552–553.

ICLP-1986-FosterGRS86 #implementation

A Sequential Implementation of Parlog (ITF, SG, GAR, KS), pp. 149–156.

LICS-1986-Shultis #design #implementation

The Design and Implementations of Intuit (JS), pp. 96–104.

SLP-1986-BekkersCRU86 #garbage collection #implementation #logic programming #memory management #named #programming language #realtime

MALI: A Memory with a Real-time Garbage Collector for Implementing Logic Programming Languages (YB, BC, OR, LU), pp. 258–264.

SLP-1986-JosephsonD86 #implementation

An Implementation of Narrowing: The RITE Way (NAJ, ND), pp. 187–197.

SLP-1986-MannilaU86 #implementation #prolog #representation

Timestamped Term Representation for Implementing Prolog (HM, EU), pp. 159–165.

DAC-1985-RamayyaKP #automation #canonical

An automated data path synthesizer for a canonic structure, implementable in VLSI (KR, AK, SP), pp. 381–387.

DAC-1985-RowenH #flexibility #implementation #logic #named

SWAMI: a flexible logic implementation system (CR, JLH), pp. 169–175.

SIGMOD-1985-Ullman #database #implementation #logic #query

Implementation of Logical Query Languages for Databases (Abstract) (JDU), p. 444.

VLDB-1985-Furman #database #implementation #performance #relational

An Efficient Implementation of a Relational Data Base (MSF), pp. 181–191.

ICALP-1985-Bouge #csp #implementation

Repeated Synchronous Snapshots and Their Implementation in CSP (Extended Abstract) (LB), pp. 63–70.

ICSE-1985-Chen #development #formal method #functional #implementation #programming

Extending the Implementation Scheme of Functional Programming System FP for Supporting the Formal Software Development Methodology (QC), pp. 50–54.

SLP-1985-MiyazakiTC85 #concurrent #implementation #prolog

A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme (TM, AT, TC), pp. 110–118.

DAC-1984-DeutschN #implementation #multi #simulation

A multiprocessor implementation of relaxation-based electrical circuit simulation (JTD, ARN), pp. 350–357.

DAC-1984-Ross #design #implementation #performance

Efficient implementation of experimental design systems (GDMR), p. 109.

SIGMOD-1984-DeWittKOSSW #database #implementation #in memory #memory management

Implementation Techniques for Main Memory Database Systems (DJD, RHK, FO, LDS, MS, DAW), pp. 1–8.

SIGMOD-1984-SimonV #design #implementation

Design and Implementation of an Extendible Integrity Subsystem (ES, PV), pp. 9–17.

SIGMOD-1984-TsurZ #implementation #relational #semantics

An Implementation of GEM — Supporting a Semantic Data Model on a Relational Back-End (ST, CZ), pp. 286–295.

SCC-1984-Blower #ada #implementation #performance

An efficient implementation of visibility in Ada (MIB), pp. 259–265.

ICALP-1984-RonRP #csp #hardware #implementation #verification

A Hardware Implementation of the CSP Primitives and its Verification (DR, FR, AP), pp. 423–435.

LFP-1984-Halstead #implementation #lisp #multi

Implementation of Multilisp: Lisp on a Multiprocessor (RHHJ), pp. 9–17.

LFP-1984-RivieresS #implementation

The Implementation of Procedurally Reflective Languages (JdR, BCS), pp. 331–347.

POPL-1984-DeutschS #implementation #performance

Efficient Implementation of the Smalltalk-80 System (LPD, AMS), pp. 297–302.

POPL-1984-HoffmannO #equation #implementation #interpreter

Implementation of an Interpreter for Abstract Equations (CMH, MJO), pp. 111–121.

POPL-1984-MilosPL #compilation #implementation #pascal #revisited #specification

Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited (DM, UFP, GL), pp. 196–207.

ICSE-1984-MohriOUTS #design #implementation #named #source code

PDAS: An Assistant for Detailed Design and Implementation of Programs (TM, EO, SU, TT, HS), pp. 108–115.

CADE-1984-ForsytheM #deduction #implementation

Implementation Strategies for Plan-Based Deduction (KF, SM), pp. 426–444.

SLP-1984-Carlsson84 #functional #implementation #on the #programming #prolog

On Implementing Prolog in Functional Programming (MC), pp. 154–159.

SLP-1984-HellersteinS84 #algorithm #concurrent #experience #implementation #parallel #prolog

Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience (LH, EYS), pp. 99–115.

SLP-1984-KitakamiKMF84 #implementation #information management

A Methodology for Implementation of a Knowledge Acquisition System (HK, SK, TM, KF), pp. 131–142.

SLP-1984-ShapiroM84 #concurrent #implementation #prolog #self #specification

Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog (EYS, CM), pp. 83–90.

SLP-1984-TamuraK84 #implementation #parallel #prolog

Implementing Parallel Prolog on a Multiprocessor Machine (NT, YK), pp. 42–48.

SLP-1984-UeharaOKT84 #bibliography #bottom-up #implementation #logic #parsing

A Bottom-Up Parser Based on Predicate Logic: A Survey of the Formalism and its Implementation Technique (KU, RO, OK, JT), pp. 220–227.

DAC-1983-BenmehrezM #implementation #performance

Measured performance of a programmed implementation of the subscripted D-Algorithm (CB, JFM), pp. 308–315.

DAC-1983-LeathO #architecture #implementation

Software architecture for the implementation of a Computer-Aided Engineering system (CLL, SJO), pp. 137–142.

DAC-1983-MetosO #diagrams #implementation #physics

Binary Decision Diagrams: From abstract representations to physical implementations (JSM, JVO), pp. 567–570.

VLDB-1983-WoodfillS #implementation

An Implementation of Hypothetical Relations (JW, MS), pp. 157–166.

SOSP-1983-BirrellN #implementation

Implementing Remote Procedure Calls (Abstract) (AB, BJN), p. 3.

DAC-1982-NestorT #design #implementation #multi #representation #simulation

Defining and implementing a multilevel design representation with simulation applications (JAN, DET), pp. 740–746.

PODS-1982-KuckS #database #network

A Universal Relation Database System Implemented via the Network Model (SMK, YS), pp. 147–157.

SIGMOD-1982-ChanFLNR #concurrent #implementation

The Implementation of an Integrated Concurrency Control and Recovery Scheme (AC, SF, WTKL, AN, DRR), pp. 184–191.

SIGMOD-1982-DintelmanM #implementation #query

An Implementation of a Query Language Supporting Path Expressions (SMD, ATM), pp. 87–93.

VLDB-1982-Deen #implementation

An Implementation of Impure Surrogates (SMD), pp. 245–256.

VLDB-1982-SuM #algorithm #implementation #parallel

Parallel Algorithms and Their Implementation in MICRONET (SYWS, KPM), pp. 310–324.

SCC-1982-Bird #code generation #generative #implementation #specification

An Implementation of a Code Generator Specification Language for Table Driven Code Generators (PLB), pp. 44–55.

ICALP-1982-GoguenM #implementation #persistent

Universal Realization, Persistent Interconnection and Implementation of Abstract Modules (JAG, JM), pp. 265–281.

ICALP-1982-SannellaW #implementation #specification

Implementation of Parameterised Specifications (Extended Abstract) (DS, MW), pp. 473–488.

LFP-1982-BatesDK #implementation

Implementation of Interlisp on the VAX (RLB, DD, JAGMK), pp. 81–87.

LFP-1982-BrooksGS #implementation #lisp

S-1 Common Lisp Implementation (RAB, RPG, GLSJ), pp. 108–113.

LFP-1982-Georgeff #functional #implementation #stack

A Scheme for Implementing Functional Values on a Stack Machine (MPG), pp. 188–195.

LFP-1982-Hughes #combinator #implementation

Super Combinators: A New Implementation Method for Applicative Languages (RJMH), pp. 1–10.

SIGIR-1982-CroftR #documentation #implementation #retrieval

The Implementation of a Document Retrieval System (WBC, LR), pp. 28–37.

SIGIR-1982-Morrissey #feedback #implementation #retrieval #scalability

An Intelligent Terminal for Implementing Relevance Feedback on Large Operational Retrieval Systems (JMM), pp. 38–50.

POPL-1982-Komorowski #data type #implementation #partial evaluation #prolog

Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog (HJK), pp. 255–267.

ICSE-1982-Babb #data flow #data-driven #diagrams #implementation

Data-Driven Implementation of Data Flow Diagrams (RGBI), pp. 309–318.

ICSE-1982-Tichy #design #evaluation #implementation

Design, Implementation, and Evaluation of a Revision Control System (WFT), pp. 58–67.

ASPLOS-1982-FusaokaH #compilation #hardware #implementation

Compiler Chip: A Hardware Implementation of Compiler (AF, MH), pp. 92–95.

ASPLOS-1982-KamibayashiONA #named #operating system

Heart: An Operating System Nucleus Machine Implemented by Firmware (NK, HO, KN, HA), pp. 195–204.

ASPLOS-1982-Wilkes #hardware #implementation #memory management

Hardware Support for Memory Protection: Capability Implementations (MVW), pp. 107–116.

CADE-1982-GreenbaumNOP #comparison #deduction #implementation

Comparison of Natural Deduction and Locking Resolution Implementations (SG, AN, PO, DAP), pp. 159–171.

CADE-1982-MatwinP #backtracking #data type #exponential #implementation #performance

Exponential Improvement of Efficient Backtracking: data Structure and Implementation (SM, TP), pp. 240–259.

CADE-1982-WinkerW #implementation

Procedure Implementation Through Demodulation and Related Tricks (SKW, LW), pp. 109–131.

ILPC-1982-PerceboisS82 #prolog

A Lisp-machine to Implement Prolog (CP, JPS), pp. 45–51.

ILPC-1982-PereiraP82 #implementation #prolog #scalability

A Prolog Implementation of a Large System on a Small Machine (LMP, AP), pp. 225–229.

VLDB-1981-BenneworthBTHM #database #implementation

The Implementation of GERM, An Entity-Relationship Data Base Management System (RLB, CDB, CJMT, WDH, FMM), pp. 478–484.

ICALP-1981-ItaiKR #implementation

A Sparse Table Implementation of Priority Queues (AI, AGK, MR), pp. 417–431.

ICSE-1981-AndrewsB #automation #implementation #testing

An Automated Program Testing Methodology and Its Implementation (DMA, JPB), pp. 254–262.

ICSE-1981-BlackTM #implementation #robust

A Robust B-Tree Implementation (JPB, DJT, DEM), pp. 63–70.

ICSE-1981-DuncanH #attribute grammar #design #implementation #using

Using Attributed Grammars to Test Designs and Implementations (AGD, JSH), pp. 170–178.

ICSE-1981-LoeshLMR #implementation

Implementing a Software Management Discipline (REL, BL, PM, DJR), p. 17.

SOSP-1981-CoxCLP #communication #implementation #multi

A Unified Model and Implementation for Interprocess Communication in a Multiprocessor Environment (GWC, WMC, KKL, FJP), pp. 125–126.

DAC-1980-BlissH #implementation

Selecting and successfully implementing a turnkey computer graphics system (FB, GMH), pp. 579–584.

DAC-1980-KimS #design #implementation

Issues in IC implementation of high level, abstract designs (JHK, DPS), pp. 85–91.

DAC-1980-LorenzettiS #implementation #multi

An implementation of a saturated zone multi-layer printed circuit board router (MJL, RJSI), pp. 255–262.

DAC-1980-Northcutt #design #fault #implementation

The design and implementation of fault insertion capabilities for ISPS (JDN), pp. 197–209.

SIGMOD-1980-DogacO #database #implementation

A Generalized DBMS Implementation on a Database Machine (AD, EAO), pp. 133–143.

SIGMOD-1980-LuskOP #database #design #implementation #using

A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model (ELL, RAO, BDP), pp. 9–21.

VLDB-1980-Peeters #database #evaluation #implementation

EEV Evaluation and Implementation of Database Systems (EP), pp. 328–329.

STOC-1980-Brown #implementation

Kraft Storage and Access for List Implementations (Extended Abstract) (DJB), pp. 100–107.

STOC-1980-EhrigM #algebra #complexity #implementation #specification

Complexity of Implementations on the Level of Algebraic Specifications (HE, BM), pp. 281–293.

STOC-1980-Tompa80a #algorithm #implementation #polynomial #sublinear #transitive

Two Familiar Transitive Closure Algorithms which Admit No Polynomial Time, Sublinear Space Implementations (MT), pp. 333–338.

ICALP-1980-EhrigKP #algebra #concept #correctness #data type #implementation #semantics #syntax

Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness (HE, HJK, PP), pp. 142–156.

ICALP-1980-Reischuk #implementation #multi #performance

A “Fast Implementation” of a Multidimensional Storage into a Tree Storage (RR), pp. 531–542.

LISP-1980-Deutsch #implementation

ByteLisp and its Alto Implementation (LPD), pp. 231–242.

SDCG-1980-Meijer #affix grammar #implementation

An implementation of affix grammars (HM), pp. 320–349.

SDCG-1980-RaskovskyC #implementation #semantics #standard

From standard to implementation denotational semantics (MRR, PAC), pp. 94–139.

CADE-1980-OverbeekL #architecture #data type #implementation #source code

Data Structures and Control Architectures for Implementation of Theorem-Proving Programs (RAO, ELL), pp. 232–249.

VLDB-1979-Lucas #database #implementation

Implementation of the IRRD Data Base in Portugal (AL), pp. 94–100.

SCC-1979-Feldman #compilation #fortran #implementation #tool support #using

Implementation of a portable Fortran 77 compiler using modern tools (SIF), pp. 98–106.

SCC-1979-HoltW #implementation

A model for implementing Euclid modules and type templates (RCH, DBW), pp. 8–12.

SCC-1979-Kahrs #implementation #interactive #programming

Implementation of an Interactive Programming System (MK), pp. 76–82.

SCC-1979-LeBlancF #compilation #implementation #on the

On implementing separate compilation in block-structured languages (RJL, CNF), pp. 139–143.

SCC-1979-Morris #abstraction #implementation

Data abstraction: A static implementation strategy (JBM), pp. 1–7.

SIGIR-1979-Croft #documentation #implementation #modelling #on the #retrieval

On the Implementation of Some Models of Document Retrieval (WBC), pp. 71–77.

SIGIR-1979-Jamieson #implementation #retrieval #scalability #using

The Economic Implementation of Experimental Retrieval Techniques on a Very Large Scale Using an Intelligent Terminal (SHJ), pp. 45–51.

ICSE-1979-KeramidisM #implementation #parallel #process #specification

Specification and Implementation of Parallel Activities on Abstract Objects (SK, LM), pp. 203–211.

SOSP-1979-Montgomery #distributed #implementation #named

Polyvalues: A Tool for Implementing Atomic Updates to Distributed Data (WAM), pp. 143–149.

SOSP-1979-Reed #distributed #implementation

Implementing Atomic Actions on Decentralized Data (DPR), p. 163.

DAC-1978-StevensCBH #design #implementation #interactive

Implementation of an interactive printed circuit design system (KRS, WMvC, TCB, JAH), pp. 74–81.

VLDB-1978-Berg #framework #implementation

Implementing a Three Schema DBMS Framework (JLB), pp. 128–129.

VLDB-1978-Senko #design #implementation

FORAL LP: Design and Implementation (MES), pp. 255–267.

ICALP-1978-EhrigKP #data type #implementation #specification

Stepwise Specification and Implementation of Abstract Data Types (HE, HJK, PP), pp. 205–226.

VLDB-1977-AntonacciDST #implementation #problem #query #relational

Structure and Implementation of a Relational Query Language for the Problem Solver (FA, PD, VNS, AT), pp. 351–358.

VLDB-1977-MizumotoT #data type #implementation

Implementation of a Fuzzy-Set Theoretic Data Structure System (Abstract) (MM, MU, KT), p. 490.

STOC-1977-ChandraM #database #implementation #query #relational

Optimal Implementation of Conjunctive Queries in Relational Data Bases (AKC, PMM), pp. 77–90.

POPL-1977-SuzukiI #array #bound #implementation

Implementation of an Array Bound Checker (NS, KI), pp. 132–143.

DAC-1976-RozeboomC #generative #implementation #testing

An implementation of computer aided test generation techniques (RWR, JJC), pp. 194–202.

DIPL-1976-IchbiahF #compilation #implementation

Language definition and compilation in LIS and its implementation (JI, GF), pp. 288–297.

ICSE-1976-BalzerGW #approach #implementation #on the #programming

On the Transformational Implementation Approach to Programming (RB, NMG, DSW), pp. 337–344.

ICSE-1976-Hsiao #design #experience #implementation #re-engineering

A Software Engineering Experience in the Management, Design and Implementation of A Data Secure System (DKH), pp. 532–538.

ICSE-1976-KarpL #implementation #monitoring #verification

Verification of Fairness in an Implementation of Monitors (RAK, DCL), pp. 40–46.

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-ThompsonB75a #implementation #logic #multi #re-engineering #simulation

The software engineering technique of data hiding as applied to multi-level model implementation of logical devices in digital simulation (EWT, NB), pp. 195–201.

SIGMOD-1975-AstrahanC #implementation #query

Implementation of a Structured English Query Language (Abstract) (MMA, DDC), p. 54.

SIGMOD-1975-BakkomB #implementation #prototype

Implementation of a Prototype Generalized File Translator (DEB, JAB), pp. 99–110.

SIGMOD-1975-Stonebraker #constraints #implementation #query

Implementation of Integrity Constraints and Views by Query Modification (MS), pp. 65–78.

VLDB-1975-LienTDR #implementation #towards

Binary Search Tree Complex — Towards the Implementation of Relations (YEL, CET, JRD, MLR), pp. 540–542.

VLDB-1975-Manacher #database #implementation #on the #performance #relational #scalability

On the Feasibility of Implementing a Large Relational Data Base with Optimal Performance on a Mini-Computer (GKM), pp. 175–201.

VLDB-1975-ShoshaniB #database #implementation #logic #on the

On the Implementation of a Logical Data Base Converter (AS, KB), pp. 529–531.

VLDB-1975-Todd #database #implementation #named #performance #relational #scalability

PRTV: An Efficient Implementation for Large Relational Data Bases (ST), pp. 554–556.

VLDB-1975-Weldon #database #implementation

Implementation Strategies for the Census Data Base (JLW), pp. 589–590.

SIGFIDET-1974-Rothnie #approach #data transformation #implementation #relational

An Approach to Implementing a Relational Data Management System (JBRJ), pp. 277–294.

SIGFIDET-1974-Whitney #data transformation #implementation #relational

Relational Data Management Implementation Techniques (VKMW), pp. 321–350.

DAC-1973-FullenwiderR #architecture #implementation

Implementation of a space planning system in a small scale architecture office (DRF, CER), p. 120.

STOC-1973-Vuillemin #implementation #programming language #recursion

Correct and Optimal Implementations of Recursion in a Simple Programming Language (JV), pp. 224–239.

SIGIR-1973-Claybrook #implementation #named #retrieval

FOL: A Language for Implementing File Organizations for Information Storage and Retrieval Systems (BGC), pp. 101–112.

SIGIR-1973-Crouch #evaluation #implementation #retrieval

An Evaluation of Languages for the Implementation of Information Storage and Retrieval Systems (CJC), pp. 113–117.

SOSP-1973-SpierHC #architecture #implementation #kernel

An Experimental Implementation on the Kernel/Domain Architecture (MJS, TNH, DNC), pp. 8–21.

SOSP-J-1973-SchroederS72 #architecture #hardware #implementation

A Hardware Architecture for Implementing Protection Rings (MDS, JHS), pp. 157–170.

SOSP-1971-SchroederS #architecture #hardware #implementation

A Hardware Architecture for Implementing Protection Rings (Abstract) (MDS, JHS), pp. 42–54.