Stem precis$ (all stems)

384 papers:

CASE-2015-DasCQMTMK #automation #monitoring #precise

Devices, systems, and methods for automated monitoring enabling precision agriculture (JD, GC, CQ, AM, PT, YM, VK), pp. 462–469.

CASE-2015-TiengYC #precise #tool support

Total precision inspection of machine tools with virtual metrology (HT, HCY, FTC), pp. 1446–1447.

DAC-2015-LiLSH #approximate #optimisation #precise #synthesis

Joint precision optimization and high level synthesis for approximate computing (CL, WL, SSS, JH), p. 6.

DATE-2015-DoumaAP #estimation #execution #performance #precise

Fast and precise cache performance estimation for out-of-order execution (RD, SA, ADP), pp. 1132–1137.

TACAS-2015-ZengSLH #precise #predict

A Method for Improving the Precision and Coverage of Atomicity Violation Predictions (RZ, ZS, SL, XH), pp. 116–130.

SANER-2015-MedicherlaK #analysis #approximate #precise #scalability

Precision vs. scalability: Context sensitive analysis with prefix approximation (RKM, RK), pp. 281–290.

SAS-2015-RapoportLT #analysis #correlation #data flow #precise

Precise Data Flow Analysis in the Presence of Correlated Method Calls (MR, OL, FT), pp. 54–71.

LATA-2015-BoichutCR #approximate #precise #towards

Towards More Precise Rewriting Approximations (YB, JC, PR), pp. 652–663.

ECIR-2015-FerroS #precise

Rank-Biased Precision Reloaded: Reproducibility and Generalization (NF, GS), pp. 768–780.

ICML-2015-GuptaAGN #learning #precise

Deep Learning with Limited Numerical Precision (SG, AA, KG, PN), pp. 1737–1746.

ICML-2015-KarN0 #precise

Surrogate Functions for Maximizing Precision at the Top (PK, HN, PJ), pp. 189–198.

SIGIR-2015-LipaniLH #anti #bias #precise

Splitting Water: Precision and Anti-Precision to Reduce Pool Bias (AL, ML, AH), pp. 103–112.

ECOOP-2015-DimovskiBW #abstraction #analysis #precise #variability

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (ASD, CB, AW), pp. 247–270.

ECOOP-2015-ParkR #javascript #precise #scalability #static analysis

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (CP, SR), pp. 735–756.

SAC-2015-CostaCFR #diagrams #modelling #precise #uml

From UML diagrams to simulink models: a precise and verified translation (AC, SAdCC, LF, LR), pp. 1547–1552.

ESEC-FSE-2015-CaiC #detection #effectiveness #java #precise #source code

Effective and precise dynamic detection of hidden races for Java programs (YC, LC), pp. 450–461.

ICSE-v2-2015-Bichhawat #analysis

Post-Dominator Analysis for Precisely Handling Implicit Flows (AB), pp. 787–789.

ICSE-v2-2015-Roos #code completion #performance #precise #statistics

Fast and Precise Statistical Code Completion (PR), pp. 757–759.

LCTES-2015-ZhangK #abstract interpretation #analysis #persistent #precise

Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis (ZZ, XDK), p. 10.

CAV-2015-DasLLL #precise #verification

Angelic Verification: Precise Verification Modulo Unknowns (AD, SKL, AL, YL), pp. 324–342.

ISSTA-2015-HuangDMD #analysis #android #precise #scalability

Scalable and precise taint analysis for Android (WH, YD, AM, JD), pp. 106–117.

ASE-2014-CaiS #dependence #impact analysis #named #precise #using

Diver: precise dynamic impact analysis using dependence-based trace pruning (HC, RAS), pp. 343–348.

DATE-2014-AltmeyerD #analysis #correctness #on the #precise #probability

On the correctness, optimality and precision of Static Probabilistic Timing Analysis (SA, RID), pp. 1–6.

SIGMOD-2014-Dev14a #community #detection #graph #precise #privacy #social

Privacy preserving social graphs for high precision community detection (HD), pp. 1615–1616.

TACAS-2014-GurfinkelB #contest #named #verification

FrankenBit: Bit-Precise Verification with Many Bits — (Competition Contribution) (AG, AB), pp. 408–411.

TACAS-2014-GurfinkelBM #invariant

Synthesizing Safe Bit-Precise Invariants (AG, AB, JMS), pp. 93–108.

TACAS-2014-SlabyS #contest #precise #slicing

Symbiotic 2: More Precise Slicing — (Competition Contribution) (JS, JS), pp. 415–417.

TACAS-2014-SoudjaniA #approximate #markov #precise #probability #process

Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance (SEZS, AA), pp. 547–561.

ICSME-2014-LiuQWM #concurrent #debugging #named #precise

Pinso: Precise Isolation of Concurrency Bugs via Delta Triaging (BL, ZQ, BW, RM), pp. 201–210.

PLDI-2014-ArztRFBBKTOM #analysis #android #named #precise

FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps (SA, SR, CF, EB, AB, JK, YLT, DO, PM), p. 29.

PLDI-2014-BiswasHSB #named #performance #precise

DoubleChecker: efficient sound and precise atomicity checking (SB, JH, AS, MDB), p. 6.

PLDI-2014-GuptaSS #execution #parallel #source code

Globally precise-restartable execution of parallel programs (GG, SS, GSS), p. 22.

PLDI-2014-RompfSBLCO #compilation #jit #precise

Surgical precision JIT compilers (TR, AKS, KJB, HL, HC, KO), p. 8.

PLDI-2014-Schkufza0A #float #optimisation #precise #probability #source code

Stochastic optimization of floating-point programs with tunable precision (ES, RS, AA), p. 9.

STOC-2014-BerryCCKS #exponential #precise #simulation

Exponential improvement in precision for simulating sparse Hamiltonians (DWB, AMC, RC, RK, RDS), pp. 283–292.

FM-2014-ForejtKNS #analysis #communication #precise #predict #source code

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs (VF, DK, GN, SS), pp. 263–278.

CHI-2014-KimIDRKZSLBNBFP #3d #named #physics

RetroDepth: 3D silhouette sensing for high-precision input on and above physical surfaces (DK, SI, JD, CR, CK, CZ, JS, TAL, SB, MN, DAB, SF, VP), pp. 1377–1386.

DUXU-DI-2014-BreyerVRK #named #precise

Scissors — A Precise Pointing Widget for Touch Screen Devices (FB, LAV, AR, JK), pp. 184–192.

HCI-AIMT-2014-JakusGTS #artificial reality #evaluation #precise

Evaluation of Leap Motion Controller with a High Precision Optical Tracking System (GJ, JG, ST, JS), pp. 254–263.

CIKM-2014-Wen0R #precise

Enabling Precision/Recall Preferences for Semi-supervised SVM Training (ZW, RZ, KR), pp. 421–430.

ICPR-2014-AhmetovicBGM #locality #named #performance #precise

ZebraRecognizer: Efficient and Precise Localization of Pedestrian Crossings (DA, CB, AG, SM), pp. 2566–2571.

KDD-2014-YangKSG #modelling #scalability #topic #twitter

Large-scale high-precision topic modeling on twitter (SHY, AK, AS, PG), pp. 1907–1916.

SIGIR-2014-FerranteFM #injection #markov #modelling #precise

Injecting user models and time into precision via Markov chains (MF, NF, MM), pp. 597–606.

PPDP-2014-ChenDY #on the #precise #type system

On the Preciseness of Subtyping in Session Types (TCC, MDC, NY), pp. 135–146.

FSE-2014-SamakR #concurrent #detection #java #library #parallel #precise #thread

Omen+: a precise dynamic deadlock detector for multithreaded Java libraries (MS, MKR), pp. 735–738.

CGO-2014-ZengR0AJ0 #encoding #named #precise #scalability

DeltaPath: Precise and Scalable Calling Context Encoding (QZ, JR, HZ, NA, GJ, PL), p. 109.

