Stem standard$ (all stems)

421 papers:

QoSA-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.

CASE-2015-LuMF #standard

Standards landscape and directions for smart manufacturing systems (YL, KCM, SF), pp. 998–1005.

CASE-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.

DATE-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.

DATE-2015-LuLJLHCL #standard

Simultaneous transistor pairing and placement for CMOS standard cells (AL, HJL, EJJ, YPL, CHH, CCC, RBL), pp. 1647–1652.

STOC-2015-GorbunovVW #standard

Leveled Fully Homomorphic Signatures from Standard Lattices (SG, VV, DW), pp. 469–477.

CHI-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.

CHI-2015-JacksonB #development #interactive #protocol #standard

Standards and/as Innovation: Protocols, Creativity, and Interactive Systems Development in Ecology (SJJ, SB), pp. 1769–1778.

CSCW-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.

ICEIS-v1-2015-NevesFGNAV #perspective #standard

International Standard ISO 9001 an Artificial Intelligence View (JN, AF, GG, MN, AA, HV), pp. 421–428.

SEKE-2015-PereiraSA #interface #sql #standard

Endowing NoSQL DBMS with SQL Features Through Standard Call Level Interfaces (ÓMP, DS, RLA), pp. 201–207.

MoDELS-2015-AliY #formal method #standard #testing

Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard (SA, TY), pp. 396–405.

MoDELS-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.

SAC-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.

HPCA-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.

TLCA-2015-GuerrieriPR #call-by #standard #λ-calculus

Standardization of a Call-By-Value λ-Calculus (GG, LP, SRDR), pp. 211–225.

CASE-2014-LasotaRS #industrial #interactive #standard #towards

Toward safe close-proximity human-robot interaction with standard industrial robots (PAL, GFR, JAS), pp. 339–344.

CASE-2014-WolffNLM #classification #lifecycle #standard

An information classification system for life cycle and manufacturing standards (SW, AN, DL, KCM), pp. 498–503.

DAC-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.

DAC-2014-StoermerT #functional #interface #mockup #standard #using

Powertrain Co-Simulation using AUTOSAR and the Functional Mockup Interface standard (CS, GT), p. 1.

DATE-2014-DuW #optimisation #process #standard

Optimization of standard cell based detailed placement for 16 nm FinFET process (YD, MDFW), pp. 1–6.

DATE-2014-FabrieEVG #design #library #standard #variability

Standard cell library tuning for variability tolerant designs (SF, JDE, MV, JPdG), pp. 1–6.

DATE-2014-KiamehrFET #design #library #standard

Aging-aware standard cell library design (SK, FF, ME, MBT), pp. 1–4.

DATE-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.

HT-2014-KowaldLT #benchmark #framework #metric #named #recommendation #standard #towards

TagRec: towards a standardized tag recommender benchmarking framework (DK, EL, CT), pp. 305–307.

FASE-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.

WRLA-2014-ZhangCO #framework #semantics #standard #𝕂

A Formal Semantics of the OSEK/VDX Standard in 𝕂 Framework and Its Applications (MZ, YC, KO), pp. 280–296.

ICSME-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.

FM-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.

DUXU-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.

HIMI-DE-2014-KochJ #standard

Computerized Information Standards Enabling Innovation in Public Procurement of Buildings (CK, KJ), pp. 373–383.

ICML-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.

KEOD-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.

KEOD-2014-TongphuS #logic #standard

A Non-standard Instance Checking for the Description Logic ELH (ST, BS), pp. 67–74.

SIGIR-2014-GolbusA #difference #modelling #on the #retrieval #standard

On the information difference between standard retrieval models (PBG, JAA), pp. 1135–1138.

POPL-2014-AccattoliBKL #standard #theorem

A nonstandard standardization theorem (BA, EB, DK, CL), pp. 659–670.

SAC-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.

SPLC-2014-NobauerSG #standard #variability

Inferring variability from customized standard software products (MN, NS, IG), pp. 284–293.

DAC-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.

DATE-2013-MurugappaBJ #multi #standard

Parameterized area-efficient multi-standard turbo decoder (PM, AB, MJ), pp. 109–114.

SIGMOD-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.

DUXU-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.

HCI-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.

HIMI-D-2013-Remy #in the cloud #simulation #standard

Quantifying the Impact of Standards When Hosting Robotic Simulations in the Cloud (SLR), pp. 365–374.

HIMI-D-2013-Zempo #effectiveness #modelling #standard #usability

Effective Practice of HCD by Usability Modeling and Standardization (HZ), pp. 393–399.

HIMI-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.

ICEIS-v1-2013-OliveiraB #approach #modelling #novel #process #standard

ETL Standard Processes Modelling — A Novel BPMN Approach (BCdSO, OB), pp. 120–127.

ICEIS-v2-2013-JridiL #adaptation #semantics #standard #web

Adapting RosettaNet B2B Standard to Semantic Web Technologies (JEJ, GL), pp. 443–450.

MoDELS-2013-VaraP #metamodelling #named #safety #standard

SafetyMet: A Metamodel for Safety Standards (JLdlV, RKPW), pp. 69–86.

MoDELS-2013-VaraP #metamodelling #named #safety #standard

SafetyMet: A Metamodel for Safety Standards (JLdlV, RKPW), pp. 69–86.

DAC-2012-GuoK #concurrent #detection #encryption #fault #standard

Invariance-based concurrent error detection for advanced encryption standard (XG, RK), pp. 573–578.

DAC-2012-LiuAHG #standard

Standard cell sizing for subthreshold operation (BL, MA, JH, JPdG), pp. 962–967.

DAC-2012-RyzhenkoB #satisfiability #standard

Standard cell routing via boolean satisfiability (NR, SB), pp. 603–612.

DATE-2012-BesteT #analysis #robust #standard

Layout-Driven Robustness Analysis for misaligned Carbon Nanotubes in CNTFET-based standard cells (MB, MBT), pp. 1609–1614.

ITiCSE-2012-StephensonCOG #standard

The new CSTA K-12 computer science standards (CS, SC, BBO, JGE), pp. 363–364.

CSMR-2012-EspinhaCZG #case study #maintenance #research #standard #towards

