Stem ibm$ (all stems)

56 papers:

DAC-2014-NahirDKRRSSW #validation

Post-Silicon Validation of the IBM POWER8 Processor (AN, MD, SK, KR, WR, KDS, KS, GW), p. 6.

ICDAR-2013-ShivramRSG #dataset #named

IBM_UB_1: A Dual Mode Unconstrained English Handwriting Dataset (AS, CR, SS, VG), pp. 13–17.

VLDB-2013-HassanzadehKKKOP #data analysis #generative

Next Generation Data Analytics at IBM Research (OH, AK, BK, RK, FÖ, IP), pp. 1174–1175.

HPCA-2012-VegaBBDFJM #architecture

Architectural perspectives of future wireless base stations based on the IBM PowerEN™ processor (AV, PB, AB, JHD, MF, CJ, RKM), pp. 423–432.

DAC-2011-AdirNSZMS #validation #verification

Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor (AA, AN, GS, AZ, CM, JS), pp. 569–574.

CSCW-2011-ChiLPZMMZMLG #collaboration #research #social

Smarter social collaboration at IBM research (CYC, QL, YP, SZ, TM, TPM, MXZ, DRM, CYL, IG), pp. 159–166.

SPLC-2011-ThurimellaJ #feature model #plugin

Metadoc Feature Modeler: A Plug-in for IBM Rational DOORS (AKT, DJ), pp. 313–322.

DAC-2010-ThomptoH #fault tolerance #verification

Verification for fault tolerance of the IBM system z microprocessor (BWT, BH), pp. 525–530.

SIGMOD-2010-BiemBFRRVKM #realtime #scalability

IBM infosphere streams for scalable, real-time, intelligent transportation services (AB, EB, HF, AR, AR, OV, HNK, CM), pp. 1093–1104.

SEKE-2010-ShewchukG #experience #functional #maintenance #testing #user interface #using

Experience with Maintenance of a Functional GUI Test Suite using IBM Rational Functional Tester (YS, VG), pp. 489–494.

HPCA-2010-WareRFBRRC #approach #architecture #power management

Architecting for power management: The IBM POWER7TM approach (MSW, KR, MSF, BB, JCR, FLRI, JBC), pp. 1–11.

VLDB-2009-GubanovPHPCC #repository

IBM UFO Repository (MNG, LP, CTHH, HP, JYC, SCC), pp. 1598–1601.

SAC-2006-CabriFLQ

Strong agent mobility for aglets based on the IBM JikesRVM (GC, LF, LL, RQ), pp. 90–95.

ASE-2005-ErikssonMBB #case study #modelling #product line #tool support

The PLUSS toolkit — extending telelogic DOORS and IBM-rational rose to support product line use case modeling (ME, HM, JB, KB), pp. 300–304.

SIGMOD-2005-Choy #integration #semistructured data

Integration of structured and unstructured data in IBM content manager (DMC), pp. 811–816.

SIGMOD-2005-Cuomo

IBM SOA “on the edge” (GAC), pp. 840–843.

DATE-DF-2004-ChenYSMGH #design #using

Demonstration of a SiGe RF LNA Design Using IBM Design Kits in 0.18um SiGe BiCMOS Technology (YC, XY, DS, JM, JG, DLH), pp. 22–27.

ICSE-2003-MaximilienW #agile #development #testing

Assessing Test-Driven Development at IBM (EMM, LAW), pp. 564–569.

VLDB-2002-Selinger #integration #xml

Information Integration and XML in IBM’s DB2 (PGS), pp. 906–907.

SEKE-2002-Dantzig #architecture #design #web

Architecture and design of high volume web sites: (a brief history of IBM sport and event web sites) (PD), pp. 17–24.

CIKM-2001-ZilioLLL #database #self

Self-Managing Technology in IBM DB2 Universal Database (DCZ, SL, KAL, GML), pp. 541–543.

DAC-2000-GoelL #verification

Formal verification of an IBM CoreConnect processor local bus arbiter core (AG, WRL), pp. 196–200.

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.

HCI-EI-1999-Lewis #design #trade-off #usability

Tradeoffs in the Design of the IBM Computer Usability Satisfaction Questionnaires (JRL), pp. 1023–1027.

CAV-1999-BaumgartnerHSA #abstraction #algorithm #model checking

Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists (JB, TH, VS, AA), pp. 72–83.

VLDB-1998-SchieferKBLF #database

IBM’s DB2 Universal Database demonstrations at VLDB’98 (KBS, JK, KB, GML, GF), p. 703.

FM-1998-GeserK #verification

Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip (AG, WK), pp. 92–106.

