BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
standard
Google standard

Tag #standard

485 papers:

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