BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
cell (63)
base (56)
design (45)
system (44)
ml (31)

Stem standard$ (all stems)

421 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.