114 papers:
DATE-2015-AwanoHS #named #performance #probability- ECRIPSE: an efficient method for calculating RTN-induced failure probability of an SRAM cell (HA, MH, TS), pp. 549–554.
- DATE-2015-HuQ #approximate #fault
- A new approximate adder with low relative error and correct sign calculation (JH, WQ), pp. 1449–1454.
SANER-2015-SilvaCMS #analysis #fine-grained- Niche vs. breadth: Calculating expertise over time through a fine-grained analysis (JRdSJ, EC, LM, AS), pp. 409–418.
HIMI-IKC-2015-RobertsACC #communication #complexity- A Method for Calculating Air Traffic Controller Communication Complexity (ZR, BA, JC, DC), pp. 25–32.
ISSTA-2015-SatoHC #testing- Calculation coverage testing in scientific applications (YS, SH, SC), pp. 350–360.
IFM-2014-ChaudhariD #automation #proving #theorem proving- Automated Theorem Prover Assisted Program Calculations (DLC, OPD), pp. 205–220.
SEFM-2014-BeckerSAB #analysis #constraints #deployment #fault tolerance #formal method- A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems (KB, BS, MA, CB), pp. 205–219.
- HIMI-AS-2014-TanakaTH #development #education #using
- Development of Teaching Material Volume Calculations Using a Wooden Puzzle (TT, MT, IH), pp. 109–117.
ECIR-2014-AzzopardiEWM- Page Retrievability Calculator (LA, RE, CW, DM), pp. 737–741.
ICPR-2014-JainCL #image- Local Binary Patterns Calculated over Gaussian Derivative Images (VJ, JLC, AL), pp. 3987–3992.
ICDAR-2013-Deryagin #evaluation #performance #segmentation- Unified Performance Evaluation for OCR Zoning: Calculating Page Segmentation’s Score, That Includes Text Zones, Tables and Non-text Objects (DD), pp. 953–957.
ICFP-2013-Garcia- Calculating threesomes, with blame (RG), pp. 417–428.
- DUXU-NTE-2013-WaldronS
- Calculation of Areas of Permanence in Public Spaces, According to Solar Radiation Simulated Conditions (JAW, JHS), pp. 215–223.
- HCI-AS-2013-TsumoriN #design #evaluation #using
- Design and Evaluation of Training System for Numerical Calculation Using Questions in SPI2 (ST, KN), pp. 511–520.
KDD-2013-ZolfagharASCRV #named- Risk-O-Meter: an intelligent clinical risk calculator (KZ, JA, DS, SCC, SBR, NV), pp. 1518–1521.
ESEC-FSE-2013-JiangZLSHGS #analysis #reliability #runtime- System reliability calculation based on the run-time analysis of ladder program (YJ, HZ, HL, XS, WNNH, MG, JS), pp. 695–698.
- ISSTA-2013-LiHHG #android #energy
- Calculating source line level energy information for Android applications (DL, SH, WGJH, RG), pp. 78–89.
LICS-2013-LicataS #type system- Calculating the Fundamental Group of the Circle in Homotopy Type Theory (DRL, MS), pp. 223–232.
ESOP-2012-EmotoFH #framework #parallel #pipes and filters #programming- Generate, Test, and Aggregate — A Calculation-based Framework for Systematic Parallel Programming with MapReduce (KE, SF, ZH), pp. 254–273.
FLOPS-2012-Morihata #algorithm #parallel #problem- Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems (AM), pp. 213–227.
CSCW-2012-LungE #collaboration #graph #named #reasoning- Inflo: collaborative reasoning via open calculation graphs (JL, SME), pp. 1199–1202.
- ICPR-2012-HeCS #algorithm #component
- A new algorithm for labeling connected-components and calculating the Euler number, connected-component number, and hole number (LH, YC, KS), pp. 3099–3102.
SPLC-2012-LettnerVRG- Supporting end users with business calculations in product configuration (DL, MV, RR, PG), pp. 171–180.
- DATE-2011-ChungCCK
- Formal reset recovery slack calculation at the register transfer level (CNC, CWC, KHC, SYK), pp. 571–574.
- DATE-2011-MontagA #precise #realtime
- Precise WCET calculation in highly variant real-time systems (PM, SA), pp. 920–925.
VLDB-2011-NutanongJS #algorithm #distance #incremental- An Incremental Hausdorff Distance Calculation Algorithm (SN, EHJ, HS), pp. 506–517.
PEPM-2011-IkedaN #navigation #relational #symmetry- Calculating tree navigation with symmetric relational zipper (YI, SN), pp. 101–110.
- PEPM-2011-PachecoC #bidirectional #lens #optimisation
- Calculating with lenses: optimising bidirectional transformations (HP, AC), pp. 91–100.
AFL-2011-Egri-NagyMN #algorithm #composition #performance- Algorithms for the Efficient Calculation of the Holonomy Decomposition (AEN, JDM, CLN), pp. 389–390.
CHI-2011-WobbrockSJ #design #empirical #metric #modelling #throughput- The effects of task dimensionality, endpoint deviation, throughput calculation, and experiment design on pointing measures and models (JOW, KS, AJ), pp. 1639–1648.
ICEIS-v3-2011-WangCLX #evaluation #process- Application of Analytic Hierarchy Process on Calculating the Weights of Economic Model Evaluation (DW, DC, NL, JX), pp. 108–116.
KMIS-2011-KrainesG #research #semantics #similarity- Calculating Semantic Similarity between Computer-understandable Descriptors of Scientific Research (SBK, WG), pp. 146–151.
SAC-2011-JatowtKT #estimation #quality- Calculating content recency based on timestamped and non-timestamped sources for supporting page quality estimation (AJ, YK, KT), pp. 1151–1158.
CAV-2011-PhamTTC #constraints #fixpoint #named #quantifier- FixBag: A Fixpoint Calculator for Quantified Bag Constraints (THP, MTT, AHT, WNC), pp. 656–662.
ICLP-2011-CasolaryL #programming #representation #set- Representing the Language of the Causal Calculator in Answer Set Programming (MC, JL), pp. 51–61.
ICSM-2010-SaleckerG #graph #testing #using- Pairwise test set calculation using k-partite graphs (ES, SG), pp. 1–5.
KDIR-2010-AfoninG #semantics #similarity- Calculating Semantic Similarity between Facts (SA, DG), pp. 514–517.
- ISSTA-2010-TangBLS #analysis #float #statistics
- Perturbing numerical calculations for statistical analysis of floating-point program (in)stability (ET, ETB, XL, ZS), pp. 131–142.
- DATE-2009-PollexKAS #bound #worst-case
- Improved worst-case response-time calculations by upper-bound conditions (VP, SK, KA, FS), pp. 105–110.
- ICDAR-2009-HamamuraAI #probability #recognition #word
- An A Posteriori Probability Calculation Method for Analytic Word Recognition Applicable to Address Recognition (TH, TA, BI), pp. 391–395.
FM-2009-Boute #logic #unification- Making Temporal Logic Calculational: A Tool for Unification and Discovery (RTB), pp. 387–402.
- HCI-VAD-2009-SaitoMQS #development #education #mobile
- Development of a Simulator of Abacus: Ancient Analog Calculator on a Mobile Phone as a Teaching Material (KS, YM, VQ, HS), pp. 204–208.
KEOD-2009-WalzerHK- Event Lifetime Calculation based on Temporal Relationships (KW, TH, AK), pp. 269–274.
SAT-2009-BonetJ #metric #satisfiability #using- Efficiently Calculating Evolutionary Tree Measures Using SAT (MLB, KSJ), pp. 4–17.
SAS-2008-MidtgaardJ #abstract interpretation #analysis #approach #control flow- A Calculational Approach to Control-Flow Analysis by Abstract Interpretation (JM, TPJ), pp. 347–362.
IFL-2008-Hinze #proving #theorem- Scans and Convolutions — A Calculational Proof of Moessner’s Theorem (RH), pp. 1–24.
- ECIR-2008-NaderiR #evaluation #graph #similarity
- Graph-Based Profile Similarity Calculation Method and Evaluation (HN, BR), pp. 637–641.
- SAC-2008-NaderiRP #collaboration #graph #information retrieval #similarity
- A graph-based profile similarity calculation method for collaborative information retrieval (HN, BR, JMP), pp. 1127–1131.
- SPLC-2008-GrulerLS #modelling #product line
- Calculating and Modeling Common Parts of Software Product Lines (AG, ML, KDS), pp. 203–212.
- DATE-2007-GeilenB
- A calculator for Pareto points (MG, TB), pp. 285–290.
- DATE-2007-HuVKCP #dependence #estimation #memory management #performance
- Fast memory footprint estimation based on maximal dependency vector calculation (QH, AV, PGK, FC, MP), pp. 379–384.
- KDD-2007-Anderson
- Calculating latent demand in the long tail (CA), p. 1.
GTTSE-2007-Oliveira- Transforming Data by Calculation (JNO), pp. 134–195.
ASE-2005-LiuLWCC #testing- A unified fitness function calculation rule for flag conditions to improve evolutionary testing (XL, HL, BW, PC, XC), pp. 337–341.
DAC-2005-SuWKLK #analysis #effectiveness #embedded #functional #performance- A noise-driven effective capacitance method with fast embedded noise rule calculation for functional noise analysis (HS, DW, CVK, FL, BK), pp. 186–189.
- GTTSE-2005-HuYT #optimisation
- Program Optimizations and Transformations in Calculation Form (ZH, TY, MT), pp. 144–168.
FATES-2005-JurdzinskiPQ #realtime #testing- Calculating Probabilities of Real-Time Test Cases (MJ, DP, HQ), pp. 134–151.
ITiCSE-WGR-2004-Williams #bibliography- Survey calculations (MRW), pp. 12–13.
- ICEIS-v2-2004-Okhtilev #data flow #distributed #realtime
- The Data Flow and Distributed Calculations Intelligence Information Technology for Decision Support System in Real Time (MO), pp. 497–500.
CIKM-2004-TomitaNI #graph #representation #similarity #using- Calculating similarity between texts using graph-based text representation model (JT, HN, MI), pp. 248–249.
ICML-2004-ScullyML- Coalition calculation in a dynamic agent environment (TS, MGM, GL).
- ICPR-v2-2004-BrownCA #classification #performance #set
- Efficient Calculation of the Complete Optimal Classification Set (MB, NC, SA), pp. 307–310.
ICSE-2004-Roshandel #analysis #architecture #modelling #reliability- Calculating Architectural Reliability via Modeling and Analysis (RR), pp. 69–71.
- ICEIS-v1-2003-JouanotCY #distance #integration #semantics
- A Solution for Contextual Integration Based on the Calculation of a Semantic Distance (FJ, NC, KY), pp. 483–486.
- CAV-2003-PaceLM
- Calculating-Confluence Compositionally (GJP, FL, RM), pp. 446–459.
- DAC-2002-ChoiRD #generative
- Timed pattern generation for noise-on-delay calculation (SHC, KR, FD), pp. 870–873.
- DATE-2002-BrachtendorfLLMF #continuation #using
- Steady State Calculation of Oscillators Using Continuation Methods (HGB, SL, RL, RCM, PF), p. 1139.
- DATE-2002-YmeriNMRSV #approach #parametricity #performance
- Simple and Efficient Approach for Shunt Admittance Parameters Calculations of VLSI On-Chip Interconnects on Semiconducting Substrate (HY, BN, KM, DDR, MS, SV), p. 1113.
PLDI-2002-CociorvaBLSRNBH #optimisation #trade-off- Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations (DC, GB, CCL, PS, JR, MN, DEB, RJH), pp. 177–186.
- ICPR-v1-2002-YuK #3d #approximate #estimation
- An Approximative Calculation of Relative Convex Hulls for Surface Area Estimation of 3D Digital Objects (LY, RK), pp. 131–134.
WCRE-2001-VillavicencioO #slicing- Reverse Program Calculation Supported by Code Slicing (GV, JNO), p. 35–?.
- FME-2001-Aichernig #abstraction #testing
- Test-Case Calculation through Abstraction (BKA), pp. 571–589.
- CIKM-2001-TombrosR #metric #similarity
- Query-Sensitive Similarity Measures for the Calculation of Interdocument Relationships (AT, CJvR), pp. 17–24.
- DAC-2000-KapurL #scalability
- Large-scale capacitance calculation (SK, DEL), pp. 744–749.
- DAC-2000-TsaiK #performance #reduction #simulation
- Fast temperature calculation for transient electrothermal simulation by mixed frequency/time domain thermal model reduction (CHT, SMK), pp. 750–755.
- PEPM-2000-ChinK
- Calculating Sized Types (WNC, SCK), pp. 62–72.
KR-2000-Lifschitz- Missionaries and Cannibals in the Causal Calculator (VL), pp. 85–96.
PADL-2000-HuCT #algorithm #analysis #data mining #mining- Calculating a New Data Mining Algorithm for Market Basket Analysis (ZH, WNC, MT), pp. 169–184.
- SAC-2000-Shen #distance
- The Calculation of Average Distance in Mesh Structures (ZS), pp. 89–93.
- PEPM-1999-HuTI #named #parallel #performance #source code
- Diffusion: Calculating Efficient Parallel Programs (ZH, MT, HI), pp. 85–94.
- HCI-EI-1999-SchmittO #using
- Calculation of Totally Optimized Button Configurations Using Fitts’ Law (AS, PO), pp. 392–396.
- HCI-EI-1999-WatanabeYEIOKOY #interface #named
- FRONTIER: An Application of A Pen Based Interface to An ITS For Guiding Fraction Calculation (KW, TY, HE, JI, YO, HK, MO, TY), pp. 238–242.
- DAC-1998-KayP #named #probability
- PRIMO: Probability Interpretation of Moments for Delay Calculation (RK, LTP), pp. 463–468.
- DAC-1998-KwakP #estimation #fault #logic #statistics
- An Optimization-Based Error Calculation for Statistical Power Estimation of CMOS Logic Circuits (BK, ESP), pp. 690–693.
FASE-1998-BehnkeBMS #named #programming #relational- RELVIEW — A System for Calculating With Relations and Relational Programming (RB, RB, EM, PS), pp. 318–321.
POPL-1998-HuTC #parallel- Parallelization in Calculational Forms (ZH, MT, WNC), pp. 316–328.
- DAC-1997-DartuP #worst-case
- Calculating Worst-Case Gate Delays Due to Dominant Capacitance Coupling (FD, LTP), pp. 46–51.
- EDTC-1997-GavrilovGRBJV #performance
- Fast power loss calculation for digital static CMOS circuits (SG, AG, SR, DB, LGJ, GV), pp. 411–415.
- ICFP-1997-HuITT #multi #traversal
- Tupling Calculation Eliminates Multiple Data Traversals (ZH, HI, MT, AT), pp. 164–175.
RE-1997-Rushby #requirements- Calculating with Requirements (JMR), p. 144–?.
CADE-1997-BornatS #named- Jape: A Calculator for Animating Proof-on-Paper (RB, BS), pp. 412–415.
- DAC-1996-LiemPJ #architecture #compilation
- Address Calculation for Retargetable Compilation and Exploration of Instruction-Set Architectures (CL, PGP, AAJ), pp. 597–600.
- DAC-1996-TauschW #multi
- Multipole Accelerated Capacitance Calculation for Structures with Multiple Dielectrics with high Permittivity Ratios (JT, JKW), pp. 367–370.
- IFL-1996-DoschM #functional
- Calculating a Functional Module for Binary Search Trees (WD, BM), pp. 267–284.
- ICPR-1996-DeguchiN #interactive #matrix #using #visual notation
- Visual servoing using eigenspace method and dynamic calculation of interaction matrices (KD, TN), pp. 302–306.
- ICPR-1996-ShenS #orthogonal
- Orthogonal Legendre moments and their calculation (JS, DS), pp. 241–245.
PLILP-1996-HuIT- Cheap Tupling in Calculational Form (ZH, HI, MT), pp. 471–472.
- PLILP-1996-Meertens #exclamation
- Calculate Polytypically! (LGLTM), pp. 1–16.
- DAC-1995-ChangMC #algorithm #performance #set
- An Efficient Algorithm for Local Don’t Care Sets Calculation (SCC, MMS, KTC), pp. 663–667.
FPCA-1995-TakanoM #deforestation- Shortcut Deforestation in Calculational Form (AT, EM), pp. 306–313.
- DAC-1994-Minato #algebra #set #using
- Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs (SiM), pp. 420–424.
- DAC-1994-TsuiPD #approximate
- Exact and Approximate Methods for Calculating Signal and Transition Probabilities in FSMs (CYT, MP, AMD), pp. 18–23.
- EDAC-1994-HachtelMPS #algorithm #finite #state machine
- Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine (GDH, EM, AP, FS), pp. 214–218.
- EDAC-1994-WurthW #logic #multi #optimisation #performance
- Efficient Calculation of Boolean Relations for Multi-Level Logic Optimization (BW, NW), pp. 630–634.
- PLDI-1994-SrivastavaW #architecture #optimisation
- Link-Time Optimization of Address Calculation on a 64-bit Architecture (AS, DWW), pp. 49–60.
- DAC-1992-PixleyJH #diagrams #sequence
- Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams (CP, SWJ, GDH), pp. 620–623.
- DAC-1991-MattesWBD
- Propagation Delay Calculation for Interconnection Nets on Printed Circuit Boards by Reflected Waves (HM, WW, GB, RD), pp. 567–572.
- DAC-1989-Chiang #question
- Resistance Extraction and Resistance Calculation in GOALIE? (KWC), pp. 682–685.
- DAC-1988-ChangCS #performance
- An Accurate and Efficient Gate Level Delay Calculator for MOS Circuits (FCC, CFC, PS), pp. 282–287.
- DAC-1985-Barke #finite
- Resistance calculation from mask artwork data by finite element method (EB), pp. 305–311.
- ICSE-1985-BasiliS #metric #set
- Calculation and Use of an Environment’s Characteristic Software Metric Set (VRB, RWS), pp. 386–393.
- DAC-1982-Putatunda #automation #named
- Auto-delay: A program for automatic calculation of delay in LSI/VLSI chips (RP), pp. 616–621.
- DAC-1978-KoppelSP #logic #performance
- A high performance delay calculation software system for MOSFET digital logic chips (AK, SS, PP), pp. 405–417.
- DAC-1976-CividjianDC
- The calculation of the dimensions for an electromagnet with a T armature (GAC, PD, OC), pp. 495–501.