Maintenance Research in SOA — Towards a Standard Case Study (TE, CC, AZ, HGG), pp. 391–396.

TOOLS-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.

SAC-2012-HeinrichG #standard #web

Data binding for standard-based web applications (MH, MG), pp. 652–657.

SAC-2012-TinelliCSD #automation #compilation #composition #sql #standard

Knowledge compilation for automated Team Composition exploiting standard SQL (ET, SC, EDS, FMD), pp. 1680–1685.

DAC-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.

DAC-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.

DAC-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.

DATE-2011-MadaniTCCD #detection #energy #standard

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 #standard

Formalizing and Operationalizing Industrial Standards (DD, LS, ES), pp. 81–95.

STOC-2011-Pass #security #standard

Limits of provable security from standard assumptions (RP), pp. 109–118.

ICFP-2011-OhoriU #database #ml #programming language #standard

Making standard ML a practical database programming language (AO, KU), pp. 307–319.

DUXU-v1-2011-BevanR #question #standard #usability

ISO 20282: Is a Practical Standard for the Usability of Consumer Products Possible? (NB, SR), pp. 119–127.

DUXU-v1-2011-Kreichgauer #standard

ISO Standards for Standard Software: Accountability, Customer Expectations and Reality (UK), pp. 148–153.

DUXU-v1-2011-Lutsch #enterprise #perspective #standard #usability

ISO Usability Standards and Enterprise Software: A Management Perspective (CL), pp. 154–161.

DUXU-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.

HCD-2011-TheofanosS #development #lifecycle #standard #usability

Usability Standards across the Development Lifecycle (MFT, BS), pp. 130–137.

HCI-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.

HIMI-v2-2011-PohlML #hybrid #learning #standard

Transforming a Standard Lecture into a Hybrid Learning Scenario (HMP, JTM, JL), pp. 55–61.

SIGAda-2011-Brosgol #named #safety #standard

Do-178c: the next avionics safety standard (BMB), pp. 5–6.

SIGAda-2011-Rosen #ada #design #standard

Designing and checking coding standards for ada (JPR), pp. 13–14.

EDOC-2011-MelleriHM #analysis #modelling #standard #xml

Comparing Information Models in XML-based e-Business Standards — A Quantitative Analysis (IM, KH, JM), pp. 225–234.

EDOC-2011-Papazoglou #process #standard

Making Business Processes Compliant to Standards and Regulations (MPP), pp. 3–13.

ICEIS-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.

ICML-2011-BuffoniCGU #learning #standard

Learning Scoring Functions with Order-Preserving Losses and Standardized Supervision (DB, CC, PG, NU), pp. 825–832.

KEOD-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.

KMIS-2011-LunesuPC11a #approach #knowledge base #multi #standard #using

Using a Standards-based Approach for a Multimedia Knowledge-base (MIL, FEP, GC), pp. 87–95.

SIGIR-2011-CumminsJO #performance #predict #query #standard #using

Improved query performance prediction using standard deviation (RC, JMJ, CO), pp. 1089–1090.

MoDELS-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.

MoDELS-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.

RE-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.

CSL-2011-BeauxisM #network #semantics #standard

A Non-Standard Semantics for Kahn Networks in Continuous Time (RB, SM), pp. 35–50.

CASE-2010-SudarsanSNSLLK #framework #metric #standard #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 #standard

Power gating design for standard-cell-like structured ASICs (SYC, RBL, HHT, KWL), pp. 514–519.

DATE-2010-Eul #communication #difference #standard

Wireless communication — successful differentiation on standard technology by innovation (HE), p. 2.

DATE-2010-Moezzi-MadaniTD #detection #flexibility #standard

A low-area flexible MIMO detector for WiFi/WiMAX standards (NMM, TT, WRD), pp. 1633–1636.

DATE-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.

ITiCSE-2010-RosslingM #standard

An unusual CS 1 with high standards and confirming results (GR, MM), pp. 169–173.

FLOPS-2010-Saurin #standard #λ-calculus #μ-calculus

Standardization and Böhm Trees for λμ-Calculus (AS), pp. 134–149.

LATA-2010-Penaloza #reasoning #standard #using

Using Sums-of-Products for Non-standard Reasoning (RP), pp. 488–499.

CHI-2010-KelleyCBC #approach #online #privacy #standard

Standardizing privacy notices: an online study of the nutrition label approach (PGK, LC, JB, LFC), pp. 1573–1582.

ICEIS-DISI-2010-RezigM #standard #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 #standard

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 #standard #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 #standard #ubiquitous

Applying Fipa Standards Ontological Support to Intentional-MAS-Oriented Ubiquitous System (MS, CJPdL), pp. 114–121.

ICPR-2010-ChoudhuryM #standard #using

Color Constancy Using Standard Deviation of Color Channels (AC, GGM), pp. 1722–1726.

ICPR-2010-KothariFSPM #standard

Transfer of Supervision for Improved Address Standardization (GK, TAF, LVS, KHP, MKM), pp. 2178–2181.

SEKE-2010-AmarGH #generative #ontology #standard #towards

Towards Generation of Domain Ontology from LMF Standardized Dictionaries (FBBA, BG, ABH), pp. 515–520.

SAC-2010-DollerSKTD #image #retrieval #standard

Standardized interoperable image retrieval (MD, FS, HK, RT, JD), pp. 880–886.

SAC-2010-HallwylHH #standard

A standard-driven implementaion of WS-BPEL 2.0 (TH, FH, TTH), pp. 2472–2476.

HPDC-2010-GaustadFBE #development #standard

The development of QC standards for ARM data products (KG, CF, SB, BE), pp. 548–553.

ICST-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.

CASE-2009-FiorentiniSRS #standard #towards

Towards a method for harmonizing information standards (XF, RS, SR, RDS), pp. 466–471.

CASE-2009-Ray #lessons learnt #standard

Healthcare interoperability — lessons learned from the manufacturing standards sector (SRR), pp. 88–89.

CASE-2009-SriramL #automation #standard

The role of standards in healthcare automation (Extended abstract) (RDS, BL), pp. 79–82.