HPCA-2014-PalframanKL #fault

Precision-aware soft error protection for GPUs (DJP, NSK, MHL), pp. 49–59.

RTA-TLCA-2014-Dezani-CiancagliniG #precise #type system

Preciseness of Subtyping on Intersection and Union Types (MDC, SG), pp. 194–207.

VMCAI-2014-SchwarzSVA #analysis #precise #source code

Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs (MDS, HS, VV, KA), pp. 21–38.

VMCAI-2014-WangH #concurrent #reachability

Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability (CW, KH), pp. 376–394.

ASE-2013-IzsoSBHR #graph #metric #performance #precise #predict #query #towards

Towards precise metrics for predicting graph query performance (BI, ZS, GB, ÁH, IR), pp. 421–431.

DAC-2013-AndalamGSRR #analysis #precise

Precise timing analysis for direct-mapped caches (SA, AG, RS, PSR, JR), p. 10.

TACAS-2013-AbdullaACLR #automation #precise

Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO (PAA, MFA, YFC, CL, AR), pp. 530–536.

WCRE-2013-DaiMLC #component #precise #specification

Leveraging specifications of subcomponents to mine precise specifications of composite components (ZD, XM, YL, LC), pp. 162–171.

PEPM-2013-SagonasST #fault #precise #type system

Precise explanation of success typing errors (KFS, JS, ST), pp. 33–42.

PLDI-2013-BlackshearCS #named #precise #reachability

Thresher: precise refutations for heap reachability (SB, BYEC, MS), pp. 275–286.

SAS-2013-DudkaPV #low level #verification

Byte-Precise Verification of Low-Level List Manipulation (KD, PP, TV), pp. 215–237.

SAS-2013-Komondoor #abstract interpretation #imperative #precise #slicing #source code

Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation (RK), pp. 259–282.

CHI-2013-NancelCPYIB #scalability #using

High-precision pointing on large wall displays using small handheld devices (MN, OC, EP, XDY, PPI, MBL), pp. 831–840.

ICML-c2-2013-HanczarN #clustering

Precision-recall space to correct external indices for biclustering (BH, MN), pp. 136–144.

QAPL-2013-GazeauMP #difference #privacy #semantics

Preserving differential privacy under finite-precision semantics (IG, DM, CP), pp. 1–18.

ESEC-FSE-2013-BeyerLNSW #performance #precise #reuse #verification

Precision reuse for efficient regression verification (DB, SL, EN, AS, PW), pp. 389–399.

ESEC-FSE-2013-KumarCS #analysis #industrial #precise #scalability

Precise range analysis on large industry code (SK, BC, US), pp. 675–678.

ASPLOS-2013-QianTSQ #consistency #detection #named #precise #scalability

Volition: scalable and precise sequential consistency violation detection (XQ, JT, BS, DQ), pp. 535–548.

ISMM-2013-LiCK #analysis #graph #pointer #precise #scalability

Precise and scalable context-sensitive pointer analysis via value flow graph (LL, CC, NK), pp. 85–96.

ISMM-2013-RicciGM #garbage collection #precise

Elephant tracks: portable production of complete and precise gc traces (NPR, SZG, JEBM), pp. 109–118.

ASE-2012-ApelLL #performance #precise

Structured merge with auto-tuning: balancing precision and performance (SA, OL, CL), pp. 120–129.

ASE-2012-Shang0X #analysis #experience #incremental #performance #points-to #precise #summary

Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience (LS, YL, JX), pp. 270–273.

CASE-2012-KimKCKH #2d #precise

2-DOF torque sensor for precise force control of robot hand (TKK, BSK, SyC, DHK, JHH), pp. 892–895.

DATE-2012-PrakashP #architecture #memory management #precise

An instruction scratchpad memory allocation for the precision timed architecture (AP, HDP), pp. 659–664.

TACAS-2012-BaslerDKKTW #c #contest #named #source code #verification

satabs: A Bit-Precise Verifier for C Programs — (Competition Contribution) (GB, AFD, AK, DK, MT, TW), pp. 552–555.

TACAS-2012-CoxSC #bound #precise #verification

A Bit Too Precise? Bounded Verification of Quantized Digital Filters (AC, SS, BYEC), pp. 33–47.

WCRE-2012-JanaN #detection #dynamic analysis #precise #using

Precise Detection of Uninitialized Variables Using Dynamic Analysis — Extending to Aggregate and Vector Types (AJ, RN), pp. 197–201.

PLDI-2012-HackettG #hybrid #javascript #performance #precise #type inference

Fast and precise hybrid type inference for JavaScript (BH, SyG), pp. 239–250.

PLDI-2012-PradelG #automation #concurrent #detection #precise #safety #thread

Fully automatic and precise detection of thread safety violations (MP, TRG), pp. 521–530.

PLDI-2012-RamanZSVY #concurrent #detection #parallel #precise #scalability

Scalable and precise dynamic datarace detection for structured parallelism (RR, JZ, VS, MTV, EY), pp. 531–542.

PLDI-2012-WuTHCY #analysis #parallel #precise #source code

Sound and precise analysis of parallel programs through schedule specialization (JW, YT, GH, HC, JY), pp. 205–216.

CIKM-2012-Cummins #on the #precise

On the inference of average precision from score distributions (RC), pp. 2435–2438.

ECIR-2012-Robertson #on the #precise

On Smoothing Average Precision (SR), pp. 158–169.

ICML-2012-BoydDPC #empirical #evaluation

Unachievable Region in Precision-Recall Space and Its Effect on Empirical Evaluation (KB, JD, DP, VSC), p. 210.

ICPR-2012-DaiC #precise #segmentation

Combining contrast saliency and region discontinuity for precise hand segmentation in projector-camera system (JD, RC), pp. 2161–2164.

ICPR-2012-MichaelsenS #precise

Estimating the precision of under-water video-mosaics (EM, NSN), pp. 775–779.

ICPR-2012-MiyamotoMSS #3d #classification #estimation #precise #realtime

Real-time and precise 3-D hand posture estimation based on classification tree trained with variations of appearances (SM, TM, NS, YS), pp. 453–456.

ICPR-2012-TanakaSM #array #estimation #precise #visual notation

A visual marker for precise pose estimation based on a microlens array (HT, YS, YM), pp. 837–840.

TOOLS-EUROPE-2012-LilisS #debugging #fault #metaprogramming #precise

Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programs (YL, AS), pp. 155–170.

SAC-2012-DasguptaK #analysis #precise #using

Precise shape analysis using field sensitivity (SD, AK), pp. 1300–1307.

SAC-2012-TangJ #analysis #precise

Exploiting regularity of user-defined types to improve precision of program analyses (XT, JJ), pp. 1743–1750.

LDTA-2012-Winther #abstract syntax tree #precise

Improving precision of generated ASTs (JW), p. 10.

SPLC-2012-MohalikRMKN

Tracing SPLs precisely and efficiently (SM, SR, JVM, SNK, GKN), pp. 186–195.

ISSTA-2012-LiRCS #debugging #detection #precise #predict

Residual investigation: predictive and precise bug detection (KL, CR, CC, YS), pp. 298–308.

ASE-2011-Ganai #analysis #precise #scalability

Scalable and precise symbolic analysis for atomicity violations (MKG), pp. 123–132.

ASE-2011-ZiftciK #precise #requirements #testing

Tracing requirements to tests with high precision and recall (CZ, IK), pp. 472–475.

DAC-2011-GongYH #analysis #monte carlo #orthogonal #performance #probability

Fast non-monte-carlo transient noise analysis for high-precision analog/RF circuits by stochastic orthogonal polynomials (FG, HY, LH), pp. 298–303.

DATE-2011-MontagA #precise #realtime

Precise WCET calculation in highly variant real-time systems (PM, SA), pp. 920–925.

ESOP-2011-SotinJ #analysis #interprocedural #pointer #precise #stack

Precise Interprocedural Analysis in the Presence of Pointers to the Stack (PS, BJ), pp. 459–479.

