Search results for "translator"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	H. Kaner	An Algebraic Translator.	Commun. ACM	1959	DBLP DOI BibTeX RDF
16	D. E. Richmond	An automatic formula translator for fixed-point arithmetic.	ACM National Meeting	1959	DBLP DOI BibTeX RDF
16	Saul Rosen, I. Bennett Goldberg	ALTAC, the TRANSAC algebraic translator.	ACM National Meeting	1959	DBLP DOI BibTeX RDF
16	Edward E. David Jr., Max V. Mathews, Henry S. McDonald	A high-speed data translator for computer simulation of speech and television devices.	IRE-AIEE-ACM Computer Conference (Western)	1959	DBLP DOI BibTeX RDF
16	Vincent E. Giuliano	The trial translator: an automatic programming system for experimental Russian-English machine translation.	AIEE-ACM-IRE Computer Conference (Eastern)	1958	DBLP DOI BibTeX RDF
16	R. B. Bonney	A universal computer language translator.	IRE-ACM-AIEE Computer Conference (Western)	1958	DBLP DOI BibTeX RDF
9	Michael Dalton, Hari Kannan, Christos Kozyrakis	Tainting is not pointless.	ACM SIGOPS Oper. Syst. Rev.	2010	DBLP DOI BibTeX RDF
9	Hartmut Schorrig, Thomas Henties	Java2C - developing in Java, deployment in C: short paper.	JTRES	2010	DBLP DOI BibTeX RDF
9	Rashina Hoda, James Noble 0001, Stuart Marshall	Organizing self-organizing teams.	ICSE (1)	2010	DBLP DOI BibTeX RDF	self-organizing teams, software engineering, agile software development
9	Naveen Neelakantam, David R. Ditzel, Craig B. Zilles	A real system evaluation of hardware atomicity for software speculation.	ASPLOS	2010	DBLP DOI BibTeX RDF	optimization, checkpoint, atomicity, speculation, dynamic translation
9	Goh Kondoh, Hideaki Komatsu	Dynamic binary translation specialized for embedded systems.	VEE	2010	DBLP DOI BibTeX RDF	embedded systems, partial evaluation, specialization, dynamic binary translation
9	Boutheina Chetali, Quang Huy Nguyen 0002	An automated testing experiment for layered embedded C code.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
9	Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet	Implementing a Direct Method for Certificate Translation.	ICFEM	2009	DBLP DOI BibTeX RDF
9	Eleni Efthimiou, Stavroula-Evita Fotinea, Christian Vogler, Thomas Hanke 0001, John R. W. Glauert, Richard Bowden, Annelies Braffort, Christophe Collet 0002, Petros Maragos, Jérémie Segouat	Sign Language Recognition, Generation, and Modelling: A Research Effort with Applications in Deaf Communication.	HCI (5)	2009	DBLP DOI BibTeX RDF	Deaf communication, HCI, Web accessibility, Sign Language
9	Pavel Ocenasek	Universal Access to the Internet Web Pages for Users with Special Needs.	HCI (7)	2009	DBLP DOI BibTeX RDF	URL web-proxy, security, accessibility, translation, proxy server
9	Mai Miyabe, Takashi Yoshino 0001	Design of Face-to-Face Multilingual Communication Environment for Illiterate People.	HCI (14)	2009	DBLP DOI BibTeX RDF	Parallel texts, Multilingual communication, Medical field
9	Hyeyeon Hong, Hanku Lee	APJava: an aspect-oriented parallel programming model in Java.	ICHIT	2009	DBLP DOI BibTeX RDF	translation scheme, Java, parallel programming, distributed computing, aspect-oriented programming
9	Edoardo Bontà, Marco Bernardo 0001	PADL2Java: A Java code generator for process algebraic architectural descriptions.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF
9	Christine A. Hoyland, Kevin MacG. Adams	RQ-Tech method for user-involved software development.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF
9	Mar Yah Said, Michael J. Butler, Colin F. Snook	Language and Tool Support for Class and State Machine Refinement in UML-B.	FM	2009	DBLP DOI BibTeX RDF	UML, Formal specification, Refinement, Event-B, Visual modelling languages
9	Jan Stöcker, Frédéric Lang, Hubert Garavel	Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format.	IFM	2009	DBLP DOI BibTeX RDF
9	Steven P. Miller	Bridging the Gap Between Model-Based Development and Model Checking.	TACAS	2009	DBLP DOI BibTeX RDF
9	Sandra Baldassarri, Eva Cerezo, Francisco Royo-Santas	Automatic Translation System to Spanish Sign Language with a Virtual Interpreter.	INTERACT (1)	2009	DBLP DOI BibTeX RDF	Sign language translation, animation, emotion, virtual characters
9	Seyong Lee, Seung-Jai Min, Rudolf Eigenmann	OpenMP to GPGPU: a compiler framework for automatic translation and optimization.	PPoPP	2009	DBLP DOI BibTeX RDF	openmp, compiler optimization, gpu, cuda, automatic translation
9	Hojjat Jafarpour, Bijit Hore, Sharad Mehrotra, Nalini Venkatasubramanian	CCD: Efficient Customized Content Dissemination in Distributed Publish/Subscribe.	Middleware	2009	DBLP DOI BibTeX RDF	Operator placement, Content dissemination, Publish/Subscribe
9	Federica Ciocchetta, Corrado Priami, Paola Quaglia	An Automatic Translation of SBML into Beta-Binders.	IEEE ACM Trans. Comput. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	modeling, Process algebras, systems biology, biological systems, translation tool, Systems Biology Markup Language (SBML)
9	Seongnam Kwon, Yongjoo Kim, Woo-Chul Jeun, Soonhoi Ha, Yunheung Paek	A retargetable parallel-programming framework for MPSoC.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	parallel-programming, design-space exploration, Embedded software, multiprocessor system on chip, software generation
9	Ondrej Lhoták, Laurie J. Hendren	Relations as an abstraction for BDD-based program analysis.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Boolean formula satisfiability, physical domain assignment, Java, program analysis, Binary decision diagrams, language design, relations, points-to analysis
9	Qing Cao, Tarek F. Abdelzaher	Faithful Reconstruction of Application Behavior Based on Event Traces in the LiteOS Operating System.	IPSN	2008	DBLP DOI BibTeX RDF	liteos, visibility
9	Toshio Suganuma, Toshiaki Yasue, Tamiya Onodera, Toshio Nakatani	Performance pitfalls in large-scale java applications translated from COBOL.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	COBOL to java translations, legacy migration, object allocation
9	Ronaldo Rodrigues Ferreira	Automatic code generation and solution estimate for object-oriented embedded software.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, embedded systems, code generation, design space exploration, modeling languages, alloy, software automation
9	M. V. Arkhipova, Sergey V. Zelenov	Directed Generation of Test Data for Static Semantics Checker.	ISoLA	2008	DBLP DOI BibTeX RDF	context condition, grammar, specification based testing, static semantics, Automated test data generation
9	Kedian Mu, Zhi Jin, Didar Zowghi	A Measurement-Driven Process Model for Managing Inconsistent Software Requirements.	APSEC	2008	DBLP DOI BibTeX RDF
9	Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt	Boomerang: resourceful lenses for string data.	POPL	2008	DBLP DOI BibTeX RDF	bidirectional languages, regular string transducers, lenses, view update problem, regular types
9	Radu Siminiceanu, Ricky W. Butler, César A. Muñoz	Experimental Evaluation of a Planning Language Suitable for Formal Verification.	MoChArt	2008	DBLP DOI BibTeX RDF
9	Muhammad Abuzar Fahiem	A Deterministic Turing Machine for Context Sensitive Translation of Braille Codes to Urdu Text.	IWCIA	2008	DBLP DOI BibTeX RDF	optical recognition, context sensitive translation, deterministic Turing machine, Urdu glyphs, Braille
9	Sayed Gholam Hassan Tabatabaei, Wan Mohd Nasir Wan-Kadir, Suhaimi Ibrahim	Semantic Web Service Discovery and Composition Based on AI Planning and Web Service Modeling Ontology.	APSCC	2008	DBLP DOI BibTeX RDF
9	Masahiro Tanaka, Yohei Murakami, Toru Ishida 0001	Towards Service Supervision for Public Web Services.	APSCC	2008	DBLP DOI BibTeX RDF
9	N. R. Sunitha, B. B. Amberker	Proxy Re-signature Schemes.	ICISS	2008	DBLP DOI BibTeX RDF	Signature conversion, Proxy re-signature, Proxy revocation, Proxy key, Proxy Signature
9	Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov	Using Coloured Petri Nets to Model and Verify Telecommunications Systems.	CSR	2008	DBLP DOI BibTeX RDF
9	David Déharbe, Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira	BSmart: A Tool for the Development of Java Card Applications with the B Method.	ABZ	2008	DBLP DOI BibTeX RDF
9	Antonio Sarasa Cabezuelo, Álvaro Navarro-Iborra, José Luis Sierra, Alfredo Fernández-Valmayor	Building a Syntax Directed Processing Environment for XML Documents by Combining SAX and JavaCC.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	XML Pipelines, XML Processing, SAX, Syntax-directed Translation, Javacc
9	Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert	BML and Related Tools.	FMCO	2008	DBLP DOI BibTeX RDF
9	João Martins, Rui Nunes, Merja Karjalainen, Graham J. L. Kemp	A Functional Data Model Approach to Querying RDF/RDFS Data.	BNCOD	2008	DBLP DOI BibTeX RDF
9	Ray R. Larson	Cheshire at GeoCLEF 2008: Text and Fusion Approaches for GIR.	CLEF	2008	DBLP DOI BibTeX RDF
9	Ray R. Larson	Logistic Regression for Metadata: Cheshire Takes on Adhoc-TEL.	CLEF	2008	DBLP DOI BibTeX RDF
9	Kyunghyun Kim, Jaewon Lee, Hae-woo Park, Soonhoi Ha	Automatic H.264 encoder synthesis for the Cell processor from a target independent specification.	ESTIMedia	2008	DBLP DOI BibTeX RDF
9	Toshihiro Kanahori, Masayuki Naka, Masakazu Suzuki	Braille-Embedded Tactile Graphics Editor with Infty System.	ICCHP	2008	DBLP DOI BibTeX RDF
9	Mohamed Jemni, Oussama El Ghoul	A System to Make Signs Using Collaborative Approach.	ICCHP	2008	DBLP DOI BibTeX RDF	Avatar animation, collaborative approach, dictionary of sign, sign language, 3D animation
9	Chunqing Chen, Jin Song Dong, Jun Sun 0001	A verification system for timed interval calculus.	ICSE	2008	DBLP DOI BibTeX RDF	real-time systems, theorem proving, specification language, pvs
9	Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno	Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.	PRDC	2008	DBLP DOI BibTeX RDF
9	Florence Leong, Liangjing Yang, Stephen K. Y. Chang, Aun Neow Poo, Ichiro Sakuma, Chee-Kong Chui	A Precise Robotic Ablation and Division Mechanism for Liver Resection.	MIAR	2008	DBLP DOI BibTeX RDF	RF ablation, liver division, liver, Surgical robot, needle insertion
9	Kazuo Kuramochi, Takao Kawamura, Kazunori Sugahara	NAT Traversal for Pure P2P e-Learning System.	ICIW	2008	DBLP DOI BibTeX RDF	e-Learning, Mobile Agent, P2P, NAT
9	Luis G. Nardin, Anarosa Brandão, Jaime Simão Sichman, Laurent Vercouter	SOARI: A Service Oriented Architecture to Support Agent Reputation Models Interoperability.	AAMAS-TRUST	2008	DBLP DOI BibTeX RDF
9	Mohammad Zulkernine, Mathew Graves, Muhammad Umair Ahmed Khan	Integrating software specifications into intrusion detection.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Software specification languages, Intrusion detection, State machines, Attack scenarios
9	María Elena Acevedo-Mosqueda, Cornelio Yáñez-Márquez, Itzamá López-Yáñez	Alpha-Beta bidirectional associative memories: theory and applications.	Neural Process. Lett.	2007	DBLP DOI BibTeX RDF	Alpha-Beta associative memories, Perfect recall, Fingerprint identifier, Bidirectional associative memories
9	Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford	Providing a formal linkage between MDG and HOL.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Verification system correctness, Hybrid verification systems, Formal hardware verification, Usability verification
9	Abdul Sattar 0002, Torben Lorenzen	Develop a compiler in Java for a compiler design course.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	Jasmin, complier, recursive descent parser, Java, Java, JVM
9	Tuomas Talvensaari, Jorma Laurikkala, Kalervo Järvelin, Martti Juhola, Heikki Keskustalo	Creating and exploiting a comparable corpus in cross-language information retrieval.	ACM Trans. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Cross-language information retrieval, query translation, comparable corpora
9	Antonio Brogi, Sara Corfini, Stefano Iardella	From OWL-S Descriptions to Petri Nets.	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
9	Tomohiro Shigenobu	Evaluation and Usability of Back Translation for Intercultural Communication.	HCI (11)	2007	DBLP DOI BibTeX RDF	Back translation, Usability, Machine translation, Intercultural communication
9	Shin'ichiro Eitoku, Shunichi Yonemura, Ken-ichiro Shimokura	Impact of Sign Language Movie and Text Layout on the Readout Time.	HCI (5)	2007	DBLP DOI BibTeX RDF	Emergency message, Layout, Sign Language, Public Space
9	Yuki Kinebuchi, Hidenari Koshimae, Tatsuo Nakajima	Constructing machine emulator on portable microkernel.	SAC	2007	DBLP DOI BibTeX RDF	virtualizations, emulators, microkernels
9	Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa	A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes.	APSEC	2007	DBLP DOI BibTeX RDF
9	Gwen Salaün, Wendelin Serwe, Yvain Thonnart, Pascal Vivet	Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip.	ASYNC	2007	DBLP DOI BibTeX RDF
9	Christian Boitet, Igor M. Boguslavskij, Jesús Cardeñosa Lera	An Evaluation of UNL Usability for High Quality Multilingualization and Projections for a Future UNL++ Language.	CICLing	2007	DBLP DOI BibTeX RDF
9	Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek	Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks.	CC	2007	DBLP DOI BibTeX RDF
9	Erik K. Anderson, Wesley Peck, Jim Stevens, Jason Agron, Fabrice Baijot, Seth Warn, David Andrews 0001	Supporting High Level Language Semantics Within Hardware Resident Threads.	FPL	2007	DBLP DOI BibTeX RDF
9	Zhifeng Gu, Juan-Zi Li, Jie Tang 0001, Bin Xu 0001, Ruobo Huang	Verification of Web Service Conversations Specified in WSCL.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
9	Nelishia Pillay, Caryl K. A. Chalmers	A hybrid approach to automatic programming for the object-oriented programming paradigm.	SAICSIT	2007	DBLP DOI BibTeX RDF	genetic programming, automatic programming, rule-based expert systems
9	Valery A. Nepomniaschy, Gennady I. Alekseev, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina, Sergey P. Mylnikov, Ruslan M. Novikov	Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols.	CSR	2007	DBLP DOI BibTeX RDF
9	Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee	Translating FSP into LOTOS and Networks of Automata.	IFM	2007	DBLP DOI BibTeX RDF
9	Ray R. Larson	Cheshire at GeoCLEF 2007: Retesting Text Retrieval Baselines.	CLEF	2007	DBLP DOI BibTeX RDF
9	Hongjiang Gao, Zheng Qin, Li-Ping Shao, Xingchen Heng	Specifying and Verifying Cases Retrieval System Combining Event B and Spin.	ICSC	2007	DBLP DOI BibTeX RDF
9	Vincenzo De Florio, Chris Blondia	Reflective and Refractive Variables: A Model for Effective and Maintainable Adaptive-and-Dependable Software.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
9	Lubomir Cvrk, Vít Vrba	Secure Networking with NAT Traversal for Enhanced Mobility. (PDF / PS)	PWC	2007	DBLP DOI BibTeX RDF
9	Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack	MiniZinc: Towards a Standard CP Modelling Language.	CP	2007	DBLP DOI BibTeX RDF
9	Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun	X10: concurrent programming for modern architectures.	PPoPP	2007	DBLP DOI BibTeX RDF	concurrent programming languages, fork-join parallelism, global shared memory, high performance computing languages, partitioned global address space languages, asynchrony, X10, hierarchical parallelism
9	Ladislav Vagner, Borivoj Melichar	Formal Translation Directed by Parallel LLP Parsing.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
9	John Sample, Roy Ladner, Lev Shulman, Elias Ioup, Frederick E. Petry, Elizabeth Warner, Kevin Shaw, Frank P. McCreedy	Enhancing the US Navy's GIDB Portal with Web Services.	IEEE Internet Comput.	2006	DBLP DOI BibTeX RDF	GIDB portal, data source indexing, Web services, GIS
9	Liang Zhang 0012, Indradeep Ghosh, Michael S. Hsiao	A Framework for Automatic Design Validation of RTL Circuits Using ATPG and Observability-Enhanced Tag Coverage.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
9	Enrique Vidal 0001, Francisco Casacuberta, Luis Rodríguez, Jorge Civera, Carlos D. Martínez-Hinarejos	Computer-assisted translation using speech recognition.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
9	Liang Gu, Yuqing Gao, Fu-Hua Liu, Michael Picheny	Concept-based speech-to-speech translation using maximum entropy models for statistical natural concept generation.	IEEE Trans. Speech Audio Process.	2006	DBLP DOI BibTeX RDF
9	Chengwan He, Zhijie Nie, Bifeng Li, Lianlian Cao, Keqing He	Rava: Designing a Java Extension with Dynamic Object Roles.	ECBS	2006	DBLP DOI BibTeX RDF
9	Andrea Formisano 0001, Eugenio G. Omodeo, Ewa Orlowska	An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF	translation methods, modal logic, Relational systems
9	Carsten Schürmann, Mark-Oliver Stehr	An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf.	LPAR	2006	DBLP DOI BibTeX RDF
9	Sunil Jigyasu, Sujeet Banerjee, Vinayak R. Borkar, Michael J. Carey 0001, Kanad Dixit, Anil Malkani, Sachin Thatte	SQL to XQuery Translation in the AquaLogic Data Services Platform.	ICDE	2006	DBLP DOI BibTeX RDF
9	Edson Borin, Cheng Wang 0013, Youfeng Wu, Guido Araujo	Software-Based Transparent and Comprehensive Control-Flow Error Detection.	CGO	2006	DBLP DOI BibTeX RDF
9	Jianhui Li, Qi Zhang, Shu Xu, Bo Huang 0002	Optimizing Dynamic Binary Translation for SIMD Instructions.	CGO	2006	DBLP DOI BibTeX RDF
9	YangSun Lee 0002, YoungKeun Kim, HyeokJu Kwon	Design and Implementation of the Decompiler for Virtual Machine Code of the C++ Compiler in the Ubiquitous Game Platform.	ICHIT	2006	DBLP DOI BibTeX RDF	Virtual Machine Code, C++ Compiler, Decompiler
9	David Hemer	A systematic approach to connecting standalone theorem provers to formal development environments.	APSEC	2006	DBLP DOI BibTeX RDF
9	Sandrine Blazy, Zaynah Dargaye, Xavier Leroy	Formal Verification of a C Compiler Front-End.	FM	2006	DBLP DOI BibTeX RDF
9	Frank Kargl, Günter Dannhäuser, Stefan Schlott, Jürgen Nagler-Ihlein	Semantic Information Retrieval in the COMPASS Location System.	UCS	2006	DBLP DOI BibTeX RDF
9	Alkis Simitsis, Georgia Koutrika	Comprehensible Answers to Précis Queries.	CAiSE	2006	DBLP DOI BibTeX RDF
9	Reynald Affeldt, Nicolas Marti	An Approach to Formal Verification of Arithmetic Functions in Assembly.	ASIAN	2006	DBLP DOI BibTeX RDF
9	Lubomir Cvrk, Jiri Misurec, Vít Vrba	Application-independent Decentralized and Secure Communication with NAT traversal.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
9	Kimmo Kettunen 0001, Markus Sadeniemi, Tiina Lindh-Knuutila, Timo Honkela	Analysis of EU Languages Through Text Compression.	FinTAL	2006	DBLP DOI BibTeX RDF
9	Junsoo Lee	Simulation of Internet Transport Protocols for High Bandwidth-Delay Networks.	ICCSA (5)	2006	DBLP DOI BibTeX RDF
9	Youngsun Han, Shinyoung Kim, Hokwon Kim, Seokjoong Hwang, Seon Wook Kim	Code Generation and Optimization for Java-to-C Compilers.	EUC Workshops	2006	DBLP DOI BibTeX RDF
9	Joonseon Ahn, Byeong-Mo Chang, Kyung-Goo Doh	A Policy Description Language for Context-Based Access Control and Adaptation in Ubiquitous Environment.	EUC Workshops	2006	DBLP DOI BibTeX RDF