CASE-2009-SudarsanSS #industrial #metric #standard

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 #standard

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 #standard #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 #standard

A MEMS reconfigurable quad-band Class-E Power Amplifier for GSM standard (LL, RB, MG, JI, MB, AG), pp. 364–368.

ITiCSE-2009-BrindaPS #education #standard

Bridging ICT and CS: educational standards for computer science in lower secondary education (TB, HP, CS), pp. 288–292.

ITiCSE-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.

MSR-2009-BoogerdM #standard

Evaluating the relation between coding standard violations and faultswithin and across software versions (CB, LM), pp. 41–50.

HCD-2009-MarcusGS #maturity #standard #usability #validation

Validating a Standardized Usability/User-Experience Maturity Model: A Progress Report (AM, RG, RS), pp. 104–109.

HCI-AUII-2009-LeeJ #smarttech #standard

Standardization for Smart Clothing Technology (KL, YGJ), pp. 768–777.

HCI-VAD-2009-KennyPR #interactive #standard

Human Computer Interaction in Virtual Standardized Patient Systems (PGK, TDP, AAR), pp. 514–523.

HCI-VAD-2009-KiefferGMBWKM #standard #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 #standard

Patient Standardization Identification as a Healthcare Issue (MM, PTI), pp. 566–575.

CAiSE-2009-GaillyP #modelling #ontology #standard #using

Using the REA Ontology to Create Interoperability between E-Collaboration Modeling Standards (FG, GP), pp. 395–409.

CAiSE-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.

ICEIS-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.

KDD-2009-GuoZGZS #semantics #standard

Address standardization with latent semantic association (HG, HZ, ZG, XZ, ZS), pp. 1155–1164.

SAC-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.

ISMM-2009-BoehmS #c++ #garbage collection #standard

Garbage collection in the next C++ standard (HJB, MS), pp. 30–38.

ECSA-2008-LosavioMR #analysis #quality #standard #web #web service

Web Services Domain Analysis Based on Quality Standards (FL, AM, RR), pp. 354–358.

DAC-2008-GoelV #analysis #modelling #standard #statistics

Statistical waveform and current source based standard cell models for accurate timing analysis (AG, SBKV), pp. 227–230.

DAC-2008-PaikS #multi #optimisation #standard

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

Standard interfaces in mobile terminals: increasing the efficiency of device design and accelerating innovation (RS, TR), p. 592.

DATE-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.

DATE-2008-DongZ #integration #logic #standard #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 #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.

DATE-2008-GoelV #analysis #standard

Current source based standard cell model for accurate signal integrity and timing analysis (AG, SBKV), pp. 574–579.

DATE-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.

DATE-2008-MorgadoRR #configuration management #multi #standard

A Triple-Mode Reconfigurable Sigma-Delta Modulator for Multi-Standard Wireless Applications (AM, RdR, JMdlR), pp. 862–867.

VLDB-2008-JainMSGWBCCTZ #sql #standard #streaming #towards

Towards a streaming SQL standard (NJ, SM, AS, JG, JW, HB, UÇ, MC, RT, SBZ), pp. 1379–1390.

ICSM-2008-BoogerdM #empirical #standard

Assessing the value of coding standards: An empirical study (CB, LM), pp. 277–286.

ICSM-2008-SartipiY #standard

Standard-based data and service interoperability in eHealth systems (KS, MHY), pp. 187–196.

DLT-2008-BucciLL #morphism #on the #standard

On a Generalization of Standard Episturmian Morphisms (MB, AdL, ADL), pp. 158–169.

EDOC-2008-Berre #metamodelling #named #standard #uml

UPMS — UML Profile and Metamodel for Services — an Emerging Standard (AJB).

ICEIS-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.

ICEIS-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.

KR-2008-Balbiani #analysis #reasoning #representation #standard

Time Representation and Temporal Reasoning from the Perspective of Non-Standard Analysis (PB), pp. 695–704.

RecSys-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.

SEKE-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.

SIGIR-2008-WebberMZ #comparison #retrieval #standard

Score standardization for inter-collection comparison of retrieval systems (WW, AM, JZ), pp. 51–58.

SAC-2008-PirkelbauerPMS #c++ #concept #library #runtime #standard

Runtime concepts for the C₊₊ standard template library (PP, SP, MM, BS), pp. 171–177.

ICSE-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.

SPLC-2008-HaugenMOOS #domain-specific language #standard #variability

Adding Standardized Variability to Domain Specific Languages (ØH, BMP, JO, GKO, AS), pp. 139–148.

PPoPP-2008-LiDGK #specification #standard

Formal specification of the MPI-2.0 standard in TLA+ (GL, MD, GG, RMK), pp. 283–284.

CASE-2007-WuMZ #standard

Compatibility of Queueing Theory, Manufacturing Systems and SEMI Standards (KW, LFM, BZ), pp. 501–506.

DATE-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.

DATE-2007-GrassmannRS #architecture #multi #physics #standard

Mapping the physical layer of radio standards to multiprocessor architectures (CG, MR, MS), pp. 1412–1417.

DATE-2007-LinLTL #design #library #standard

Double-via-driven standard cell library design (TYL, THL, HHT, RBL), pp. 1212–1217.

DocEng-2007-Giannetti #multi #standard

A multi-format variable data template wrapper extending podis PPML-T standard (FG), pp. 37–43.

CSEET-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.

CSEET-2007-ThayerM #re-engineering #standard #student

IEEE Software Engineering Standards: A Student’s Version (RHT, ADM), pp. 229–236.

SCAM-2007-BinderHM #bytecode #java #re-engineering #runtime #standard

Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation (WB, JH, PM), pp. 91–100.

DLT-2007-SciortinoZ #automaton #standard #word

Suffix Automata and Standard Sturmian Words (MS, LQZ), pp. 382–398.

LATA-2007-BaturoR #standard #word

Occurrence and Lexicographic Properties of Standard Sturmian Words (PB, WR), pp. 79–90.

AGTIVE-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.

HCI-IDU-2007-BevanS #guidelines #question #standard #usability #web

Are Guidelines and Standards for Web Usability Comprehensive? (NB, LS), pp. 407–419.

