Search results for "translator"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Jürgen Lampe	Depot4 - A generator for dynamically extensible translators.	Softw. Concepts Tools	1998	DBLP DOI BibTeX RDF	Translator generator, Java, Domain-specific languages, Extensibility, Oberon, EBNF
20	Dali L. Tao, Carlos R. P. Hartmann, Parag K. Lala	A General Technique for Designing Totally Self-Checking Checker for 1-out-of-N Code with Minimum Gate Delay.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	1-out-of-N code, minimum gate delay, NOR array, NOR-NOR PLA, fault tolerant computing, logic testing, delays, logic design, translator, error detection codes, logic arrays, totally self-checking checker
20	Frank DeRemer, Richard Jüllig	Tree-affix dendrogrammars for languages and compilers.	Semantics-Directed Compiler Generation	1980	DBLP DOI BibTeX RDF	context-sensitive syntax, affix grammars, language specification, attribute grammars, compiler generation, abstract syntax, static semantics, concrete syntax, translator writing system
20	Paul W. Abrahams	Letters to the editor: On "prime phrase" in Feldman and Gries paper.	Commun. ACM	1968	DBLP DOI BibTeX RDF	operator precedence, compilers, translator writing systems
20	Morris Rubinoff, Samuel Bergman, F. Rapp, H. Cautin	Information Retrieval: Easy English, a language for information retrieval through a remote typewriter console.	Commun. ACM	1968	DBLP DOI BibTeX RDF	conversational mode, information retrieval language, man-machine communication, natural language communication, on-line searching, remote console communication, remote terminal communication, symbolic command language, information retrieval, translator, document retrieval
19	Mathias Payer, Thomas R. Gross	Generating low-overhead dynamic binary translators.	SYSTOR	2010	DBLP DOI BibTeX RDF	optimization, binary translation, dynamic instrumentation, dynamic translation
19	Francisco Casacuberta, Jorge Civera, Elsa Cubel, Antonio L. Lagarda, Guy Lapalme, Elliott Macklovitch, Enrique Vidal 0001	Human interaction for high-quality machine translation.	Commun. ACM	2009	DBLP DOI BibTeX RDF
19	R. Venky, Ulka Shrotri, Aniket Kulkarni, Prasad Bokil	STATEMATE to SCADE model translation.	ISEC	2008	DBLP DOI BibTeX RDF	SCADE, activity charts, model, translation, statecharts, transitions, state, reaction, STATEMATE
19	Ergun Biçici, Marc Dymetman	Dynamic Translation Memory: Using Statistical Machine Translation to Improve Translation Memory Fuzzy Matches.	CICLing	2008	DBLP DOI BibTeX RDF
19	Colin F. Snook, Michael J. Butler	UML-B: A Plug-in for the Event-B Tool Set.	ABZ	2008	DBLP DOI BibTeX RDF
19	Guodong Li, Konrad Slind	Trusted Source Translation of a Total Function Language.	TACAS	2008	DBLP DOI BibTeX RDF
19	Wei Chen 0009, Hongyi Lu, Li Shen 0007, Zhiying Wang 0003, Nong Xiao	DBTIM: An Advanced Hardware Assisted Full Virtualization Architecture.	EUC (2)	2008	DBLP DOI BibTeX RDF
19	Ignacio Garcia	Power shifts in web-based translation memory.	Mach. Transl.	2007	DBLP DOI BibTeX RDF	Machine-aided translation, Web-based translation, Localization, Internationalization, Translation memory
19	Kara A. Olson, C. Michael Overstreet, E. Joseph Derrick	Code analysis and CS-XML.	WSC	2007	DBLP DOI BibTeX RDF
19	Murali Mani, Song Wang 0001, Daniel J. Dougherty, Elke A. Rundensteiner	Join minimization in XML-to-SQL translation: an algebraic approach.	SIGMOD Rec.	2006	DBLP DOI BibTeX RDF	XML, SQL
19	Nikola Trcka	Verifying chi Models of Industrial Systems with Spin.	ICFEM	2006	DBLP DOI BibTeX RDF
19	Jay L. T. Cornwall, Olav Beckmann, Paul H. J. Kelly	Automatically translating a general purpose C++ image processing library for GPUs.	IPDPS	2006	DBLP DOI BibTeX RDF
19	Edwin C. Brady, Kevin Hammond	A verified staged interpreter is a verified compiler.	GPCE	2006	DBLP DOI BibTeX RDF	domain specific language implementation, resource aware programming, functional programming, partial evaluation, dependent types, multi-stage programming
19	Jonathan Riehl	Assimilating MetaBorg: : embedding language tools in languages.	GPCE	2006	DBLP DOI BibTeX RDF	MetaBorg, concrete syntax macros, extensible syntax, staged multi-language programming, self application, SDF, stratego
19	Xiaolan Zhang 0001, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng	The case for analysis preserving language transformation.	ISSTA	2006	DBLP DOI BibTeX RDF	language transformation, security, Java, verification, static analysis, C, language translation
19	Víctor Jesús Sosa Sosa, Maricela Bravo, Joaquín Pérez Ortega, Arturo Díaz	An Ontological Approach for Translating Messages in E-Negotiation Systems.	EC-Web	2006	DBLP DOI BibTeX RDF
19	Shiliang Hu, James E. Smith 0001	Reducing Startup Time in Co-Designed Virtual Machines.	ISCA	2006	DBLP DOI BibTeX RDF
19	Whai-En Chen, Yi-Bing Lin, Ai-Chun Pang	An IPv4-IPv6 translation mechanism for SIP overlay network in UMTS all-IP environment.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
19	Jürgen Schnerr, Oliver Bringmann 0001, Wolfgang Rosenstiel	Cycle Accurate Binary Translation for Simulation Acceleration in Rapid Prototyping of SoCs.	DATE	2005	DBLP DOI BibTeX RDF
19	Isabel Díaz, Lidia Moreno, Inmaculada Fuentes, Oscar Pastor 0001	Integrating Natural Language Techniques in OO-Method.	CICLing	2005	DBLP DOI BibTeX RDF
19	Matthew D. Roper, Ronald A. Olsson	Developing embedded multi-threaded applications with CATAPULTS, a domain-specific language for generating thread schedulers.	CASES	2005	DBLP DOI BibTeX RDF	application-specific schedulers, domain-specific languages, thread scheduling, user-level threads
19	Niklas Klein, Sven Groppe, Stefan Böttcher, Le Gruenwald	A Prototype for Translating XQuery Expressions into XSLT Stylesheets.	ADBIS	2005	DBLP DOI BibTeX RDF
19	Shiliang Hu, James E. Smith 0001	Using Dynamic Binary Translation to Fuse Dependent Instructions.	CGO	2004	DBLP DOI BibTeX RDF
19	Ying Hu 0003, Clark W. Barrett, Benjamin Goldberg	Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations.	SEFM	2004	DBLP DOI BibTeX RDF	Compiler validation, speculative loop optimizations, formal methods, translation validation
19	Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne	Translating Software Designs for Model Checking.	FASE	2004	DBLP DOI BibTeX RDF
19	Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad	Java Card Code Generation from B Specifications.	ICFEM	2003	DBLP DOI BibTeX RDF
19	Shigeru Chiba, Muga Nishizawa	An Easy-to-Use Toolkit for Efficient Java Bytecode Translators.	GPCE	2003	DBLP DOI BibTeX RDF
19	Bernard Goossens	The Instruction Register File.	PaCT	2003	DBLP DOI BibTeX RDF
19	Özlem Uzuner, Randall Davis	Content and expression-based copy recognition for intellectual property protection.	Digital Rights Management Workshop	2003	DBLP DOI BibTeX RDF	content and expression based copy recognition, copy recognition, distribution volume tracking, part-of-speech tagged features, surface parsing, semantic features, syntactic parsing
19	Michael Golm, Christian Wawersich, Meik Felser, Jürgen Kleinöder	Understanding the performance of the Java operating system JX using visualization techniques.	Java Grande	2002	DBLP DOI BibTeX RDF	Java operating system, performance visualization techniques
19	Paul Young, Valdis Berzins, Jun Ge, Luqi	Using an object oriented model for resolving representational differences between heterogeneous systems.	SAC	2002	DBLP DOI BibTeX RDF	wrapper-based, interoperability, object-oriented, heterogeneous
19	Mark Probst, Andreas Krall, Bernhard Scholz	Register Liveness Analysis for Optimizing Dynamic Binary Translation.	WCRE	2002	DBLP DOI BibTeX RDF
19	Jens Tröger, Cristina Cifuentes	Analysis of Virtual Method Invocation for Binary Translation.	WCRE	2002	DBLP DOI BibTeX RDF
19	Vitaly E. Kozura, Valery A. Nepomniaschy, Ruslan M. Novikov	Verification of Distributed Systems Modelled by High-Level Petri Nets.	PARELEC	2002	DBLP DOI BibTeX RDF
19	J. A. López, Ginés Doménech, R. Ruiz, Tom J. Kazmierski	Automated high level synthesis of hardware building blocks present in ART-based neural networks, from VHDL-AMS descriptions.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
19	András Arató, Teréz Vaspöri, Gareth Evans 0001, Paul Blenkhorn	Braille to Text Translation for Hungarian.	ICCHP	2002	DBLP DOI BibTeX RDF
19	Koji Hashimoto, Yoshitaka Shibata, Norio Shiratori	Mobile Angent-Based Transcoding Functions.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF
19	Kangsun Lee, Hyunmin Park, Jonghoon Chun, Wouseok Jou, Jaeho Jung, Youngseok Hwang	W-CoSIM (Web-Based Hardware-Software CoSimulator) - A Design-Time Simulation Tool for Estimating the Performance of Online Multimedia Applications.	IEEE Pacific Rim Conference on Multimedia	2002	DBLP DOI BibTeX RDF
19	Keith Seymour, Jack J. Dongarra	Automatic translation of Fortran to JVM bytecode.	Java Grande	2001	DBLP DOI BibTeX RDF	Java, FORTRAN
19	Stephan Lechner, Günter Preuner, Michael Schrefl	Translating XQuery into XSLT.	ER (Workshops)	2001	DBLP DOI BibTeX RDF
19	David Hansel, Rance Cleaveland, Scott A. Smolka	Distributed Prototyping from Validated Specifications.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
19	Lars Albertsson	Simulation-Based Debugging of Soft Real-Time Applications.	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF
19	Paolo Traverso, Piergiorgio Bertoli	Mechanized result verification: an industrial application.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Mechanized result verification, Online/offline checking, Validation, Decomposition, Safety critical software
19	Houria Mihoubi, Ana Simonet, Michel Simonet	An Ontology Driven Approach to Ontology Translation.	DEXA	2000	DBLP DOI BibTeX RDF
19	Michael W. Whalen	High-integrity code generation for state-based formalisms.	ICSE	2000	DBLP DOI BibTeX RDF	correctness preserving code generation, formal methods, code optimization
19	M. Asunción Castaño, Francisco Casacuberta	Text-to-Text Machine Translation Using the RECONTRA Connectionist Model.	IWANN (2)	1999	DBLP DOI BibTeX RDF
19	A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar	A Graphical Environment for the Specification and Verification of Reactive Systems.	SAFECOMP	1999	DBLP DOI BibTeX RDF
19	Arthur Alexander Reyes, Debra J. Richardson	Siddhartha: A Method for Developing Domain-Specific Test Driver Generators.	ASE	1999	DBLP DOI BibTeX RDF	unit under test, low testability, unit test driver, driver generator, formal test specification, formal specification, domain-specific language, specification-based testing
19	Cristina Cifuentes, Doug Simon, Antoine Fraboulet	Assembly to High-Level Language Translation.	ICSM	1998	DBLP DOI BibTeX RDF
19	George F. Foster, Pierre Isabelle, Pierre Plamondon	Target-Text Mediated Interactive Machine Translation.	Mach. Transl.	1997	DBLP DOI BibTeX RDF	Machine-Assisted Human Translation, interactive MT, target-text mediation, statistical language models, word completion, statistical translation models
19	Doran Wilde, Sanjay V. Rajopadhye	The naive execution of affine recurrence equations.	ASAP	1995	DBLP DOI BibTeX RDF	algorithmic languages, regular arrays, ALPHA language, computer aided design methodology, regular array architectures, algorithmic specification, imperative sequential language C, applicative caching, 1-dimensional storage, formal specification, circuit CAD, hardware description languages, nested loops, polyhedron, transformational approach, C-code, affine recurrence equations
19	Carlos Escalante	A simple model of prolog's performance: extensional predicates.	CASCON	1993	DBLP BibTeX RDF
19	P. David Coward	Path feasibility, linear optimizers and the evaluate standard form.	ACM SIGPLAN Notices	1991	DBLP DOI BibTeX RDF
19	Theo Ungerer, Lubomir Bic	An Object-Oriented Interface for Parallel Programming of Loosely-Coupled Multiprocessor Systems.	EDMCC	1991	DBLP DOI BibTeX RDF
19	Joanne L. Boyd, Gerald M. Karam	Prolog in "C".	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	‘C’, Prolog, translation, declarative programming, procedure programming
19	Carl Steidley	ROBOTICS: A Hands-On Introduction to Hardware (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
19	Toshiaki Tanaka, Tsutomu Kobayashi, Osamu Karatsu	HARP: FORTRAN to silicon [compilation system].	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
19	Jack W. Davidson, Joseph V. Gresh	Cint: a RISC interpreter for the C programming language.	PLDI	1987	DBLP DOI BibTeX RDF	C, RISC
19	Robert E. Noonan	Compiler construction using modern tools.	SIGCSE	1986	DBLP DOI BibTeX RDF
19	Uwe F. Pleban	Compiler prototyping using formal semantics.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
19	Stephen Y. H. Su	IDAS: an integrated design automation system.	AFIPS National Computer Conference	1984	DBLP DOI BibTeX RDF
19	Ken Kennedy, Jayashree Ramanathan	A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF
19	Bernard Lorho	Semantic attributes processing in the system DELTA.	Methods of Algorithmic Language Implementation	1975	DBLP DOI BibTeX RDF
16	Xiaoyu Qiu, Yuechen Wang, Jiaxin Shi, Wengang Zhou, Houqiang Li	Cross-Lingual Transfer for Natural Language Inference via Multilingual Prompt Translator.	CoRR	2024	DBLP DOI BibTeX RDF
16	Jinhu Jiang, Chaoyi Liang, Rongchao Dong, Zhaohui Yang, Zhongjun Zhou, Wenwen Wang 0001, Pen-Chung Yew, Weihua Zhang	A System-Level Dynamic Binary Translator using Automatically-Learned Translation Rules.	CoRR	2024	DBLP DOI BibTeX RDF
16	Sangwoo Shin, Minjong Yoo, Jeongwoo Lee, Honguk Woo	SemTra: A Semantic Skill Translator for Cross-Domain Zero-Shot Policy Adaptation.	CoRR	2024	DBLP DOI BibTeX RDF
16	Zhimin Yuan, Wankang Zeng, Yanfei Su, Weiquan Liu, Ming Cheng 0002, Yulan Guo, Cheng Wang	Density-guided Translator Boosts Synthetic-to-Real Unsupervised Domain Adaptive Segmentation of 3D Point Clouds.	CoRR	2024	DBLP DOI BibTeX RDF
16	Jiaming Li, Ning Xie, Tingting Zhao	Optimizing Reinforcement Learning Using a Generative Action-Translator Transformer.	Algorithms	2024	DBLP DOI BibTeX RDF
16	Jinhu Jiang, Chaoyi Liang, Rongchao Dong, Zhaohui Yang, Zhongjun Zhou, Wenwen Wang 0001, Pen-Chung Yew, Weihua Zhang	A System-Level Dynamic Binary Translator Using Automatically-Learned Translation Rules.	CGO	2024	DBLP DOI BibTeX RDF
16	Sangwoo Shin, Minjong Yoo, Jeongwoo Lee, Honguk Woo	SemTra: A Semantic Skill Translator for Cross-Domain Zero-Shot Policy Adaptation.	AAAI	2024	DBLP DOI BibTeX RDF
16	Felipe Trujillo-Romero, Gibran Garcia-Bautista	Mexican Sign Language Corpus: Towards an Automatic Translator.	ACM Trans. Asian Low Resour. Lang. Inf. Process.	2023	DBLP DOI BibTeX RDF
16	A. Sathya, M. S. Mythili	Translator Data Pre-processing Gram Feature Algorithmic Model (TDGA) for Enhancing Classifier Accuracy in the Healthcare Domain.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	Ala Hamarsheh, Ahmad Alqerem, Iman Akour, Mohammad Alauthman, Amjad Aldweesh, Ali Mohd Ali, Ammar Almomani, Someah Alangari	Comparative Evaluation of Host-Based Translator Mechanisms for IPv4-IPv6 Communication Performance Analysis With Different Routing Protocols.	Int. J. Cloud Appl. Comput.	2023	DBLP DOI BibTeX RDF
16	Asmaa Sobhy, Mahmoud Helmy, Michael Khalil, Sarah Elmasry, Youtham Boules, Nermin K. Negied	An AI Based Automatic Translator for Ancient Hieroglyphic Language - From Scanned Images to English Text.	IEEE Access	2023	DBLP DOI BibTeX RDF
16	Xueyu Wang, Jian Wang	Implementing an interactive approach in translator education.	Interact. Learn. Environ.	2023	DBLP DOI BibTeX RDF
16	Emad Mohamed, Raheem Sarwar, Sayed Mostafa	Translator attribution for Arabic using machine learning.	Digit. Scholarsh. Humanit.	2023	DBLP DOI BibTeX RDF
16	Yu Fang, Haitao Liu	Seeing various adventures through a mirror: Detecting translator's stylistic visibility in Chinese translations of Alice's Adventure in Wonderland.	Digit. Scholarsh. Humanit.	2023	DBLP DOI BibTeX RDF
16	Hasna Awwad, Majdi Sawalha, Areej Allawzi, Sane Yagi	Building translator-oriented English-Arabic physics glossary from domain corpus.	Int. J. Speech Technol.	2023	DBLP DOI BibTeX RDF
16	Li Ling, Weiying Chen	Integrating an ASR-based translator into individualized L2 vocabulary learning for young children.	Educ. Inf. Technol.	2023	DBLP DOI BibTeX RDF
16	Rabimba Karanjai, Rowan Collier, Zhimin Gao, Lin Chen 0009, Xinxin Fan, Taeweon Suh, Weidong Shi, Lei Xu 0012	Decentralized Translator of Trust: Supporting Heterogeneous TEE for Critical Infrastructure Protection.	CoRR	2023	DBLP DOI BibTeX RDF
16	Zeynep Yirmibesoglu, Olgun Dursun, Harun Dalli, Mehmet Sahin, Ena Hodzik, Sabri Gürses, Tunga Güngör	Incorporating Human Translator Style into English-Turkish Literary Machine Translation.	CoRR	2023	DBLP DOI BibTeX RDF
16	Jaemin Hong, Sukyoung Ryu	Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs.	CoRR	2023	DBLP DOI BibTeX RDF
16	Wenxiang Jiao, Wenxuan Wang, Jen-tse Huang 0001, Xing Wang 0007, Zhaopeng Tu	Is ChatGPT A Good Translator? A Preliminary Study.	CoRR	2023	DBLP DOI BibTeX RDF
16	Yi Feng, Bohuan Xue, Ming Liu 0001, Qijun Chen, Rui Fan 0001	D2NT: A High-Performing Depth-to-Normal Translator.	CoRR	2023	DBLP DOI BibTeX RDF
16	Marcelo Archanjo José, Fábio Gagliardi Cozman	A Multilingual Translator to SQL with Database Schema Pruning to Improve Self-Attention.	CoRR	2023	DBLP DOI BibTeX RDF
16	Yue Zhang 0004, Parisa Kordjamshidi	VLN-Trans: Translator for the Vision and Language Navigation Agent.	CoRR	2023	DBLP DOI BibTeX RDF
16	Yizhou Wang 0007, Yixuan Wu, Shixiang Tang, Weizhen He, Xun Guo, Feng Zhu 0006, Lei Bai 0001, Rui Zhao 0001, Jian Wu, Tong He 0001, Wanli Ouyang	Hulk: A Universal Knowledge Translator for Human-Centric Tasks.	CoRR	2023	DBLP DOI BibTeX RDF
16	Zhaoyan Liu, Noël Vouitsis, Satya Krishna Gorti, Jimmy Ba, Gabriel Loaiza-Ganem	TR0N: Translator Networks for 0-Shot Plug-and-Play Conditional Generation.	CoRR	2023	DBLP DOI BibTeX RDF
16	Neeraj Baghel, Shiv Ram Dubey, Satish Kumar Singh	PTSR: Patch Translator for Image Super-Resolution.	CoRR	2023	DBLP DOI BibTeX RDF
16	Hyeim Yang, Seokwon Jang, Sol Han, Sangheon Pack	Auto-NFT: Automated Network Function Translator in Virtualized Programmable Data Plane.	IEEE Netw.	2023	DBLP DOI BibTeX RDF
16	Celso Henrique Cesila, Rossano P. Pinto, Kayol Soares Mayer, Andrés Felipe Escallón-Portilla, Darli A. A. Mello, Dalton Soares Arantes, Christian Esteve Rothenberg	Chat-IBN-RASA: Building an Intent Translator for Packet-Optical Networks based on RASA.	NetSoft	2023	DBLP DOI BibTeX RDF
16	Yi Feng, Bohuan Xue, Ming Liu 0001, Qijun Chen, Rui Fan 0001	D2NT: A High-Performing Depth-to-Normal Translator.	ICRA	2023	DBLP DOI BibTeX RDF
16	Benjamin Naidoo, Farzad Ghayoor	Developing an Automatic Speech-to-Speech Translator Mobile Application using AWS.	AFRICON	2023	DBLP DOI BibTeX RDF
16	Sónia Rafael, Francisco Rebelo, Beatriz Pinto, Andreia Gil, Catharina Lima, Joana Chitas, Marta Pascoal, Lúcio Simões	Inclusion Through Accessibility. Handi Bot, a Translator for Portuguese Sign Language.	HCI (10)	2023	DBLP DOI BibTeX RDF
16	Takeshi Abekawa, Rei Miyata, Kyo Kageura	QRDP: A System that Facilitates the Selection of English Materials for Translator Education.	ICADL (1)	2023	DBLP DOI BibTeX RDF