ICPC-2011-PanchenkoKPZ #database #precise #query #scalability #source code #using

Precise and Scalable Querying of Syntactical Source Code Patterns Using Sample Code Snippets and a Database (OP, JK, HP, AZ), pp. 41–50.

ICSM-2011-JiresalCN #cobol #detection #precise #scalability #source code

Precise detection of un-initialized variables in large, real-life COBOL programs in presence of unrealizable paths (RJ, AC, RN), pp. 448–456.

SCAM-2011-PavluSK #alias #analysis #comparison #graph #precise #set

Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision (VP, MS, AK), pp. 25–34.

WCRE-2011-SeppMS #precise #relational #static analysis

Precise Static Analysis of Binaries by Extracting Relational Information (AS, BM, AS), pp. 357–366.

PLDI-2011-DilligDAS #composition #precise #source code #summary

Precise and compact modular procedure summaries for heap manipulating programs (ID, TD, AA, MS), pp. 567–577.

SAS-2011-BlackshearCSS #analysis #precise

The Flow-Insensitive Precision of Andersen’s Analysis in Practice (SB, BYEC, SS, MS), pp. 60–76.

CHI-2011-RogersWSM #3d #estimation #named #precise #robust

AnglePose: robust, precise capacitive touch tracking via 3d orientation estimation (SR, JW, CDS, RMS), pp. 2575–2584.

CHI-2011-WigdorBPLW #gesture #interactive #multi #precise

Rock & rails: extending multi-touch interactions with shape gestures to enable precise spatial manipulations (DW, HB, JP, JL, SW), pp. 1581–1590.

DUXU-v1-2011-Davis #image #precise

Precise Mishandling of the Digital Image Structure (TD), pp. 211–220.

DUXU-v1-2011-KarschS #precise #safety #usability

Terminological Precision — A Key Factor in Product Usability and Safety (BIK, GS), pp. 138–147.

CIKM-2011-SteinGH #clustering #precise #web

Beyond precision@10: clustering the long tail of web search results (BS, TG, DH), pp. 2141–2144.

KDD-2011-BekkermanG #classification #documentation

High-precision phrase-based document classification on a modern scale (RB, MG), pp. 231–239.

RecSys-2011-BelloginCC #algorithm #comparison #evaluation #recommendation

Precision-oriented evaluation of recommender systems: an algorithmic comparison (AB, PC, IC), pp. 333–336.

SIGIR-2011-GanjisaffarCL #modelling #precise #ranking

Bagging gradient-boosted trees for high precision, low variance ranking models (YG, RC, CVL), pp. 85–94.

MoDELS-2011-ReggioRSCD #modelling #precise #process

A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.

MoDELS-2011-ReggioRSCD #modelling #precise #process

A Precise Style for Business Process Modelling: Results from Two Controlled Experiments (GR, FR, GS, FDC, GD), pp. 138–152.

OOPSLA-2011-DavidC #precise #specification #verification

Immutable specifications for more concise and precise verification (CD, WNC), pp. 359–374.

OOPSLA-2011-LiuB #automation #detection #named #precise

SHERIFF: precise detection and automatic mitigation of false sharing (TL, EDB), pp. 3–18.

PPDP-2011-ColazzoS #complexity #precise #type inference #xquery

Precision and complexity of XQuery type inference (DC, CS), pp. 89–100.

POPL-2011-DilligDA #precise #reasoning #source code #using

Precise reasoning for programs using containers (ID, TD, AA), pp. 187–200.

ESEC-FSE-2011-BrunHEN11a #named #precise

Crystal: precise and unobtrusive conflict warnings (YB, RH, MDE, DN), pp. 444–447.

ICSE-2011-XiaoXTH #generative #identification #precise #problem #testing

Precise identification of problems for structural test generation (XX, TX, NT, JdH), pp. 611–620.

ICSE-2011-XiaoXTH11a #identification #named #precise #problem

Covana: precise identification of problems in pex (XX, TX, NT, JdH), pp. 1004–1006.

LDTA-2011-MametjanovWL #precise #type system

More precise typing of rewrite strategies (AM, VLW, RL), p. 3.

LCTES-2011-AlthausAN #analysis #parametricity #performance #precise

Precise and efficient parametric path analysis (EA, SA, RN), pp. 141–150.

VMCAI-2011-AlbertGM #cost analysis #precise

More Precise Yet Widely Applicable Cost Analysis (EA, SG, ANM), pp. 38–53.

VMCAI-2011-GoubaultP #finite #precise #static analysis

Static Analysis of Finite Precision Computations (EG, SP), pp. 232–247.

ASE-2010-Letarte #analysis #graph #interprocedural #model checking #precise #representation

Model checking graph representation of precise boolean inter-procedural flow analysis (DL), pp. 511–516.

CASE-2010-DasP

Precision-based robot path planning for microassembly (AND, DOP), pp. 527–532.

CASE-2010-XuL #precise

Precise tracking control of a piezoactuated micropositioning stage based on modified Prandtl-Ishlinskii hysteresis model (QX, YL), pp. 692–697.

DAC-2010-NovoLFRC #data flow #finite #precise

Exploiting finite precision information to guide data-flow mapping (DN, ML, RF, PR, FC), pp. 248–253.

DRR-2010-PeredaT #precise #semiparsing #using

Date of birth extraction using precise shallow parsing (RP, KT), pp. 1–10.

ESOP-2010-AmtoftHR #array #automation #certification #contract #data flow #precise #reasoning #source code #verification

Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (TA, JH, ER), pp. 43–63.

MSR-2010-VetroTM #java #mining #precise

Assessing the precision of FindBugs by mining Java projects developed at a university (AV, MT, MM), pp. 110–113.

SAS-2010-GawlitzaS #polynomial #semantics

Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely (TMG, HS), pp. 271–286.

CHI-2010-AppertCP #lens

High-precision magnification lenses (CA, OC, EP), pp. 273–282.

CHI-2010-HarrisonH #interactive #low cost #mobile #multi #named

Minput: enabling interaction on small mobile devices with high-precision, low-cost, multipoint optical tracking (CH, SEH), pp. 1661–1664.

ICPR-2010-AungSN #3d #precise

Traj Align: A Method for Precise Matching of 3-D Trajectories (ZA, KS, WSN), pp. 3818–3821.

ICPR-2010-BrodersenOSB10a

The Binormal Assumption on Precision-Recall Curves (KHB, CSO, KES, JMB), pp. 4263–4266.

ICPR-2010-MikulikMPC #precise

Construction of Precise Local Affine Frames (AM, JM, MP, OC), pp. 3565–3569.

SEKE-2010-El-Attar #analysis #case study #precise #robust #security

Developing Precise Misuse Cases with Security Robustness Analysis (MEA), pp. 571–576.

SEKE-2010-LiLK #component #ontology #precise #semantics

Achieve Semantic-based Precise Component Selection via an Ontology Model Interlinking Application Domain and MVICS (CL, XL, JBK), pp. 692–697.

SEKE-2010-ZhangZH #model checking #precise

Some Improvements for More Precise Model Checking (ZZ, QZ, MH), pp. 106–112.

SIGIR-2010-DupretP #behaviour #precise

A user behavior model for average precision and its generalization to graded judgments (GD, BP), pp. 531–538.

SIGIR-2010-LeeLSR #precise #retrieval #sentiment #using

High precision opinion retrieval using sentiment-relevance flows (SWL, JTL, YIS, HCR), pp. 817–818.

SIGIR-2010-LopesR #health #information retrieval #precise #using

Using local precision to compare search engines in consumer health information retrieval (CTL, CR), pp. 835–836.

SIGIR-2010-RobertsonKY #precise

Extending average precision to graded relevance judgments (SER, EK, EY), pp. 603–610.

SIGIR-2010-SmuckerJ #performance #precise #retrieval #revisited

Human performance and retrieval precision revisited (MDS, CPJ), pp. 595–602.

