Stem phase$ (all stems)

238 papers:

CASE-2015-DafleMSRR

A two-phase gripper to reorient and grasp (NCD, MTM, HS, GFR, AR), pp. 1249–1255.

DAC-2015-AsadJ #programming #using #verification

Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming (HuA, KDJ), p. 6.

DAC-2015-WangJZWY15a #memory management

Exploit imbalanced cell writes to mitigate write disturbance in dense phase change memory (RW, LJ, YZ, LW, JY), p. 6.

DATE-2015-PsarrasSND #named #network #performance #scheduling

PhaseNoC: TDM scheduling at the virtual-channel level for efficient network traffic isolation (AP, IS, CN, GD), pp. 1090–1095.

DATE-2015-WeiDC #architecture #memory management #multi #scalability

A scalable and high-density FPGA architecture with multi-level phase change memory (CW, AD, DC), pp. 1365–1370.

DRR-2015-LamiroyBBCGHL #concept #documentation #parametricity

Re-typograph phase I: a proof-of-concept for typeface parameter extraction from historical documents (BL, TB, JB, HC, SG, RH, ML).

VLDB-2015-OhKLM #memory management #mobile #optimisation

SQLite Optimization with Phase Change Memory for Mobile Applications (GO, SK, SWL, BM), pp. 1454–1465.

ICPC-2015-BenomarASPS #detection #development #evolution #process

Detection of software evolution phases based on development activities (OB, HA, HAS, PP, MAS), pp. 15–24.

FM-2015-SchutsH #concept #development #formal method

Formalizing the Concept Phase of Product Development (MS, JH), pp. 605–608.

HCI-IT-2015-NowackSLSJWK #gesture #recognition

Phases of Technical Gesture Recognition (TN, NS, SL, KS, SJ, HW, PK), pp. 130–139.

ICEIS-v3-2015-AgarwalS #comprehension #development #game studies

Understanding Game Modding through Phases of Mod Development (SA, PS), pp. 114–121.

ECOOP-2015-VekrisCJ #trust #type system #verification

Trust, but Verify: Two-Phase Typing for Dynamic Languages (PV, BC, RJ), pp. 52–75.

ASPLOS-2015-WangJZY #memory management #named #reliability

SD-PCM: Constructing Reliable Super Dense Phase Change Memory under Write Disturbance (RW, LJ, YZ, JY), pp. 19–31.

HPCA-2015-NairCRQ #latency #memory management

Reducing read latency of phase change memory via early read and Turbo Read (PJN, CCC, BR, MKQ), pp. 309–319.

PPoPP-2015-JinLMLLPCK #automation #benchmark #generative #identification #metric #modelling #parallel #statistics

Combining phase identification and statistic modeling for automated parallel benchmark generation (YJ, ML, XM, QL, JSL, NP, JYC, SK), pp. 269–270.

CAV-2015-MajumdarW #bound #model checking #named #source code

Bbs: A Phase-Bounded Model Checker for Asynchronous Programs (RM, ZW), pp. 496–503.

ISSTA-2015-WangGMC #android #approach #clone detection #detection #named #scalability

WuKong: a scalable and accurate two-phase approach to Android app clone detection (HW, YG, ZM, XC), pp. 71–82.

CASE-2014-TrikiGX #approach #health

A two-phase approach for periodic home health care planning (NT, TG, XX), pp. 518–523.

DATE-2014-FischerCM #analysis #design #modelling

Power modeling and analysis in early design phases (BF, CC, HM), pp. 1–6.

DATE-2014-HoffmanRAA #analysis #fault #memory management

Wear-out analysis of Error Correction Techniques in Phase-Change Memory (CH, LR, RA, GA), pp. 1–4.

DATE-2014-KimKKYL #design

Coarse-grained Bubble Razor to exploit the potential of two-phase transparent latch designs (HK, DK, JJK, SY, SL), pp. 1–6.

DATE-2014-LiM #memory management

Write-once-memory-code phase change memory (JL, KM), pp. 1–6.

DATE-2014-Wuttig

Exploring the limits of phase change memories (MW), pp. 1–2.

DocEng-2014-UlichneyGS

Circular coding with interleaving phase (RU, MG, SJS), pp. 21–24.

SEFM-2014-DeganoFG #adaptation #reliability #static analysis

A Two-Phase Static Analysis for Reliable Adaptation (PD, GLF, LG), pp. 347–362.

ICML-c2-2014-ChenX #modelling #statistics

Statistical-Computational Phase Transitions in Planted Models: The High-Dimensional Setting (YC, JX), pp. 244–252.

ICPR-2014-BayramogluKEANKH #approach #detection #image #machine learning #using

Detection of Tumor Cell Spheroids from Co-cultures Using Phase Contrast Images and Machine Learning Approach (NB, MK, LE, MA, MN, JK, JH), pp. 3345–3350.

ICPR-2014-CorringR #probability #representation #set

Shape from Phase: An Integrated Level Set and Probability Density Shape Representation (JC, AR), pp. 46–51.

ICPR-2014-Hast #invariant #robust

Robust and Invariant Phase Based Local Feature Matching (AH), pp. 809–814.

KMIS-2014-GuerrucciDAB #approach #information management #network

