BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
tool (2)
base (2)
croco (2)
analysi (2)
program (2)

Stem pat$ (all stems)

11 papers:

ECIRECIR-2015-TannebaumR #database #named
PatNet: A Lexical Database for the Patent Domain (WT, AR), pp. 550–555.
HPCAHPCA-2015-XiJBWB #architecture #fault
Quantifying sources of error in McPAT and potential impacts on architectural studies (SLX, HMJ, PB, GYW, DMB), pp. 577–589.
ITiCSEITiCSE-2013-CarboneRC
Five years of taps on shoulders to PATS on backs in ICT (AC, BR, JC), pp. 195–200.
PEPMPEPM-2010-ContejeanPUCPF #approach #automation #proving #termination
A3PAT, an approach for certified automated termination proofs (EC, AP, XU, PC, OP, JF), pp. 63–72.
ICPRICPR-2010-WakaharaY #correlation #multi #recognition
Multi-template GAT/PAT Correlation for Character Recognition with a Limited Quantity of Data (TW, YY), pp. 2873–2876.
TACASTACAS-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.
CAVCAV-2009-SunLDP #flexibility #named #towards #verification
PAT: Towards Flexible Verification under Fairness (JS, YL, JSD, JP), pp. 709–714.
ICSEICSE-2006-Beyer #programming #relational
Relational programming with CrocoPat (DB), pp. 807–810.
LDTALDTA-2004-JohnstoneSE04a #tool support
The GTB and PAT tools (AJ, ES, GRE), pp. 173–175.
IWPCIWPC-2003-BeyerL #analysis #named #object-oriented #performance #source code
CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs (DB, CL), pp. 294–295.
SIGIRSIGIR-1997-ChienHC #information retrieval #keyword
Pat-tree-based Keyword Extraction for Chinese Information Retrieval (LFC, TIH, MCC), pp. 50–58.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.