ECMFA-2010-SterrittCC #behaviour #design pattern #precise #specification

Precise Specification of Design Pattern Structure and Behaviour (AS, SC, VC), pp. 277–292.

MoDELS-v2-2010-GerthKLE #detection #precise #process #using

Precise Detection of Conflicting Change Operations Using Process Model Terms (CG, JMK, ML, GE), pp. 93–107.

OOPSLA-2010-LiangTNS #abstraction #evaluation #precise

A dynamic evaluation of the precision of static heap abstractions (PL, OT, MN, MS), pp. 411–427.

PPDP-2010-TekleL #analysis #complexity #datalog #performance #precise #query

Precise complexity analysis for efficient datalog queries (KTT, YAL), pp. 35–44.

ICSE-2010-SumnerZWZ #encoding #precise

Precise calling context encoding (WNS, YZ, DW, XZ), pp. 525–534.

CGO-2010-LindermanHDMN #analysis #automation #optimisation #precise #towards

Towards program optimization through automated analysis of numerical precision (MDL, MH, DLD, THYM, GPN), pp. 230–237.

CAV-2010-KahlonW #concurrent #debugging #detection #graph #precise #source code

Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs (VK, CW), pp. 434–449.

ICST-2010-SantelicesHO #detection #evolution #interactive #runtime

Precisely Detecting Runtime Change Interactions for Evolving Software (RAS, MJH, AO), pp. 429–438.

SAT-2010-Ehlers #automaton #satisfiability #using

Minimising Deterministic Büchi Automata Precisely Using SAT Solving (RE), pp. 326–332.

ASE-2009-KimYS #concurrent #detection #heuristic #memory management #model checking #precise #using

Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking (KK, TYK, BAS), pp. 495–499.

CASE-2009-MattosC #performance #precise #visual notation

A fast and precise micropipette positioning system based on continuous camera-robot recalibration and visual servoing (LSM, DGC), pp. 609–614.

DATE-2009-HeH #algorithm #encoding #performance #verification

An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification (NH, MSH), pp. 1602–1607.

DATE-2009-KinsmanN #finite #modulo theories #precise #using

Finite Precision bit-width allocation using SAT-Modulo Theory (ABK, NN), pp. 1106–1111.

DATE-2009-NovoLBPC #finite #precise

Finite precision processing in wireless applications (DN, ML, BB, LVdP, FC), pp. 1230–1233.

ICDAR-2009-WangH #classification #design #fault #modelling #parametricity #precise #using

Design Compact Recognizers of Handwritten Chinese Characters Using Precision Constrained Gaussian Models, Minimum Classification Error Training and Parameter Compression (YW, QH), pp. 36–40.

VLDB-2009-ElmeleegyECAZ #approximate #linear #online #precise

Online Piece-wise Linear Approximation of Numerical Streams with Precision Guarantees (HE, AKE, EC, WGA, WZ), pp. 145–156.

ICPC-2009-PetrenkoR #impact analysis #precise

Variable granularity for improving precision of impact analysis (MP, VR), pp. 10–19.

ICPC-2009-PopescuGM #analysis #dependence #precise

Enabling more precise dependency analysis in event-based systems (DP, JG, NM), pp. 305–306.

PEPM-2009-Martel #precise #program transformation

Program transformation for numerical precision (MM), pp. 101–110.

PLDI-2009-FlanaganF #concurrent #detection #named #performance #precise

FastTrack: efficient and precise dynamic race detection (CF, SNF), pp. 121–133.

PLDI-2009-NovarkBZ #memory management

Efficiently and precisely locating memory leaks and bloat (GN, EDB, BGZ), pp. 397–407.

SEFM-2009-DangG #graph #metamodelling #modelling #precise

Precise Model-Driven Transformations Based on Graphs and Metamodels (DHD, MG), pp. 307–316.

ICEIS-ISAS-2009-ChampclauxDM #information retrieval #precise #similarity

Enhancing High Precision by Combining Okapi BM25 with Structural Similarity in an Information Retrieval System (YC, TD, JM), pp. 279–285.

ICML-2009-ClemenconV #estimation #parametricity

Nonparametric estimation of the precision-recall curve (SC, NV), pp. 185–192.

SIGIR-2009-SeoJ #graph #precise #retrieval #using

High precision retrieval using relevance-flow graph (JS, JJ), pp. 694–695.

ECMDA-FA-2009-GarcesJCB #adaptation #detection #metamodelling #precise

Managing Model Adaptation by Precise Detection of Metamodel Changes (KG, FJ, PC, JB), pp. 34–49.

POPL-2009-GulwaniMC #complexity #estimation #named #performance #precise

SPEED: precise and efficient static estimation of program computational complexity (SG, KKM, TMC), pp. 127–139.

SAC-2009-LeeBPCLN #configuration management #named #precise

CPS-SIM: configurable and accurate clock precision solid state drive simulator (JL, EB, HP, JC, DL, SHN), pp. 318–325.

SAC-2009-SharyginaTT #abstraction #performance #precise #verification

The synergy of precise and fast abstractions for program verification (NS, ST, AT), pp. 566–573.

SAC-2009-ShellD #precise #simulation

Precise generalized contact point and normal determination for rigid body simulation (DAS, ED), pp. 2107–2108.

ICSE-2009-GeayPTRD #analysis #composition #precise #string

Modular string-sensitive permission analysis with demand-driven precision (EG, MP, TT, BGR, JD), pp. 177–187.

CC-2009-Grosslinger #array #precise

Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes (AG), pp. 236–250.

CGO-2009-CordesFM #abstract interpretation #analysis #modelling #performance #precise #slicing

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models (PL, DC, HF, PM), pp. 136–146.

ISMM-2009-RafkindWRF #c #garbage collection #precise

Precise garbage collection for C (JR, AW, JR, MF), pp. 39–48.

CAV-2009-LahiriQR #concurrent #detection #fault #precise #smt #using

Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers (SKL, SQ, ZR), pp. 509–524.

ISSTA-2009-ElkarabliehGL #generative #pointer #precise #reasoning #testing

Precise pointer reasoning for dynamic test generation (BE, PG, MYL), pp. 129–140.

ISSTA-2009-HalfondAO #analysis #identification #interface #precise #testing #web

Precise interface identification to improve testing and analysis of web applications (WGJH, SA, AO), pp. 285–296.

ASE-2008-BeyerHT #precise #program analysis

Program Analysis with Dynamic Precision Adjustment (DB, TAH, GT), pp. 29–38.

CASE-2008-DasSPS #aspect-oriented #assembly #hybrid #on the #precise

On the precision alignment and hybrid assembly aspects in manufacturing of a microspectrometer (AND, JS, DOP, HES), pp. 959–966.

CASE-2008-ScheitererNOSG #performance #precise #protocol

Synchronization performance of the Precision Time Protocol in the face of slave clock frequency drift (RLS, CN, DO, GS, DG), pp. 554–559.

DAC-2008-TamPB #analysis #automation #layout #locality #precise #using