Phased Approach to a Knowledge Management Network (DG, RMD, RCA, DB), pp. 101–108.

SEKE-2014-GayedLB #case study #forensics #lightweight #ontology #process #using

Creating Proprietary Terms Using Lightweight Ontology: A Case Study on Acquisition Phase in a Cyber Forensic Process (TFG, HL, MB), pp. 76–81.

SAC-2014-LeeJB #design #file system #memory management #named #similarity

DTFS: exploiting the similarity of data versions to design a write-efficient file system in phase-change memory (EL, JEJ, HB), pp. 1535–1540.

SAC-2014-YooLB #memory management #policy

The least-dirty-first cache replacement policy for phase-change memory (SY, EL, HB), pp. 1449–1454.

OSDI-2014-NarulaCKM #in memory #transaction

Phase Reconciliation for Contended In-Memory Transactions (NN, CC, EK, RM), pp. 511–524.

DATE-2013-LiZCZ #analysis #multi #simulation

Multi-level phase analysis for sampling simulation (JL, WZ, HC, BZ), pp. 649–654.

DATE-2013-Rodriguez-RodriguezCCPT #memory management #performance #policy #using

Reducing writes in phase-change memory environments by using efficient cache replacement policies (RRR, FC, DC, LP, FT), pp. 93–96.

DATE-2013-YueZ #memory management #performance

Exploiting subarrays inside a bank to improve phase change memory performance (JY, YZ), pp. 386–391.

DATE-2013-ZhouZY #design #energy #memory management #network #using

The design of sustainable wireless sensor network node using solar energy and phase change memory (PZ, YZ, JY), pp. 869–872.

ICDAR-2013-NafchiMC #documentation #image

Application of Phase-Based Features and Denoising in Postprocessing and Binarization of Historical Document Images (HZN, RFM, MC), pp. 220–224.

MSR-2013-TsunodaTFKNU #development #estimation #process

Revisiting software development effort estimation based on early phase development activities (MT, KT, KF, YK, MN, NU), pp. 429–438.

PASTE-2013-ModiRA #debugging #locality #statistics

Exploring program phases for statistical bug localization (VM, SR, SKA), pp. 33–40.

DLT-2013-Regnault #automaton #probability #proving

Proof of a Phase Transition in Probabilistic Cellular Automata (DR), pp. 433–444.

HCI-IMT-2013-DharmaT #diagrams

Mapping Texture Phase Diagram of Artificial Haptic Stimuli Generated by Vibrotactile Actuators (AAGD, KT), pp. 578–586.

CIKM-2013-BonomiX #algorithm #difference #mining #privacy

A two-phase algorithm for mining sequential patterns with differential privacy (LB, LX), pp. 269–278.

CIKM-2013-LiuN #ranking

A phased ranking model for question answering (RL, EN), pp. 79–88.

KEOD-2013-LinnenbergMCSF #automation #energy #evaluation #lightweight #named #ontology #performance

OntoENERGY — A Lightweight Ontology for Supporting Energy-efficiency Tasks — Enabling Generic Evaluation of Energy Efficiency in the Engineering Phase of Automated Manufacturing Plants (TL, AWM, LC, CS, AF), pp. 337–344.

RE-2013-LarburuWBHN #collaboration #elicitation #requirements

Early phase telemedicine requirements elicitation in collaboration with medical practitioners (NL, IW, RGAB, HJH, CN), pp. 273–278.

HPCA-2013-LiZL13a #energy #interface #memory management

Exploring high-performance and energy proportional interface for phase change memory systems (ZL, RZ, TL), pp. 210–221.

DAC-2012-KimYL #latency #performance #ram

Write performance improvement by hiding R drift latency in phase-change RAM (YK, SY, SL), pp. 897–906.

DAC-2012-MirhoseiniPK #energy #memory management

Coding-based energy minimization for phase change memory (AM, MP, FK), pp. 68–76.

DATE-2012-GanPGM #design #distributed #flexibility #realtime #robust

Robust and flexible mapping for real-time distributed applications during the early design phases (JG, PP, FG, JM), pp. 935–940.

DATE-2012-KwonKKYL #case study #in memory #memory management #ram

A case study on the application of real phase-change RAM to main memory subsystem (SK, DK, YK, SY, SL), pp. 264–267.

DATE-2012-YunLY #ram

Bloom filter-based dynamic wear leveling for phase-change RAM (JY, SL, SY), pp. 1513–1518.

SIGMOD-2012-OhKKL #sorting

Reducing cache misses in hash join probing phase by pre-sorting strategy (abstract only) (GHO, JMK, WHK, SWL), p. 864.

TACAS-2012-BouajjaniE #analysis #bound #message passing #source code

Bounded Phase Analysis of Message-Passing Programs (AB, ME), pp. 451–465.

ICPC-2012-AlawnehH #communication #identification

Identifying computational phases from inter-process communication traces of HPC applications (LA, AHL), pp. 133–142.

ICEIS-v3-2012-CaronV #design #enterprise #information management #paradigm #process

Moving Across Paradigms between the Process Design and Enactment Phase in Enterprise Information Systems (FC, JV), pp. 218–223.

CIKM-2012-AsadiL #documentation #generative #performance #ranking

Fast candidate generation for two-phase document ranking: postings list intersection with bloom filters (NA, JL), pp. 2419–2422.