HCI-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.

CAiSE-2007-SedlmayrRGRMM #automation #standard

Automating Standard Operating Procedures in Intensive Care (MS, TR, TG, RR, MM, AMB), pp. 516–530.

ICEIS-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.

ICEIS-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.

ICEIS-EIS-2007-LincolnKW #framework #ontology #process #standard

A Framework for Ontological Standardization of Business Process Content (ML, RK, AW), pp. 257–263.

ICEIS-HCI-2007-CasalinoDM #quality #standard

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 #standard

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 #standard

Methodology for Reusing Human Resources Management Standards (AGP, JR, BVT), pp. 280–285.

ECMDA-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.

POPL-2007-LeeCH #ml #standard #towards

Towards a mechanized metatheory of standard ML (DKL, KC, RH), pp. 173–184.

LDTA-J-2005-Iversen #compilation #ml #standard

An action compiler targeting Standard ML (JI), pp. 79–94.

PPoPP-2007-PutzeSS #library #manycore #named #standard

MCSTL: the multi-core standard template library (FP, PS, JS), pp. 144–145.

SOSP-2007-KrohnYBCKKM #abstraction #data flow #standard

Information flow control for standard OS abstractions (MNK, AY, MZB, NC, MFK, EK, RM), pp. 321–334.

QoSA-2006-Grunske #component #evaluation #integration #safety #standard #towards

Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM (LG), pp. 199–213.

DAC-2006-CaoDH #standard

Standard cell characterization considering lithography induced variations (KC, SD, JH), pp. 801–804.

DAC-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.

DAC-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.

DAC-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.

DAC-2006-ShahGK #library #optimisation #reduction #standard

Standard cell library optimization for leakage reduction (SS, PG, ABK), pp. 983–986.

DATE-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.

DATE-DF-2006-IaconoZMPSB #architecture #multi #standard

ASIP architecture for multi-standard wireless terminals (DLI, JZ, EM, NP, GS, AB), pp. 118–123.

DocEng-2006-GormishS #documentation #editing #image #standard #using

Standards based high resolution Document editing using low resolution proxy images (MJG, ELS), p. 33.

HT-2006-Al-KhalifaD #evolution #metadata #semantics #standard

The evolution of metadata from standards to semantics in E-learning applications (HSAK, HCD), pp. 69–72.

CIAA-2006-CortesMR #automaton #on the #probability #standard

On the Computation of Some Standard Distances Between Probabilistic Automata (CC, MM, AR), pp. 137–149.

CHI-2006-AhlstromAH #comparison #interactive #standard

Improving menu interaction: a comparison of standard, force enhanced and jumping menus (DA, RA, MH), pp. 1067–1076.

CSCW-2006-Bossen #health #standard

Representations at work: a national standard for electronic health records (CB), pp. 69–78.

CAiSE-2006-OuyangDBH #modelling #process #standard

Translating Standard Process Models to BPEL (CO, MD, SB, AHMtH), pp. 417–432.

ICPR-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.

ICPR-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.

ECMDA-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.

SAC-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.

HPDC-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.

CSL-2006-CortierRZ #standard

Relating Two Standard Notions of Secrecy (VC, MR, EZ), pp. 303–318.

ICLP-2006-SzaboS #prolog #standard

Improving the ISO Prolog Standard by Analyzing Compliance Test Results (PS, PS), pp. 257–269.

DATE-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.

DATE-2005-ContiM #analysis #standard

System Level Analysis of the Bluetooth Standard (MC, DM), pp. 118–123.

IFM-2005-SalaunS #algebra #hardware #process #standard

Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (GS, WS), pp. 287–306.

SFM-2005-AcquavivaBL #power management #standard

Dynamic Power Management Strategies Within the IEEE 802.11 Standard (AA, EB, EL), pp. 190–214.

CHI-2005-SauroK #metric #standard #usability

A method to standardize usability metrics into a single score (JS, EK), pp. 401–409.

AdaEurope-2005-MartinezH #communication #named #protocol #realtime #standard

RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet (JMM, MGH), pp. 180–195.

ICEIS-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.

ICEIS-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.

SEKE-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.

SAC-2005-Bettelli #standard #xml

The employment of XML standards in electronic judicial proceedings (AVB), pp. 297–301.

LDTA-2005-Iversen #compilation #ml #standard

An Action Compiler Targeting Standard ML (JI), pp. 167–188.

DAC-2004-YoshidaDB #estimation #standard

Accurate pre-layout estimation of standard cell characteristics (HY, KD, VB), pp. 208–211.

DATE-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.

FLOPS-2004-BuenoLH #abstract interpretation #analysis #multi #standard

Multivariant Non-failure Analysis via Standard Abstract Interpretation (FB, PLG, MVH), pp. 100–116.

SFM-2004-Selic #on the #semantics #standard #uml

On the Semantic Foundations of Standard UML 2.0 (BS), pp. 181–199.

CAiSE-2004-MunozO #adaptation #development #metadata #ontology #standard #using

Adaptive Web-Based Courseware Development Using Metadata Standards and Ontologies (LSM, JPMdO), pp. 414–428.

CAiSE-2004-Soderstrom #lifecycle #standard

Formulating a General Standards Life Cycle (ES), pp. 263–275.

ICEIS-v3-2004-MacedoST #information management #perspective #process #standard

Information Systems Support for Manufacturing Processes — The Standard S95 Perspective (PM, PS, JMT), pp. 552–555.

ICEIS-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.

ICEIS-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.

OOPSLA-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.

SAC-2004-IoannidisSSPHM #standard #using #xml

Using XML and related standards to support Location Based Services (AI, MS, PS, GP, SH, LFM), pp. 1629–1633.

IJCAR-2004-TurhanK #named #standard

Sonic — Non-standard Inferences Go OilEd (AYT, CK), pp. 321–325.

DATE-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.

DATE-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.

ICDAR-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.

VLDB-2003-Baumann #scalability #standard #web

Large-Scale, Standards-Based Earth Observation Imagery and Web Mapping Services (PB), pp. 1141–1144.

AGTIVE-2003-AssmannL #graph grammar #standard #tool support

