6 papers:
- WCRE-2011-FokinDCT #c++ #decompiler #named
- SmartDec: Approaching C++ Decompilation (AF, ED, AC, KT), pp. 347–356.
- ICML-2011-ZhouT #composition #matrix #named #random
- GoDec: Randomized Lowrank & Sparse Matrix Decomposition in Noisy Case (TZ, DT), pp. 33–40.
- DAC-1998-TaylorQBDHHR #functional #multi #verification
- Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor — The DEC Alpha 21264 Microprocessor (SAT, MQ, DB, ND, SH, JH, CR), pp. 638–643.
- SIGMOD-1994-Dietterich #replication
- DEC Data Distributor: for Data Replication and Data Warehousing (DJD), p. 468.
- HPDC-1994-ChangFFGHNRSW #network
- High-Performance TCP/IP and UDP/IP Networking in DEC OSF/1 for Alpha AXP (CHC, RF, JF, HG, WRH, APN, KKR, UNS, KMW), pp. 35–42.
- 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.