ICPR-2012-GhianiMR #detection #liveness

Fingerprint liveness detection by local phase quantization (LG, GLM, FR), pp. 537–540.

ICPR-2012-MolnarKJ #multi

A multi-layer phase field model for extracting multiple near-circular objects (CM, ZK, IJ), pp. 1427–1430.

ICPR-2012-PedoneH #invariant #recognition #robust

Local phase quantization descriptors for blur robust and illumination invariant recognition of color textures (MP, JH), pp. 2476–2479.

ICPR-2012-TajimaIA #3d #correlation #using

A non-rigid registration method for medical volume data using 3D Phase-Only Correlation (YT, KI, TA), pp. 93–96.

SEKE-2012-HossianG #concept #process #requirements

Phases, Activities, and Techniques for a Requirements Conceptualization Process (AH, RGM), pp. 25–32.

OOPSLA-2012-KulkarniC #compilation #machine learning #optimisation #problem #using

Mitigating the compiler optimization phase-ordering problem using machine learning (SK, JC), pp. 147–162.

CGO-2012-SembrantBH #modelling #performance #profiling

Phase guided profiling for fast cache modeling (AS, DBS, EH), pp. 175–185.

HPCA-2012-JiangZZYC #memory management

Improving write operations in MLC phase change memory (LJ, BZ, YZ, JY, BRC), pp. 201–210.

LCTES-2012-FangLZLCZ #analysis #multi #predict

Improving dynamic prediction accuracy through multi-level phase analysis (ZF, JL, WZ, YL, HC, BZ), pp. 89–98.

ICDAR-2011-HasegawaT #correlation

A Shape Descriptor Combining Logarithmic-Scale Histogram of Radon Transform and Phase-Only Correlation Function (MH, ST), pp. 182–186.

ICSM-2011-WangPXZ #case study #feature model #process

An exploratory study of feature location process: Distinct phases, recurring patterns, and elementary actions (JW, XP, ZX, WZ), pp. 213–222.

CIAA-2011-PajicPP #approach #finite #information management #transducer

Information Extraction from Semi-structured Resources: A Two-Phase Finite State Transducers Approach (VP, GPL, MP), pp. 282–289.

CIKM-2011-BykauMRV #evolution #query #using

Supporting queries spanning across phases of evolving artifacts using Steiner forests (SB, JM, FR, YV), pp. 1649–1658.

SAC-2011-MacielH #commit #protocol #rest

Extending timestamp-based two phase commit protocol for RESTful services to meet business rules (LAHdSM, CMH), pp. 778–785.

CGO-2011-SondagR #manycore #symmetry

Phase-based tuning for better utilization of performance-asymmetric multicore processors (TS, HR), pp. 11–20.

HPCA-2011-JoshiZL #energy #memory management #multi #named #performance

Mercury: A fast and energy-efficient multi-level cell based Phase Change Memory system (MJ, WZ, TL), pp. 345–356.

ICLP-2011-Zombori #information retrieval #logic #performance #reasoning

Two Phase Description Logic Reasoning for Efficient Information Retrieval (ZZ), pp. 296–300.

SAT-2011-GaoYX #case study #compilation

Phase Transitions in Knowledge Compilation: An Experimental Study (JG, MY, KX), pp. 364–366.

CASE-2010-ZhangWPTCPJ #analysis

Micro-thermal-fluid transient analysis and active control for two-phase microelectronics cooling (TZ, JTW, YP, TT, JYC, RP, MKJ), pp. 750–755.

DAC-2010-CochranR #consistency #detection #predict #runtime

Consistent runtime thermal prediction and control through workload phase detection (RC, SR), pp. 62–67.

DAC-2010-KaoCTC #detection #performance

An efficient phase detector connection structure for the skew synchronization system (YCK, HMC, KTT, SCC), pp. 729–734.

DATE-2010-JooNDSCX #design #energy #memory management

Energy- and endurance-aware design of phase change memory caches (YJ, DN, XD, GS, NC, YX), pp. 136–141.

CHI-2010-TsujitaTS #behaviour #communication #evaluation #named

InPhase: evaluation of a communication system focused on “happy coincidences” of daily behaviors (HT, KT, IS), pp. 2481–2490.

ICPR-2010-ForsbergAK #estimation #image #parallel

Parallel Scales for More Accurate Displacement Estimation in Phase-Based Image Registration (DF, MTA, HK), pp. 2329–2332.

ICPR-2010-HeikkilaOR

Improved Blur Insensitivity for Decorrelated Local Phase Quantization (JH, VO, ER), pp. 818–821.

ICPR-2010-LuLLY #automation #classification #image

Automated Cell Phase Classification for Zebrafish Fluorescence Microscope Images (YL, JL, TL, JY), pp. 2584–2587.

ICPR-2010-MoriMY #recognition #using

Gait Recognition Using Period-Based Phase Synchronization for Low Frame-Rate Videos (AM, YM, YY), pp. 2194–2197.

ICPR-2010-SuzukiIAT #algorithm #estimation #image #using

A Scale Estimation Algorithm Using Phase-Based Correspondence Matching for Electron Microscope Images (AS, KI, TA, RT), pp. 2420–2423.