Integrating Graph Rewriting and Standard Software Tools (UA, JL), pp. 134–148.

AdaEurope-2003-FranchM #ada #library #quality #standard

A Quality Model for the Ada Standard Container Library (XF, JM), pp. 283–296.

AdaEurope-2003-Thom #ada #standard #uml

The Standard UML-Ada Profile (FT), pp. 394–404.

SIGAda-2003-MarcoF #ada #design #framework #implementation #library #standard

A framework for designing and implementing the Ada standard container library (JM, XF), pp. 49–61.

ICML-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.

SAC-2003-Wainer #hardware #interactive #standard #using #visualisation

Interactive Computation and Visualization of Fetch Using Standard Computer Graphics Hardware (MW), pp. 961–965.

CADE-2003-RiazanovV #performance #relational #retrieval #standard

Efficient Instance Retrieval with Standard and Relational Path Indexing (AR, AV), pp. 380–396.

CBSE-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.

DATE-2002-Selic #realtime #standard #uml

The Real-Time UML Standard: Definition and Application (BS), pp. 770–772.

VLDB-2002-Nori #architecture #standard

eBusiness Standards and Architectures (AN).

DLT-2002-BassinoCN #standard #word

The Average Lengths of the Factors of the Standard Factorization of Lyndon Words (FB, JC, CN), pp. 307–318.

CSCW-2002-DavisSL #standard

Generalizing operational transformation to the standard general markup language (AHD, CS, JL), pp. 58–67.

Ada-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.

AdaEurope-2002-MinguetGC #ada #standard

An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard (AEM, AGF, AC), pp. 321–333.

ICEIS-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.

ICEIS-2002-KelkarLS #modelling #standard #towards #xml

Towards Extended Price Models in XML Standards for Electronic Product Catalogs (OK, JL, VS), pp. 937–945.

SAC-2002-PollockC #standard

Fitting standard software to non-standard organisations (NP, JC), pp. 721–725.

SAC-2002-Soderstrom #standard

Standardising the business vocabulary of standards (ES), pp. 1048–1052.

SAC-2002-SohnKCLKL #development #standard

Development of a standard format for eBooks (WSS, SKK, YCC, KHL, SHK, SBL), pp. 535–540.

LCTES-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.

SAT-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.

DAC-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.

DATE-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.

WCRE-2001-FerencSHKG #c #c++ #standard #towards

Towards a Standard Schema for C/C++ (RF, SES, RCH, RK, TG), pp. 49–58.

FLOPS-J2-1998-AbramovG01 #semantics #standard

From Standard to Non-Standard Semantics by Semantics Modifiers (SMA, RG), pp. 171–211.

ICFP-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.

ICFP-2001-Russo #ml #recursion #standard

Recursive Structures for Standard ML (CVR), pp. 50–61.

ICEIS-v2-2001-FairchildV #e-commerce #standard

Coding Standards Benefiting Product and Service Information in E-Commerce (AMF, BdV), pp. 991–995.

TOOLS-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.

GCSE-2001-Lopez-HerrejonB #problem #product line #standard

A Standard Problem for Evaluating Product-Line Methodologies (RELH, DSB), pp. 10–24.

SAC-2001-ChongS #standard #web

Creating and shareing web notes via a standard browser (NSTC, MS), pp. 99–104.

SAC-2001-LawrenceB #database #relational #standard #taxonomy #using

Integrating relational database schemas using a standardized dictionary (RL, KB), pp. 225–230.

DATE-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.

CSEET-2000-Byrne #re-engineering #standard #student

Standards-Based Software Engineering Student Textbook (ERB), pp. 233–236.

ESOP-2000-Russo #ml #standard

First-Class Structures for Standard ML (CVR), pp. 336–350.

WRLA-2000-KulasB #logic #prolog #standard

Defining Standard Prolog in Rewriting Logic (MK, CB), pp. 158–174.

WCRE-2000-HoltWS #named #standard #towards

GXL: Toward a Standard Exchange Format (RCH, AW, AS), pp. 162–171.

ICEIS-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.

TOOLS-USA-2000-Dedene00a #cobol #object-oriented #standard

Critical Issues in the Proposed ISO Object-Oriented COBOL 2002 Standard (GD), pp. 491–500.

SAC-2000-Nunez-SuarezOB #standard #validation

Validating the FIPA Standards Through a Real-World Application (JNS, DO, HB), pp. 557–562.

SAC-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.

CSL-2000-Yavorsky #logic #on the #proving #standard

On the Logic of the Standard Proof Predicate (REY), pp. 527–541.

RTA-2000-JoachimskiM #confluence #standard #λ-calculus

Standardization and Confluence for a λ Calculus with Generalized Applications (FJ, RM), pp. 141–155.

WICSA-1999-MedvidovicR #architecture #design #modelling #standard

Assessing the Suitability of a Standard Design Method for Modeling Software Architectures (NM, DSR), pp. 161–182.

DAC-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.

ITiCSE-1999-Taylor #education #implementation #standard #student

Implementing national educational technology standards for student in the United States (HGT), p. 200.

CSMR-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.

FM-v1-1999-MoninK #algorithm #consistency #correctness #proving #standard

Correctness Proof of the Standardized Algorithm for ABR Conformance (JFM, FK), pp. 662–681.

CHI-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.

HCI-CCAD-1999-Ziegler99a #multi #standard #user interface

Standards for multimedia user interfaces — opportunities and issues (JZ0), pp. 858–862.

AdaEurope-1999-Mermet #design #specification #standard

System on Chip Specification and Design Languages Standardization (JM), pp. 371–384.

PPDP-1999-Russo #dependent type #ml #standard

Non-dependent Types for Standard ML Modules (CVR), pp. 80–97.

SAC-1999-SauderL #development #standard #user interface #web

The Express Web Server: A User Interface for Standards Development (DAS, JL), pp. 610–615.

PPoPP-1999-TauraTY #named #standard #thread

StackThreads/MP: Integrating Futures into Calling Standards (KT, KT, AY), pp. 60–71.

ASE-1998-McDonaldHS #library #standard #testing

