|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 23 keywords
|
|
|
Results
Found 41 publication records. Showing 41 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
151 | Soklei Leong, Stephen M. Jodis, Kevin J. Sullivan, Oliver Jiang, Paul A. D. de Maine |
A Transportable Programming Language (TPL) System-II: The Bifunctional Compiler System. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
transportable programming language, bifunctional compiler, hypothetical parent, rule modifier, table generator, conversion rule description language, tabular forms, program compilers, high-level-language, high level languages, metalanguage, program translation, code conversion |
75 | V. Natarajan 0001, Rance Cleaveland |
Predictability of real-time systems: a process-algebraic approach. |
RTSS |
1996 |
DBLP DOI BibTeX RDF |
real time systems predictability, testing-based semantic preorder, process description language, TPL, activity-completion times, semantic preorder, must-preorder, optimality, process algebra, process algebra, variability, timing behavior |
70 | Rui Zhang, Pallav Gupta, Niraj K. Jha |
Majority and Minority Network Synthesis With Application to QCA-, SET-, and TPL-Based Nanotechnologies. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Yan Zhang, Shurong Guo |
Research into Web-Based 4PL Supply Chain System Model of Multi-TPLs - Information-Based Model Suitable for Chinese TPL. |
HIS (3) |
2009 |
DBLP DOI BibTeX RDF |
4PL, supply chain system model of Multi-TPLs, Chinese TPL, Information-based |
61 | Daan Leijen, Wolfram Schulte, Sebastian Burckhardt |
The design of a task parallel library. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
duplicating queue, parallelism, domain specific languages, work stealing |
61 | Yan Wen, Jinjing Zhao, Huaimin Wang, Jiannong Cao 0001 |
Implicit Detection of Hidden Processes with a Feather-Weight Hardware-Assisted Virtual Machine Monitor. |
ACISP |
2008 |
DBLP DOI BibTeX RDF |
stealth malware, hardware-assisted VMM, Virtual machine monitor |
61 | Yong Gu Ji, Chiwoo Park, Minsoo Kim 0003 |
A Study on the Application of BPM Systems for Implementation of RosettaNet Based e-Logistics. |
ICCSA (4) |
2006 |
DBLP DOI BibTeX RDF |
|
49 | Rui Zhang, Pallav Gupta, Niraj K. Jha |
Synthesis of Majority and Minority Networks and Its Applications to QCA, TPL and SET Based Nanotechnologies. |
VLSI Design |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Savas Konur |
A Decidable Temporal Logic for Events and States. |
TIME |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Ian Pratt-Hartmann |
Temporal Prepositions and Their Logic. |
TIME |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Amir Herzberg, Yosi Mass, Joris Mihaeli, Dalit Naor, Yiftach Ravid |
Access Control Meets Public Key Infrastructure, Or: Assigning Roles to Strangers. |
S&P |
2000 |
DBLP DOI BibTeX RDF |
Authentication, logic programming, role based access control, key management, trust management, public key certificates, X.509 |
29 | Lukas Alber, Stefan More, Sebastian Mödersheim, Anders Schlichtkrull |
Adapting the TPL Trust Policy Language for a Self-Sovereign Identity World. |
Open Identity Summit |
2021 |
DBLP BibTeX RDF |
|
29 | Lan-Da Van, Tao-Jung Wang, Sing-Jia Tzeng, Tzyy-Ping Jung |
A Computation-Aware TPL Utilization Procedure for Parallelizing the FastICA Algorithm on a Multi-Core CPU. |
MCSoC |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Seunghyun Lee, Sumin Chang, Eungchang Mason Lee, Junho Choi, Jinwoo Jeon, Seoktae Kim, Hyun Myung |
TPL: Trajectory Planner for Target Tracking in Low-Light Environments. |
RiTA |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Md. Rafiqul Islam 0002, Md. Riaz Mahmud, Rayhan Morshed Pritom |
Transportation scheduling optimization by a collaborative strategy in supply chain management with TPL using chemical reaction optimization. |
Neural Comput. Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Zhen Du, Zhongqi An, Jing Xing |
TPL: A Novel Analysis and Optimization Model for RDMA P2P Communication. |
NPC |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Terry Shue Chien Lau, Chik How Tan, Theo Fanuela Prabowo |
Analysis of TPL Signature Scheme. |
IACR Cryptol. ePrint Arch. |
2019 |
DBLP BibTeX RDF |
|
29 | Sebastian Mödersheim, Anders Schlichtkrull, Georg Wagner, Stefan More, Lukas Alber |
TPL: A Trust Policy Language. |
IFIPTM |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Qingte Zhou, Daqiang Chen |
Study on coordination and benefit distribution of closed-loop supply chain with a TPL service provider. |
ICIA |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Tao Lin 0007, Chris C. N. Chu |
TPL-Aware Displacement-driven Detailed Placement Refinement with Coloring Constraints. |
ISPD |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Bei Yu 0001, Jhih-Rong Gao, David Z. Pan |
Triple Patterning Lithography (TPL) Layout Decomposition using End-Cutting. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
29 | Bei Yu 0001, Subhendu Roy, Jhih-Rong Gao, David Z. Pan |
Triple Patterning Lithography (TPL) Layout Decomposition using End-Cutting (JM3 Special Session). |
CoRR |
2014 |
DBLP BibTeX RDF |
|
29 | Tiangong Zhang |
Research on Integration of Information Flow and Logistics Based on TPL. |
ICICA (2) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Gui-Xi Liu, Fagui Liu |
IoT-based TPL whole supply chain logistics information system model. |
ICMLC |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Samuel Fosso Wamba, Akemi Takeoka Chatfield |
The impact of RFID technology on warehouse process innovation: A pilot project in the TPL industry. |
Inf. Syst. Frontiers |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Yan Zhang, Qiong Sun, Yinghong Xie |
4PL Business Model Design based on TPL Requirements. |
ICEIS (4) |
2011 |
DBLP BibTeX RDF |
|
29 | Ming Zhou, Yanchun Pan, Zhimin Chen |
Modeling and simulation of storage space allocation at TPL systems. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Samuel Fosso Wamba, Akemi Takeoka Chatfield |
RFID-Enabled Warehouse Process Optimization in the TPL Industry. |
HICSS |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Xiao Li, Yu-an Tan |
TPL: A Data Layout Method for Reducing Rotational Latency of Modern Hard Disk Drive. |
CSIE (7) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Ian Pratt-Hartmann |
From TimeML to TPL. |
Annotating, Extracting and Reasoning about Time and Events |
2005 |
DBLP BibTeX RDF |
|
29 | Raegan M. Hoeft, Florian G. Jentsch, Michelle E. Harper, A. William Evans III, Clint A. Bowers, Eduardo Salas |
TPL-KATS - concept map: a computerized knowledge assessment tool. |
Comput. Hum. Behav. |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Paul A. D. de Maine, Soklei Leong, C. G. Davis |
A Transportable Programming Language (TPL) System. I. overview. |
Int. J. Parallel Program. |
1985 |
DBLP DOI BibTeX RDF |
|
29 | Stephen E. Weiss, Peter B. Stevens |
Solving Complex Data Retrieval Problems with TPL. |
SSDBM |
1981 |
DBLP BibTeX RDF |
|
29 | Rudolph C. Mendelssohn |
The bureau of labor statistic's Table Producing Language (TPL). |
ACM Annual Conference (1) |
1974 |
DBLP DOI BibTeX RDF |
|
20 | Michael Emmi, Rupak Majumdar, Roman Manevich |
Parameterized verification of transactional memories. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
parameterized verification, transactional memory |
20 | Wenbin Li 0008, Yiying Cheng, Ning Zhong 0001, TaiFeng Liu, Xindong Zhang |
SpamTerminator: A Personal Anti-spam Add-In for Outlook. |
AMT |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Helena Rifà-Pous, Jordi Herrera-Joancomartí |
An Interdomain PKI Model Based on Trust Lists. |
EuroPKI |
2007 |
DBLP DOI BibTeX RDF |
trust lists, reliability in PKI, certificate extension, interoperability |
20 | Aarthi Nagarajan, Vijay Varadharajan, Michael Hitchens |
Trust Management and Negotiation for Attestation in Trusted Platforms Using Web Services. |
PDCAT |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Xiaolue Lai, Jaijeet S. Roychowdhury |
Fast simulation of large networks of nanotechnological and biochemical oscillators for investigating self-organization phenomena. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Rance Cleaveland, Gerald Lüttgen, Michael Mendler |
An Algebraic Theory of Multiple Clocks. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Mark Tarver |
An Examination of the Prolog Technology Theorem-Prover. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
PTTP, metalevel reasoning, Prolog Normal Form, refinement |
Displaying result #1 - #41 of 41 (100 per page; Change: )
|
|