20 papers:
DATE-2014-SchmidBMKSKMSR- III-V semiconductor nanowires for future devices (HS, BMB, KM, PDK, GS, SFK, PM, VS, HR), pp. 1–2.
PLDI-2013-Titzer #parametricity #tuple- Harmonizing classes, functions, tuples, and type parameters in virgil iii (BT), pp. 85–94.
POPL-2011-GhicaS #geometry #resource management #synthesis #type inference- Geometry of synthesis III: resource management through type inference (DRG, AS), pp. 345–356.
CASE-2009-BalajiGK #case study #using- Selection of a machine tool for FMS using ELECTRE III — a case study (CMB, AG, RK), pp. 171–176.
ICSE-2006-ThompsonE #education #industrial #re-engineering- Third international summit on software engineering education (SSEE III): bridging the university/industry gap (JBT, HME), pp. 1011–1012.
ICEIS-v3-2005-RajuganDCF #design #uml #xml- XML Views, Part III: An UML Based Design Methodology for XML Views (RR, TSD, EC, LF), pp. 19–28.
MoDELS-2005-Kimelman #architecture #research- Invited Presentation III: The Architects’ Workbench — Research in the Trenches (DK), p. 507.
- MoDELS-2005-Kimelman #architecture #research
- Invited Presentation III: The Architects’ Workbench — Research in the Trenches (DK), p. 507.
ICPR-v1-2004-JiaZLA- A Miniature Stereo Vision Machine (MSVM-III) for Dense Disparity Mapping (YJ, XZ, ML, LA), pp. 728–731.
ICDAR-2003-TomaiS #using- Combination of Type III Digit Recognizers using the Dempster-Shafer Theory of Evidence (CIT, SNS), pp. 854–858.
- ICPR-1998-MatsuoNI #distributed #evaluation #image #performance
- A distributed image processing environment VIOS III and it’s performance evaluation (HM, KN, AI), pp. 1538–1542.
ICSM-1995-Tilley #modelling #reverse engineering- Domain-retargetable reverse engineering. III. Layered modeling (SRT), p. 52–?.
RTA-1995-DershowitzJK #problem- Problems in Rewriting III (ND, JPJ, JWK), pp. 457–471.
PLILP-1992-SolnonR #inheritance #prolog #source code- Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII (CS, MR), pp. 489–490.
HPDC-1992-Wittie #distributed #memory management #tutorial- Tutorial III: Distributed Shared Memory Systems (LDW), p. 284.
IWMM-1992-Pique #garbage collection #prolog- Dynamic Revision of Choice Points during Garbage Collection in Prolog [II/III] (JFP), pp. 330–343.
DAC-1991-NoteGCM #architecture #named #synthesis #throughput- Cathedral-III: Architecture-Driven High-level Synthesis for High Throughput DSP Applications (SN, WG, FC, HDM), pp. 597–602.
CLP-1990-Colmerauer90 #prolog- Prolog III as it Actually Is (AC), p. 766.
CSL-1990-BorgerS #prolog #semantics- A Formal Operational Semantics for Languages of Type Prolog III (EB, PHS), pp. 67–79.
LICS-1990-HarelRV #bound #concurrent #on the #power of #reasoning #source code- On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report) (DH, RR, MYV), pp. 478–488.