Programmatic Testing of the Standard Template Library Containers (JM, DH, PAS), pp. 147–156.

DAC-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.

DATE-1998-Rosenstiel #design #industrial #standard #verification

Formal Verification: A New Standard CAD Tool for the Industrial Design Flow (WR), p. 422.

DATE-1998-Vygen #algorithm #standard

Algorithms for Detailed Placement of Standard Cells (JV), pp. 321–324.

FLOPS-1998-AbramovG #approach #programming language #semantics #standard

Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages (SMA, RG), pp. 247–270.

ICFP-1998-BentonKR #compilation #java #ml #standard

Compiling Standard ML to Java Bytecodes (NB, AK, GR), pp. 129–140.

UML-1998-BezivinM #modelling #named #standard #uml

UML: The Birth and Rise of a Standard Modeling Notation (JB, PAM), pp. 1–8.

FSE-1998-AllenG #analysis #component #formal method #integration #modelling #standard

Formal Modeling and Analysis of the HLA Component Integration Standard (RA, DG), pp. 70–79.

ICSE-1998-RobbinsMR #architecture #design #standard

Integrating Architecture Description Languages with a Standard Design Method (JER, NM, DFR), pp. 209–218.

DAC-1997-BaltusVADM #concurrent #generative #library #standard

Developing a Concurrent Methodology for Standard-Cell Library Generation (DGB, TV, RCA, JD, TGM), pp. 333–336.

DAC-1997-ForzanFG #megamodelling #performance #standard

Accurate and Efficient Macromodel of Submicron Digital Standard Cells (CF, BF, CG), pp. 633–637.

DAC-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.

EDTC-1997-TsengS #multi #standard #using

A gridless multi-layer router for standard cell circuits using CTM cells (HPT, CS), pp. 319–326.

CSMR-1997-MullerG #case study #experience #standard #tool support #using

Planning Year 2000 transformations using standard tools: an experience report (BM, RG), pp. 94–100.

WPC-1997-RajlichC #comprehension #standard #towards

Towards Standard for Experiments in Program Comprehension (VR, GSC), pp. 160–161.

ICSM-2000-MullerWS #framework #standard #using

Wrapping coarse-grained objects using standard infrastructure technology (HAM, KW, MADS), p. 301.

HCI-CC-1997-Bergman #human-computer #standard

The Role of Accessibility in HCI Standards (EB), pp. 441–444.

HCI-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.

HCI-CC-1997-Marcus97a #design #interface #standard

International User-Interface Standards for Information Superhighways: Some Design Issues (AM), pp. 189–192.

HCI-SEC-1997-FahnrichK #design #multi #standard #user interface

ISO 14915: A Standard on Multimedia User Interface Design (KPF, FK), pp. 691–694.

PLILP-1997-WhittleBL #editing #ml #standard

An Editor for Helping Novices to Learn Standard ML (JW, AB, HL), pp. 389–405.

ICSE-1997-SullivanSM #architecture #formal method #standard #using

Using Formal Methods to Reason about Architectural Standards (KJS, JS, MM), pp. 503–513.

DAC-1996-SahmMPSS #development #standard

VDHL Development System and Coding Standard (HS, CM, JP, JS, SS), pp. 777–782.

ESOP-1996-BuenoGHP #analysis #prolog #source code #standard

Global Analysis of Standard Prolog Programs (FB, DCG, MVH, GP), pp. 108–124.

PLDI-1996-ReppyR #ml #standard

Simple Objects for Standard ML (JHR, JGR), pp. 171–180.

ICALP-1996-Luca #morphism #on the #standard

On Standard Sturmian Morphisms (AdL), pp. 403–415.

AFP-1996-Lee96 #implementation #ml #standard #thread

Implementing Threads in Standard ML (PL), pp. 115–130.

AFP-1996-Tofte96 #ml #standard

Essentials of Standard ML Modules (MT), pp. 208–238.

ALP-1996-KhasidashviliG #normalisation #standard

Discrete Normalization and Standardization in Deterministic Residual Structures (ZK, JRWG), pp. 135–149.

ALP-1996-Suzuki #revisited #standard #theorem

Standardization Theorem Revisited (TS), pp. 122–134.

ICRE-1996-LeathrumL #approach #formal method #requirements #standard #testing

A formal approach to requirements based testing in open systems standards (JFL, KAL), pp. 94–101.

SAC-1996-FordHPT #network #repository #standard #tool support

Linking specialized network data repositories to standard access tools (RF, GH, VP, DT), pp. 219–223.

ICSE-1996-Plattner #development #standard

A Standard Software Application Development: SAP R/3 (Abstract) (HP), p. 320.

ICSE-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.

DAC-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.

DAC-1995-SwartzS #scalability #standard

Timing Driven Placement for Large Standard Cell Circuits (WS, CS), pp. 211–215.

SIGMOD-1995-MattosM #bibliography #sql #standard #tutorial

An Overview of the Emerging Third-Generation SQL Standard (Tutorial) (NMM, JM), p. 468.

PLDI-1995-ShaoA #compilation #ml #standard #type system

A Type-Based Compiler for Standard ML (ZS, AWA), pp. 116–129.

CAiSE-1995-RauhS #normalisation #standard

Standard Transformations for the Normalization of ER Schemata (OR, ES), pp. 313–326.

ICML-1995-BalujaC #algorithm #search-based #standard

Removing the Genetics from the Standard Genetic Algorithm (SB, RC), pp. 38–46.

TLCA-1995-RitterP #ml #standard #λ-calculus

A Fully Abstract Translation between a λ-Calculus with Reference Types and Standard ML (ER, AMP), pp. 397–413.

DAC-1994-Murphy #standard

Partnering with EDA Vendors: Tips, Techniques, and the Role of Standards (SM), pp. 131–134.

EDAC-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.

EDAC-1994-Vitsyn #process #standard

The Russian EDA Standards Activities (NMV), p. 654.

SIGMOD-1994-Cattell #named #object-oriented #standard

ODMG-93: A Standard for Object-Oriented DBMSs (RGGC), p. 480.

PEPM-1994-BirkedalW #analysis #ml #standard

