Stem pat$ (all stems)

11 papers:

ECIR-2015-TannebaumR #database #named

PatNet: A Lexical Database for the Patent Domain (WT, AR), pp. 550–555.

HPCA-2015-XiJBWB #architecture #fault

Quantifying sources of error in McPAT and potential impacts on architectural studies (SLX, HMJ, PB, GYW, DMB), pp. 577–589.

ITiCSE-2013-CarboneRC

Five years of taps on shoulders to PATS on backs in ICT (AC, BR, JC), pp. 195–200.

PEPM-2010-ContejeanPUCPF #approach #automation #proving #termination

A3PAT, an approach for certified automated termination proofs (EC, AP, XU, PC, OP, JF), pp. 63–72.

ICPR-2010-WakaharaY #correlation #multi #recognition

Multi-template GAT/PAT Correlation for Character Recognition with a Limited Quantity of Data (TW, YY), pp. 2873–2876.

TACAS-2009-GofmanLSZYS #analysis #data access #named #policy

RBAC-PAT: A Policy Analysis Tool for Role Based Access Control (MIG, RL, ACS, YZ, PY, SDS), pp. 46–49.

CAV-2009-SunLDP #flexibility #named #towards #verification

PAT: Towards Flexible Verification under Fairness (JS, YL, JSD, JP), pp. 709–714.

ICSE-2006-Beyer #programming #relational

Relational programming with CrocoPat (DB), pp. 807–810.

LDTA-2004-JohnstoneSE04a #tool support

The GTB and PAT tools (AJ, ES, GRE), pp. 173–175.

IWPC-2003-BeyerL #analysis #named #object-oriented #performance #source code

CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs (DB, CL), pp. 294–295.

SIGIR-1997-ChienHC #information retrieval #keyword

Pat-tree-based Keyword Extraction for Chinese Information Retrieval (LFC, TIH, MCC), pp. 50–58.