18 papers:
CASE-2015-MonchY #constraints #parallel #scheduling- Scheduling jobs on parallel machines with qualification constraints (LM, CY), pp. 657–658.
DATE-2013-Kae-NuneP #anti #process #testing- Qualification and testing process to implement anti-counterfeiting technologies into IC packages (NKN, SP), pp. 1131–1136.
- DATE-2012-LinWCCCHYS #analysis #functional #mutation testing #probability
- A probabilistic analysis method for functional qualification under Mutation Analysis (HYL, CYW, SCC, YCC, HMC, CYH, YCY, CCS), pp. 147–152.
ICTSS-2012-BrauerPS #modelling #performance #testing #tool support- Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools (JB, JP, US), pp. 8–23.
- DATE-2011-BalasubramanianSMNDKMPPVT #low cost #power management #robust
- Circuit and DFT techniques for robust and low cost qualification of a mixed-signal SoC with integrated power management system (LB, PS, RKM, PN, RKD, ADK, SM, SP, HP, RCV, ST), pp. 551–554.
- DATE-2010-GuglielmoFP #analysis
- Vacuity analysis for property qualification by mutation of checkers (LDG, FF, GP), pp. 478–483.
KEOD-2010-Akinkunmi- Temporal Entities — Types, Tokens and Qualifications (BOA), pp. 288–294.
ICSE-2010-PaulischZ #architecture #case study #certification #experience- A role-based qualification and certification program for software architects: an experience report from Siemens (FP, PZ), pp. 21–27.
ICLP-J-2010-Rodriguez-ArtalejoR #declarative #proximity #semantics- A declarative semantics for CLP with qualification and proximity (MRA, CARD), pp. 627–642.
- DATE-2009-BombieriFPHL #functional #verification
- Functional qualification of TLM verification (NB, FF, GP, MH, FL), pp. 190–195.
- DATE-2009-BraunesS #generative
- Generating the trace qualification configuration for MCDS from a high level language (JB, RGS), pp. 1560–1563.
ITiCSE-2008-DorgeS #question #what- What are information technology’s key qualifications? (CD, CS), pp. 296–300.
- DATE-2007-FerrignoPSL #design #identification #process
- Identification of process/design issues during 0.18 µm technology qualification for space application (JF, PP, KS, DL), pp. 989–993.
- DATE-DF-2004-AbrahamR #design #integration
- Qualification and Integration of Complex I/O in SoC Design Flows (JA, GR), pp. 286–293.
- DATE-v2-2004-VorgRR #cost analysis #metric
- Measurement of IP Qualification Costs and Benefits (AV, MR, WR), pp. 996–1001.
TOOLS-EUROPE-2000-BaudryHT #component #named #search-based- Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification (BB, VLH, YLT), pp. 108–119.
KR-1996-Thielscher #problem- Causality and the Qualification Problem (MT), pp. 51–62.
SAS-1995-DussartHM #analysis #polymorphism #polynomial #recursion #type system- Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time (DD, FH, CM), pp. 118–135.