Binding-Time Analysis for Standard ML (LB, MW), pp. 61–71.

PLDI-1994-AppelM #compilation #ml #standard

Separate Compilation for Standard ML (AWA, DBM), pp. 13–23.

SAS-1994-Yi #detection #exception #ml #source code #standard

Compile-time Detection of Uncaught Exceptions in Standard ML Programs (KY), pp. 238–254.

STOC-1994-MuthukrishnanP #algorithm #complexity #standard #string

Non-standard stringology: algorithms and complexity (SM, KVP), pp. 770–779.

LFP-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.

LFP-1994-StefanovicM #behaviour #ml #standard

Characterization of Object Behaviour in Standard ML of New Jersey (DS, JEBM), pp. 43–54.

KR-1994-DuboisP94a #information management #nondeterminism #reasoning #representation #standard

Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning (DD, HP), pp. 634–645.

OOPSLA-1994-MonarchiBHJMRW #question #standard

Methodology Standards: Help or Hindrance? (DEM, GB, BHS, IJ, SJM, JER, RWB), pp. 223–228.

ALP-1994-BidoitH #behaviour #first-order #logic #proving #standard #theorem

Proving Behavioural Theorems with Standard First-Order Logic (MB, RH), pp. 41–58.

ICRE-1994-DorfmanBGHMSSW #requirements #standard

Requirements engineering standardization (MD, ERB, SMG, RMH, LM, BS, TS, SW), pp. 57–63.

ICRE-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.

ICSE-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.

ICDAR-1993-DoriHGH #automation #documentation #metric #standard

Radiographs as medical documents: automating standard measurements (DD, AIH, GG, RMH), pp. 553–556.

ICDAR-1993-PhillipsCH #database #documentation #standard

CD-ROM document database standard (ITP, SSC, RMH), pp. 478–483.

CSM-1993-Bohner #maintenance #standard

Standards Effecting Software Maintenance (SAB), p. 102.

CSM-1993-Caldiera #maintenance #standard #what

Standards for Software Maintenance — What We Have and What We Need (GC), p. 103.

CSM-1993-Schneidewind #quality #standard

Report on the IEEE Standard for a Software Quality Memcs Methodology (NFS), pp. 104–106.

CSM-1993-Slovin #maintenance #question #standard

Software Maintenance Standards? (MS), p. 107.

CSM-1993-Winston #standard

Impact of the ISO 9000 Standard Series (ABW), pp. 231–232.

AdaEurope-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.

AdaEurope-1993-Mathis #ada #standard

Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status (RFM), pp. 1–12.

TOOLS-EUROPE-1993-Howard #approach #eiffel #standard

Associated Paper: The NICE Approach to Eiffel Standardization (RH), p. 273.

TOOLS-EUROPE-1993-Soley #standard

Associated Paper: The OMG Role in Norms and Standards (RMS), pp. 275–276.

TOOLS-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.

TOOLS-USA-1993-Maurer #object-oriented #process #standard

Standardization Activities in Object-Oriented Technology (JM), pp. 487–488.

HPDC-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.

PPoPP-1993-MorrisettT #framework #ml #multi #standard

Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey (JGM, APT), pp. 198–207.

RTA-1993-Matthews #equation #ml #named #reasoning #standard

MERILL: An Equational Reasoning System in Standard ML (BM), pp. 441–445.

CHI-1992-SchrierWMPSWW #human-computer #standard

HCI Standards on Trial: You be the Jury (JRS, ELW, KSM, LAP, PFS, AMW, JRW), pp. 635–638.

TRI-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.

CADE-1992-Voronkov #logic #proving #standard #theorem proving

Theorem Proving in Non-Standard Logics Based on the Inverse Method (AV), pp. 648–662.

DAC-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.

SIGMOD-1991-Thompson #distributed #question #standard

Are Standards the Panacea for Heterogeneous Distributed DBMSs? (CT), p. 446.

VDME-1991-1-ParkinO #specification #standard

Specification of the MAA Standard in VDM (GIP, GO), pp. 526–544.

CHI-1991-ThovtrupN #standard #usability #user interface

Assessing the usability of a user interface standard (HT, JN), pp. 335–341.

TOOLS-USA-1991-Horstmann #c++ #design #library #standard

Design Considerations for a Standard C++ Container Class Library (CSH), pp. 327–338.

PLILP-1991-AppelM #ml #standard

Standard ML of New Jersey (AWA, DBM), pp. 1–13.

POPL-1991-MitchellMM #inheritance #ml #standard #type system

An Extension of Standard ML Modules with Subtyping and Inheritance (JCM, SM, NM), pp. 270–278.

ICLP-1991-Scowen #bibliography #problem #prolog #standard

An Overview of Prolog Standardization — Progress, Problems and Solutions (RSS), pp. 922–936.

IWPTS-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.

IWPTS-1991-Rayner #standard

Status Report on ISO/IEC 9646 Standardization and Extension (DR), pp. 47–58.

DAC-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.

DAC-1990-EdahiroY #algorithm #standard

New Placement and Global Routing Algorithms for Standard Cell Layouts (ME, TY), pp. 642–645.

DAC-1990-KlingB #evolution #optimisation #standard

Optimization by Simulated Evolution with Applications to Standard Cell Placement (RMK, PB), pp. 20–25.

DAC-1990-LinMK #design #optimisation #standard

Delay and Area Optimization in Standard-Cell Design (SL, MMS, ESK), pp. 349–352.

DAC-1990-UptonSS #design #metaprogramming #standard

Integrated Placement for Mixed Macro Cell and Standard Cell Designs (MU, KS, SS), pp. 32–35.

LFP-1990-TolmachA #debugging #ml #reverse engineering #standard

Debugging Standard ML Without Reverse Engineering (APT, AWA), pp. 1–12.

DAC-1989-Karatsu #design #standard

VLSI Design Language Standardization Effort in Japan (OK), pp. 50–55.

DAC-1989-SargentB #algorithm #fault #parallel #standard

A Parallel Row-based Algorithm for Standard Cell Placement with Integrated Error Control (JSS, PB), pp. 590–593.

DAC-1989-YasuuraI #design #hardware #semantics #standard