ICPR-2010-UsenikVPL #automation #image

Automated Tracking of Vesicles in Phase Contrast Microscopy Images (PU, TV, FP, BL), pp. 2520–2523.

KDIR-2010-BartikB #categorisation #documentation #web

Two-phase Categorization of Web Documents (VB, RB), pp. 458–462.

SAC-2010-AraujoOS #hybrid #quantum

Hybrid evolutionary quantum inspired method to adjust time phase distortions in financial time series (RdAA, ALIdO, SCBS), pp. 1153–1154.

HPCA-2010-QureshiFL #performance

Improving read performance of Phase Change Memories via Write Cancellation and Write Pausing (MKQ, MF, LALM), pp. 1–11.

LCTES-2010-KulkarniJW #optimisation #performance #sequence

Improving both the performance benefits and speed of optimization phase sequence searches (PAK, MRJ, DBW), pp. 95–104.

CAV-2010-Seth #automaton #bound #multi #reachability

Global Reachability in Bounded Phase Multi-stack Pushdown Systems (AS), pp. 615–628.

LICS-2010-Larchey-WendlingG #semantics

The Undecidability of Boolean BI through Phase Semantics (DLW, DG), pp. 140–149.

DATE-2009-KimYK #online #runtime #scalability

Program phase and runtime distribution-aware online DVFS for combined Vdd/Vbb scaling (JK, SY, CMK), pp. 417–422.

DATE-2009-TrautmannMBDUDPC #case study #framework #simulation

Simulation framework for early phase exploration of SDR platforms: A case study of platform dimensioning (MT, SM, BB, JD, EU, AD, LVdP, FC), pp. 312–315.

CSEET-2009-PadminiR #challenge #development

Issues in SE E-learning Development — Changing Phases and Challenges Going Forward (HAP, SSR), pp. 130–137.

FM-2009-BonakdarpourK #bound #complexity #on the

On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery (BB, SSK), pp. 660–675.

ICEIS-ISAS-2009-LeiteG #analysis #multi #process #requirements

A Process for Multi-agent Domain and Application Engineering — The Domain Analysis and Application Requirements Engineering Phases (AL, RG), pp. 156–161.

SAC-2009-WidyaBBJHSSV #assessment #requirements

Early phase requirements assessment of a teletreatment trial (IW, BJvB, RB, VMJ, HJH, LS, LS, MHAHiV), pp. 395–396.

SAT-2009-CreignouDER #comprehension