CAV-1997-BeerBEGGHLPRRW #model checking #named

RuleBase: Model Checking at IBM (IB, SBD, CE, DG, LG, TH, AL, PP, YR, GR, YW), pp. 480–483.

WCRE-1996-MorrisF #assembly #named

Mandrake: A Tool for Reverse-Engineering IBM Assembly Code (PHM, REF), pp. 57–66.

SAC-1996-PetkovicNFSLYHTTDGVVHHWEB #image #query

Recent applications of IBM’s query by image content (QBIC) (DP, WN, MF, DS, DL, JY, JH, FT, HT, RD, MG, MV, PV, BJH, JH, KW, PE, CB), pp. 2–6.

DAC-1995-AharonGLLMMMS #functional #generative #verification

Test Program Generation for Functional Verification of PowerPC Processors in IBM (AA, DG, ML, YL, YM, CM, MM, GS), pp. 279–285.

SIGMOD-1993-Mohan #relational

IBM’s Relational DBMS Products: Features and Technologies (CM), pp. 445–448.

HPDC-1993-ColombetDM #modelling #network #using

Star Modeling on IBM RS6000 Networks Using PVM (LC, LD, FM), pp. 121–128.

SEI-1992-SpranglerL #re-engineering

The IBM Cleanroom Software Engineering Technology Transfer Program (RAS, RCL), pp. 380–394.

TRI-Ada-C-1992-Blair #ada #configuration management #library #using #version control

Managing Ada Using Rational’s Configuration Management/Version Control and IBM’s Software Configuration Library Manager (DJB), pp. 424–431.

TRI-Ada-C-1992-Fussichen #ada #cics #exclamation

Ada and CICS: or (yes! Ada can be done on an IBM Mainframe) (KF), pp. 415–422.

HPDC-1992-BetelloRSR #clustering

Lattice Boltzmann Method on a Cluster of IBM RISC System/6000 Workstations (GB, GR, SS, FR), pp. 242–247.

VDME-1991-1-Houston

The IBM Z Tool (IH), pp. 691–692.

VDME-1991-1-HoustonK #case study #cics #experience

CICS Project Report: Experiences and Results from the use of Z in IBM (IH, SK), pp. 588–596.

CHI-1991-Richards #human-computer #research #usability #user interface

Research in HCI and usability at IBM’s User Interface Institute (JTR), pp. 479–480.

ASPLOS-1991-HallO #architecture #performance

Performance Characteristics of Architectural Features of the IBM RISC System/6000 (CBH, KO), pp. 303–309.

ICLP-1991-Robinet #logic programming

Logic Programming at IBM: From the Lab to the Customer (BR), pp. 912–921.

DAC-1988-BeeceDPV #verification

The IBM Engineering Verification Engine (DKB, GD, GP, FV), pp. 218–224.

DAC-1987-Saunders #design

The IBM VHDL Design System (LFS), pp. 484–490.

ASPLOS-1987-GeorgiouPR #implementation

An Experimental Coprocessor for Implementing Persistant Objects on an IBM 4381 (CJG, SLP, PLR), pp. 84–87.

DAC-1986-Williams #automation #design #industrial

IBM perspectives on the electrical design automation industry (keynote address) (RMW), p. 1.

DAC-1984-GuillaumeK #named #proximity

MINUPROX — an advanced proximity correction technique for the IBM EL-2 electron beam tool (WJG, AK), pp. 452–453.

DAC-1983-AhdootAC #design

IBM FSD VLSI chip design methodology (KA, RRA, LC), pp. 39–45.

DAC-1983-Tendolkar

Diagnosis of TCM failures in the IBM 3081 Processor complex (NNT), pp. 196–200.

DAC-1982-Collins #bibliography

IBM 3081 system overview and technology (CAC), pp. 75–82.

DAC-1982-FreundG #automation #design

Automated conversion of design data for building the IBM 3081 (VJFJ, JAG), pp. 96–103.

DAC-1982-Woodward #aspect-oriented #automation #design

Operational aspects of design automation for the IBM 3081 (RFW), pp. 91–95.

DAC-1981-Curl #automation #design

Mechanical design automation in IBM Poughkeepsie (GWCJ), pp. 166–170.

DAC-1981-Lambert #design #physics

Graphics language / one — IBM Corporate-Wide physical design data format (DRL), pp. 713–719.

DAC-1976-JonesN #assessment #programming

A quantitative assessment of IBM’s programming productivity techniques (LCJ, DAN), pp. 344–353.

SHARE-1964-GordonO

Printer graphics: New horizons in graphic output on the IBM 1403 printer (MG, AO).