Search results for "TPL"

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