(1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms (NC, HD, UE, RR), pp. 363–376.

DAC-2008-KurimotoSAYOTS #detection #fault #optimisation #scalability

Phase-adjustable error detection flip-flops with 2-stage hold driven optimization and slack based grouping scheme for dynamic voltage scaling (MK, HS, RA, TY, HO, HT, HS), pp. 884–889.

DATE-2008-LiNBPC #architecture #multi

Generic Multi-Phase Software-Pipelined Partial-FFT on Instruction-Level-Parallel Architectures and SDR Baseband Applications (ML, DN, BB, LVdP, FC), pp. 598–603.

TACAS-2008-PaceS #model checking #visualisation

Computation and Visualisation of Phase Portraits for Model Checking SPDIs (GJP, GS), pp. 341–345.

FM-2008-BonakdarpourK #bound #fault

Masking Faults While Providing Bounded-Time Phased Recovery (BB, SSK), pp. 374–389.

CAiSE-2008-MatuleviciusMMDHG #adaptation #development #information management #risk management #security

Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development (RM, NM, HM, ED, PH, NG), pp. 541–555.

ICPR-2008-GuoX #difference #recognition

Local Gabor phase difference pattern for face recognition (YG, ZX), pp. 1–4.

ICPR-2008-LathenJB #segmentation #set

Phase based level set segmentation of blood vessels (GL, JJ, MB), pp. 1–4.

ICPR-2008-OjansivuRH #analysis #invariant

Rotation invariant local phase quantization for blur insensitive texture analysis (VO, ER, JH), pp. 1–4.

ICPR-2008-WongCF #adaptation #image #using

Phase-adaptive image signal fusion using complex-valued wavelets (AW, DAC, PWF), pp. 1–4.

KDD-2008-ChihP #persuasion #visualisation

The persuasive phase of visualization (CHC, DSPJ), pp. 884–892.

ECOOP-2008-ZhangH #adaptation #layout #online

Online Phase-Adaptive Data Layout Selection (CZ, MH), pp. 309–334.

SAC-2008-ParkLLP #architecture #file system #hybrid #memory management #named #ram #scalability

PFFS: a scalable flash memory file system for the hybrid architecture of phase-change RAM and NAND flash (YP, SHL, CL, KHP), pp. 1498–1503.

CGO-2008-GuV #adaptation #virtual machine

Phase-based adaptive recompilation in a JVM (DG, CV), pp. 24–34.

ISMM-2008-PizloPS #execution

Path specialization: reducing phased execution overheads (FP, EP, BS), pp. 81–90.

SAT-2008-CreignouDER #quantifier #random

New Results on the Phase Transition for Random Quantified Boolean Formulas (NC, HD, UE, RR), pp. 34–47.

CBSE-2007-LauLE #component #deployment #design #towards

Towards Composing Software Components in Both Design and Deployment Phases (KKL, LL, PVE), pp. 274–282.

CASE-2007-ChengHK #development

Development of a Dual-Phase Virtual Metrology Scheme (FTC, HCH, CAK), pp. 270–275.

CASE-2007-ZhuangXZD #multi #optimisation #set

Von Mises Stress and Level Set Method based Structural Topology Optimization with Multi-phase Materials (CZ, ZX, XZ, HD), pp. 945–949.

DAC-2007-ChanZ #modelling

Modeling Simultaneous Switching Noise-Induced Jitter for System-on-Chip Phase-Locked Loops (HHYC, ZZ), pp. 430–435.

DAC-2007-KangKR #design #power management #using

Variation Resilient Low-Power Circuit Design Methodology using On-Chip Phase Locked Loop (KK, KK, KR), pp. 934–939.

CSMR-2007-LuciaDGR #approach #design pattern

A Two Phase Approach to Design Pattern Recovery (ADL, VD, CG, MR), pp. 297–306.

ICFP-2007-GhuloumD #library

Implicit phasing for R6RS libraries (AG, RKD), pp. 303–314.

ICEIS-HCI-2007-Godet-BarRDJ #analysis #human-computer

Interactional Objects: HCI Concerns in the Analysis Phase of the Symphony Method (GGB, DR, SDC, DJ), pp. 37–44.

OOPSLA-2007-Rinard #termination #using

Using early phase termination to eliminate load imbalances at barrier synchronization points (MCR), pp. 369–386.

SAC-2007-CuadradoM #model transformation

A phasing mechanism for model transformation languages (JSC, JGM), pp. 1020–1024.

CGO-2007-KulkarniWT #algorithm #heuristic #optimisation #order

Evaluating Heuristic Optimization Phase Order Search Algorithms (PAK, DBW, GST), pp. 157–169.

COCV-2007-BlechP #code generation

A Certifying Code Generation Phase (JOB, APH), pp. 65–82.

ISMM-2007-XianSJ #concurrent #garbage collection #performance #policy #scheduling #thread

Allocation-phase aware thread scheduling policies to improve garbage collection performance (FX, WSa, HJ), pp. 79–90.

DAC-2006-LaiR #megamodelling #multi #performance #robust

A multilevel technique for robust and efficient extraction of phase macromodels of digitally controlled oscillators (XL, JSR), pp. 1017–1022.

DATE-2006-CarbognaniBFKF #power management

Two-phase resonant clocking for ultra-low-power hearing aid applications (FC, FB, NF, HK, WF), pp. 73–78.

VLDB-2006-HuangCLL #evolution #using #xml

XML Evolution: A Two-phase XML Processing Model Using XML Prefiltering Techniques (CHH, TRC, JJL, HML), pp. 1215–1218.

WCRE-2006-GanesanMKY #aspect-oriented #case study #product line #source code

Discovering Organizational Aspects from the Source Code History Log during the Product Line Planning Phase — A Case Study (DG, DM, JK, KY), pp. 211–220.

CIKM-2006-JiangLH #algorithm #performance #xml

An efficient one-phase holistic twig join algorithm for XML data (ZJ, CL, WCH), pp. 786–787.

ICPR-v1-2006-DawoodBLJS #multi

Transforming Static CT in Gated PET/CT Studies to Multiple Respiratory Phases (MD, FB, NL, XJ, KPS), pp. 1026–1029.

ICPR-v3-2006-QingSCG #probability #recognition

Face Recognition under Varying Lighting Based on the Probabilistic Model of Gabor Phase (LQ, SS, XC, WG), pp. 1139–1142.

ICPR-v4-2006-KongZK #precise #representation

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

ICPR-v4-2006-LuC06a #3d #analysis #metric #using

Practical 3-D Shape Measurement Using Optimal Intensity-Modulated Projection and Intensity-Phase Analysis Techniques (CL, GC), pp. 870–873.

ICPR-v4-2006-WongN #classification

Blind Phase-Amplitude Modulation Classification with Unknown Phase Offset (MLDW, AKN), pp. 177–180.

SAC-2006-HabichWLP #clustering #set

Two-phase clustering strategy for gene expression data sets (DH, TW, WL, CP), pp. 145–150.

CGO-2006-DasLH #detection #monitoring #optimisation

Region Monitoring for Local Phase Detection in Dynamic Optimization Systems (AD, JL, WCH), pp. 124–134.

CGO-2006-KulkarniWTD #optimisation #order

Exhaustive Optimization Phase Order Space Exploration (PAK, DBW, GST, JWD), pp. 306–318.

CGO-2006-LauPC #analysis

Selecting Software Phase Markers with Code Structure Analysis (JL, EP, BC), pp. 135–146.

CGO-2006-NagpurkarKHSR #algorithm #detection #online

Online Phase Detection Algorithms (PN, CK, MH, PFS, VTR), pp. 111–123.

HPCA-2006-IsciM

Phase characterization for power: evaluating control-flow-based and event-counter-based techniques (CI, MM), pp. 121–132.

ISMM-2006-AgaramKLM #data type #memory management #performance

Decomposing memory performance: data structures and phases (KKA, SWK, CL, KSM), pp. 95–103.

LCTES-2006-KulkarniWTD #optimisation #order

In search of near-optimal optimization phase orderings (PAK, DBW, GST, JWD), pp. 83–92.

DAC-2005-KlemasDW #algorithm #order #reduction

Segregation by primary phase factors: a full-wave algorithm for model order reduction (TJK, LD, JKW), pp. 943–946.

DAC-2005-NatarajanKH

A 24 GHz phased-array transmitter in 0.18µm CMOS (AN, AK, AH), pp. 551–552.

DAC-2005-NiehHH

Minimizing peak current via opposite-phase clock tree (YTN, SHH, SYH), pp. 182–185.

ICSM-2005-PilskalnsWA #component #design

Defining Maintainable Components in the Design Phase (OP, DW, AAA), pp. 49–58.

SEKE-2005-FekiMG #approach #integration #multi

A Two-Phase Approach for Multidimensional Schemes Integration (JF, JM, FG), pp. 498–503.

SEKE-2005-PilattiPA #development #framework #standard

Global Software Development: Standardization of the Developing Phase based on the MSF Framework in a global CMM level 3 context (LP, RP, JLNA), pp. 235–240.

MoDELS-2005-MasticolaBH #architecture #estimation #modelling #scalability

Model-Based Scalability Estimation in Inception-Phase Software Architecture (SPM, ABB, MH), pp. 355–366.

MoDELS-2005-MasticolaBH #architecture #estimation #modelling #scalability

Model-Based Scalability Estimation in Inception-Phase Software Architecture (SPM, ABB, MH), pp. 355–366.

CGO-2005-NagpurkarKS #profiling

Phase-Aware Remote Profiling (PN, CK, TS), pp. 191–202.

HPCA-2005-LauSC #classification #predict

Transition Phase Classification and Prediction (JL, SS, BC), pp. 278–289.

SAT-2005-HeuleM #bound #linear #programming #random #satisfiability #using

Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming (MH, HvM), pp. 122–134.

DAC-2004-McCullen

Phase correct routing for alternating phase shift masks (KWM), pp. 317–320.

DATE-DF-2004-Saul #power management

Low Power Analogue 90 Degree Phase Shifter (PHS), pp. 28–33.

DATE-v1-2004-BadarogluWPDGM #reduction

Digital Ground Bounce Reduction by Phase Modulation of the Clock (MB, PW, GVdP, SD, GGEG, HDM), pp. 88–93.

DATE-v1-2004-MartensG #architecture #design

A Phase-Frequency Transfer Description of Analog and Mixed-Signal Front-End Architectures for System-Level Design (EM, GGEG), pp. 436–441.

DATE-v2-2004-LorenzM #algorithm #code generation #search-based #using

Phase Coupled Code Generation for DSPs Using a Genetic Algorithm (ML, PM), pp. 1270–1275.

ICSM-2004-XingS #comprehension #evolution #object-oriented

Understanding Phases and Styles of Object-Oriented Systems’ Evolution (ZX, ES), pp. 242–251.

PLDI-2004-KulkarniHHWDJ #effectiveness #optimisation #performance #sequence

Fast searches for effective optimization phase sequences (PAK, SH, JH, DBW, JWD, DLJ), pp. 171–182.

ICEIS-v1-2004-EstevesP #behaviour #enterprise #implementation

Organizational and Technological Critical Success Factors Behavior Along the ERP Implementation Phases (JE, JAP), pp. 45–53.

ICEIS-v3-2004-DavisTC #development #enterprise #framework #information management #specification

Meta Data Framework for Enterprise Information Systems Specification — Aiming to Reduce or Remove the Development Phase for EIS Systems (JD, AT, EC), pp. 451–456.

ICML-2004-BaskiotisS #approach

C4.5 competence map: a phase transition-inspired approach (NB, MS).

ICPR-v2-2004-KellerAM #correlation #robust

Robust Phase Correlation (YK, AA, OM), pp. 740–743.

ICPR-v4-2004-UlusoyHH #probability

Probabilistic Phase Based Sparse Stereo (IU, UH, ERH), pp. 84–87.

KR-2004-Rintanen #case study

Phase Transitions in Classical Planning: An Experimental Study (JR), pp. 710–719.

SEKE-2004-HessI #ontology #preprocessor

Applying Ontologies in the KDD Pre-Processing Phase (GNH, CI), pp. 366–371.

SEKE-2004-OFallonPKA #component #design

Defining and Qualifying Components in the Design Phase (AO, OP, AK, AAA), pp. 129–134.

SIGIR-2004-MaS #information management #using

Information extraction using two-phase pattern discovery (LM, JS), pp. 534–535.

OOPSLA-2004-GeorgesBEB #behaviour #java

Method-level phase behavior in java workloads (AG, DB, LE, KDB), pp. 270–287.

SAC-2004-Al-HoumailyC #commit #named #protocol

1-2PC: the one-two phase atomic commit protocol (YJAH, PKC), pp. 684–691.

ASPLOS-2004-ShenZD #locality #predict

Locality phase prediction (XS, YZ, CD), pp. 165–176.

CGO-2004-WuBQEF #predict

The Accuracy of Initial Prediction in Two-Phase Dynamic Binary Translators (YW, MBJ, JQ, OE, JF), pp. 227–238.

DATE-2003-BurbidgeTR #automation #embedded #monitoring

Techniques for Automatic On Chip Closed Loop Transfer Function Monitoring For Embedded Charge Pump Phase Locked Loops (MJB, JT, AR), pp. 10496–10503.

DATE-2003-FazelTR #design #logic #named #visualisation

PLFire: A Visualization Tool for Asynchronous Phased Logic Designs (KF, MAT, RBR), pp. 11096–11097.

DATE-2003-VanasscheGS #analysis #detection #domain model #modelling

Time-Varying, Frequency-Domain Modeling and Analysis of Phase-Locked Loops with Sampling Phase-Frequency Detectors (PV, GGEG, WMCS), pp. 10238–10243.

LCTES-2003-KarczmarekTA #scheduling #source code

Phased scheduling of stream programs (MK, WT, SPA), pp. 103–112.

LCTES-2003-KulkarniZMCWDBPG #effectiveness #optimisation #sequence

Finding effective optimization phase sequences (PAK, WZ, HM, KC, DBW, JWD, MWB, YP, KG), pp. 12–23.

ICLP-2003-ZhaoL #case study #programming #set #source code

Answer Set Programming Phase Transition: A Study on Randomly Generated Programs (YZ, FL), pp. 239–253.

DATE-2002-DuarteVI #power management

A Complete Phase-Locked Loop Power Consumption Model (DD, NV, MJI), p. 1108.

ICPR-v1-2002-SaitohTK #automation #multi #segmentation

Automatic Segmentation of Liver Region through Blood Vessels on Multi-Phase CT (TS, YT, TK), pp. 735–738.

ICPR-v2-2002-LacombeKAB #approach

A Variational Approach to One Dimensional Phase Unwrapping (CL, PK, GA, LBF), p. 810–?.

KDD-2002-ChenHS #algorithm

A new two-phase sampling based algorithm for discovering association rules (BC, PJH, PS), pp. 462–468.

RE-2002-FritzhannsK #approach #assessment

Product Management Assessment — A New Approach to Optimize the Early Phases (TF, FK), pp. 124–126.

SAT-2002-SlaneyW #behaviour #optimisation

Phase Transition Behavior: From Decision to Optimization (JS, TW), p. 4.

DAC-2001-KimZP #multi

A True Single-Phase 8-bit Adiabatic Multiplier (SK, CHZ, MCP), pp. 758–763.

DAC-2001-LiebmannLHG #design #logic

Enabling Alternating Phase Shifted Mask Designs for a Full Logic Gate Level: Design Rules and Design Rule Checking (LL, JL, FLH, IG), pp. 79–84.

DAC-2001-SanieCHM #design #standard

A Practical Application of Full-Feature Alternating Phase-Shifting Technology for a Phase-Aware Standard-Cell Design Flow (MS, MC, PH, VM), pp. 93–96.

ITiCSE-2001-AzadeganL #implementation

An international common project: implementation phase (SA, CL), pp. 125–128.

ICSM-2001-Kajko-MattssonGN

Evaluating the Predelivery Phase of ISO/IEC FDIS 14764 in the Swedish Context (MKM, AGG, MN), pp. 431–440.

DATE-2000-GouraryRUZGM #approach

A New Approach for Computation of Timing Jitter in Phase Locked Loops (MMG, SGR, SLU, MMZ, KKG, BJM), pp. 345–349.

DATE-2000-NooshabadiMNSS

A Single Phase Latch for High Speed GaAs Domino Circuits (SN, JAMN, AN, RS, JS), p. 760.

ICML-2000-GiordanaSSB #framework #learning #relational

Analyzing Relational Learning in the Phase Transition Framework (AG, LS, MS, MB), pp. 311–318.

ICPR-v2-2000-Chandran

A Link between Shape and Phase (VC), pp. 2426–2429.

ICPR-v4-2000-NakajimaIPP #correlation #detection #invariant #recognition

Object Recognition and Detection by a Combination of Support Vector Machine and Rotation Invariant Phase Only Correlation (CN, NI, MP, TP), pp. 4787–4790.

DAC-1999-GuerraFTSTZ #integration #modelling

Cycle and Phase Accurate DSP Modeling and Integration for HW/SW Co-Verification (LMG, JF, DT, CS, BT, VZ), pp. 964–969.

DAC-1999-PatraN #automation #power management #synthesis

Automated Phase Assignment for the Synthesis of Low Power Domino Circuits (PP, UN), pp. 379–384.

ICSM-1999-KrikhaarPSSV #architecture #process

A Two-Phase Process for Software Architecture Improvement (RLK, AP, MPAS, MS, CV), pp. 371–380.

IWTCS-1999-CsurgayM #design #performance #testing

Performance Testing at Early Design Phases (PC, MM), pp. 317–330.

DAC-1998-DemirMR

Phase Noise in Oscillators: A Unifying Theory and Numerical Methods for Characterisation (AD, AM, JSR), pp. 26–31.

VLDB-1998-NipplM #cost analysis #multi #named

TOPAZ: a Cost-Based, Rule-Driven, Multi-Phase Parallelizer (CN, BM), pp. 251–262.

ICPR-1998-El-YacoubiSGS #architecture #recognition #word

Improved model architecture and training phase in an off-line HMM-based word recognition system (AEY, RS, MG, CYS), pp. 1521–1525.

ICPR-1998-LuYI #analysis

Intensity modulated moire and its intensity-phase analysis (CL, AY, SI), pp. 1791–1793.

LICS-1998-FagesRS #concurrent #constraints #semantics #source code #verification

Phase Semantics and Verification of Concurrent Constraint Programs (FF, PR, SS), pp. 141–152.

RE-1997-Yu #modelling #reasoning #requirements #towards

Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering (ESKY), pp. 226–235.

WCRE-1996-Davis #flexibility #reverse engineering

Combining a Flexible Data Model and Phase Schema Translation in Data Model Reverse Engineering (KHD), p. 141–?.

ICPR-1996-AkhmetshinL #difference #fourier #image #principle #re-engineering

The reconstruction of signals and images from the noisy Fourier transform phase by means of the generalized difference principle (AMA, IL), pp. 370–375.

ICPR-1996-FrohlinghausB

Regularizing phase-based stereo (TF, JMB), pp. 451–455.

ICPR-1996-Reisfeld #detection

Constrained phase congruency: simultaneous detection of interest points and of their orientational scales (DR), pp. 750–754.

ICSM-1994-KhoshgoftaarS #maintenance #predict

Improving Code Churn Predictions During the System Test and Maintenance Phases (TMK, RMS), pp. 58–67.

CIKM-1994-HelalKF

Quasi-Dynamic Two-Phase Locking (AH, THK, JF), pp. 211–218.

SAC-1994-ChangCG #abstract interpretation #bottom-up #execution #logic programming #source code

Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation (BMC, KMC, RG), pp. 388–393.

SAC-1994-MortonTBS #2d #adaptation #finite #simulation

An adaptive finite element methodology for 2D simulation of two-phase flow through porous media (DJM, JMT, ATB, PAS), pp. 357–362.

CC-1994-AltAS #compilation

Cosy Compiler Phase Embedding with the CoSy Compiler Model (MA, UA, HvS), pp. 278–293.

DAC-1993-PapaefthymiouR #named

TIM: A Timing Package for Two-Phase, Level-Clocked Circuitry (MCP, KHR), pp. 497–502.

DAC-1993-ShenoyBS #multi #pipes and filters

Resynthesis of Multi-Phase Pipelines (NVS, RKB, ALSV), pp. 490–496.

KBSE-1993-SmithS #design #synthesis #towards

Towards Supporting Design Phase Synthesis (TES, DES), p. 7.

VLDB-1993-LampsonL #commit #optimisation

A New Presumed Commit Optimization for Two Phase Commit (BWL, DBL), pp. 630–640.

SEKE-1993-MochizukiYK #design #modelling #process

Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model (SM, AY, TK), pp. 291–295.

HPDC-1993-MaR #composition #multi #named #queue

MULTIPAR: An Output Queue ATM Modular Switch with Multiple Phases and Replicated Planes (JM, KR), pp. 152–159.

ML-1992-ZytkowZZ #fault

The First Phase of Real-World Discovery: Determining Repeatability and Error of Experiments (JMZ, JZ, RZ), pp. 480–485.

TOOLS-PACIFIC-1992-Watson92a #education #object-oriented

Teaching OOP: The Middle Phase (DW), pp. 243–249.

POPL-1990-HarperMM #higher-order

Higher-Order Modules and the Phase Distinction (RH, JCM, EM), pp. 341–354.

CC-1990-Sassa #compilation #generative #towards

Rie and Jun: Towards the Generation of all Compiler Phases (MS), pp. 56–70.

PODS-1988-Kelter #concurrent #protocol #queue

The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol (UK), pp. 142–151.

VLDB-1983-DasguptaK #concurrent #database #protocol

A Non-Two-Phase Locking Protocol for Concurrency Control in General Databases (PD, ZMK), pp. 92–94.

VLDB-1983-LinN #multi

Basic Timestamp, Multiple Version Timestamp, and Two-Phase Locking (WTKL, JN), pp. 109–119.

PODS-1982-MenasceN #commit #evaluation #performance #protocol

Performance Evaluation of a Two-Phase Commit Based Protocol for DDBS (DAM, TN), pp. 247–255.

PODS-1982-MohanFS #commutative #protocol

Compatibility and Commutativity in Non-two-phase Locking Protocols (CM, DSF, AS), pp. 283–292.

VLDB-1982-KedemMS #concurrent #performance #protocol

An Efficient Deadlock Removal Scheme for Non-Two-Phase Locking Protocols (ZMK, CM, AS), pp. 91–97.

SCC-1982-LaLondeR #compilation #flexibility

A Flexible Compiler Structure That Allows Dynamic Phase Ordering (WRL, JdR), pp. 134–139.

VLDB-1980-KedemS #protocol

Non-Two-Phase Locking Protocols with Shared and Exclusive Locks (ZMK, AS), pp. 309–317.

VLDB-1979-KawazuMIT #algorithm #concurrent #database #detection #distributed

Two-Phase Deadlock Detection Algorithm in Distributed Databases (SK, SM, KI, KT), pp. 360–367.

ICALP-1978-Toffoli #integration #network

Integration of the Phase-Difference Relations in Asynchronous Sequential Networks (TT), pp. 457–463.