34 papers:
CASE-2014-WangW #algorithm #estimation #problem #scheduling #testing- Compact estimation of distribution algorithm for semiconductor final testing scheduling problem (SW, LW), pp. 113–118.
AFL-2014-CevorovaJMPS #automaton- Operations on Automata with All States Final (KC, GJ, PM, MP, JS), pp. 201–215.
DLT-2014-FeliceN #algorithm #automaton #complexity #on the- On the Average Complexity of Brzozowski’s Algorithm for Deterministic Automata with a Small Number of Final States (SDF, CN), pp. 25–36.
ICLP-J-2014-MantadelisRM #exclamation #induction- Tabling, Rational Terms, and Coinduction Finally Together! (TM, RR, PM), pp. 429–443.
CHI-2012-MoncurBKT- From death to final disposition: roles of technology in the post-mortem interval (WM, JB, EK, JT), pp. 531–540.
DATE-2011-KuppSM #correlation- Correlating inline data with final test outcomes in analog/RF devices (NK, MS, YM), pp. 812–817.
FoSSaCS-2011-Levy #algebra #similarity- Similarity Quotients as Final Coalgebras (PBL), pp. 27–41.
- CASE-2010-ChoiEF #assembly #automation #industrial #roadmap
- Trends and opportunities for robotic automation of trim & final assembly in the automotive industry (SC, WE, TAF), pp. 124–129.
CAiSE-2010-LeonardiSSZ #communication #requirements- Ahab’s Leg: Exploring the Issues of Communicating Semi-formal Requirements to the Final Users (CL, LS, AS, MZ), pp. 455–469.
SEKE-2010-DongSX #empirical #evaluation #online #process- An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions (FD, SMS, HX), pp. 286–291.
POPL-2008-UnkelL #automation #java- Automatic inference of stationary fields: a generalization of java’s final fields (CU, MSL), pp. 183–195.
- CASE-2007-YipLL #process
- Forecasting Final/Class Yield Based on Fabrication Process E-Test and Sort Data (WKY, KGL, WJL), pp. 478–483.
DAC-2007-ZhouTLW #how #logic- How Much Can Logic Perturbation Help from Netlist to Final Routing for FPGAs (CLZ, WCT, WHL, YLW), pp. 922–927.
HCI-IDU-2007-WongK #concept #design #interface #visualisation- Quantifying the Narration Board for Visualising Final Design Concepts by Interface Designers (CYW, CWK), pp. 273–282.
ITiCSE-2006-BiancoT- One step further the ACM K-12 final report: a proposal for level 1: computer organization for K-8 (GMB, ST), pp. 207–211.
MSR-2005-HayesDS #feedback #how #mining #re-engineering- Text mining for software engineering: how analyst feedback impacts final results (JHH, AD, SKS), pp. 56–60.
EDOC-2004-DuddyLM- Elemental and Pegamento: The Final Cut — Applying the MDA Pattern (KD, ML, ZM), pp. 240–252.
- POPL-2003-Boehm
- Destructors, finalizers, and synchronization (HJB), pp. 262–272.
- FoSSaCS-2002-Kurz #logic #semantics
- Logics Admitting Final Semantics (AK), pp. 238–249.
ICFP-2002-GasbichlerS #implementation- Final shift for call/cc: : direct implementation of shift and reset (MG, MS), pp. 271–282.
- FoSSaCS-2001-KrsticLP #algebra #category theory #process
- Categories of Processes Enriched in Final Coalgebras (SK, JL, DP), pp. 303–317.
TACAS-2001-Vardi #branch #linear- Branching vs. Linear Time: Final Showdown (MYV), pp. 1–22.
PASTE-2001-Griswold #slicing- Making slicing practical: the final mile (Abstract) (WGG), p. 1.
- ITiCSE-1998-Medley #online
- On-line finals for CS1 and CS2 (MDM), pp. 178–180.
OOPSLA-1997-Hayes #named- Ephemerons: A New Finalization Mechanism (BH), pp. 176–183.
FME-1996-BrookesFL #case study #comparative #component #specification- Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study (TMB, JSF, PGL), pp. 214–227.
TLCA-1995-HonsellL #semantics #λ-calculus- Final Semantics for untyped λ-calculus (FH, ML), pp. 249–265.
SIGMOD-1994-Melling #architecture #enterprise- Enterprise Information Architectures — They’re Finally Changing (WPM), pp. 493–504.
ALP-1992-Lysne #algebra #consistency #proving #semantics- Proof by Consistency in Constructive Systems with Final Algebra Semantics (OL), pp. 276–290.
IWMM-1992-Hayes #interface- Finalization in the Collector Interface (BH), pp. 277–298.
- DAC-1989-ZhangPR #performance
- Efficient Final Placement Based on Nets-as-Points (XZ, LTP, RAR), pp. 578–581.
- DAC-1981-SoleckyP #testing #verification
- Test data verification — not just the final step for test data before release for production testing (PS, RLP), pp. 881–890.
ICSE-1981-SchwartzM #data type- The Finalization Operation for Abstract Types (RLS, PMMS), pp. 273–282.
- POPL-1980-Kamin #data type #specification
- Final Data Tye Specifications: A New Data Type Specification Method (SNK), pp. 131–138.