Precise failure localization using automated layout analysis of diagnosis candidates (WCT, OP, RD(B), pp. 367–372.

MSR-2008-HataMK #precise #using

An extension of fault-prone filtering using precise training and a dynamic threshold (HH, OM, TK), pp. 89–98.

SCAM-2008-GiffhornH #analysis #java #precise #source code #using

Precise Analysis of Java Programs Using JOANA (DG, CH), pp. 267–268.

SCAM-2008-LundbergGL #analysis #performance #points-to #precise

Fast and Precise Points-to Analysis (JL, TG, WL), pp. 133–142.

PEPM-2008-PopeeaXC #array #bound #precise

A practical and precise inference and specializer for array bound checks elimination (CP, DNX, WNC), pp. 177–187.

FM-2008-GawlitzaS #analysis #game studies #precise

Precise Interval Analysis vs. Parity Games (TG, HS), pp. 342–357.

CHI-2008-OlwalFH #agile #precise

Rubbing and tapping for precise and rapid selection on touch-screen displays (AO, SF, SH), pp. 295–304.

CHI-2008-YamazakiYKBKK #coordination #interactive #precise

Precision timing in human-robot interaction: coordination of head movement and utterance (AY, KY, YK, MB, MK, HK), pp. 131–140.

CIKM-2008-HuangWL #detection #precise

Achieving both high precision and high recall in near-duplicate detection (LH, LW, XL), pp. 63–72.

ICML-2008-Corrada-EmmanuelS #estimation #fault #geometry #low level #precise

Autonomous geometric precision error estimation in low-level computer vision tasks (ACE, HJS), pp. 168–175.

ICPR-2008-TiernyVD #3d #performance #precise

Fast and precise kinematic skeleton extraction of 3D dynamic meshes (JT, JPV, MD), pp. 1–4.

ICPR-2008-ZhengW #detection #precise #robust

Robust and precise eye detection based on locally selective projection (YZ, ZW), pp. 1–4.

SIGIR-2008-Robertson #precise

A new interpretation of average precision (SR), pp. 689–690.

SIGIR-2008-WebberMZS

Precision-at-ten considered redundant (WW, AM, JZ, TS), pp. 695–696.

MoDELS-2008-BiermannET #emf #graph transformation #model transformation #precise #semantics

Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.

MoDELS-2008-BiermannET #emf #graph transformation #model transformation #precise #semantics

Precise Semantics of EMF Model Transformations by Graph Transformation (EB, CE, GT), pp. 53–67.

PPDP-2008-Lu #dependence #logic programming #polymorphism #precise #source code

Inferring precise polymorphic type dependencies in logic programs (LL), pp. 143–151.

QAPL-2008-PierroSW #abstract interpretation #analysis #precise #probability #relational

Relational Analysis and Precision via Probabilistic Abstract Interpretation (ADP, PS, HW), pp. 23–42.

POPL-2008-LahiriQ #precise #smt #using #verification

Back to the future: revisiting precise program verification using SMT solvers (SKL, SQ), pp. 171–182.

POPL-2008-YorshYC #generative #precise #summary

Generating precise and concise procedure summaries (GY, EY, SC), pp. 221–234.

ICSE-2008-BabicH #named #precise #scalability #static analysis

Calysto: scalable and precise extended static checking (DB, AJH), pp. 211–220.

ICSE-2008-XuR #detection #java #memory management #precise #profiling #using

Precise memory leak detection for java software using container profiling (G(X, AR), pp. 151–160.

CC-2008-KhedkerK #analysis #data flow #interprocedural #performance #precise #string

Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method (UPK, BK), pp. 213–228.

VMCAI-2008-Mendez-LojoH #analysis #precise #set #source code

Precise Set Sharing Analysis for Java-Style Programs (MML, MVH), pp. 172–187.

CASE-2007-PuSZD #operating system #precise #realtime

An Application of Real-time Operating System in High Speed and High Precision Motion Control Systems (DP, XS, WZ, HD), pp. 997–1001.

CASE-2007-ZhouGWJFLU #precise

Active Thermal Management for Precision Positioning (RZ, WG, JTW, MKJ, JF, GL, MU), pp. 45–50.

CASE-2007-ZimmermannS #modelling #precise #simulation

Modeling for Simulation and Control of a X-Y High Precision Positioning Table (JZ, OS), pp. 1093–1098.

DAC-2007-EdwardsL #precise

The Case for the Precision Timed (PRET) Machine (SAE, EAL), pp. 264–265.

ICDAR-2007-SchulzMM #performance #precise #set

Fast Selection of Small and Precise Candidate Sets from Dictionaries for Text Correction Tasks (KUS, SM, PM), pp. 471–475.

ESOP-2007-GawlitzaS #fixpoint #precise

Precise Fixpoint Computation Through Strategy Iteration (TG, HS), pp. 300–315.

FASE-2007-Whittle #case study #precise #specification

Precise Specification of Use Case Scenarios (JW), pp. 170–184.

PLDI-2007-WassermannS #analysis #injection #precise #web

Sound and precise analysis of web applications for injection vulnerabilities (GW, ZS), pp. 32–41.

SAS-2007-MalkisPR #precise #thread #verification

Precise Thread-Modular Verification (AM, AP, AR), pp. 218–232.

IFM-2007-AuSC #precise #specification

Precise Scenarios — A Customer-Friendly Foundation for Formal Specifications (OA, RS, JC), pp. 21–36.

ICFP-2007-HornM #analysis #complexity #control flow #precise

Relating complexity and precision in control flow analysis (DVH, HGM), pp. 85–96.

DHM-2007-Su #detection #performance #precise

Enhancing Sense of Reality by Efficient and Precise Collision Detection in Virtual Environments (CJS), pp. 969–978.

HIMI-IIE-2007-KochHLP #agile #mobile #precise

Rapid and Precise Mobile Data Processing for Fire Brigades and Rescue Services (SAFeR/GÜTER/SHARE) (RK, RH, BSL, JP), pp. 1050–1059.

HIMI-MTT-2007-SatoKF #concept #interface #precise #verification

Basic Experimental Verification of Grasping Information Interface Concept, Grasping Force Increases in Precise Periods (SS, MK, YF), pp. 180–188.

AdaEurope-2007-Garcia-RodriguezMG #ada #compilation #garbage collection #precise

Incorporating Precise Garbage Collection in an Ada Compiler (FGR, JM, JFG), pp. 235–245.

KDD-2007-KolczY #classification

Raising the baseline for high-precision text classifiers (AK, WtY), pp. 400–409.

SIGIR-2007-YueFRJ #optimisation #precise

A support vector method for optimizing average precision (YY, TF, FR, TJ), pp. 271–278.

SAC-2007-PaulK #precise #slicing #using

Precise dynamic slicing using execution-summary (AP, RK), pp. 1330–1331.

HPDC-2007-LeeS #analysis #performance #precise

Precise and realistic utility functions for user-centric performance analysis of schedulers (CBL, AS), pp. 107–116.

AMOST-2007-BouquetGLPVU #modelling #precise #testing #uml

A subset of precise UML for model-based testing (FB, CG, BL, FP, NV, MU), pp. 95–104.

CAV-2007-WangYGI #precise #reachability #using

Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra (CW, ZY, AG, FI), pp. 352–365.

CSL-2007-GawlitzaS #invariant #precise #relational

Precise Relational Invariants Through Strategy Iteration (TG, HS), pp. 23–40.

VMCAI-2007-FecherH #abstraction #precise

More Precise Partition Abstractions (HF, MH), pp. 167–181.

ICSM-2006-BreechTP #impact analysis #precise

Integrating Influence Mechanisms into Impact Analysis for Increased Precision (BB, MT, LLP), pp. 55–65.

CHI-2006-BenkoWB #multi #precise

Precise selection techniques for multi-touch screens (HB, ADW, PB), pp. 1263–1272.

CIKM-2006-YilmazA #precise

Estimating average precision with incomplete and imperfect judgments (EY, JAA), pp. 102–111.

ICML-2006-DavisG

The relationship between Precision-Recall and ROC curves (JD, MG), pp. 233–240.

ICPR-v4-2006-JinYSLX #classification #detection #hybrid #precise #robust

A hybrid classifier for precise and robust eye detection (LJ, XHY, SS, JL, LX), pp. 731–735.

ICPR-v4-2006-KongZK #precise #representation

An Anatomy of IrisCode for Precise Phase Representation (AWKK, DZ, MK), pp. 429–432.

ICPR-v4-2006-LandgrebePD

Precision-recall operating characteristic (P-ROC) curves in imprecise environments (TL, PP, RPWD), pp. 123–127.

SIGIR-2006-AslamY #documentation #precise

Inferring document relevance via average precision (JAA, EY), pp. 601–602.

SIGIR-2006-Chu-CarrollPCFD #approach #information retrieval #semantics #xml

Semantic search via XML fragments: a high-precision approach to IR (JCC, JMP, KC, DAF, PAD), pp. 445–452.

SIGIR-2006-CormackL #evaluation #information retrieval #precise #statistics

Statistical precision of information retrieval evaluation (GVC, TRL), pp. 533–540.

SIGIR-2006-PiwowarskiD #evaluation #information retrieval #modelling #xml

Evaluation in (XML) information retrieval: expected precision-recall with user modelling (EPRUM) (BP, GD), pp. 260–267.

SIGIR-2006-Tomlinson #feedback #metric #precise

Early precision measures: implications from the downside of blind feedback (ST), pp. 705–706.

SIGIR-2006-TurpinS #metric #performance #precise

User performance versus precision measures for simple search tasks (AT, FS), pp. 11–18.

SAC-2006-ErshovNM #architecture #precise

Quad and correctly rounded double precision math functions: portable and optimized for Intel architectures (AE, AN, SM), pp. 1310–1317.

SAC-2006-LuHS #algorithm #precise #realtime #scheduling

A precise schedulability test algorithm for scheduling periodic tasks in real-time systems (WCL, JWH, WKS), pp. 1451–1455.

FSE-2006-CobleighAC #precise #specification

User guidance for creating precise and accessible property specifications (RLC, GSA, LAC), pp. 208–218.

CAV-2006-Lev-AmiIS #abstraction #analysis #performance #precise

Abstraction for Shape Analysis with Fast and Precise Transformers (TLA, NI, SS), pp. 547–561.

LICS-2006-ShohamG #abstraction #precise

3-Valued Abstraction: More Precision at Less Cost (SS, OG), pp. 399–410.

VMCAI-2006-Mine #abstract domain #precise

Symbolic Methods to Enhance the Precision of Numerical Abstract Domains (AM), pp. 348–363.

ASE-2005-Milanova #composition #diagrams #identification #precise #uml

Precise identification of composition relationships for UML class diagrams (AM), pp. 76–85.

CASE-2005-GongHYL #precise

Experimental-model-based precision control of a piezoelectric actuated flexure stage (ZG, EHLH, GY, WL), pp. 124–129.

DATE-2005-AmatoCMP #precise

Realization of a Virtual Lambda Sensor on a Fixed Precision System (PA, NC, MDM, FP), pp. 192–197.

ICDAR-2005-ZanibbiBC #precise

Historical Recall and Precision: Summarizing Generated Hypotheses (RZ, DB, JRC), pp. 202–206.

ICSM-2005-MilanovaR #analysis #constraints #precise

Annotated Inclusion Constraints for Precise Flow Analysis (AM, BGR), pp. 187–196.

SEFM-2005-BarthePS #analysis #logic #memory management #precise #using

Precise Analysis of Memory Consumption using Program Logics (GB, MP, GS), pp. 86–95.

CAiSE-2005-StasiuHS #database #precise #query

Estimating Recall and Precision for Vague Queries in Databases (RKS, CAH, RdS), pp. 187–200.

CIKM-2005-AslamY #analysis #geometry

A geometric interpretation and analysis of R-precision (JAA, EY), pp. 664–671.

ECIR-2005-Belkhatir #automation #image #retrieval #semantics #visual notation

Combining Visual Semantics and Texture Characterizations for Precision-Oriented Automatic Image Retrieval (MB), pp. 457–474.

ECIR-2005-GoutteG #evaluation #precise #probability

A Probabilistic Interpretation of Precision, Recall and F-Score, with Implication for Evaluation (CG, ÉG), pp. 345–359.

SIGIR-2005-AslamYP05a #correlation #geometry #precise

A geometric interpretation of r-precision and its correlation with average precision (JAA, EY, VP), pp. 573–574.

SIGIR-2005-BeitzelJFCP #precise

Surrogate scoring for improved metasearch precision (SMB, ECJ, OF, AC, GP), pp. 583–584.

POPL-2005-GulwaniN #analysis #interprocedural #precise #random #using

Precise interprocedural analysis using random interpretation (SG, GCN), pp. 324–337.

ICSE-2005-ApiwattanapongOH #impact analysis #performance #precise #sequence #using

Efficient and precise dynamic impact analysis using execute-after sequences (TA, AO, MJH), pp. 432–441.

LCTES-2005-StaschulatE #analysis #precise #scalability #scheduling

Scalable precision cache analysis for preemptive scheduling (JS, RE), pp. 157–165.

LCTES-2005-TitzerP #precise

Nonintrusive precision instrumentation of microcontroller software (BT, JP), pp. 59–68.

DATE-DF-2004-Horsky #precise

A 16 Bit + Sign Monotonic Precise Current DAC for Sensor Applications (PH), pp. 34–38.

DATE-v1-2004-ChoiSP #energy #fine-grained #performance #precise #scalability #trade-off

Fine-Grained Dynamic Voltage and Frequency Scaling for Precise Energy and Performance Trade-Off Based on the Ratio of Off-Chip Access to On-Chip Computation Times (KC, RS, MP), pp. 4–9.

VLDB-2004-KrishnamurthyFHJ #precise

The Case for Precision Sharing (SK, MJF, JMH, GJ), pp. 972–986.

TACAS-2004-YorshRS #analysis

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis (GY, TWR, SS), pp. 530–545.

ICSM-2004-Gueheneuc #diagrams #precise #uml

Abstract and Precise Recovery of UML Diagram Constituents (YGG), p. 523.

ICSM-2004-Rountev #identification #java #precise

Precise Identification of Side-Effect-Free Methods in Java (AR), pp. 82–91.

PLDI-2004-VenetB #array #bound #c #embedded #performance #precise #scalability #source code

Precise and efficient static array bound checking for large embedded C programs (AV, GPB), pp. 231–242.

ICPR-v1-2004-MallonW #image #precise

Precise Radial Un-Distortion of Images (JM, PFW), pp. 18–21.

ICPR-v1-2004-OmachiSA #estimation #precise #recognition

Precise Estimation of High-Dimensional Distribution and Its Application to Face Recognition (SO, FS, HA), pp. 220–223.

SIGIR-2004-DiazJ #precise #predict #query #using

Using temporal profiles of queries for precision prediction (FD, RJ), pp. 18–24.

UML-2004-GoniE #concurrent #ocl #precise #uml #using

Building Precise UML Constructs to Model Concurrency Using OCL (AG, YE), pp. 212–225.

ECOOP-2004-SpoonS #precise #scalability #type inference

Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability (SAS, OS), pp. 51–74.

POPL-2004-Muller-OlmS #algebra #analysis #interprocedural #linear #precise

Precise interprocedural analysis through linear algebra (MMO, HS), pp. 330–341.

RE-2004-CorreaW #precise #specification #transaction #validation

Precise Specification and Validation of Transactional Business Software (ALC, CMLW), pp. 16–25.

ICSE-2004-MakCL #design pattern #modelling #precise #uml

Precise Modeling of Design Patterns in UML (JKHM, CSTC, DPKL), pp. 252–261.

ICSE-2004-SkeneLE #precise

Precise Service Level Agreements (JS, DDL, WE), pp. 179–188.

LICS-2004-AlfaroGJ #abstraction #game studies #nondeterminism #precise

Three-Valued Abstractions of Games: Uncertainty, but with Precision (LdA, PG, RJ), pp. 170–179.

DAC-2003-CarlettaVKF #fixpoint

Determining appropriate precisions for signals in fixed-point IIR filters (JC, RJV, FWK, ZF), pp. 656–661.

DAC-2003-FangRPC #modelling #performance #static analysis #towards

Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling (CFF, RAR, MP, TC), pp. 496–501.

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.

SAS-2003-BagnaraHRZ #precise

Precise Widening Operators for Convex Polyhedra (RB, PMH, ER, EZ), pp. 337–354.

SAS-2003-ChristensenMS #analysis #precise #string

Precise Analysis of String Expressions (ASC, AM, MIS), pp. 1–18.

CHI-2003-AlbinssonZ #interactive #precise

High precision touch screen interaction (PAA, SZ), pp. 105–112.

ICEIS-v1-2003-AmantonSH #database #distributed #precise #realtime

Tradding Precision for Timeliness in Distributed Real-Time Databases (LA, BS, JH), pp. 558–561.

CIKM-2003-BerraniAG #approximate #precise

Approximate searches: k-neighbors + precision (SAB, LA, PG), pp. 24–31.

SIGIR-2003-AzzopardiGR #information retrieval #metric

Investigating the relationship between language model perplexity and IR precision-recall measures (LA, MG, KvR), pp. 369–370.

ICSE-2003-Lamsweerde #modelling #precise #requirements #specification #uml

Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications (AvL), pp. 744–745.

ICSE-2003-ZhangGZ #algorithm #precise #slicing

Precise Dynamic Slicing Algorithms (XZ, RG, YZ), pp. 319–329.

CC-2003-LeagueST #compilation #java #precise

Precision in Practice: A Type-Preserving Java Compiler (CL, ZS, VT), pp. 106–120.

CC-2003-Ryder #analysis #object-oriented #precise #programming language

Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages (BGR), pp. 126–137.

DAC-2002-MolinaMH #multi #synthesis

High-level synthesis of multiple-precision circuitsindependent of data-objects length (MCM, JMM, RH), pp. 612–615.

DATE-2002-MolinaMH #independence #multi

Multiple-Precision Circuits Allocation Independent of Data-Objects Length (MCM, JMM, RH), pp. 909–913.

ESOP-2002-GoubaultMP #float #interpreter #precise

Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter (EG, MM, SP), pp. 209–212.

ESOP-2002-Martel #approach #fault #finite #precise #semantics

Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach (MM), pp. 194–208.

FASE-2002-BelaundeP #component #precise #specification

From EDOC Components to CCM Components: A Precise Mapping Specification (MB, MP), pp. 143–158.

FASE-2002-ClarkEK #approach #metamodelling #modelling #precise

Engineering Modelling Languages: A Precise Meta-Modelling Approach (TC, AE, SK), pp. 159–173.

CSMR-2002-HajnalF #algorithm #precise

A Precise Demand-Driven Def-Use Chaining Algorithm (ÁH, IF), p. 77–?.

ICSM-2002-MilanovaRR #diagrams #precise

Constructing Precise Object Relation Diagrams (AM, AR, BGR), pp. 586–595.

SCAM-2002-MilanovaRR #graph #pointer #precise

Precise Call Graph Construction in the Presence of Function Pointers (AM, AR, BGR), pp. 155–162.

PLDI-2002-ChoiLLOSS #concurrent #detection #object-oriented #parallel #performance #precise #source code #thread

Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs (JDC, KL, AL, RO, VS, MS), pp. 258–269.

SAS-2002-Ruf #analysis #data flow #precise

Improving the Precision of Equality-Based Dataflow Analyses (ER), pp. 247–262.

SAS-2002-VaucheretB #logic programming #performance #precise #source code #type inference

More Precise Yet Efficient Type Inference for Logic Programs (CV, FB), pp. 102–116.

ICPR-v1-2002-FleuretG #detection #estimation #performance #precise

Fast Face Detection with Precise Pose Estimation (FF, DG), p. 235–?.

ICPR-v3-2002-MarugameSYMFYKKTT #metric #performance #precise

A Fast and Precise System for Taking High-Density Human Head Measurements with Surrounding Range Finders (AM, SS, TY, KM, OF, YY, YK, HK, WT, JT), pp. 978–982.

SIGIR-2002-Kwok #precise #query

Higher precision for two-word queries (KLK), pp. 395–396.

UML-2002-VarroP #framework #metamodelling #modelling #precise #semantics #uml #visual notation

Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models (DV, AP), pp. 18–33.

PPDP-2002-LagoonS #analysis #logic programming #precise #source code

Precise pair-sharing analysis of logic programs (VL, PJS), pp. 99–108.

CC-2002-GschwindA #compilation #exception #precise #semantics

Precise Exception Semantics in Dynamic Compilation (MG, ERA), pp. 95–110.

ISSTA-2002-LiangPH #analysis #precise #profiling #using

Evaluating the precision of static reference analysis using profiling (DL, MP, MJH), pp. 22–32.

ASE-2001-BezivinG #framework #precise #towards

Towards a Precise Definition of the OMG/MDA Framework (JB, OG), pp. 273–280.

DAC-2001-MathurS #analysis #precise #using

Improved Merging of Datapath Operators using Information Content and Required Precision Analysis (AM, SS), pp. 462–467.

DATE-2001-NayakHCB #analysis #automation #fault #hardware #matlab #precise #synthesis

Precision and error analysis of MATLAB applications during automated hardware synthesis for FPGAs (AN, MH, ANC, PB), pp. 722–728.

ICDAR-2001-ZhaoL #documentation #kernel #recognition

High-Precision Two-Kernel Chinese Character Recognition in General Document Processing Systems (SLZ, HJL), pp. 617–621.

VLDB-2001-OzsuLON #database #image #multi #query #similarity

An Extendible Hash for Multi-Precision Similarity Querying of Image Databases (SL, MTÖ, VO, RTN), pp. 221–230.

SAS-2001-Goubault #analysis #float #precise

Static Analyses of the Precision of Floating-Point Operations (EG), pp. 234–259.

SIGIR-2001-JinFH #automation #information retrieval #named

Meta-scoring: Automatically Evaluating Term Weighting Schemes in IR without Precision-Recall (RJ, CF, AGH), pp. 83–89.

ECOOP-2001-WangS #constraints #java #precise #type inference

Precise Constraint-Based Type Inference for Java (TW, SFS), pp. 99–117.

ICLP-2001-CodishGSS #analysis

Higher-Precision Groundness Analysis (MC, SG, HS, PJS), pp. 135–149.

VLDB-2000-OlstonW #query #trade-off

Offering a Precision-Performance Tradeoff for Aggregation Queries over Replicated Data (CO, JW), pp. 144–155.

PLDI-2000-HeydonLY #dependence #precise #using

Caching function calls using precise dependencies (AH, RL, YY), pp. 311–320.

STOC-2000-OrlinSS #combinator #optimisation #precise

epsilon-optimization schemes and L-bit precision: alternative perspectives in combinatorial optimization (extended abstract) (JBO, ASS, SS), pp. 565–572.

ICPR-v2-2000-KatoOA #modelling #precise #recognition #using

Precise Hand-printed Character Recognition Using Elastic Models via Nonlinear Transformation (TK, SO, HA), pp. 2364–2367.

ICPR-v4-2000-HuangM #detection #precise

Face Detection and Precise Eyes Location (WH, RM), pp. 4722–4727.

ICPR-v4-2000-KyrkiK #2d #geometry #precise

High Precision 2-D Geometrical Inspection (VK, HK), pp. 4779–4782.

SIGIR-2000-Ando #metric #precise #scalability #semantics #similarity

Latent semantic-space: iterative scaling improves precision of inter-document similarity measurement (RKA), pp. 216–223.

UML-2000-GuennecSJ #design pattern #modelling #precise

Precise Modeling of Design Patterns (ALG, GS, JMJ), pp. 482–496.

LOPSTR-2000-PierroW #abstract interpretation #on the #precise

On the precision of abstract interpretations (ADP, HW).

LOPSTR-J-2000-PierroW #abstract interpretation #precise

Measuring the Precision of Abstract Interpretations (ADP, HW), pp. 147–164.

PPDP-2000-Lu #analysis #logic programming #precise #source code

A precise type analysis of logic programs (LL), pp. 214–225.

ISSTA-2000-SiegelA #precise

Improving the precision of INCA by preventing spurious cycles (SFS, GSA), pp. 191–200.

DAC-1999-ErcegovacKP #behaviour #multi #optimisation #power management #precise #synthesis #using

Low-Power Behavioral Synthesis Optimization Using Multiple Precision Arithmetic (MDE, DK, MP), pp. 568–573.

ICDAR-1999-JunkerDH #analysis #component #documentation #evaluation #on the #precise

On the Evaluation of Document Analysis Components by Recall, Precision, and Accuracy (MJ, AD, RH), pp. 713–716.

PASTE-1999-ChoiGHS #analysis #exception #java #modelling #performance #precise #source code

Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs (JDC, DG, MH, VS), pp. 21–31.

SAS-1999-RuthingKS #detection #performance #precise

Detecting Equalities of Variables: Combining Efficiency with Precision (OR, JK, BS), pp. 232–247.

SAS-1999-Soffa #analysis #data flow #named #precise #scalability #tutorial

Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis (MLS), pp. 355–356.

CHI-1999-GuiardBM #multi #navigation #precise

Navigation as Multiscale Pointing: Extending Fitts’ Model to Very High Precision Tasks (YG, MBL, DM), pp. 450–457.

SIGIR-1999-CormackLP #precise #random

Estimating Precision by Random Sampling (poster abstract) (GVC, OL, CRP), pp. 273–274.

SIGIR-1999-Eastman #internet #precise

30, 000 Hits may be Better than 300: Precision Anomalies in Internet Searches (poster abstract) (CME), pp. 313–314.

SIGIR-1999-LimaP #query #recognition

Phrase Recognition and Expansion for Short, Precision-Biased Queries Based on a Query Log (EFdL, JOP), pp. 145–152.

TOOLS-EUROPE-1999-Wills #component #design #modelling #named #precise

Catalysis: Precision Modeling and Design for Components (ACW), p. 400.

ICSE-1999-YehL #metric #normalisation #precise #towards #using

Toward Precise Measurements Using Software Normalization (PLY, JCL), pp. 736–737.

PLDI-1998-AgesenDM #garbage collection #java #liveness #virtual machine

Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines (OA, DD, JEBM), pp. 269–279.

SIGIR-1998-ChiaramellaMMOP #image #performance #retrieval #towards

Towards a Fast Precision-Oriented Image Retrieval System (YC, PM, MM, IO, MP), pp. 383–384.

SIGIR-1998-Montebello #information retrieval #optimisation #precise

Optimizing Recall/Precision Scores in IR over the WWW (MM), pp. 361–362.

UML-1998-MellorTAL #execution #precise #semantics #uml

An Action Language for UML: Proposal for a Precise Execution Semantics (SJM, SRT, RA, PL), pp. 307–318.

ECOOP-1998-LauderK #design pattern #precise #specification #visual notation

Precise Visual Specification of Design Patterns (AL, SK), pp. 114–134.

SAC-1998-MachucaM #data mining #database #mining #precise #relational #set

Enhancing the exploitation of data mining in relational database systems via the rough sets theory including precision variables (FM, MM), pp. 70–73.

ASPLOS-1998-GhoshMM #analysis #precise #program transformation

Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity (SG, MM, SM), pp. 228–239.

CAV-1998-SawadaH #execution #precise #verification

Processor Verification with Precise Exeptions and Speculative Execution (JS, WAHJ), pp. 135–146.

ASE-1997-EdenYG #automation #design pattern #precise #specification

Precise Specification and Automatic Application of Design Patterns (AHE, AY, JYG), pp. 143–152.

CSMR-1997-JarzabekW #precise #reverse engineering #tool support #towards

Towards a precise description of reverse engineering methods and tools (SJ, IW), pp. 3–9.

CSMR-1997-TonellaAFM #analysis #maintenance #precise

Variable Precision Reaching Definitions Analysis for Software Maintenance (PT, GA, RF, EM), pp. 60–67.

SAS-1997-ShapiroH #analysis #pointer #precise

The Effects of the Precision of Pointer Analysis (MS, SH), pp. 16–34.

STOC-1997-BuhlerSS #fourier #integer #performance #precise #using

Fast and Precise Computations of Discrete Fourier Transforms Using Cyclotomic Integers (JB, MAS, VS), pp. 40–47.

WIA-1997-Trahtman #automaton #estimation #finite #order #precise #testing

A Precise Estimation of the Order of Local Testability of a Deterministic Finite Automaton (ANT), pp. 198–212.

ILPS-1997-TanL #analysis #logic programming #precise #recursion #source code

Recursive Modes for Precise Analysis of Logic Programs (JT, IPL), pp. 277–290.

PLILP-1996-Fecht #logic programming #performance #precise #source code

An Efficient and Precise Sharing Domain for Logic Programs (CF), pp. 469–470.

CIKM-1995-ORiordanS

An Intelligent Agent for High-Precision Text Filtering (AO, HS), pp. 205–211.

ECOOP-1995-Agesen #algorithm #morphism #parametricity #polymorphism #precise #type inference

The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism (OA), pp. 2–26.

POPL-1995-RepsHS #analysis #data flow #graph #interprocedural #precise #reachability

Precise Interprocedural Dataflow Analysis via Graph Reachability (TWR, SH, SS), pp. 49–61.

FSE-1995-RepsR #interprocedural #precise

Precise Interprocedural Chopping (TWR, GR), pp. 41–52.

ICSM-1994-CanforaCTM #data type #identification #precise #reuse

A Precise Method for Identifying Reusable Abstract Data Types in Code (GC, AC, MT, MM), pp. 404–413.

PLDI-1994-Wang #performance #precise #predict

Precise Compile-Time Performance Prediction for Superscalar-Based Computers (KYW), pp. 73–84.

FME-1994-RossL #behaviour #modelling #precise #process

A Precise Examination of the Behaviour of Process Models (KJR, PAL), pp. 251–270.

OOPSLA-1994-PlevyakC #object-oriented #precise #type inference

Precise Concrete Type Inference for Object-Oriented Languages (JP, AAC), pp. 324–340.

ICLP-1994-GallagherW #approximate #logic programming #performance #precise #source code

Fast and Precise Regular Approximations of Logic Programs (JPG, DAdW), pp. 599–613.

PODS-1993-HaasNSS #estimation

Fixed-Precision Estimation of Join Selectivity (PJH, JFN, SS, ANS), pp. 190–201.

CIKM-1993-Lee #algorithm #precise #transaction

Precision Locking Algorithm for Nested Transactions Systems (JKL), pp. 674–683.

ICRE-1993-Beeck #analysis #execution #precise #realtime #specification

Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification (MvdB), pp. 227–245.

LFP-1992-NeubergerM #analysis #deduction #power of #precise #strict

A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis (MN, PM), pp. 127–138.

SIGIR-1989-RaghavanBJ #evaluation #precise #problem #retrieval #using

Retrieval System Evaluation Using Recall and Precision: Problems and Answers (VVR, PB, GSJ), pp. 59–68.

ASPLOS-1987-MagenheimerPPZ #architecture #integer #multi #precise

Integer Multiplication and Division on the HP Precision Architecture (DJM, LP, KP, DZ), pp. 90–99.

ICLP-1987-Somogyi87 #logic programming #modelling #precise #source code

A System of Precise Models for Logic Programs (ZS), pp. 769–787.

STOC-1985-HalpernMM #nondeterminism #precise

Optimal Precision in the Presence of Uncertainty (Preliminary Version) (JYH, NM, AAM), pp. 346–355.

POPL-1983-Kieburtz #data type #precise #specification #type system

Precise Typing of Abstract Data Type Specifications (RBK), pp. 109–116.

DAC-1982-InoueAF #design #layout #precise

A layout system for high precision design of progressive die (KI, MA, TF), pp. 246–252.

SIGMOD-1981-JordanBB #precise

Precision Locks (JRJ, JB, RBB), pp. 143–147.

POPL-1981-Myers #algorithm #data flow #interprocedural #precise

A Precise Interprocedural Data Flow Algorithm (EWM), pp. 219–230.

DAC-1968-Taxin #agile #generative #precise

A facility for rapid computer-aided generation of precision graphics (HMT).