BibSLEIGH — standard tag

standard

standard

Tag #standard

485 papers:

AIIDE-2019-Mori #case study #evaluation #experience #interactive: Standardizing the Evaluation of Digital Managers for Better Interactive Experiences (GM), pp. 221–223.
CASE-2019-LuHL0 #overview #perspective: Standards for Smart Manufacturing: A review (YL, HH, CL, XX0), pp. 73–78.
EDM-2018-DurandGL #fault #parametricity: Standard error considerations on AFM parameters (GD, CG, SL).
MSR-2018-NovielliCL #stack overflow: A gold standard for emotion annotation in stack overflow (NN, FC, FL), pp. 14–17.
CIG-2018-Weber #modelling: Standard Economic Models in Nonstandard Settings - StarCraft: Brood War (BSW), pp. 1–8.
ICML-2018-SuganumaOO #image #search-based: Exploiting the Potential of Standard Convolutional Autoencoders for Image Restoration by Evolutionary Search (MS, MO, TO), pp. 4778–4787.
LOPSTR-2018-Payet #term rewriting: Guided Unfoldings for Finding Loops in Standard Term Rewriting (ÉP), pp. 22–37.
SAS-2018-BagnaraBH #analysis #c #development #embedded: The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software (RB, AB, PMH), pp. 5–23.
CASE-2018-HujoSB #generative #modelling #runtime: Dynamic Generation of Shop Floor Gateway Configurations from Standard System Engineering Models during Runtime (DH, DS, BB), pp. 630–633.
TAP-2018-BruckerH #formal method #proving #web: Formalizing (Web) Standards - An Application of Test and Proof (ADB, MH), pp. 159–166.
EDM-2017-HuRB #why: Why data standards are critical for EDM and AIED (XH, RR, AB).
IFM-2017-SteinhofelW #analysis #control flow #invariant: A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows (DS, NW), pp. 279–294.
JCDL-2016-MarshallRS: Unraveling K-12 Standard Alignment: Report on a New Attempt (BM, RFR, CS), pp. 55–58.
FM-2016-HasanagicTLL #formal method #interface #validation: Formalising and Validating the Interface Description in the FMI Standard (MH, PWVTJ, KL, PGL), pp. 344–351.
PLDI-2016-MemarianMLNCWS: Into the depths of C: elaborating the de facto standards (KM, JM, JL, KN, DC, RNMW, PS), pp. 1–15.
VMCAI-2016-KidoCH #abstract interpretation #scalability #static analysis #towards: Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis (KK, SC, IH), pp. 229–249.
QoSA-2015-DurisicST #architecture #identification #set: Identifying Optimal Sets of Standardized Architectural Features: A Method and its Automotive Application (DD, MS, MT), pp. 103–112.
TLCA-2015-GuerrieriPR #call-by #λ-calculus: Standardization of a Call-By-Value λ-Calculus (GG, LP, SRDR), pp. 211–225.
CHI-2015-BachourWFHRM #game studies #human-computer #online #people: Provenance for the People: An HCI Perspective on the W3C PROV Standard through an Online Game (KB, RW, MF, TDH, TR, LM), pp. 2437–2446.
CHI-2015-JacksonB #development #interactive #protocol: Standards and/as Innovation: Protocols, Creativity, and Interactive Systems Development in Ecology (SJJ, SB), pp. 1769–1778.
CSCW-2015-SenGGHLNRWH #algorithm #community: Turkers, Scholars, “Arafat” and “Peace”: Cultural Communities and Algorithmic Gold Standards (SS, MEG, RG, BH, ML, SN, JR, Z(W, BH), pp. 826–838.
ICEIS-v1-2015-NevesFGNAV #perspective: International Standard ISO 9001 an Artificial Intelligence View (JN, AF, GG, MN, AA, HV), pp. 421–428.
SEKE-2015-PereiraSA #interface #sql: Endowing NoSQL DBMS with SQL Features Through Standard Call Level Interfaces (ÓMP, DS, RLA), pp. 201–207.
MoDELS-2015-AliY #formal method #testing: Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard (SA, TY), pp. 396–405.
MoDELS-2015-FoucheNGE #diagrams #generative #modelling #tool support: Systematic generation of standard compliant tool support of diagrammatic modeling languages (AF, FN, SG, ME), pp. 348–357.
SAC-2015-RuyFBG #ontology #pattern matching #process #towards: Towards an ontology pattern language for harmonizing software process related ISO standards (FBR, RdAF, MPB, GG), pp. 388–395.
CASE-2015-LuMF: Standards landscape and directions for smart manufacturing systems (YL, KCM, SF), pp. 998–1005.
CASE-2015-Michalek #bound: Motion control with minimization of a boundary off-track for non-Standard N-trailers along forward-followed paths (MMM), pp. 1564–1569.
DATE-2015-DinizSDBH #architecture #hardware #performance #video: A deblocking filter hardware architecture for the high efficiency video coding standard (CMD, MS, FVD, SB, JH), pp. 1509–1514.
DATE-2015-LuLJLHCL: Simultaneous transistor pairing and placement for CMOS standard cells (AL, HJL, EJJ, YPL, CHH, CCC, RBL), pp. 1647–1652.
HPCA-2015-FarahaniAMK #architecture #memory management #named: NDA: Near-DRAM acceleration architecture leveraging commodity DRAM devices and standard memory modules (AFF, JHA, KM, NSK), pp. 283–295.
STOC-2015-GorbunovVW: Leveled Fully Homomorphic Signatures from Standard Lattices (SG, VV, DW), pp. 469–477.
HT-2014-KowaldLT #benchmark #framework #metric #named #recommendation #towards: TagRec: towards a standardized tag recommender benchmarking framework (DK, EL, CT), pp. 305–307.
EDM-2014-JoshiFRNB #interactive #predict: Generalizing and Extending a Predictive Model for Standardized Test Scores Based On Cognitive Tutor Interactions (AJ, SF, SR, TN, SRB), pp. 369–370.
ICSME-2014-AlvesSD #automation #process #quality: Applying ISO/IEC 25010 Standard to Prioritize and Solve Quality Issues of Automatic ETL Processes (TLA, PS, MSD), pp. 573–576.
DLT-2014-KociumakaRRW #word: Maximum Number of Distinct and Nonequivalent Nonstandard Squares in a Word (TK, JR, WR, TW), pp. 215–226.
FM-2014-ArenisWDMA #consistency #industrial #verification: The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification (SFA, BW, DD, MM, ASA), pp. 658–672.
DUXU-DP-2014-Heimgartner #process #usability: ISO 9241-210 and Culture? — The Impact of Culture on the Standard Usability Engineering Process (RH), pp. 39–48.
HIMI-DE-2014-KochJ: Computerized Information Standards Enabling Innovation in Public Procurement of Buildings (CK, KJ), pp. 373–383.
ICML-c2-2014-RomanoBNV #clustering: Standardized Mutual Information for Clustering Comparisons: One Step Further in Adjustment for Chance (SR, JB, XVN, KV), pp. 1143–1151.
KEOD-2014-TakahashiTTL #automation #industrial #web: An Automatic Coding System with a Three-Grade Confidence Level Corresponding to the National/International Occupation and Industry Standard — Open to the Public on the Web (KT, HT, ST, WL), pp. 369–375.
KEOD-2014-TongphuS #logic: A Non-standard Instance Checking for the Description Logic ELH (ST, BS), pp. 67–74.
SIGIR-2014-GolbusA #difference #modelling #on the #retrieval: On the information difference between standard retrieval models (PBG, JAA), pp. 1135–1138.
SPLC-2014-NobauerSG #variability: Inferring variability from customized standard software products (MN, NS, IG), pp. 284–293.
POPL-2014-AccattoliBKL #theorem: A nonstandard standardization theorem (BA, EB, DK, CL), pp. 659–670.
SAC-2014-Khan #independence #research #student: Student research abstract: an optimized handover scheme based on media independent handover standard IEEE 802.21 (MK), pp. 717–718.
CASE-2014-LasotaRS #industrial #interactive #towards: Toward safe close-proximity human-robot interaction with standard industrial robots (PAL, GFR, JAS), pp. 339–344.
CASE-2014-WolffNLM #classification #lifecycle: An information classification system for life cycle and manufacturing standards (SW, AN, DL, KCM), pp. 498–503.
DAC-2014-AtacCLWSZWH #design #multi: An HDL-Based System Design Methodology for Multistandard RF SoC’s (AA, ZC, LL, YW, MS, YZ, RW, SH), p. 6.
DAC-2014-ChenWLZAMWH #functional #multi #prototype #verification: A SystemC Virtual Prototyping based Methodology for Multi-Standard SoC Functional Verification (ZC, YW, LL, YZ, AA, JHM, RW, SH), p. 6.
DAC-2014-StoermerT #functional #interface #mockup #using: Powertrain Co-Simulation using AUTOSAR and the Functional Mockup Interface standard (CS, GT), p. 1.
DATE-2014-DuW #optimisation #process: Optimization of standard cell based detailed placement for 16 nm FinFET process (YD, MDFW), pp. 1–6.
DATE-2014-FabrieEVG #design #library #variability: Standard cell library tuning for variability tolerant designs (SF, JDE, MV, JPdG), pp. 1–6.
DATE-2014-KiamehrFET #design #library: Aging-aware standard cell library design (SK, FF, ME, MBT), pp. 1–4.
DATE-2014-LangeSJHLS #correlation #modelling #parametricity #probability: Probabilistic standard cell modeling considering non-Gaussian parameters and correlations (AL, CS, RJ, JH, IL, US), pp. 1–4.
FASE-2014-BaierDKDKMW #model checking #multi #probability #reasoning: Probabilistic Model Checking and Non-standard Multi-objective Reasoning (CB, CD, SK, MD, JK, SM, SW), pp. 1–16.
WRLA-2014-ZhangCO #framework #semantics #𝕂: A Formal Semantics of the OSEK/VDX Standard in 𝕂 Framework and Its Applications (MZ, YC, KO), pp. 280–296.
SIGMOD-2013-GhazalRHRPCJ #benchmark #big data #data analysis #industrial #metric #named #towards: BigBench: towards an industry standard benchmark for big data analytics (AG, TR, MH, FR, MP, AC, HAJ), pp. 1197–1208.
DUXU-NTE-2013-Choi #design #multi #navigation #user interface: Multi-touch Based Standard UI Design of Car Navigation System for Providing Information of Surrounding Areas (JMC), pp. 40–48.
HCI-AS-2013-PlischkeSPK #specification: Human Adequate Lighting in Optimal Healing Environments — Measuring Non-visual Light Effects of a LED Light Source According to German Draft Pre-standard DIN SPEC 5031-100: 2012 (HP, CS, PP, NK), pp. 163–172.
HIMI-D-2013-Remy #in the cloud #simulation: Quantifying the Impact of Standards When Hosting Robotic Simulations in the Cloud (SLR), pp. 365–374.
HIMI-D-2013-Zempo #effectiveness #modelling #usability: Effective Practice of HCD by Usability Modeling and Standardization (HZ), pp. 393–399.
HIMI-HSM-2013-KimKL #design #verification: Designing and Verifying Application Schema by Applying Standard Element for Managing Ocean Observation Data (STK, LKK, TYL), pp. 110–115.
ICEIS-v1-2013-OliveiraB #approach #modelling #novel #process: ETL Standard Processes Modelling — A Novel BPMN Approach (BCdSO, OB), pp. 120–127.
ICEIS-v2-2013-JridiL #adaptation #semantics #web: Adapting RosettaNet B2B Standard to Semantic Web Technologies (JEJ, GL), pp. 443–450.
MoDELS-2013-VaraP #metamodelling #named #safety: SafetyMet: A Metamodel for Safety Standards (JLdlV, RKPW), pp. 69–86.
POPL-2013-SuenagaSH #modelling: Hyperstream processing systems: nonstandard modeling of continuous-time signals (KS, HS, IH), pp. 417–430.
DAC-2013-KleebergerGS #evaluation #modelling #performance #predict: Predicting future product performance: modeling and evaluation of standard cells in FinFET technologies (VK, HEG, US), p. 6.
DATE-2013-MurugappaBJ #multi: Parameterized area-efficient multi-standard turbo decoder (PM, AB, MJ), pp. 109–114.
ITiCSE-2012-StephensonCOG: The new CSTA K-12 computer science standards (CS, SC, BBO, JGE), pp. 363–364.
SIGITE-2012-UzokaCGJ #education #identification #industrial #project management #requirements: Identifying the link between project management standards and practices in IT education and the industry expectations and requirements (FMEU, AC, KG, JJ), pp. 91–92.
CSMR-2012-EspinhaCZG #case study #maintenance #research #towards: Maintenance Research in SOA — Towards a Standard Case Study (TE, CC, AZ, HGG), pp. 391–396.
AIIDE-2012-Williams-KingDAS #automation #game studies #generative: The Gold Standard: Automatically Generating Puzzle Game Levels (DWK, JD, JA, BS).
TOOLS-EUROPE-2012-DerezinskaR #c# #evaluation #object-oriented #quality #source code: Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# Programs (AD, MR), pp. 42–57.
SAC-2012-HeinrichG #web: Data binding for standard-based web applications (MH, MG), pp. 652–657.
SAC-2012-TinelliCSD #automation #compilation #composition #sql: Knowledge compilation for automated Team Composition exploiting standard SQL (ET, SC, EDS, FMD), pp. 1680–1685.
DAC-2012-GuoK #concurrent #detection #encryption #fault: Invariance-based concurrent error detection for advanced encryption standard (XG, RK), pp. 573–578.
DAC-2012-LiuAHG: Standard cell sizing for subthreshold operation (BL, MA, JH, JPdG), pp. 962–967.
DAC-2012-RyzhenkoB #satisfiability: Standard cell routing via boolean satisfiability (NR, SB), pp. 603–612.
DATE-2012-BesteT #analysis #robust: Layout-Driven Robustness Analysis for misaligned Carbon Nanotubes in CNTFET-based standard cells (MB, MBT), pp. 1609–1614.
PDP-2012-OemigG #distributed: SCTA Tracer: A Distributed Environment for Standardized Awareness Support Assessments (CO, TG), pp. 52–56.
CAV-2012-HasuoS #hybrid #static analysis: Exercises in Nonstandard Static Analysis of Hybrid Systems (IH, KS), pp. 462–478.
JCDL-2011-MarshallR #documentation #education #retrieval: World vs. method: educational standard formulation impacts document retrieval (BM, RFR), pp. 279–282.
SIGITE-2011-VernoFT #education #future of: CSTA national standards and their impact on the future of K-12 computer education (AV, BF, FPT), pp. 99–100.
ICFP-2011-OhoriU #database #ml #programming language: Making standard ML a practical database programming language (AO, KU), pp. 307–319.
DiGRA-2011-Nieborg #game studies: The winner takes all: Standardization and console games (DBN).
DUXU-v1-2011-BevanR #question #usability: ISO 20282: Is a Practical Standard for the Usability of Consumer Products Possible? (NB, SR), pp. 119–127.
DUXU-v1-2011-Kreichgauer: ISO Standards for Standard Software: Accountability, Customer Expectations and Reality (UK), pp. 148–153.
DUXU-v1-2011-Lutsch #enterprise #perspective #usability: ISO Usability Standards and Enterprise Software: A Management Perspective (CL), pp. 154–161.
DUXU-v1-2011-OhgiS #case study #enterprise #using: ISO Standards and Enterprise Software: A Case Study Using SUMI and SUS in an International Sale (JO, JS), pp. 178–184.
HCD-2011-TheofanosS #development #lifecycle #usability: Usability Standards across the Development Lifecycle (MFT, BS), pp. 130–137.
HCI-UA-2011-SuzukiWKO #3d #comparison: Comparison of a 3-D Expression System and a Standardized IQ Test for Children (AS, MW, TK, TO), pp. 617–626.
HIMI-v2-2011-PohlML #hybrid #learning: Transforming a Standard Lecture into a Hybrid Learning Scenario (HMP, JTM, JL), pp. 55–61.
EDOC-2011-MelleriHM #analysis #modelling #xml: Comparing Information Models in XML-based e-Business Standards — A Quantitative Analysis (IM, KH, JM), pp. 225–234.
EDOC-2011-Papazoglou #process: Making Business Processes Compliant to Standards and Regulations (MPP), pp. 3–13.
ICEIS-v2-2011-YuanL #enterprise #float #research: The Research of Public Transport Enterprises Quota Floating Fuel — National Standard GB4353 Fuel Consumption for Passenger Vehicles in Operation Applied to the Public Transport Enterprise (YY, ML), pp. 291–296.
ICML-2011-BuffoniCGU #learning: Learning Scoring Functions with Order-Preserving Losses and Standardized Supervision (DB, CC, PG, NU), pp. 825–832.
KEOD-2011-GerberGM #ambiguity #consistency #development #ontology #using: Using Formal Ontologies for the Development of Consistent and Unambiguous Financial Accounting Standards (MCG, AG, AvdM), pp. 419–424.
KMIS-2011-LunesuPC11a #approach #knowledge base #multi #using: Using a Standards-based Approach for a Multimedia Knowledge-base (MIL, FEP, GC), pp. 87–95.
SIGIR-2011-CumminsJO #performance #predict #query #using: Improved query performance prediction using standard deviation (RC, JMJ, CO), pp. 1089–1090.
MoDELS-2011-KoudriCGT #component #design #evaluation: Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal (AK, AC, SG, FT), pp. 243–257.
SIGAda-2011-Brosgol #named #safety: Do-178c: the next avionics safety standard (BMB), pp. 5–6.
SIGAda-2011-Rosen #ada #design: Designing and checking coding standards for ada (JPR), pp. 13–14.
RE-2011-DietschAWP #ambiguity #formal method #industrial #visual notation: Disambiguation of industrial standards through formalization and graphical languages (DD, SFA, BW, AP), pp. 265–270.
DAC-2011-CevreroRSBIL #library #logic #power management: Power-gated MOS current mode logic (PG-MCML): a power aware DPA-resistant standard cell library (AC, FR, MS, SB, PI, YL), pp. 1014–1019.
DAC-2011-MirandaRBW #design #modelling #statistics #using: Statistical characterization of standard cells using design of experiments with response surface modeling (MM, PR, LB, GIW), pp. 77–82.
DAC-2011-ZhouJBHS #library: A 40 nm inverse-narrow-width-effect-aware sub-threshold standard cell library (JZ, SJ, BB, LH, JS), pp. 441–446.
DATE-2011-MadaniTCCD #detection #energy: An energy-efficient 64-QAM MIMO detector for emerging wireless standards (NMM, TT, JC, PC, WRD), pp. 246–251.
FASE-2011-DietrichSS #formal method #industrial: Formalizing and Operationalizing Industrial Standards (DD, LS, ES), pp. 81–95.
STOC-2011-Pass #security: Limits of provable security from standard assumptions (RP), pp. 109–118.
CSL-2011-BeauxisM #network #semantics: A Non-Standard Semantics for Kahn Networks in Continuous Time (RB, SM), pp. 35–50.
ITiCSE-2010-RosslingM: An unusual CS 1 with high standards and confirming results (GR, MM), pp. 169–173.
LATA-2010-Penaloza #reasoning #using: Using Sums-of-Products for Non-standard Reasoning (RP), pp. 488–499.
FLOPS-2010-Saurin #λ-calculus #μ-calculus: Standardization and Böhm Trees for λμ-Calculus (AS), pp. 134–149.
CHI-2010-KelleyCBC #approach #online #privacy: Standardizing privacy notices: an online study of the nutrition label approach (PGK, LC, JB, LFC), pp. 1573–1582.
ICEIS-DISI-2010-RezigM #towards: Towards Location-based Services Standardization — An Application based on Mobility and Geo-Location (EKR, VM), pp. 310–315.
ICEIS-HCI-2010-Cruz-LaraOGBB #chat #communication #interface #multi: Standards for Communication and e-Learning in Virtual Worlds — The Multilingual-assisted Chat Interface (SCL, TO, JG, NB, LB), pp. 45–52.
ICEIS-J-2010-Cruz-LaraOGBBC #chat #communication #interface #using: A Chat Interface Using Standards for Communication and e-Learning in Virtual Worlds (SCL, TO, JG, NB, LB, JPC), pp. 541–554.
ICEIS-SAIC-2010-SerranoL #ontology #ubiquitous: Applying Fipa Standards Ontological Support to Intentional-MAS-Oriented Ubiquitous System (MS, CJPdL), pp. 114–121.
ICPR-2010-ChoudhuryM #using: Color Constancy Using Standard Deviation of Color Channels (AC, GGM), pp. 1722–1726.
ICPR-2010-KothariFSPM: Transfer of Supervision for Improved Address Standardization (GK, TAF, LVS, KHP, MKM), pp. 2178–2181.
SEKE-2010-AmarGH #generative #ontology #towards: Towards Generation of Domain Ontology from LMF Standardized Dictionaries (FBBA, BG, ABH), pp. 515–520.
SAC-2010-DollerSKTD #image #retrieval: Standardized interoperable image retrieval (MD, FS, HK, RT, JD), pp. 880–886.
SAC-2010-HallwylHH: A standard-driven implementaion of WS-BPEL 2.0 (TH, FH, TTH), pp. 2472–2476.
CASE-2010-SudarsanSNSLLK #framework #metric #summary: Sustainable Manufacturing: Metrics, Standards, and Infrastructure — Workshop summary (RS, RDS, AN, PS, JL, KWL, SJK), pp. 144–149.
DATE-2010-ChenLTL #design #power management: Power gating design for standard-cell-like structured ASICs (SYC, RBL, HHT, KWL), pp. 514–519.
DATE-2010-Eul #communication #difference: Wireless communication — successful differentiation on standard technology by innovation (HE), p. 2.
DATE-2010-Moezzi-MadaniTD #detection #flexibility: A low-area flexible MIMO detector for WiFi/WiMAX standards (NMM, TT, WRD), pp. 1633–1636.
DATE-2010-PakerEB #algorithm #architecture #low cost #multi: A low cost multi-standard near-optimal soft-output sphere decoder: Algorithm and architecture (ÖP, SE, AB), pp. 1402–1407.
HPDC-2010-GaustadFBE #development: The development of QC standards for ARM data products (KG, CF, SB, BE), pp. 548–553.
ICST-2010-Panesar-WalawegeSBC #concept #modelling #safety: Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard (RKPW, MS, LCB, TC), pp. 335–344.
ECDL-2009-SarnowskiK #tool support: Building Standardized Digital Collections: ResCarta Tools, a Demo (JS, SK), pp. 475–476.
JCDL-2009-MarshallRZ #assessment #education #library #recommendation #self: Dimensional standard alignment in K-12 digital libraries: assessment of self-found vs. recommended curriculum (BM, RFR, MZ), pp. 11–14.
ITiCSE-2009-BrindaPS #education: Bridging ICT and CS: educational standards for computer science in lower secondary education (TB, HP, CS), pp. 288–292.
ITiCSE-2009-MegiasTBS #distance #education: Free technology academy: a European initiative for distance education about free software and open standards (DM, WT, LB, FS), pp. 70–74.
SIGITE-2009-Subramaniam: Emergence of information technology skill standards: the case of NWCET initiative (MMS), pp. 215–220.
MSR-2009-BoogerdM: Evaluating the relation between coding standard violations and faultswithin and across software versions (CB, LM), pp. 41–50.
HCD-2009-MarcusGS #maturity #usability #validation: Validating a Standardized Usability/User-Experience Maturity Model: A Progress Report (AM, RG, RS), pp. 104–109.
HCI-AUII-2009-LeeJ #smarttech: Standardization for Smart Clothing Technology (KL, YGJ), pp. 768–777.
HCI-VAD-2009-KennyPR #interactive: Human Computer Interaction in Virtual Standardized Patient Systems (PGK, TDP, AAR), pp. 514–523.
HCI-VAD-2009-KiefferGMBWKM #towards: Towards Standardized Pen-Based Annotation of Breast Cancer Findings (SK, AG, RM, CVB, JFDW, FK, BM), pp. 524–533.
HIMI-II-2009-MacedoI #identification: Patient Standardization Identification as a Healthcare Issue (MM, PTI), pp. 566–575.
CAiSE-2009-GaillyP #modelling #ontology #using: Using the REA Ontology to Create Interoperability between E-Collaboration Modeling Standards (FG, GP), pp. 395–409.
CAiSE-2009-Haller #concept #implementation #migration #towards: Towards the Industrialization of Data Migration: Concepts and Patterns for Standard Software Implementation Projects (KH), pp. 63–78.
ICEIS-AIDSS-2009-TinelliCRNSD #semantics #sql: I.M.P.A.K.T.: An Innovative Semantic-based Skill Management System Exploiting Standard SQL (ET, AC, MR, TDN, EDS, FMD), pp. 224–229.
KDD-2009-GuoZGZS #semantics: Address standardization with latent semantic association (HG, HZ, ZG, XZ, ZS), pp. 1155–1164.
SAC-2009-ReinkeHNGLL #network #protocol #transaction: Integrating standardized transaction protocols in service-oriented wireless sensor networks (CR, NH, JN, SG, VL, ML), pp. 2202–2203.
CASE-2009-FiorentiniSRS #towards: Towards a method for harmonizing information standards (XF, RS, SR, RDS), pp. 466–471.
CASE-2009-Ray #lessons learnt: Healthcare interoperability — lessons learned from the manufacturing standards sector (SRR), pp. 88–89.
CASE-2009-SriramL #automation: The role of standards in healthcare automation (RDS, BL), pp. 79–82.
CASE-2009-SudarsanSS #industrial #metric: Metrics, standards and industry best practices for sustainable manufacturing systems (RS, RDS, PS), pp. 472–477.
DAC-2009-ShengXM #algorithm #fault #multi #optimisation #search-based: Soft error optimization of standard cell circuits based on gate sizing and multi-objective genetic algorithm (WS, LX, ZM), pp. 502–507.
DATE-2009-BobbaZPAM #design #logic #synthesis: Design of compact imperfection-immune CNFET layouts for standard-cell-based logic synthesis (SB, JZ, AP, DA, GDM), pp. 616–621.
DATE-2009-LarcherBGIBG #configuration management: A MEMS reconfigurable quad-band Class-E Power Amplifier for GSM standard (LL, RB, MG, JI, MB, AG), pp. 364–368.
ISMM-2009-BoehmS #c++ #garbage collection: Garbage collection in the next C++ standard (HJB, MS), pp. 30–38.
ECSA-2008-LosavioMR #analysis #quality #web #web service: Web Services Domain Analysis Based on Quality Standards (FL, AM, RR), pp. 354–358.
JCDL-2008-ReitsmaMDC #education: Exploring educational standard alignment: in search of “relevance” (RFR, BM, MD, MNC), pp. 57–65.
VLDB-2008-JainMSGWBCCTZ #sql #streaming #towards: Towards a streaming SQL standard (NJ, SM, AS, JG, JW, HB, UÇ, MC, RT, SBZ), pp. 1379–1390.
ICSM-2008-BoogerdM #empirical: Assessing the value of coding standards: An empirical study (CB, LM), pp. 277–286.
ICSM-2008-SartipiY: Standard-based data and service interoperability in eHealth systems (KS, MHY), pp. 187–196.
DLT-2008-BucciLL #morphism #on the: On a Generalization of Standard Episturmian Morphisms (MB, AdL, ADL), pp. 158–169.
EDOC-2008-Berre #metamodelling #named #uml: UPMS — UML Profile and Metamodel for Services — an Emerging Standard (AJB).
ICEIS-DISI-2008-NebelingRS #content management #migration #repository: Migration between Content Management Systems — Exploiting the JSR-170 Content Repository Standard (MN, GR, LS), pp. 240–245.
ICEIS-SAIC-2008-VallejoCAG #communication #e-commerce #protocol: Integrating a Standard Communication Protocol into an E-Commerce Environment Based on Intelligent Agents (DV, JJCS, JA, CGM), pp. 55–60.
KR-2008-Balbiani #analysis #reasoning #representation: Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis (PB), pp. 695–704.
RecSys-2008-Santos #adaptation #lifecycle #recommendation: A recommender system to provide adaptive and inclusive standard-based support along the elearning life cycle (OCS), pp. 319–322.
SEKE-2008-DasguptaEFKSV #design #fault tolerance #grid #using: Design of a Fault-tolerant Job-flow Manager for Grid Environments Using Standard Technologies, Job-flow Patterns, and a Transparent Proxy (GD, OE, LF, SK, SMS, BV), pp. 814–819.
SIGIR-2008-WebberMZ #comparison #retrieval: Score standardization for inter-collection comparison of retrieval systems (WW, AM, JZ), pp. 51–58.
SPLC-2008-HaugenMOOS #domain-specific language #variability: Adding Standardized Variability to Domain Specific Languages (ØH, BMP, JO, GKO, AS), pp. 139–148.
ICSE-2008-BunyakiatiFSC #testing #uml #using: Using JULE to generate a compliance test suite for the UML standard (PB, AF, JS, CC), pp. 827–830.
SAC-2008-PirkelbauerPMS #c++ #concept #library #runtime: Runtime concepts for the C₊₊ standard template library (PP, SP, MM, BS), pp. 171–177.
DAC-2008-GoelV #analysis #modelling #statistics: Statistical waveform and current source based standard cell models for accurate timing analysis (AG, SBKV), pp. 227–230.
DAC-2008-PaikS #multi #optimisation: Multiobjective optimization of sleep vector for zigzag power-gated circuits in standard cell elements (SP, YS), pp. 600–605.
DAC-2008-SavolainenR #design #interface #mobile #performance: Standard interfaces in mobile terminals: increasing the efficiency of device design and accelerating innovation (RS, TR), p. 592.
DATE-2008-BadelGIMVGL #design #difference: A Generic Standard Cell Design Methodology for Differential Circuit Styles (SB, EG, OI, APM, PV, FKG, YL), pp. 843–848.
DATE-2008-DongZ #integration #logic #synthesis: Logic Synthesis with Nanowire Crossbar: Reality Check and Standard Cell-based Integration (MD, LZ), pp. 268–271.
DATE-2008-FrankWESN #analysis #architecture #design #evaluation #tool support: Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures (EF, RW, RE, ALSV, MDN), pp. 659–663.
DATE-2008-GoelV #analysis: Current source based standard cell model for accurate signal integrity and timing analysis (AG, SBKV), pp. 574–579.
DATE-2008-KruijtzerWKSEMHAPV #industrial #integration: Industrial IP Integration Flows based on IP-XACT Standards (WK, PvdW, EAdK, JS, WE, AM, SH, CA, SdP, EV), pp. 32–37.
DATE-2008-MorgadoRR #configuration management #multi: A Triple-Mode Reconfigurable Sigma-Delta Modulator for Multi-Standard Wireless Applications (AM, RdR, JMdlR), pp. 862–867.
DATE-2008-ScheerSB #complexity #reduction: CARbridge, Reduction of System Complexity by Standardisation of the System-Basis-Chips for Automotive Applications (PS, ES, SB), pp. 1107–1110.
PPoPP-2008-LiDGK #specification: Formal specification of the MPI-2.0 standard in TLA+ (GL, MD, GG, RMK), pp. 283–284.
DocEng-2007-Giannetti #multi: A multi-format variable data template wrapper extending podis PPML-T standard (FG), pp. 37–43.
JCDL-2007-DiekemaYBHL #metadata: Standards alignment for metadata assignment (AD, OY, JB, SH, EDL), pp. 398–399.
JCDL-2007-MarshallRC #education #question #semantics: Standards or semantics for curriculum search? (BM, RFR, MNC), pp. 181–182.
CSEET-2007-ShoemakerDIM #assurance #comparison: A Comparison of the Software Assurance Common Body of Knowledge to Common Curricular Standards (DS, AD, JAI, NRM), pp. 149–156.
CSEET-2007-ThayerM #re-engineering #student: IEEE Software Engineering Standards: A Student’s Version (RHT, ADM), pp. 229–236.
SIGITE-2007-Patterson #video: Color/font/text size: developing standards for video podcast (LJP), pp. 273–274.
SCAM-2007-BinderHM #bytecode #java #re-engineering #runtime: Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation (WB, JH, PM), pp. 91–100.
DLT-2007-SciortinoZ #automaton #word: Suffix Automata and Standard Sturmian Words (MS, LQZ), pp. 382–398.
LATA-2007-BaturoR #word: Occurrence and Lexicographic Properties of Standard Sturmian Words (PB, WR), pp. 79–90.
AGTIVE-2007-Kurtev #model transformation #qvt #state of the art #transformation language: State of the Art of QVT: A Model Transformation Language Standard (IK), pp. 377–393.
HCI-IDU-2007-BevanS #guidelines #question #usability #web: Are Guidelines and Standards for Web Usability Comprehensive? (NB, LS), pp. 407–419.
HCI-MIE-2007-SimeoniEGPRMT #concept #interactive: Innovative TV: From an Old Standard to a New Concept of Interactive TV — An Italian Job (RS, LE, EG, MP, AR, RM, FT), pp. 971–980.
CAiSE-2007-SedlmayrRGRMM #automation: Automating Standard Operating Procedures in Intensive Care (MS, TR, TG, RR, MM, AMB), pp. 516–530.
ICEIS-DISI-2007-ChristianssonS #open data #problem: Problems with non-open data standards in swedish municipals — when integrating and adopting systems (BC, FS), pp. 264–267.
ICEIS-EIS-2007-Demigha #ontology #requirements: An Ontology Supporting the Daily Practice Requirements of Radiologists-Senologists with the Standard BI-Rads (SD), pp. 243–249.
ICEIS-EIS-2007-LincolnKW #framework #ontology #process: A Framework for Ontological Standardization of Business Process Content (ML, RK, AW), pp. 257–263.
ICEIS-HCI-2007-CasalinoDM #quality: A Quality Management Training System on ISO Standards for Enhancing Competitiveness of SMEs (NC, AD, LM), pp. 229–235.
ECIR-2007-CasanovaQB #comparison #multi #retrieval: Overall Comparison at the Standard Levels of Recall of Multiple Retrieval Methods with the Friedman Test (JMC, MAPQ, AB), pp. 682–685.
SEKE-2007-Gomez-PerezRV #reuse: Methodology for Reusing Human Resources Management Standards (AGP, JR, BVT), pp. 280–285.
ECMDA-FA-2007-BrorkensK #abstraction #legacy #metamodelling #tool support #xml: Improving the Interoperability of Automotive Tools by Raising the Abstraction from Legacy XML Formats to Standardized Metamodels (MB, MK), pp. 59–67.
POPL-2007-LeeCH #ml #towards: Towards a mechanized metatheory of standard ML (DKL, KC, RH), pp. 173–184.
POPL-2007-SiskindP: First-class nonstandard interpretations by opening closures (JMS, BAP), pp. 71–76.
LDTA-J-2005-Iversen #compilation #ml: An action compiler targeting Standard ML (JI), pp. 79–94.
CASE-2007-WuMZ: Compatibility of Queueing Theory, Manufacturing Systems and SEMI Standards (KW, LFM, BZ), pp. 501–506.
DATE-2007-BrackALKWLRRF #complexity #generative: Low complexity LDPC code decoders for next generation standards (TB, MA, TLE, FK, NW, NEL, FR, MR, LF), pp. 331–336.
DATE-2007-GrassmannRS #architecture #multi #physics: Mapping the physical layer of radio standards to multiprocessor architectures (CG, MR, MS), pp. 1412–1417.
DATE-2007-LinLTL #design #library: Double-via-driven standard cell library design (TYL, THL, HHT, RBL), pp. 1212–1217.
PPoPP-2007-PutzeSS #library #manycore #named: MCSTL: the multi-core standard template library (FP, PS, JS), pp. 144–145.
SOSP-2007-KrohnYBCKKM #abstraction #data flow: Information flow control for standard OS abstractions (MNK, AY, MZB, NC, MFK, EK, RM), pp. 321–334.
QoSA-2006-Grunske #component #evaluation #integration #safety #towards: Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM (LG), pp. 199–213.
DocEng-2006-GormishS #documentation #editing #image #using: Standards based high resolution Document editing using low resolution proxy images (MJG, ELS), p. 33.
ECDL-2006-SutterNW #evaluation #library #metadata: Evaluation of Metadata Standards in the Context of Digital Audio-Visual Libraries (RDS, SN, RVdW), pp. 220–231.
HT-2006-Al-KhalifaD #evolution #metadata #semantics: The evolution of metadata from standards to semantics in E-learning applications (HSAK, HCD), pp. 69–72.
JCDL-2006-GoldsmithK #metadata #repository #roadmap: Looking back, looking forward: a metadata standard for LANL’s aDORe repository (BG, FK), pp. 272–273.
CIAA-2006-CortesMR #automaton #on the #probability: On the Computation of Some Standard Distances Between Probabilistic Automata (CC, MM, AR), pp. 137–149.
CHI-2006-AhlstromAH #comparison #interactive: Improving menu interaction: a comparison of standard, force enhanced and jumping menus (DA, RA, MH), pp. 1067–1076.
CSCW-2006-Bossen #health: Representations at work: a national standard for electronic health records (CB), pp. 69–78.
CAiSE-2006-OuyangDBH #modelling #process: Translating Standard Process Models to BPEL (CO, MD, SB, AHMtH), pp. 417–432.
ICPR-v2-2006-junling #distance #metric #multi #recognition: Multi-order Standard Deviation Based Distance Metrics and its Application in Handwritten Chinese Character Recognition (Rj), pp. 1114–1117.
ICPR-v4-2006-ShibuyaU #image #mobile #self #using: Self-Localization of a Mobile Robot Using Compressed Image Data of Average and Standard Deviation (NS, KU), pp. 614–617.
ECMDA-FA-2006-AmelunxenKRS #framework #graph transformation #metamodelling #named: MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations (CA, AK, TR, AS), pp. 361–375.
SAC-2006-MorimotoSGC #security #specification #verification: A security specification verification technique based on the international standard ISO/IEC 15408 (SM, SS, YG, JC), pp. 1802–1803.
DAC-2006-CaoDH: Standard cell characterization considering lithography induced variations (KC, SD, JH), pp. 801–804.
DAC-2006-EeckelaertSGSS #design #optimisation: Hierarchical bottom--up analog optimization methodology validated by a delta-sigma A/D converter design for the 802.11a/b/g standard (TE, RS, GGEG, MS, WMCS), pp. 25–30.
DAC-2006-HosseiniPCUGB #design #question #verification: Building a standard ESL design and verification methodology: is it just a dream? (AH, AP, HTC, PU, EFG, SB), pp. 370–371.
DAC-2006-KimSKE #design #physics #power management: Physical design methodology of power gating circuits for standard-cell-based design (HOK, YS, HK, IE), pp. 109–112.
DAC-2006-ShahGK #library #optimisation #reduction: Standard cell library optimization for leakage reduction (SS, PG, ABK), pp. 983–986.
DATE-2006-MatulaM #algorithm #float #formal method #generative #performance #traversal #verification: A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division (DWM, LDM), pp. 1134–1138.
DATE-DF-2006-IaconoZMPSB #architecture #multi: ASIP architecture for multi-standard wireless terminals (DLI, JZ, EM, NP, GS, AB), pp. 118–123.
HPDC-2006-GrimshawKMM #grid #integration #legacy #named #summary: Summary: Integration of Legacy Grid Systems with Emerging Grid Standards (ASG, WK, DM, MMM), pp. 337–338.
CSL-2006-CortierRZ: Relating Two Standard Notions of Secrecy (VC, MR, EZ), pp. 303–318.
ICLP-2006-SzaboS #prolog: Improving the ISO Prolog Standard by Analyzing Compliance Test Results (PS, PS), pp. 257–269.
JCDL-2005-BainbridgeW #library: Practical digital library interoperability standards (DB, IHW), p. 426.
JCDL-2005-BartoloR #library: International scientific data, standards, & digital libraries (LMB, JRRJ), p. 428.
JCDL-2005-BekaertLS05a #design #development #library #using: Using standards in digital library design & development (JB, XL, HVdS), p. 423.
JCDL-2005-DiekemaC #automation #education #library: Experimenting with the automatic assignment of educational standards to digital library content (AD, JC), pp. 223–224.
JCDL-2005-Murray #metadata #towards: Toward a metadata standard for digitized historical newspapers (RLM), pp. 330–331.
SIGITE-2005-LiP #education #effectiveness #programming: Effectively teaching coding standards in programming (XL, CP), pp. 239–244.
IFM-2005-SalaunS #algebra #hardware #process: Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (GS, WS), pp. 287–306.
SFM-2005-AcquavivaBL #power management: Dynamic Power Management Strategies Within the IEEE 802.11 Standard (AA, EB, EL), pp. 190–214.
CHI-2005-SauroK #metric #usability: A method to standardize usability metrics into a single score (JS, EK), pp. 401–409.
ICEIS-v3-2005-HafnerBB #architecture #security #web #web service #workflow: A Security Architecture for Inter-Organizational Workflows: Putting Security Standards for Web Services Together (MH, RB, MB), pp. 128–135.
ICEIS-v4-2005-OmarATK #framework #self #web #web service: A Software Framework for Open Standard Self-Managing Sensor Overlay for Web Services (WMO, BA, ATB, YK), pp. 72–81.
SEKE-2005-PilattiPA #development #framework: Global Software Development: Standardization of the Developing Phase based on the MSF Framework in a global CMM level 3 context (LP, RP, JLNA), pp. 235–240.
ECMDA-FA-2005-OldevikNGAB #model-to-text #towards: Toward Standardised Model to Text Transformations (JO, TN, RG, JØA, AJB), pp. 239–253.
AdaEurope-2005-MartinezH #communication #named #protocol #realtime: RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet (JMM, MGH), pp. 180–195.
SAC-2005-Bettelli #xml: The employment of XML standards in electronic judicial proceedings (AVB), pp. 297–301.
LDTA-2005-Iversen #compilation #ml: An Action Compiler Targeting Standard ML (JI), pp. 167–188.
DATE-2005-BougardCDCD #energy #modelling #network #performance: Energy Efficiency of the IEEE 802.15.4 Standard in Dense Wireless Microsensor Networks: Modeling and Improvement Perspectives (BB, FC, DCD, AC, WD), pp. 196–201.
DATE-2005-ContiM #analysis: System Level Analysis of the Bluetooth Standard (MC, DM), pp. 118–123.
ECDL-2004-Holmstrom #paradigm #policy #privacy: Managing a Paradigm Shift — Aligning Management, Privacy Policy, Technology and Standards (JH), pp. 442–451.
SFM-2004-Selic #on the #semantics #uml: On the Semantic Foundations of Standard UML 2.0 (BS), pp. 181–199.
FLOPS-2004-BuenoLH #abstract interpretation #analysis #multi: Multivariant Non-failure Analysis via Standard Abstract Interpretation (FB, PLG, MVH), pp. 100–116.
CAiSE-2004-MunozO #adaptation #development #metadata #ontology #using: Adaptive Web-Based Courseware Development Using Metadata Standards and Ontologies (LSM, JPMdO), pp. 414–428.
CAiSE-2004-Soderstrom #lifecycle: Formulating a General Standards Life Cycle (ES), pp. 263–275.
ICEIS-v3-2004-MacedoST #information management #perspective #process: Information Systems Support for Manufacturing Processes — The Standard S95 Perspective (PM, PS, JMT), pp. 552–555.
ICEIS-v3-2004-PicaultBDPT #architecture #information management #specification: Specifying Information System Architectures with DASIBAO — A Standard Based Method (AP, PB, JLD, JP, BT), pp. 254–264.
ICEIS-v4-2004-HampelHB #integration #web #web service: Heterogeneous Integration of Services into an Open, Standardized Web Service — A Web service-Based CSCW/L System (TH, JH, TB), pp. 182–189.
OOPSLA-2004-FactorSS #approach #library #object-oriented: Instrumentation of standard libraries in object-oriented languages: the twin class hierarchy approach (MF, AS, KS), pp. 288–300.
SAC-2004-IoannidisSSPHM #using #xml: Using XML and related standards to support Location Based Services (AI, MS, PS, GP, SH, LFM), pp. 1629–1633.
DAC-2004-YoshidaDB #estimation: Accurate pre-layout estimation of standard cell characteristics (HY, KD, VB), pp. 208–211.
DATE-v2-2004-SunterOCJBEBB #testing: Status of IEEE Testability Standards 1149.4, 1532 and 1149.6 (SKS, AO, AC, NJ, DB, BE, CB, BB), pp. 1184–1191.
IJCAR-2004-TurhanK #named: Sonic — Non-standard Inferences Go OilEd (AYT, CK), pp. 321–325.
ICDAR-2003-MuramatsuKSA #evaluation #flexibility #recognition #using: Improvement of Matching and Evaluation in Handwritten Numeral Recognition Using Flexible Standard Patterns (HM, TK, TS, KA), pp. 273–277.
JCDL-2003-GoncalvesPRKFJC #analysis #deployment #evolution #library #xml: The XML Log Standard for Digital Libraries: Analysis, Evolution, and Deployment (MAG, GP, UR, AK, EAF, FJ, LNC), pp. 312–314.
VLDB-2003-Baumann #scalability #web: Large-Scale, Standards-Based Earth Observation Imagery and Web Mapping Services (PB), pp. 1141–1144.
AGTIVE-2003-AssmannL #graph grammar #tool support: Integrating Graph Rewriting and Standard Software Tools (UA, JL), pp. 134–148.
ICML-2003-YamadaSYT #data-driven #database #induction: Decision-tree Induction from Time-series Data Based on a Standard-example Split Test (YY, ES, HY, KT), pp. 840–847.
AdaEurope-2003-FranchM #ada #library #quality: A Quality Model for the Ada Standard Container Library (XF, JM), pp. 283–296.
AdaEurope-2003-Thom #ada #uml: The Standard UML-Ada Profile (FT), pp. 394–404.
SIGAda-2003-MarcoF #ada #design #framework #implementation #library: A framework for designing and implementing the Ada standard container library (JM, XF), pp. 49–61.
SAC-2003-Wainer #hardware #interactive #using #visualisation: Interactive Computation and Visualization of Fetch Using Standard Computer Graphics Hardware (MW), pp. 961–965.
DATE-2003-CarbognaniLICB #modelling #precise #using #verification: Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard (FC, CKL, CNI, AC, PB), pp. 20088–20094.
DATE-2003-LoKWH #design #identification: A Custom-Cell Identification Method for High-Performance Mixed Standard/Custom-Cell Designs (JYLL, WAK, ACHW, TH), pp. 11102–11103.
CADE-2003-RiazanovV #performance #relational #retrieval: Efficient Instance Retrieval with Standard and Relational Path Indexing (AR, AV), pp. 380–396.
CBSE-2002-MorenoHW #component #empirical #modelling #predict #statistics #towards: Statistical Models for Empirical Component Properties and Assembly-Level Property Predictions: Toward Standard Labeling (GM, SH, KW), p. 10.
ECDL-2002-GoncalvesLSAF #analysis #library #xml: An XML Log Standard and Tool for Digital Library Logging Analysis (MAG, ML, RS, MFA, EAF), pp. 129–143.
VLDB-2002-Nori #architecture: eBusiness Standards and Architectures (AN).
DLT-2002-BassinoCN #word: The Average Lengths of the Factors of the Standard Factorization of Lyndon Words (FB, JC, CN), pp. 307–318.
CSCW-2002-DavisSL: Generalizing operational transformation to the standard general markup language (AHD, CS, JL), pp. 58–67.
ICEIS-2002-CheungCD #design #process: Supporting Engineering Design Process with an Intelligent Compliance Agent: A Way to Ensure a Standard Complied Process (LYCC, PWHC, RD), pp. 341–349.
ICEIS-2002-KelkarLS #modelling #towards #xml: Towards Extended Price Models in XML Standards for Electronic Product Catalogs (OK, JL, VS), pp. 937–945.
Ada-2002-Thom #ada #exclamation #integration #modelling #programming language #uml #using: Conformity! A Practical Integration of Standards — A Case for using the Unified Modelling Language (UML) with the Ada Programming Language (FT), pp. 29–36.
AdaEurope-2002-MinguetGC #ada: An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard (AEM, AGF, AC), pp. 321–333.
SAC-2002-PollockC: Fitting standard software to non-standard organisations (NP, JC), pp. 721–725.
SAC-2002-Soderstrom: Standardising the business vocabulary of standards (ES), pp. 1048–1052.
SAC-2002-SohnKCLKL #development: Development of a standard format for eBooks (WSS, SKK, YCC, KHL, SHK, SBL), pp. 535–540.
DATE-2002-Selic #realtime #uml: The Real-Time UML Standard: Definition and Application (BS), pp. 770–772.
LCTES-SCOPES-2002-WakabayashiT #adaptation #approach #debugging #evaluation #interface #specification: Standardization approach of ITRON debugging interface specification and evaluation of its adaptability (TW, HT), pp. 65–74.
SAT-2002-Kullmann #adaptation #branch #database #encryption #normalisation #random #satisfiability #towards #using: Towards an adaptive density based branching rule for SAT solvers, using a database for mixed random conjunctive normal forms built upon the Advanced Encryption Standard (AES) (OK), p. 8.
WCRE-2001-FerencSHKG #c #c++ #towards: Towards a Standard Schema for C/C++ (RF, SES, RCH, RK, TG), pp. 49–58.
FLOPS-J2-1998-AbramovG01 #semantics: From Standard to Non-Standard Semantics by Semantics Modifiers (SMA, RG), pp. 171–211.
ICFP-2001-DimockWMTW #ml #type safety: Functioning without Closure: Type-Safe Customized Function Representations for Standard ML (AD, IW, RM, FAT, JBW), pp. 14–25.
ICFP-2001-Russo #ml #recursion: Recursive Structures for Standard ML (CVR), pp. 50–61.
ICEIS-v2-2001-FairchildV #e-commerce: Coding Standards Benefiting Product and Service Information in E-Commerce (AMF, BdV), pp. 991–995.
TOOLS-USA-2001-HeSH #multi #refinement #requirements: Extensions of Standard Z Refinement Relation for Multiple Viewpoints Oriented Requirements Method (YH, QS, QH), pp. 253–262.
GCSE-2001-Lopez-HerrejonB #problem #product line: A Standard Problem for Evaluating Product-Line Methodologies (RELH, DSB), pp. 10–24.
SAC-2001-ChongS #web: Creating and shareing web notes via a standard browser (NSTC, MS), pp. 99–104.
SAC-2001-LawrenceB #database #relational #taxonomy #using: Integrating relational database schemas using a standardized dictionary (RL, KB), pp. 225–230.
DAC-2001-SanieCHM #design: A Practical Application of Full-Feature Alternating Phase-Shifting Technology for a Phase-Aware Standard-Cell Design Flow (MS, MC, PH, VM), pp. 93–96.
DATE-2001-YeungHMMZ #integration #question #what: Standard bus vs. bus wrapper: what is the best solution for future SoC integration? (CY, AH, GM, JM, JZ), pp. 776–777.
PDP-2001-Talia #automaton #implementation #parallel: Implementing Standard and Nonstandard Parallel Cellular Automata in CARPET (DT), pp. 243–249.
CSEET-2000-Byrne #re-engineering #student: Standards-Based Software Engineering Student Textbook (ERB), pp. 233–236.
WCRE-2000-HoltWS #named #towards: GXL: Toward a Standard Exchange Format (RCH, AW, AS), pp. 162–171.
RTA-2000-JoachimskiM #confluence #λ-calculus: Standardization and Confluence for a λ Calculus with Generalized Applications (FJ, RM), pp. 141–155.
ICEIS-2000-MartinLMRM #integration #modelling #network: Integration of Expert System Rules into Standardized Object Description Models for Telecommunication Network Management (SM, CL, MM, MCR, AVM), pp. 171–175.
TOOLS-USA-2000-Dedene00a #cobol #object-oriented: Critical Issues in the Proposed ISO Object-Oriented COBOL 2002 Standard (GD), pp. 491–500.
SAC-2000-Nunez-SuarezOB #validation: Validating the FIPA Standards Through a Real-World Application (JNS, DO, HB), pp. 557–562.
SAC-2000-TemmeF #composition #fuzzy: Fix-Mundis for Fuzzy IF-THEN Rule Bases with Standard Compositional Rule of Inference Interpretation (KHT, MF), pp. 529–533.
DATE-2000-LennardSJHH #design #question: Standards for System-Level Design: Practical Reality or Solution in Search of a Question? (CKL, PS, GGdJ, AH, PH), pp. 576–583.
ESOP-2000-Russo #ml: First-Class Structures for Standard ML (CVR), pp. 336–350.
WRLA-2000-KulasB #logic #prolog: Defining Standard Prolog in Rewriting Logic (MK, CB), pp. 158–174.
CSL-2000-Yavorsky #logic #on the #proving: On the Logic of the Standard Proof Predicate (REY), pp. 527–541.
WICSA-1999-MedvidovicR #architecture #design #modelling: Assessing the Suitability of a Standard Design Method for Modeling Software Architectures (NM, DSR), pp. 161–182.
DL-1999-Besser #distributed #metadata #repository: The Making of America II: Structural and Administrative Metadata Standards for Distributed Repositories (HB), p. 216.
HT-1999-DavisMRBGNSWA #hypermedia: Interoperability between Hypermedia Systems: The Standardisation Work of the OHSWG (HCD, DEM, SR, NOB, KG, PJN, LS, UKW, KMA), pp. 201–202.
ITiCSE-1999-Taylor #education #implementation #student: Implementing national educational technology standards for student in the United States (HGT), p. 200.
CSMR-1999-PoloPRC #maintenance #named: MANTEMA: A Complete Rigorous Methodology for Supporting Maintenance Based On The ISO/IEC 12207 Standard (MP, MP, FR, CC), pp. 178–181.
FM-v1-1999-MoninK #algorithm #consistency #correctness #proving: Correctness Proof of the Standardized Algorithm for ABR Conformance (JFM, FK), pp. 662–681.
CHI-1999-DouglasKM #assessment #performance #testing: Testing Pointing Device Performance and User Assessment with the ISO 9241, Part 9 Standard (SAD, AEK, ISM), pp. 215–222.
HCI-CCAD-1999-Ziegler99a #multi #user interface: Standards for multimedia user interfaces — opportunities and issues (JZ0), pp. 858–862.
AdaEurope-1999-Mermet #design #specification: System on Chip Specification and Design Languages Standardization (JM), pp. 371–384.
PPDP-1999-Russo #dependent type #ml: Non-dependent Types for Standard ML Modules (CVR), pp. 80–97.
SAC-1999-SauderL #development #user interface #web: The Express Web Server: A User Interface for Standards Development (DAS, JL), pp. 610–615.
DAC-1999-KapadiaH #automation #clustering #convergence #design #using: Using Partitioning to Help Convergence in the Standard-Cell Design Automation Methodology (HK, MH), pp. 592–597.
PPoPP-1999-TauraTY #named #thread: StackThreads/MP: Integrating Futures into Calling Standards (KT, KT, AY), pp. 60–71.
DL-1998-RutledgeOHB #hypermedia #tool support: Practical Application of Existing Hypermedia Standards and Tools (LR, JvO, LH, DCAB), pp. 191–199.
ECDL-1998-Hunter #metadata #video: The Application of Metadata Standards to Video Indexing (JH), pp. 135–156.
FLOPS-1998-AbramovG #approach #programming language #semantics: Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages (SMA, RG), pp. 247–270.
ICFP-1998-BentonKR #compilation #java #ml: Compiling Standard ML to Java Bytecodes (NB, AK, GR), pp. 129–140.
UML-1998-BezivinM #modelling #named #uml: UML: The Birth and Rise of a Standard Modeling Notation (JB, PAM), pp. 1–8.
ASE-1998-McDonaldHS #library #testing: Programmatic Testing of the Standard Template Library Containers (JM, DH, PAS), pp. 147–156.
FSE-1998-AllenG #analysis #component #formal method #integration #modelling: Formal Modeling and Analysis of the HLA Component Integration Standard (RA, DG), pp. 70–79.
ICSE-1998-RobbinsMR #architecture #design: Integrating Architecture Description Languages with a Standard Design Method (JER, NM, DFR), pp. 209–218.
DAC-1998-IenneG #case study #design #experience #question #tool support: Practical Experiences with Standard-Cell Based Datapath Design Tools: Do We Really Need Regular Layouts? (PI, AG), pp. 396–401.
DATE-1998-Rosenstiel #design #industrial #verification: Formal Verification: A New Standard CAD Tool for the Industrial Design Flow (WR), p. 422.
DATE-1998-Vygen #algorithm: Algorithms for Detailed Placement of Standard Cells (JV), pp. 321–324.
CADE-1998-FleuriotP #analysis #geometry #proving #theorem proving: A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton’s Principia (JDF, LCP), pp. 3–16.
CSMR-1997-MullerG #case study #experience #tool support #using: Planning Year 2000 transformations using standard tools: an experience report (BM, RG), pp. 94–100.
WPC-1997-RajlichC #comprehension #towards: Towards Standard for Experiments in Program Comprehension (VR, GSC), pp. 160–161.
ICSM-2000-MullerWS #framework #using: Wrapping coarse-grained objects using standard infrastructure technology (HAM, KW, MADS), p. 301.
HCI-CC-1997-Bergman #human-computer: The Role of Accessibility in HCI Standards (EB), pp. 441–444.
HCI-CC-1997-Blanchard #how #human-computer #interactive #question #what: International Standards on Human-Computer Interaction: What is Out There and How Will it be Implemented? (HEB), pp. 599–602.
HCI-CC-1997-Marcus97a #design #interface: International User-Interface Standards for Information Superhighways: Some Design Issues (AM), pp. 189–192.
HCI-CC-1997-StephanidisAZF #user interface: User Interface Accessibility: A Retrospective of Current Standardisation Efforts (CS, DA, JZ, KPF), pp. 469–472.
HCI-SEC-1997-FahnrichK #design #multi #user interface: ISO 14915: A Standard on Multimedia User Interface Design (KPF, FK), pp. 691–694.
PLILP-1997-WhittleBL #editing #ml: An Editor for Helping Novices to Learn Standard ML (JW, AB, HL), pp. 389–405.
ICSE-1997-SullivanSM #architecture #formal method #using: Using Formal Methods to Reason about Architectural Standards (KJS, JS, MM), pp. 503–513.
DAC-1997-BaltusVADM #concurrent #generative #library: Developing a Concurrent Methodology for Standard-Cell Library Generation (DGB, TV, RCA, JD, TGM), pp. 333–336.
DAC-1997-ForzanFG #megamodelling #performance: Accurate and Efficient Macromodel of Submicron Digital Standard Cells (CF, BF, CG), pp. 633–637.
DAC-1997-GuruswamyMDRCFJ #automation #layout #library #named #synthesis: CELLERITY: A Fully Automatic Layout Synthesis System for Standard Cell Libraries (MG, RLM, DD, SR, VC, AF, LGJ), pp. 327–332.
EDTC-1997-TsengS #multi #using: A gridless multi-layer router for standard cell circuits using CTM cells (HPT, CS), pp. 319–326.
ICALP-1996-Luca #morphism #on the: On Standard Sturmian Morphisms (AdL), pp. 403–415.
AFP-1996-Lee96 #implementation #ml #thread: Implementing Threads in Standard ML (PL), pp. 115–130.
AFP-1996-Tofte96 #ml: Essentials of Standard ML Modules (MT), pp. 208–238.
ALP-1996-KhasidashviliG #normalisation: Discrete Normalization and Standardization in Deterministic Residual Structures (ZK, JRWG), pp. 135–149.
ALP-1996-Suzuki #revisited #theorem: Standardization Theorem Revisited (TS), pp. 122–134.
PLDI-1996-ReppyR #ml: Simple Objects for Standard ML (JHR, JGR), pp. 171–180.
ICRE-1996-LeathrumL #approach #formal method #requirements #testing: A formal approach to requirements based testing in open systems standards (JFL, KAL), pp. 94–101.
ICSE-1996-Plattner #development: A Standard Software Application Development: SAP R/3 (HP), p. 320.
ICSE-1996-WatanabeS #adaptation #generative #operating system #testing: A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards (AW, KS), pp. 81–89.
SAC-1996-FordHPT #network #repository #tool support: Linking specialized network data repositories to standard access tools (RF, GH, VP, DT), pp. 219–223.
DAC-1996-SahmMPSS #development: VDHL Development System and Coding Standard (HS, CM, JP, JS, SS), pp. 777–782.
ESOP-1996-BuenoGHP #analysis #prolog #source code: Global Analysis of Standard Prolog Programs (FB, DCG, MVH, GP), pp. 108–124.
SIGMOD-1995-MattosM #overview #sql: An Overview of the Emerging Third-Generation SQL Standard (NMM, JM), p. 468.
TLCA-1995-RitterP #ml #λ-calculus: A Fully Abstract Translation between a λ-Calculus with Reference Types and Standard ML (ER, AMP), pp. 397–413.
CAiSE-1995-RauhS #normalisation: Standard Transformations for the Normalization of ER Schemata (OR, ES), pp. 313–326.
ICML-1995-BalujaC #algorithm #search-based: Removing the Genetics from the Standard Genetic Algorithm (SB, RC), pp. 38–46.
PLDI-1995-ShaoA #compilation #ml #type system: A Type-Based Compiler for Standard ML (ZS, AWA), pp. 116–129.
DAC-1995-FabbroFCG #modelling #probability #worst-case: An Assigned Probability Technique to Derive Realistic Worst-Case Timing Models of Digital Standard Cells (ADF, BF, LC, CG), pp. 702–706.
DAC-1995-SwartzS #scalability: Timing Driven Placement for Large Standard Cell Circuits (WS, CS), pp. 211–215.
SIGMOD-1994-Cattell #named #object-oriented: ODMG-93: A Standard for Object-Oriented DBMSs (RGGC), p. 480.
LFP-1994-BiagioniHLM #ml #network #protocol #stack: Signatures for a Network Protocol Stack: A Systems Application of Standard ML (EB, RH, PL, BM), pp. 55–64.
LFP-1994-StefanovicM #behaviour #ml: Characterization of Object Behaviour in Standard ML of New Jersey (DS, JEBM), pp. 43–54.
KR-1994-DuboisP94a #information management #nondeterminism #reasoning #representation: Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning (DD, HP), pp. 634–645.
OOPSLA-1994-MonarchiBHJMRW #question: Methodology Standards: Help or Hindrance? (DEM, GB, BHS, IJ, SJM, JER, RWB), pp. 223–228.
ALP-1994-BidoitH #behaviour #first-order #logic #proving #theorem: Proving Behavioural Theorems with Standard First-Order Logic (MB, RH), pp. 41–58.
PEPM-1994-BirkedalW #analysis #ml: Binding-Time Analysis for Standard ML (LB, MW), pp. 61–71.
PLDI-1994-AppelM #compilation #ml: Separate Compilation for Standard ML (AWA, DBM), pp. 13–23.
SAS-1994-Yi #detection #exception #ml #source code: Compile-time Detection of Uncaught Exceptions in Standard ML Programs (KY), pp. 238–254.
ICRE-1994-DorfmanBGHMSSW #requirements: Requirements engineering standardization (MD, ERB, SMG, RMH, LM, BS, TS, SW), pp. 57–63.
ICRE-1994-ReizerAMP #formal method #requirements #specification #using: Using formal methods for requirements specification of a proposed POSIX standard (NRR, GDA, BCM, PRHP), pp. 118–125.
ICSE-1994-DeshmukhDLL #case study #experience #testing: The Role of Testing Methodologies in Open Systems Standards: A POSIX Experience Report (GD, RD, JFL, KAL), pp. 233–240.
DAC-1994-Murphy: Partnering with EDA Vendors: Tips, Techniques, and the Role of Standards (SM), pp. 131–134.
EDAC-1994-HaberlK #interface #maintenance: Self Testable Boards with Standard IEEE 1149.5 Module Test and Maintenance (MTM) Bus Interface (OFH, TK), pp. 220–225.
EDAC-1994-Vitsyn #process: The Russian EDA Standards Activities (NMV), p. 654.
STOC-1994-MuthukrishnanP #algorithm #complexity #string: Non-standard stringology: algorithms and complexity (SM, KVP), pp. 770–779.
ICDAR-1993-DoriHGH #automation #documentation #metric: Radiographs as medical documents: automating standard measurements (DD, AIH, GG, RMH), pp. 553–556.
ICDAR-1993-PhillipsCH #database #documentation: CD-ROM document database standard (ITP, SSC, RMH), pp. 478–483.
CSM-1993-Bohner #maintenance: Standards Effecting Software Maintenance (SAB), p. 102.
CSM-1993-Caldiera #maintenance #what: Standards for Software Maintenance — What We Have and What We Need (GC), p. 103.
CSM-1993-Schneidewind #quality: Report on the IEEE Standard for a Software Quality Memcs Methodology (NFS), pp. 104–106.
CSM-1993-Slovin #maintenance #question: Software Maintenance Standards? (MS), p. 107.
CSM-1993-Winston: Impact of the ISO 9000 Standard Series (ABW), pp. 231–232.
RTA-1993-Matthews #equation #ml #named #reasoning: MERILL: An Equational Reasoning System in Standard ML (BM), pp. 441–445.
TOOLS-EUROPE-1993-Howard #approach #eiffel: Associated Paper: The NICE Approach to Eiffel Standardization (RH), p. 273.
TOOLS-EUROPE-1993-Soley: Associated Paper: The OMG Role in Norms and Standards (RMS), pp. 275–276.
TOOLS-USA-1993-Berg-Cross #coordination #development #tool support: Leveraging Productivity with a Standard Environment and Coordinated Tools for O-O Development (GBC), pp. 489–495.
TOOLS-USA-1993-Maurer #object-oriented #process: Standardization Activities in Object-Oriented Technology (JM), pp. 487–488.
AdaEurope-1993-KettaniC #ada #realtime #towards: Toward a Secondary Standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35 (NK, VC), pp. 330–351.
AdaEurope-1993-Mathis #ada: Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status (RFM), pp. 1–12.
ICRE-1993-Bartsch-SporlR #german #prototype: Prototyping mit Standard-Anwendunges-Software (BBS, HR), pp. 67–78.
HPDC-1993-VarmaSB #evaluation #performance: Performance Evaluation of a High-Speed Switching System Based on the Fibre Channel Standard (AV, VS, RB), pp. 144–151.
PDP-1993-DaugerasBC #algebra #linear: Static computation of standard linear algebra subroutines for PTAH (ED, JLB, FC), pp. 30–34.
PPoPP-1993-MorrisettT #framework #ml #multi #platform: Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey (JGM, APT), pp. 198–207.
CHI-1992-SchrierWMPSWW #human-computer: HCI Standards on Trial: You be the Jury (JRS, ELW, KSM, LAP, PFS, AMW, JRW), pp. 635–638.
TRI-Ada-C-1992-StevensonEHJSS #ada: The Army Sustaining Base APP: An Example of Standards Engineering for Ada (JTS, DEE, JPH, BJJ, MES, MCS), pp. 432–438.
CADE-1992-Voronkov #logic #proving #theorem proving: Theorem Proving in Non-Standard Logics Based on the Inverse Method (AV), pp. 648–662.
LICS-1992-GonthierLM #theorem: An abstract standardisation theorem (GG, JJL, PAM), pp. 72–81.
SIGMOD-1991-Thompson #distributed #question: Are Standards the Panacea for Heterogeneous Distributed DBMSs? (CT), p. 446.
VDME-1991-ParkinO #specification: Specification of the MAA Standard in VDM (GIP, GO), pp. 526–544.
CHI-1991-ThovtrupN #usability #user interface: Assessing the usability of a user interface standard (HT, JN), pp. 335–341.
TOOLS-USA-1991-Horstmann #c++ #design #library: Design Considerations for a Standard C++ Container Class Library (CSH), pp. 327–338.
PLILP-1991-AppelM #ml: Standard ML of New Jersey (AWA, DBM), pp. 1–13.
POPL-1991-MitchellMM #inheritance #ml #type system: An Extension of Standard ML Modules with Subtyping and Inheritance (JCM, SM, NM), pp. 270–278.
RE-1991-Hruschka #analysis #german: Structured Analysis auf dem Weg zum De-facte-Standard (PH), pp. 1–13.
DAC-1991-ChengDK #design #generative #robust #synthesis #testing: Robust Delay-Fault Test Generation and Synthesis for Testability Under A Standard Scan Design Methodology (KTC, SD, KK), pp. 80–86.
CCPSD-1991-BolognesiLZ #specification: Non-standard Interpretations of LOTOS Specifications (TB, DL, EZ), pp. 217–234.
ICLP-1991-Scowen #overview #problem #prolog: An Overview of Prolog Standardization — Progress, Problems and Solutions (RSS), pp. 922–936.
IWPTS-1991-Berghe #consistency #overview #specification #tool support: Overview of the Standardisation of Conformance Test Specifications and Tools: European Work, Contribution to ISO/CCITT and Worldwide Harmonisation (FvdB), pp. 297–310.
IWPTS-1991-DamKK: Text Derivation for Standardised Test Methods (HvD, HK, EK), pp. 69–82.
IWPTS-1991-Hogrefe #consistency #development #on the #testing: On the Development of a Standard for Conformance Testing Based on Formal Specifictations (DH), pp. 59–66.
IWPTS-1991-Rayner: Status Report on ISO/IEC 9646 Standardization and Extension (DR), pp. 47–58.
LFP-1990-TolmachA #debugging #ml #reverse engineering: Debugging Standard ML Without Reverse Engineering (APT, AWA), pp. 1–12.
DAC-1990-CongPL #algorithm #design #modelling: General Models and Algorithms for Over-the-Cell Routing in Standard Cell Design (JC, BP, CLL), pp. 709–715.
DAC-1990-EdahiroY #algorithm: New Placement and Global Routing Algorithms for Standard Cell Layouts (ME, TY), pp. 642–645.
DAC-1990-KlingB #evolution #optimisation: Optimization by Simulated Evolution with Applications to Standard Cell Placement (RMK, PB), pp. 20–25.
DAC-1990-LinMK #design #optimisation: Delay and Area Optimization in Standard-Cell Design (SL, MMS, ESK), pp. 349–352.
DAC-1990-UptonSS #design #metaprogramming: Integrated Placement for Mixed Macro Cell and Standard Cell Designs (MU, KS, SS), pp. 32–35.
DAC-1989-Karatsu #design: VLSI Design Language Standardization Effort in Japan (OK), pp. 50–55.
DAC-1989-SargentB #algorithm #fault #parallel: A Parallel Row-based Algorithm for Standard Cell Placement with Integrated Error Control (JSS, PB), pp. 590–593.
DAC-1989-YasuuraI #design #hardware #semantics: Semantics of a Hardware Design Language for Japanese Standardization (HY, NI), pp. 836–839.
SIGMOD-1988-Naeymi-RadCTGWE #database #design #knowledge base #multi #relational: A Relational Database Design in Support of Standard Medical Terminology in Multi-domain Knowledge Bases (FNR, LAC, DAT, CG, MHW, MWE), p. 203.
VDME-1988-Arthan #compilation #ml #prototype: Compiler Prototyping with VDM and Standard ML (RDA), pp. 101–115.
VDME-1988-BorzyszkowskiS #architecture #comprehension #documentation: Understanding an informal Description: Office Documents Architecture, an ISO Standard (AMB, SS), pp. 48–63.
VDME-1988-Ruggles #towards: Towards a Formal Definition of GKS and other Graphic Standards (CR), pp. 64–73.
VDME-1988-Ruggles88a #formal method: Formal Methods in Standards — A Report from the BCS Working Group (CR), pp. 79–85.
LFP-1988-MacQueen #implementation #ml: An Implementation of Standard ML Modules (DBM), pp. 212–223.
LFP-1988-SwansonKL #implementation #lisp: An Implementation of Portable Standard LISP on the BBN Butterfly (MRS, RRK, GL), pp. 132–142.
ALP-1988-Pasztor #logic #recursion #semantics #source code: Nonstandard Logics of Recursive Programs and Denotational Semantics (AP), pp. 255–278.
DAC-1988-Coelho #named: VHDL: A Call for Standards (DRC), pp. 40–47.
DAC-1988-Dunlop #generative #question: Will Cell Generation Displace Standard Cells? (AED), p. 528.
DAC-1988-MallelaG #clustering: Clustering Based Simulated Annealing for Standard Cell Placement (SM, LKG), pp. 312–317.
DAC-1988-Rose #named #parallel: LocusRoute: A Parallel Global Router for Standard Cells (JR), pp. 189–195.
CADE-1988-McRobbieMT #automation #knowledge-based #logic #performance #proving #theorem proving #towards: Towards Efficient “Knowledge-Based” Automated Theorem Proving for Non-Standard Logics (MAM, RKM, PBT), pp. 197–217.
FPCA-1987-AppelM #compilation #ml: A Standard ML compiler (AWA, DBM), pp. 301–324.
DAC-1987-ApteK #layout: Strip Layout: A New Layout Methodology for Standard Circuit Modules (JA, GK), pp. 363–369.
DAC-1987-Chi #automation #clustering: An Automatic Rectilinear Partitioning Procedure for Standard Cells (MCC), pp. 50–55.
DAC-1987-Grover #using: Standard Cell Placement Using Simulated Sintering (LKG), pp. 56–59.
DAC-1987-JonesB #algorithm #parallel #performance: Performance of a Parallel Algorithm for Standard Cell Placement on the Intel Hypercube (MJ, PB), pp. 807–813.
DAC-1987-KlingB #evolution #named #using: ESP: A New Standard Cell Placement Package Using Simulated Evolution (RMK, PB), pp. 60–66.
DAC-1987-OConnell #automation #design #integration: Design Automation Standards Need Integration (LO), p. 562.
DAC-1987-Pachter #automation #design: Design Automation Standards — Perspectives from a Down-the-Road End User (RJP), pp. 563–564.
DAC-1987-Waxman #automation #design: The Design Automation Standards Environment (RW), pp. 559–561.
CFLP-1987-Clement #ml #semantics: The Natural Dynamic Semantics of Mini-Standard ML (DC), pp. 67–81.
LFP-1986-Padgeta #lisp: Desiderata for the Standardization of LISP (JAP), pp. 54–66.
DAC-1986-Hartoog #analysis #layout: Analysis of placement procedures for VLSI standard cell layout (MRH), pp. 314–319.
DAC-1986-JustKJ #layout #on the #problem: On the relative placement and the transportation problem for standard-cell layout (KMJ, JMK, FMJ), pp. 308–313.
DAC-1986-SechenS: TimberWolf3.2: a new standard cell placement and global routing package (CS, ALSV), pp. 432–439.
LICS-1986-MakowskyS #equivalence #higher-order #on the #semantics #verification: On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems (JAM, IS), pp. 293–300.
ICALP-1985-Hortala-GonzalezR #hoare #logic #nondeterminism #source code #theorem: Hoare’s Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem (MTHG, MRA), pp. 270–280.
POPL-1985-SannellaT #development #ml #specification: Program Specification and Development in Standard ML (DS, AT), pp. 67–77.
DAC-1985-HsuTCPT #layout #named: ALPS2: a standard cell layout system for double-layer metal technology (CPH, BNT, KC, RAP, JT), pp. 443–448.
DAC-1985-LowensteinW: Importance of standards (AL, GW), pp. 88–93.
DAC-1985-TeraiHK #array #metaprogramming: A routing procedure for mixed array of custom macros and standard cells (HT, MH, TK), pp. 503–508.
LFP-1984-MacQueen #ml: Modules for Standard ML (DBM), pp. 198–207.
LFP-1984-Milner #ml: A Proposal for Standard ML (RM), pp. 184–197.
DAC-1984-Lieberherr #hardware #towards: Towards a standard hardware description language (KJL), pp. 265–272.
DAC-1984-Richard: A standard cell initial placement strategy (BDR), pp. 392–398.
DAC-1983-Supowit #layout: Reducing channel density in standard cell layout (KJS), pp. 263–269.
VLDB-1980-Brodie80a #approach #database #relational: Standardization and the Relational Approach to Databases: An ANSI Task Group Status Report (MLB), pp. 326–327.
VLDB-1980-DeutschC: DBMS Standards: Current Status and Future Directions (DRD, EKC), pp. 431–433.
DAC-1980-CoxC #array #automation: The Standard Transistor Array (star) (Part II automatic cell placement techniques) (GWC, BDC), pp. 451–457.
DAC-1980-GouldE #array #design: The standard transistor array (STAR): Part I A two-layer metal semicustom design system (JMG, TME), pp. 108–113.
DAC-1980-KarpovskyS #component #detection #fault: Detecting bridging and stuck-at faults at input and output pins of standard digital components (MGK, SYHS), pp. 494–505.
SDCG-1980-RaskovskyC #implementation #semantics: From standard to implementation denotational semantics (MRR, PAC), pp. 94–139.
VLDB-1977-Sibley #database: Standardization and Database Systems (EHS), pp. 144–155.
DAC-1977-KollerL #design: The siemens-avesta-system for computer-aided design of MOS-standard cell circuits (KWK, UL), pp. 153–157.
DIPL-1976-Goodenough #optimisation: The need for optimization standards (JBG), pp. 335–344.
SIGMOD-1975-Steel #database: Data Base Standardization — A Status Report (TBSJ), pp. 149–156.
POPL-1973-Beech #on the #pl-i: On the Definitional Method of Standard PL/1 (DB), pp. 87–94.
DAC-1973-Mitchell: A standard test language — GOAL (Ground Operations Aerospace Language) (TRM), pp. 87–96.
SIGFIDET-1970-Bleier: Data Definition Standardization (REB), pp. 68–86.