14 papers:
- ICALP-v1-2015-AzarC
- Serving in the Dark should be done Non-Uniformly (YA, IRC), pp. 91–102.
- VLDB-2012-AgarwalPMIMS #interactive #query #scalability
- Blink and It’s Done: Interactive Queries on Very Large Data (SA, AP, BM, API, SM, IS), pp. 1902–1905.
- SCAM-2012-Xie #analysis #testing
- Cooperative Testing and Analysis: Human-Tool, Tool-Tool and Human-Human Cooperations to Get Work Done (TX), pp. 1–3.
- SAC-2012-Zaytsev #bnf #what
- BNF was here: what have we done about the unnecessary diversity of notation for syntactic definitions (VZ), pp. 1910–1915.
- ASE-2007-Selic #automation #what
- The embarrassing truth about software automation and what should be done about it (BS), p. 3.
- SIGIR-2006-LiKVJ #query #transaction #web
- Getting work done on the web: supporting transactional queries (YL, RK, SV, HVJ), pp. 557–564.
- ICSE-2000-Rifkin #diagrams #precedence
- When the project absolutely must get done: marrying the organization chart with the precedence diagram (SR), pp. 588–596.
- VLDB-1999-CareyCNVDRSM #question #what
- O-O, What Have They Done to DB2? (MJC, DDC, SN, BV, DD, SR, RS, NMM), pp. 542–553.
- ITiCSE-1997-Moser #game studies #learning #what #why
- A fantasy adventure game as a learning environment: why learning to program is so difficult and what can be done about it (RM), pp. 114–116.
- DAC-1996-KantrowitzN #analysis #correctness #simulation #verification #what
- I’m Done Simulating: Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 Alpha Microprocessor (MK, LMN), pp. 325–330.
- CSL-1996-Malecki #proving
- Proofs in System Fω Can Be Done in System Fω¹ (SM), pp. 297–315.
- HT-ECHT-1994-Brown #hypermedia #network #question
- Adding Networking to Hypertext: Can it be Done Transparently? (PJB), pp. 51–58.
- 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.
- DAC-1980-Armstrong #what
- A CAD user’s perspective what gets done right wrong and not at all (Position Paper) (RAA), p. 517.