Search results for "transfer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Fumio Kasagami, Hongbo Wang, Masahiko Araya, Ichiro Sakuma, Takeyoshi Dohi	Development of a robot to assist patient transfer.	SMC (5)	2004	DBLP DOI BibTeX RDF
16	Faustino J. Gomez, Risto Miikkulainen	Transfer of Neuroevolved Controllers in Unstable Domains.	GECCO (2)	2004	DBLP DOI BibTeX RDF
16	Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani	SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft.	IFM	2004	DBLP DOI BibTeX RDF
16	Akira Mochizuki, Takashi Takeuchi, Takahiro Hanyu	Intra-Chip Address-Presetting Data-Transfer Scheme Using Four-Valued Encoding.	ISMVL	2004	DBLP DOI BibTeX RDF
16	Michal P. Sobera, Chris R. Kleijn, Paul Brasser, Harry E. A. Van den Akker	A Multi-scale Numerical Study of the Flow, Heat, and Mass Transfer in Protective Clothing.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
16	Peter-Pike J. Sloan, Xinguo Liu, Heung-Yeung Shum, John M. Snyder	Bi-scale radiance transfer.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	rendering, graphics hardware, illumination, shadow algorithms, monte carlo techniques
16	Naoki Wakamiya, Masaki Miyabayashi, Masayuki Murata 0001, Hideo Miyahara	Dynamic Quality Adaptation Mechanisms for TCP-friendly MPEG-4 Video Transfer.	QoS-IP	2003	DBLP DOI BibTeX RDF
16	Mario Cannataro, Carlo Mastroianni, Domenico Talia, Paolo Trunfio	Evaluating and Enhancing the Use of the GridFTP Protocol for Efficient Data Transfer on the Grid.	PVM/MPI	2003	DBLP DOI BibTeX RDF
16	Vivek Srivastava, Uday Chebrolu, Klaus Mueller 0001	Interactive Transfer Function Modification For Volume Rendering Using Compressed Sample Runs.	Computer Graphics International	2003	DBLP DOI BibTeX RDF
16	Wing Ning Li	Convergent transfer subgraph characterization and computation.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
16	Inchang Seo, Robert M. Fox	Low-power switched-capacitor filters using charge transfer integrators.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
16	Xiaonan Ma, A. L. Narasimha Reddy	SPIRAL: A Client-Transparent Third-Party Transfer Scheme for Network Attached Disks.	IEEE Symposium on Mass Storage Systems	2003	DBLP DOI BibTeX RDF
16	Roberto Pinto Souto, Haroldo F. de Campos Velho, Stephan Stephany, Airam Jonatas Preto, Cynthia F. Segatto, Marco Túllio M. B. de Vilhena	A Parallel Implementation of the LTSn Method for a Radiative Transfer Problem.	SBAC-PAD	2003	DBLP DOI BibTeX RDF
16	Seokwon Yang, Stanley Y. W. Su, Herman Lam	A Non-Repudiation Message Transfer Protocol for E-commerce.	CEC	2003	DBLP DOI BibTeX RDF
16	Cheng Li, Weinong Wang	Internet Mail Transfer and Check System Based on Intelligence Mobile Agents.	SAINT	2002	DBLP DOI BibTeX RDF	Mail Flooding, Mobile Agents, SPAM
16	Vivek Srivastava, Uday Chebrolu, Klaus Mueller 0001	Interactive Transfer Function Modification for Volume Rendering Using Pre-Shaded Sample Runs.	PG	2002	DBLP DOI BibTeX RDF
16	Manuel E. Acacio, José González 0002, José M. García 0001, José Duato	Owner prediction for accelerating cache-to-cache transfer misses in a cc-NUMA architecture.	SC	2002	DBLP DOI BibTeX RDF
16	Jenq-Haur Wang, Tzao-Lin Lee	Peer-to-Peer Support for File Transfer and Caching Mechanism.	IEEE Pacific Rim Conference on Multimedia	2002	DBLP DOI BibTeX RDF
16	Robert Penchovsky, John S. McCaskill	Cascadable Hybridisation Transfer of Specific DNA between Microreactor Selection Modules.	DNA	2001	DBLP DOI BibTeX RDF
16	Ying Shan, Zicheng Liu 0001, Zhengyou Zhang	Image-Based Surface Detail Transfer.	CVPR (2)	2001	DBLP DOI BibTeX RDF
16	Kasidit Chanchio, Xian-He Sun	Communication State Transfer for the Mobility of Concurrent Heterogeneous Computing.	ICPP	2001	DBLP DOI BibTeX RDF
16	Moni Naor, Benny Pinkas	Distributed Oblivious Transfer.	ASIACRYPT	2000	DBLP DOI BibTeX RDF
16	Yoshinobu Yamamoto, Tomoaki Kunugi, Akimi Serizawa	Direct Numerical Simulation of Coherent Structure in Turbulent Open-Channel Flows with Heat Transfer.	ISHPC	2000	DBLP DOI BibTeX RDF
16	Wlodzislaw Duch, Norbert Jankowski	Taxonomy of Neural Transfer Functions.	IJCNN (3)	2000	DBLP DOI BibTeX RDF
16	Malgorzata Budzikowska	Information Structure Transfer: Bridging the Information Gap in Structurally Different Languages.	AMTA	2000	DBLP DOI BibTeX RDF
16	Chandra Krintz, Brad Calder, Urs Hölzle	Reducing Transfer Delay Using Java Class File Splitting and Prefetching.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java
16	Ivan Damgård, Joe Kilian, Louis Salvail	On the (Im)possibility of Basing Oblivious Transfer and Bit Commitment on Weakened Security Assumptions.	EUROCRYPT	1999	DBLP DOI BibTeX RDF
16	Junichiro Tsuji, Fumiaki Sato, Tadanori Mizuno	Proposal for Transfer Error Recovering on Broadcasting Network.	ICPP Workshops	1999	DBLP DOI BibTeX RDF
16	Octavian Ureche, Réjean Plamondon	Document Transport, Transfer, and Exchange: Security and Commercial Aspects.	ICDAR	1999	DBLP DOI BibTeX RDF	Document exchange, electronic transactions, mixed transfers, customized transactions, data security using handwritten signatures, digital cash
16	Claude Crépeau, Jeroen van de Graaf, Alain Tapp	Committed Oblivious Transfer and Private Multi-Party Computation.	CRYPTO	1995	DBLP DOI BibTeX RDF
16	Donald Beaver	Precomputing Oblivious Transfer.	CRYPTO	1995	DBLP DOI BibTeX RDF
16	Charles J. Turner, Larry L. Peterson	Image Transfer: An End-to-End Design.	SIGCOMM	1992	DBLP DOI BibTeX RDF
16	R. A. Sprangler, Richard C. Linger	The IBM Cleanroom Software Engineering Technology Transfer Program.	CSEE	1992	DBLP DOI BibTeX RDF
16	Lein Harn, Hung-Yu Lin	On Oblivious Transfer Protocol and Its Application for the Exchange of Secrets.	ASIACRYPT	1991	DBLP DOI BibTeX RDF
16	Claude Crépeau, Miklos Santha	On the Reversibility of Oblivious Transfer.	EUROCRYPT	1991	DBLP DOI BibTeX RDF
16	Gerald L. Atkinson	Technology Transfer Utilizing Automated Knowledge Acquisition Tools.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	OPS5
15	Jan Pries-Heje, Magnus Rotvit Perlt Hansen, Jeffrey Andrew Christensen	Reviewing Transfer and Diffusion of Climate Technology in Households: Towards a Greener IT Future.	TDIT	2022	DBLP DOI BibTeX RDF
15	Bijeeta Pal, Shruti Tople	To Transfer or Not to Transfer: Misclassification Attacks Against Transfer Learned Text Classifiers.	CoRR	2020	DBLP BibTeX RDF
15	Atsushi Narusawa, Wataru Shimoda, Keiji Yanai	Font Style Transfer Using Neural Style Transfer and Unsupervised Cross-domain Transfer.	ACCV Workshops	2018	DBLP DOI BibTeX RDF
15	Corro C. van Waveren, Leon A. G. Oerlemans, Marthinus W. Pretorius	Knowledge transfer in project-based organizations. A conceptual model for investigating knowledge type, transfer mechanisms and transfer success.	IEEM	2014	DBLP DOI BibTeX RDF
15	Kimio Oguchi	Content Transfer and Supporting Technologies in a Home Environment over Next Generation Convergence Home Network- From Vital Information Transfer to Broadband Content Transfer.	J. Digit. Content Technol. its Appl.	2009	DBLP BibTeX RDF
15	Xiang-Yuan Li	Electron transfer between tryptophan and tyrosine: Theoretical calculation of electron transfer matrix element for intramolecular hole transfer.	J. Comput. Chem.	2001	DBLP DOI BibTeX RDF
14	Ce Liu 0001, Jenny Yuen, Antonio Torralba 0001	Nonparametric Scene Parsing via Label Transfer.	IEEE Trans. Pattern Anal. Mach. Intell.	2011	DBLP DOI BibTeX RDF	scene parsing, label transfer, SIFT flow, Object recognition, Markov random fields
14	Gary McGraw	Technology Transfer: A Software Security Marketplace Case Study.	IEEE Softw.	2011	DBLP DOI BibTeX RDF	technology transfer, software security, code review
14	M. Moslemuddin Fakir, ShahNor Basri, I. B. M. Sahat, K. V. Sharma, S. Khatun	OFEM: An Optimum Finite Element Algorithm for Heat Transfer Problem in Two-dimensional Insulated-tip Rectangular Fin.	CICSyN	2011	DBLP DOI BibTeX RDF	Conventional finite element method, Optimum finite element method, Heat transfer problem
14	Chiou-Mei Chen	The Role of Channel Experience in Enhancing Technology Transfer.	ICGEC	2011	DBLP DOI BibTeX RDF	richness perception, channel experience, technology transfer
14	Lein Harn, Changlu Lin	Authenticated Group Key Transfer Protocol Based on Secret Sharing.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	Group key transfer protocol, authentication, secret sharing, confidentiality, session key
14	Vinh Bui, Weiping Zhu 0001, Alessio Botta, Antonio Pescapè	A Markovian Approach to Multipath Data Transfer in Overlay Networks.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	Multipath data transfer, overlay networks, Markov decision processes, heterogeneous networks
14	Evan Wei Xiang, Bin Cao 0001, Derek Hao Hu, Qiang Yang 0001	Bridging Domains Using World Wide Knowledge for Transfer Learning.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	Data mining, Wikipedia, text classification, transfer learning, cross-domain
14	Sinno Jialin Pan, Qiang Yang 0001	A Survey on Transfer Learning.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	data mining, machine learning, survey, Transfer learning
14	Hong Z. Tan, Charlotte M. Reed, Nathaniel I. Durlach	Optimum Information Transfer Rates for Communication through Haptic and Other Sensory Modalities.	IEEE Trans. Haptics	2010	DBLP DOI BibTeX RDF	information transfer rate, Communication, mobile device, human performance
14	Imanol Herrera, Carlos Buchart, Diego Borro	Preserving Coherent Illumination in Style Transfer Functions for Volume Rendering.	IV	2010	DBLP DOI BibTeX RDF	Volumetric Rendering, Illumination, Transfer Functions
14	Stendley Busan, Muhammad Murtadha Othman, Ismail Musirin, Azah Mohamed, Aini Hussain	Dynamic and Steady State Security Constraints in the Transfer Capability Assessment.	COMPENG	2010	DBLP DOI BibTeX RDF	Available transfer capability, Ralston's method, cubic-spline interpolation technique, recursive AC power flow
14	Lan Wang	Research on Localized Learning and Knowledge Transfer in Enterprises Cluster.	WKDD	2010	DBLP DOI BibTeX RDF	enterprises cluster, knowledge transfer, tacit knowledge, localized learning, competition advantage
14		Research on Repatriates Effective Knowledge Transfer Incentive Mechanism in Overseas Operating Company.	WKDD	2010	DBLP DOI BibTeX RDF	Repatriates, game, incentive, knowledge transfer
14	Neema Moraveji	User interface designs to support the social transfer of web search expertise.	SIGIR	2010	DBLP DOI BibTeX RDF	information retrieval, learning, social, expertise, transfer
14	Yongmao Ren, Haina Tang, Jun Li 0002, Hualin Qian	A Novel Congestion Control Algorithm for High Performance Bulk Data Transfer.	NCA	2009	DBLP DOI BibTeX RDF	Congestion Control, Transport Protocol, High Speed Network, Bulk Data Transfer
14	Ilknur Aydin, Chien-Chung Shen	Performance Evaluation of Concurrent Multipath Transfer Using SCTP Multihoming in Multihop Wireless Networks.	NCA	2009	DBLP DOI BibTeX RDF	Concurrent Multipath Transfer, Performance evaluation, Wireless networks, SCTP, Multihoming, Multi-homing, Transport layer
14	Jan Camenisch, Maria Dubovitskaya, Gregory Neven	Oblivious transfer with access control.	CCS	2009	DBLP DOI BibTeX RDF	privacy, oblivious transfer, anonymous credentials
14	Caixia Zhu, Fuqin Ma	New Calculational Method for Heat Transfer.	IFITA (3)	2009	DBLP DOI BibTeX RDF	infinite element, calculational method, transient heat conduction problem, shape functions, heat transfer
14	Yangjian Xu, Daihui Tu, Wei Wei	Convective Heat Transfer Steady Thermal Stress and Effect Factors in a ZrO2/FGM/Ti-6Al-4V Composite EFBF Plate.	IFITA (3)	2009	DBLP DOI BibTeX RDF	ZrO2/FGM/Ti-6Al-4V composite plate, steady thermal stresses, convective heat transfer boundary, EFBF mechanical boundary, FEM
14	Jian Zhang 0004, Shobhit S. Shakya	Knowledge Transfer for Feature Generation in Document Classification.	ICMLA	2009	DBLP DOI BibTeX RDF	Classification, Correlation, Knowledge transfer, Feature generation
14	Scott Proper, Prasad Tadepalli	Multiagent Transfer Learning via Assignment-Based Decomposition.	ICMLA	2009	DBLP DOI BibTeX RDF	coordination, reinforcement learning, markov decision processes, transfer learning, assignment problem
14	Jianting Zhou, Jianxi Yang	Analysis on Non-linear Characteristics of Bridge Health Monitoring Based on Time-Delayed Transfer Entropy and Mutual Information.	NCM	2009	DBLP DOI BibTeX RDF	Bridge Health Monitoring, Time-Delayed Transfer Entropy, Time-Delayed Mutual Information, Non-Linear
14	Sihong Xie, Wei Fan 0001, Jing Peng 0001, Olivier Verscheure, Jiangtao Ren	Latent space domain transfer between high dimensional overlapping distributions.	WWW	2009	DBLP DOI BibTeX RDF	latent, text mining, missing value, transfer learning, high dimensional
14	Seçil Aydin, Deepti Mishra 0001	A Tool to Enhance Cooperation and Knowledge Transfer among Software Developers.	CDVE	2009	DBLP DOI BibTeX RDF	Software development, Cooperation, Method, Knowledge Transfer
14	Mikhail Panshenskov, Alexander Vakhitov	Transfer Speed Estimation for Adaptive Scheduling in the Data Grid.	GPC Workshops	2009	DBLP DOI BibTeX RDF	linear estimation, kalman filter, least squares, available bandwidth, file transfer
14	Yi Zhang 0070, Jiawan Zhang, Xu Li, Shengping Zhang, Xiaozhou Zhou	Transfer Function Design Using Acting Force Model.	ICIG	2009	DBLP DOI BibTeX RDF	acting force model, dimension reduction, transfer function
14	Chih-Hung Wang, Shan Chin	A New RFID Authentication Protocol with Ownership Transfer in an Insecure Communication Environment.	HIS (1)	2009	DBLP DOI BibTeX RDF	RFID Authentication Scheme, Network Security, Wireless Environment, Ownership Transfer
14	Gaurav Kapoor, Selwyn Piramuthu	Vulnerabilities in Some Recently Proposed RFID Ownership Transfer Protocols.	NetCoM	2009	DBLP DOI BibTeX RDF	Authentication, RFID, vulnerability, Ownership Transfer
14	Yoonki Lee, Eunsung Kim, Heon Young Yeom	Replica Aware Reliable File Transfer Service for the Data Grid.	eScience	2008	DBLP DOI BibTeX RDF	RFT, third-party transfer, replica
14	Hongbing Zhang	Study on Knowledge Transfer Risks between Member Enterprises of Virtual Enterprise.	PACIIA (1)	2008	DBLP DOI BibTeX RDF	Member Enterprise, Knowledge, Risk, Virtual Enterprise, Knowledge Transfer
14	Taehoon Lee, Sang Boem Lim, Young Sunwoo, Jung-Hun Woo, Bujeon Jung, Xue Zheng	Design Issues of Reliable Data Transfer Mechanisms for Atmospheric Environment Monitoring.	NCM (1)	2008	DBLP DOI BibTeX RDF	Reliable Data transfer, Environmental Monitoring
14	Jinman Kim, Stefan Eberl, David Dagan Feng	Visualizing Dual-Modality Rendered Volumes Using a Dual-Lookup Table Transfer Function.	Comput. Sci. Eng.	2007	DBLP DOI BibTeX RDF	anatomical and functional rendering, real-time volume rendering, dual-modality PET/CT, lookup table transfer function, visualization
14	Pieter Peers, Naoki Tamura, Wojciech Matusik, Paul E. Debevec	Post-production facial performance relighting using reflectance transfer.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	interactive lighting design, reflectance transfer, image-based relighting
14	Larissa Popova, Thomas Herpel, Wolfgang Koch 0005	Enhanced Downlink Capacity in UMTS Supported by Direct Mobile-to-Mobile Data Transfer.	Networking	2007	DBLP DOI BibTeX RDF	Direct mobile-to-mobile data transfer, released downlink capacity, asymmetric uplink/downlink traffic load, unified radio interface, data exchange policy, WCDMA
14	Andre Oboler, Simon Lock, Ian Sommerville	Reflection: Improving Research through Knowledge Transfer.	ICSEA	2006	DBLP DOI BibTeX RDF	research environment, process modeling, software engineering education, Process improvement, knowledge transfer
14	Michael G. Madden, Tom Howley	Transfer of Experience Between Reinforcement Learning Environments with Progressive Difficulty.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	experience transfer, Progressive RL, reinforcement learning, Naive Bayes, Q-learning, rule learning, C4.5, PART
14	Reidar Conradi, Tore Dybå	An empirical study on the utility of formal routines to transfer knowledge and experience.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	developer attitudes, formal routines, knowledge management, software process improvement, knowledge transfer
14	Tae Kyung Sung, Byung Su Kang, Sang Kyu Lee	Study on Characteristics of Technology Transfer in Venture Business.	HICSS	2001	DBLP DOI BibTeX RDF	Venture, Science Park, Technology Business Incubator, Technology Transfer
14	Deqiang Gan, Xiaochuan Luo, Donald V. Bourcier, Robert J. Thomas	Min-Max Power Transfer Capability: A New Concept.	HICSS	2001	DBLP DOI BibTeX RDF	Transfer Capability, Optimization, Power System
14	Alexander Artikis, Jeremy Pitt, Christos Stergiou	Agent communication transfer protocol.	Agents	2000	DBLP DOI BibTeX RDF	agent conversations, agent-oriented middleware, transfer protocols, multi-agent systems, software agents, communication models, agent communication protocols
14	Yael Gertner, Sampath Kannan, Tal Malkin, Omer Reingold, Mahesh Viswanathan 0001	The Relationship between Public Key Encryption and Oblivious Transfer.	FOCS	2000	DBLP DOI BibTeX RDF	trapdoor predicates, cryptography, protocols, protocols, public key cryptography, key agreement, public key encryption, public-key encryption, oblivious transfer, secure multi-party computation, primitives, black-box reductions, trapdoor permutations
14	Irith Pomeranz, Sudhakar M. Reddy	Reducing test application time for full scan circuits by the addition of transfer sequences.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	transfer sequences, primary input vectors, scan-in operation, scan-out operation, static compaction procedure, compaction levels, fault diagnosis, logic testing, design for testability, fault detection, automatic testing, boundary scan testing, test set, test application time, full scan circuits
14	Mike Chesher, Walter Skok	Roadmap for successful information technology transfer for small businesses.	SIGCPR	2000	DBLP DOI BibTeX RDF	Internet, electronic commerce, ICT, technology transfer, SME
14	Geoffrey G. Xie, Simon S. Lam	Real-time block transfer under a link-sharing hierarchy.	IEEE/ACM Trans. Netw.	1998	DBLP DOI BibTeX RDF	ATM block transfer, burst scheduling, hierarchical link sharing, admission control, delay guarantee
14	Sally Fincher, Marian Petre	Beyond anecdote towards real transfer: using other institutions' experience of project work.	ITiCSE	1998	DBLP DOI BibTeX RDF	project work, transfer of practice, group work, teaching resources
14	Shiaofen Fang, Tom Biddlecome, Mihran Tuceryan	Image-based transfer function design for data exploration in volume visualization.	IEEE Visualization	1998	DBLP DOI BibTeX RDF	3D image processing, volume rendering, volume visualization, transfer function, data exploration
14	Robert Hess, Tino Hutschenreuther, Ralf Lehmann, Alexander Schill	Architecture and Implementation for Scalable Transfer of Live Videos in Multimedia Applications.	EUROMICRO	1996	DBLP DOI BibTeX RDF	scalable transfer, video communication system, XNetvideo, signal to noise ratio scaling, ATM, multimedia systems, multimedia applications, heterogeneous environments, IP-networks, video transmission, videoconferences, frame rate, live videos, image size
14	Stefan Turek	A Generalized Mean Intensity Approach for the Numerical Solution of the Radiative Transfer Equation.	Computing	1995	DBLP DOI BibTeX RDF	Radiative transfer equation, mean intensity, nonsymmetric CG-variants, astrophysics
14	Mark D. Heileman, José A. Sepúlveda	Cargo transfer and return vehicle and personnel launch system launch processing model.	WSC	1994	DBLP DOI BibTeX RDF	aerospace systems, cargo transfer and return vehicle, general application, launch system processing, personnel launch system
14	Edgar Matias, I. Scott MacKenzie, William Buxton	Half-QWERTY: a one-handed keyboard facilitating skill transfer from QWERTY.	INTERCHI	1993	DBLP DOI BibTeX RDF	QWERTY, input tasks, one-handed keyboard, skill transfer, input devices, human performance, portable computers, disabled users
14	Mark G. Staskauskas	The Formal Specification and Design of a Distributed fElectronic Funds-Transfer System.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	electronic funds-transfer system, parallel programming methodology, refinement steps, parallel programming, data structure, specification, distributed processing, distributed architecture, UNITY, target architecture, EFT, EFTS
14	Claude Crépeau, Joe Kilian	Achieving Oblivious Transfer Using Weakened Security Assumptions (Extended Abstract)	FOCS	1988	DBLP DOI BibTeX RDF	weakened security, cryptographic strength, noisy telephone line, games, physics, oblivious transfer, coding theory, quantum cryptography
14	Vijay Pitchumani, Edward P. Stabler	Verification of Register Transfer Level Parallel Control Sequences.	IEEE Trans. Computers	1985	DBLP DOI BibTeX RDF	critical region, parallel control sequence, Assertion, register transfer level, shared resource, clock cycle, auxiliary variable, verification condition
14	Vijay Pitchumani, Edward P. Stabler	An Inductive Assertion Method for Register Transfer Level Design Verification.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	inductive assertion method, synchronous logic, theorem proving, Assertions, predicate calculus, register transfer level design, verification condition
14	Harold Hoehne, Robert Piloty	Design Verification at the Register Transfer Language Level.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	Compiler-interpreter system, computer description language, hardware design automation, register transfer language (RTL), simulation, error detection, design verification
14	Mario Barbacci	A Comparison of Register Transfer Languages for Describing Computers and Digital Systems.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF	language properties, design automation, register transfer level, design languages, structural description, behavioral description, Asynchronous control
14	Aaron Knoll, Younis Hijazi, Rolf Westerteiger, Mathias Schott, Charles D. Hansen, Hans Hagen	Volume Ray Casting with Peak Finding and Differential Sampling.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
14	Maciej Wielgosz, Ernest Jamro, Kazimierz Wiatr	Accelerating Calculations on the RASC Platform: A Case Study of the Exponential Function.	ARC	2009	DBLP DOI BibTeX RDF	HPRC (High Performance Reconfigurable Computing), exponent function, FPGA