43 papers:
SIGMOD-2014-AugstenM0K #database #on the fly #relational #similarity- On-the-fly token similarity joins in relational databases (NA, AM, TN, AK), pp. 1495–1506.
SCAM-2014-YoshidaH #c #semiparsing #source code #syntax- A Pattern Search Method for Unpreprocessed C Programs Based on Tokenized Syntax Trees (AY, YH), pp. 295–304.
ICALP-v1-2014-PrabhakaranSW #using- Secure Computation Using Leaky Tokens (MP, AS, AW), pp. 907–918.
CHI-2014-ValdesEGTSMUK #design #gesture #interactive- Exploring the design space of gestural interaction with active tokens through user-defined gestures (CV, DE, CG, ST, OS, AM, BU, MK), pp. 4107–4116.
VMCAI-2014-AminofJKR #model checking- Parameterized Model Checking of Token-Passing Systems (BA, SJ, AK, SR), pp. 262–281.
LDTA-J-2009-ChilowiczDR #sequence #source code- Viewing functions as token sequences to highlight similarities in source code (MC, ÉD, GR), pp. 1871–1891.
CAV-2013-KhalimovJB #synthesis- PARTY Parameterized Synthesis of Token Rings (AK, SJ, RB), pp. 928–933.
ASE-2012-YuanG #approach #clone detection #detection #named #scalability- Boreas: an accurate and scalable token-based approach to code clone detection (YY, YG), pp. 286–289.
DATE-2012-HansenS #multi #pipes and filters #resource management- Multi-token resource sharing for pipelined asynchronous systems (JH, MS), pp. 1191–1196.
- SCAM-2012-MurakamiHHIK #clone detection #detection
- Folding Repeated Instructions for Improving Token-Based Code Clone Detection (HM, KH, YH, HI, SK), pp. 64–73.
- CHI-2012-HayashiPOH #named #using
- WebTicket: account management using printable tokens (EH, BAP, FO, JIH), pp. 997–1006.
CIKM-2012-PatwardhanBAMC- Labeling by landscaping: classifying tokens in context by pruning and decorating trees (SP, BB, AA, AM, JCC), pp. 1133–1142.
HCD-2011-Yamane #authentication #case study #design #game studies #multi #online- Secure Online Game Play with Token: A Case Study in the Design of Multi-factor Authentication Device (SRY), pp. 597–605.
SLE-2011-NishimoriK #framework #game studies #programming- Join Token-Based Event Handling: A Comprehensive Framework for Game Programming (TN, YK), pp. 119–138.
DocEng-2010-CutterBSB #re-engineering- Unsupervised font reconstruction based on token co-occurrence (MPC, JvB, FS, TMB), pp. 143–150.
LATA-2010-VelardoD #comparison #order #petri net- Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data (FRV, GD), pp. 524–535.
KEOD-2010-Akinkunmi- Temporal Entities — Types, Tokens and Qualifications (BOA), pp. 288–294.
KR-2010-KleinbergM #logic- The Temporal Logic of Token Causes (SK, BM).
PADL-2009-XiFWZ #ad hoc #ambiguity #problem- Ad Hoc Data and the Token Ambiguity Problem (QX, KF, DW, KQZ), pp. 91–106.
SIGIR-2008-Nguyen #approach #preprocessor #query #web #word- Query preprocessing: improving web search through a Vietnamese word tokenization approach (DN), pp. 765–766.
HPDC-2008-NathujiS #virtual machine- Vpm tokens: virtual machine-aware power budgeting in datacenters (RN, KS), pp. 119–128.
DAC-2007-CortadellaK #evaluation- Synchronous Elastic Circuits with Early Evaluation and Token Counterflow (JC, MK), pp. 416–419.
VLDB-2007-VoM #linear #named- RadixZip: Linear-Time Compression of Token Streams (BV, GSM), pp. 1162–1172.
- HCI-IPT-2007-DahlS #interactive #towards #visualisation
- Visualizing Interaction in Digitally Augmented Spaces: Steps Toward a Formalism for Location-Aware and Token-Based Interactive Systems (YD, DS), pp. 569–578.
- SIGIR-2007-TrieschniggKJ #documentation #retrieval
- The influence of basic tokenization on biomedical document retrieval (DT, WK, FdJ), pp. 803–804.
ESEC-FSE-2007-BasitJ #clone detection #detection #flexibility #performance- Efficient token based clone detection with flexible tokenization (HAB, SJ), pp. 513–516.
HPCA-2007-MeixnerS #detection #fault #online- Error Detection via Online Checking of Cache Coherence with Token Coherence Signatures (AM, DJS), pp. 145–156.
CASE-2006-LeeLS #clustering #graph- Token delays and generalized workload balancing for timed event graphs with application to cluster tool operation (TEL, HYL, RSS), pp. 93–99.
- HPCA-2005-MartyBHHMW #multi #using
- Improving Multiple-CMP Systems Using Token Coherence (MRM, JDB, MDH, AJH, MMKM, DAW), pp. 328–339.
TLCA-2005-Sinot #call-by #interactive- Call-by-Name and Call-by-Value as Token-Passing Interaction Nets (FRS), pp. 386–400.
- VMCAI-2005-BurckhardtAM #composition #implementation #parametricity #refinement #safety #verification
- Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement (SB, RA, MMKM), pp. 130–145.
- DATE-v1-2004-HeathBH #named #nondeterminism
- Synchro-Tokens: Eliminating Nondeterminism to Enable Chip-Level Test of Globally-Asynchronous Locally-Synchronous SoC?s (MWH, WPB, IGH), pp. 410–415.
- ASE-2001-Denney #algorithm #java #synthesis
- The Synthesis of a Java Card Tokenization Algorithm (ED), pp. 43–50.
- DATE-2001-CichonB #data type #network
- Annotated data types for addressed token passing networks (GC, WB), p. 801.
- TLCA-2001-Laurent #geometry #interactive
- A Token Machine for Full Geometry of Interaction (OL), pp. 283–297.
ICPR-v3-2000-Ichimura00a #3d #feature model- Token Grouping Based on 3D Motion and Feature Selection in Object Tracking (NI), pp. 7130–7136.
WIA-1998-MaurelPR #automaton #predict- The Syntactic Prediction with Token Automata: Application to HandiAS System (DM, BLP, OR), pp. 100–109.
SAC-1997-Maddi #problem- Token based solutions to M resources allocation problem (AM), pp. 340–344.
- ICALP-1993-HeideOW #adaptation
- Strongly Adaptive Token Distribution (FMadH, BO, RW), pp. 398–409.
- ICALP-1992-BroderFSU
- Near-perfect Token Distribution (AZB, AMF, ES, EU), pp. 308–317.
PODS-1990-TamH #fine-grained #migration #transaction- Token Transactions: Managing Fine-Grained Migration of Data (VOT, MH), pp. 344–356.
- SIGMOD-1986-Motro #query
- Constructing Queries from Tokens (AM), pp. 120–131.
SLP-1984-CiepielewskiH84 #process- Control of Activities in the Or-Parallel Token Machine (AC, SH), pp. 49–57.