Semantics of a Hardware Design Language for Japanese Standardization (HY, NI), pp. 836–839.

DAC-1988-Coelho #named #standard

VHDL: A Call for Standards (DRC), pp. 40–47.

DAC-1988-Dunlop #generative #question #standard

Will Cell Generation Displace Standard Cells? (AED), p. 528.

DAC-1988-MallelaG #clustering #standard

Clustering Based Simulated Annealing for Standard Cell Placement (SM, LKG), pp. 312–317.

DAC-1988-Rose #named #parallel #standard

LocusRoute: A Parallel Global Router for Standard Cells (JR), pp. 189–195.

SIGMOD-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.

VDME-1988-Arthan #compilation #ml #prototype #standard

Compiler Prototyping with VDM and Standard ML (RDA), pp. 101–115.

VDME-1988-BorzyszkowskiS #architecture #comprehension #documentation #standard

Understanding an informal Description: Office Documents Architecture, an ISO Standard (AMB, SS), pp. 48–63.

VDME-1988-Ruggles #standard #towards

Towards a Formal Definition of GKS and other Graphic Standards (CR), pp. 64–73.

VDME-1988-Ruggles88a #formal method #standard

Formal Methods in Standards — A Report from the BCS Working Group (CR), pp. 79–85.

LFP-1988-MacQueen #implementation #ml #standard

An Implementation of Standard ML Modules (DBM), pp. 212–223.

LFP-1988-SwansonKL #implementation #lisp #standard

An Implementation of Portable Standard LISP on the BBN Butterfly (MRS, RRK, GL), pp. 132–142.

CADE-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.

DAC-1987-ApteK #layout #standard

Strip Layout: A New Layout Methodology for Standard Circuit Modules (JA, GK), pp. 363–369.

DAC-1987-Chi #automation #clustering #standard

An Automatic Rectilinear Partitioning Procedure for Standard Cells (MCC), pp. 50–55.

DAC-1987-Grover #standard #using

Standard Cell Placement Using Simulated Sintering (LKG), pp. 56–59.

DAC-1987-JonesB #algorithm #parallel #performance #standard

Performance of a Parallel Algorithm for Standard Cell Placement on the Intel Hypercube (MJ, PB), pp. 807–813.

DAC-1987-KlingB #evolution #named #standard #using

ESP: A New Standard Cell Placement Package Using Simulated Evolution (RMK, PB), pp. 60–66.

DAC-1987-OConnell #automation #design #integration #standard

Design Automation Standards Need Integration (LO), p. 562.

DAC-1987-Pachter #automation #design #standard

Design Automation Standards — Perspectives from a Down-the-Road End User (RJP), pp. 563–564.

DAC-1987-Waxman #automation #design #standard

The Design Automation Standards Environment (RW), pp. 559–561.

FPCA-1987-AppelM #compilation #ml #standard

A Standard ML compiler (AWA, DBM), pp. 301–324.

DAC-1986-Hartoog #analysis #layout #standard

Analysis of placement procedures for VLSI standard cell layout (MRH), pp. 314–319.

DAC-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.

DAC-1986-SechenS #standard

TimberWolf3.2: a new standard cell placement and global routing package (CS, ALSV), pp. 432–439.

LFP-1986-Padgeta #lisp #standard

Desiderata for the Standardization of LISP (JAP), pp. 54–66.

DAC-1985-HsuTCPT #layout #named #standard

ALPS2: a standard cell layout system for double-layer metal technology (CPH, BNT, KC, RAP, JT), pp. 443–448.

DAC-1985-LowensteinW #standard #tutorial

Importance of standards (tutorial session) (AL, GW), pp. 88–93.

DAC-1985-TeraiHK #array #metaprogramming #standard

A routing procedure for mixed array of custom macros and standard cells (HT, MH, TK), pp. 503–508.

POPL-1985-SannellaT #development #ml #specification #standard

Program Specification and Development in Standard ML (DS, AT), pp. 67–77.

DAC-1984-Lieberherr #hardware #standard #towards

Towards a standard hardware description language (KJL), pp. 265–272.

DAC-1984-Richard #standard

A standard cell initial placement strategy (BDR), pp. 392–398.

LFP-1984-MacQueen #ml #standard

Modules for Standard ML (DBM), pp. 198–207.

LFP-1984-Milner #ml #standard

A Proposal for Standard ML (RM), pp. 184–197.

DAC-1983-Supowit #layout #standard

Reducing channel density in standard cell layout (KJS), pp. 263–269.

DAC-1980-CoxC #array #automation #standard

The Standard Transistor Array (star) (Part II automatic cell placement techniques) (GWC, BDC), pp. 451–457.

DAC-1980-GouldE #array #design #standard

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 #standard

Detecting bridging and stuck-at faults at input and output pins of standard digital components (MGK, SYHS), pp. 494–505.

VLDB-1980-Brodie80a #approach #database #relational #standard

Standardization and the Relational Approach to Databases: An ANSI Task Group Status Report (MLB), pp. 326–327.

VLDB-1980-DeutschC #standard

DBMS Standards: Current Status and Future Directions (DRD, EKC), pp. 431–433.

SDCG-1980-RaskovskyC #implementation #semantics #standard

From standard to implementation denotational semantics (MRR, PAC), pp. 94–139.

DAC-1977-KollerL #design #standard

The siemens-avesta-system for computer-aided design of MOS-standard cell circuits (KWK, UL), pp. 153–157.

VLDB-1977-Sibley #database #standard

Standardization and Database Systems (EHS), pp. 144–155.

DIPL-1976-Goodenough #optimisation #standard

The need for optimization standards (JBG), pp. 335–344.

SIGMOD-1975-Steel #database #standard

Data Base Standardization — A Status Report (TBSJ), pp. 149–156.

DAC-1973-Mitchell #standard

A standard test language — GOAL (Ground Operations Aerospace Language) (TRM), pp. 87–96.

POPL-1973-Beech #on the #pl-i #standard

On the Definitional Method of Standard PL/1 (DB), pp. 87–94.

SIGFIDET-1970-Bleier #standard

Data Definition Standardization (REB), pp. 68–86.