Search results for "translator"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	John A. Gardner, Leon Ungier, John J. Boyer	Braille Math Made Easy with the Tiger Formatter.	ICCHP	2006	DBLP DOI BibTeX RDF
9	Niklas Steinleitner, Henning Peters, Xiaoming Fu 0001	Implementation and Performance Study of a New NAT/Firewall Signaling Protocol.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
9	Shan Shan Huang, Yannis Smaragdakis	Easy language extension with meta-aspectJ.	ICSE	2006	DBLP DOI BibTeX RDF	domain-specific languages, language extensions
9	Mathew Graves, Mohammad Zulkernine	Bridging the gap: software specification meets intrusion detector.	PST	2006	DBLP DOI BibTeX RDF	attack languages, intrusion detection, software security, software specification
9	Yoav Weiss, Elena Gabriela Barrantes	Known/Chosen Key Attacks against Software Instruction Set Randomization.	ACSAC	2006	DBLP DOI BibTeX RDF
9	W. Jirattitichareon, Thanarat H. Chalidabhongse	Automatic Detection and Segmentation of Text in Low Quality Thai Sign Images.	APCCAS	2006	DBLP DOI BibTeX RDF
9	Xiangpeng Zhao, Hongli Yang, Zongyan Qiu	Towards the Formal Model and Verification of Web Service Choreography Description Language.	WS-FM	2006	DBLP DOI BibTeX RDF
9	Maricela Claudia Bravo Contreras, José Conrado Velázquez Hernández	Ontology Solution for Communicating Heterogeneous Negotiation Agents in a Web-based Environment.	LA-WEB	2006	DBLP DOI BibTeX RDF
9	William Naylor, Julian A. Padget	From Untyped to Polymorphically Typed Objects in Mathematical Web Services.	MKM	2006	DBLP DOI BibTeX RDF
9	Elena Gabriela Barrantes, David H. Ackley, Stephanie Forrest, Darko Stefanovic	Randomized instruction set emulation.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	Automated diversity, randomized instruction sets, software diversity
9	Daniele Braga, Alessandro Campi	XQBE: A Graphical Environment to Query XML Data.	World Wide Web	2005	DBLP DOI BibTeX RDF	XML, query languages, visual interfaces
9	Samir Chatterjee, Bengisu Tulu, Tarun Abhichandani, Haiqing Li	SIP-based enterprise converged networks for voice/video-over-IP: implementation and evaluation of components.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
9	Yao-Chung Chang, Jiann-Liang Chen, Han-Chieh Chao, Sy-Yen Kuo	OSA-based service platform for all-IPv6 network environments.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
9	Ismail Kadayif, Mahmut T. Kandemir	Data space-oriented tiling for enhancing locality.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	Software compilation, array-intensive applications, iteration space tiling, data locality, scratch pad memory
9	William B. Gardner	Converging CSP specifications and C++ programming via selective formalism.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	hardware/software codesign, Executable specifications, object-oriented application frameworks
9	Dejing Dou, Drew V. McDermott, Peishen Qi	Ontology Translation on the Semantic Web.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
9	Stephen Doxsee, William B. Gardner	Synthesis of C++ Software from Verifiable CSPm Specifications.	ECBS	2005	DBLP DOI BibTeX RDF
9	Tzu-Chi Huang, Ce-Kuen Shieh, Wen-Huang Lai, Yu-Ben Miao	Smart Tunnel Union for NAT Traversal.	NCA	2005	DBLP DOI BibTeX RDF
9	Giuseppe Ateniese, Susan Hohenberger	Proxy re-signatures: new definitions, algorithms, and applications.	CCS	2005	DBLP DOI BibTeX RDF	authenticating path in network, proxy re-signature, bilinear maps
9	Mariana C. D'Abreu, Gabriel A. Wainer	M/CD++: modeling continuous systems using Modelica and DEVS.	MASCOTS	2005	DBLP DOI BibTeX RDF
9	Hui Wu, Jeff Gray 0001	Testing domain-specific languages in eclipse.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	testing, debugging, domain-specific languages, eclipse, grammar
9	Stephen Doxsee, William B. Gardner	Synthesis of C++ software for automated teller from CSPm specifications.	SAC	2005	DBLP DOI BibTeX RDF	executable specifications, object-oriented application frameworks
9	Jianguo Zhou, Yifeng Chen	Generating C Code from LOGS Specifications.	ICTAC	2005	DBLP DOI BibTeX RDF
9	Kyung-Ah Yang, Jae Dong Yang, Ki-Heon Kim	Bio-ontology Construction Using Object-oriented Paradigm.	APSEC	2005	DBLP DOI BibTeX RDF
9	Indradeep Ghosh	High Level Test Generation for Custom Hardware: An Industrial Perspective.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
9	Vianey Guadalupe Cruz Sánchez, Gerardo Reyes Salgado, Osslan Osiris Vergara-Villegas, Joaquín Pérez Ortega, Azucena Montes Rendón	Compilation of Symbolic Knowledge and Integration with Numeric Knowledge Using Hybrid Systems.	MICAI	2005	DBLP DOI BibTeX RDF
9	J. C. Ernest, A. S. Bowser, S. Ghule, S. Sudireddy, Jameson P. Porter, Douglas A. Talbert, Martha J. Kosa	Weathering MindStorms with drizzle and DIODE in CS0.	ITiCSE	2005	DBLP DOI BibTeX RDF	robots, CS0
9	Bernd Mohr, Luiz De Rose, Jeffrey S. Vetter	A Performance Measurement Infrastructure for Co-array Fortran.	Euro-Par	2005	DBLP DOI BibTeX RDF
9	Hiroyasu Nishiyama	SecureC: Control-Flow Protection Against General Buffer Overflow Attack.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
9	Bill McCloskey, Eric A. Brewer	ASTEC: a new approach to refactoring C.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	ASTEC, C, refactoring, translation, macro, preprocessor
9	Jae-woo Chung, Rachel Kern, Henry Lieberman	Topic spotting common sense translation assistant.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	topic-spotting, common sense reasoning, language translation
9	Margaret M. McMahon, Eric C. Firkin	Performance of a Hub-Based Network-Centric Application over the Iridium Satellite Network.	ICN (2)	2005	DBLP DOI BibTeX RDF
9	Yongxin Zhu 0001, Zhenxin Sun, Alexander Maxiaguine, Weng-Fai Wong	Using UML 2.0 for System Level Design of Real Time SoC Platforms for Stream Processing.	RTCSA	2005	DBLP DOI BibTeX RDF
9	Klaus Bothe, Sam Joachim	Interactive Tool-Based Production of Multilingual Teaching and Learning Materials.	ICALT	2005	DBLP DOI BibTeX RDF
9	Jorge Civera, Juan Miguel Vilar, Elsa Cubel, Antonio L. Lagarda, Sergio Barrachina 0001, Francisco Casacuberta, Enrique Vidal 0001	A Novel Approach to Computer-Assisted Translation Based on Finite-State Transducers.	FSMNLP	2005	DBLP DOI BibTeX RDF
9	Ken Ka Lun Ho, Meiliu Lu	Web-based expert system for class schedule planning using JESS.	IRI	2005	DBLP DOI BibTeX RDF
9	Frank Kargl, Alexander Bernauer	The COMPASS Location System.	LoCA	2005	DBLP DOI BibTeX RDF
9	Galen S. Swint, Calton Pu, Gueyoung Jung, Wenchang Yan, Younggyun Koh, Qinyi Wu, Charles Consel, Akhil Sahai, Koichi Moriyama	Clearwater: extensible, flexible, modular code generation.	ASE	2005	DBLP DOI BibTeX RDF	AXpect, ISG, clearwater, infopipes, code generation, DSL
9	Koji Hashimoto, Yoshitaka Shibata	An Adaptive Communication System for User's Resource Environment.	AINA	2005	DBLP DOI BibTeX RDF
9	Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra	Translating Timed I/O Automata Specifications for Theorem Proving in PVS.	FORMATS	2005	DBLP DOI BibTeX RDF
9	Emilio Jesús Gallego Arias, Julio Mariño	An overview of the Sloth2005 curry system: system description.	WCFLP	2005	DBLP DOI BibTeX RDF	constraint definitional trees, sloth, type classes, curry
9	Isaiah Pinchas Kantorovitz	Lexical analysis tool.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	algorithm, compiler, software tool, lexical analysis, scanner
9	Mahmut T. Kandemir, J. Ramanujam, Mary Jane Irwin, Narayanan Vijaykrishnan, Ismail Kadayif, Amisha Parikh	A compiler-based approach for dynamically managing scratch-pad memories in embedded systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
9	Chuanxiong Guo, Zihua Guo, Qian Zhang 0001, Wenwu Zhu 0001	A seamless and proactive end-to-end mobility solution for roaming across heterogeneous wireless networks.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
9	Panagiotis E. Hadjidoukas	A Lightweight Framework for Executing Task Parallelism on Top of MPI.	PVM/MPI	2004	DBLP DOI BibTeX RDF
9	Newton Cheung, Sri Parameswaran, Jörg Henkel, Jeremy Chan	MINCE: Matching INstructions Using Combinational Equivalence for Extensible Processor.	DATE	2004	DBLP DOI BibTeX RDF
9	Neil Vachharajani, Matthew J. Bridges, Jonathan Chang, Ram Rangan, Guilherme Ottoni, Jason A. Blome, George A. Reis, Manish Vachharajani, David I. August	RIFLE: An Architectural Framework for User-Centric Information-Flow Security.	MICRO	2004	DBLP DOI BibTeX RDF
9	Ramon Canal, Antonio González 0001, James E. Smith 0001	Software-Controlled Operand-Gating.	CGO	2004	DBLP DOI BibTeX RDF
9	Mohammed Minout, Esteban Zimányi	Algebra-to-SQL Query Translation for Spatio-Temporal Databases.	DEXA	2004	DBLP DOI BibTeX RDF
9	Franck Legendre, Marcelo Dias de Amorim, Serge Fdida	Context-Aware Inter-Networking for Wireless Networks.	MWCN	2004	DBLP DOI BibTeX RDF
9	Suranjan Pramanik, Shambhu J. Upadhyaya	RABIT: A New Framework for Runtime Emulation and Binary Translation.	Annual Simulation Symposium	2004	DBLP DOI BibTeX RDF
9	Wladimir De Lara Araújo Filho, Celso Massaki Hirata	Translating Activity Cycle Diagrams to Java Simulation Programs.	Annual Simulation Symposium	2004	DBLP DOI BibTeX RDF
9	Jinghai Rao, Peep Küngas, Mihhail Matskin	Logic-based Web Services Composition: From Service Description to Process Model.	ICWS	2004	DBLP DOI BibTeX RDF
9	Emilia Oikarinen, Tomi Janhunen	Verifying the Equivalence of Logic Programs in the Disjunctive Case.	LPNMR	2004	DBLP DOI BibTeX RDF
9	Eun-Seok Ryu, Chuck Yoo	An approach to interactive media system for mobile devices.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	IML, mobile device, interactive media
9	Nikola Milanovic, Jan Richling, Miroslaw Malek	Lightweight Services for Embedded Systems.	WSTFEUS	2004	DBLP DOI BibTeX RDF	embedded systems, services, contracts
9	Ondrej Lhoták, Laurie J. Hendren	Jedd: a BDD-based relational extension of Java.	PLDI	2004	DBLP DOI BibTeX RDF	boolean formula satisfiability, Java, program analysis, binary decision diagrams, language design, relations
9	Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi	Defining and translating a "safe" subset of simulink/stateflow into lustre.	EMSOFT	2004	DBLP DOI BibTeX RDF	embedded software, simulink, lustre, automatic translation
9	André C. Nácul, Tony Givargis	Code partitioning for synthesis of embedded applications with phantom.	ICCAD	2004	DBLP DOI BibTeX RDF
9	Daniel Gayo-Avello, Darío Álvarez Gutiérrez, José Gayo-Avello	Application of Variable Length N-Gram Vectors to Monolingual and Bilingual Information Retrieval.	CLEF	2004	DBLP DOI BibTeX RDF
9	Camel Tanougast, Yves Berviller, Christian Mannino, Hassan Rabah, Michael Janiaut, Serge Weber	SystemC Model of a MPEG-2 DVB-T Bit-Rate Measurement Architecture for FPGA Implementation.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
9	Ge Zhang 0005, Markus Hillenbrand	Implementing SIP and H.323 Signalling as Web Services.	EUROMICRO	2004	DBLP DOI BibTeX RDF
9	Qing Yi, Daniel J. Quinlan	Applying Loop Optimizations to Object-Oriented Abstractions Through General Classification of Array Semantics.	LCPC	2004	DBLP DOI BibTeX RDF
9	Narayan Annamalai, Gopal Gupta 0001, B. Prabhakaran 0001	Accessing Documents via Audio: An Extensible Transcoder for HTML to VoiceXML Conversion.	ICCHP	2004	DBLP DOI BibTeX RDF
9	Koji Hashimoto, Yoshitaka Shibata	Extended Video Stream by Media Transcoding Functions.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
9	Koji Hashimoto, Yoshitaka Shibata	Dynamic Transcoding Functions by Extended Media Stream.	AINA (1)	2004	DBLP DOI BibTeX RDF
9	Sisi Liu, Rania Khalaf, Francisco Curbera	From DAML-S Processes to BPEL4WS.	RIDE	2004	DBLP DOI BibTeX RDF
9	Elliott Macklovitch	The Contribution of End-Users to the TransType2 Project.	AMTA	2004	DBLP DOI BibTeX RDF
9	Frank Lin, Teruko Mitamura	Keyword Translation from English to Chinese for Multilingual QA.	AMTA	2004	DBLP DOI BibTeX RDF
9	Valery A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky	Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language.	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
9	Davide Ancona, Giovanni Lagorio, Elena Zucca	Jam - designing a Java extension with mixins.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Java, language design
9	Norman Ramsey, Cristina Cifuentes	A transformational approach to binary translation of delayed branches.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	program transformation, program analysis, Binary translation
9	Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert	From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.	LCTES	2003	DBLP DOI BibTeX RDF	scheduling, embedded software, synchronous languages, simulink, lustre, code distribution
9	Elena Gabriela Barrantes, David H. Ackley, Trek S. Palmer, Darko Stefanovic, Dino Dai Zovi	Randomized instruction set emulation to disrupt binary code injection attacks.	CCS	2003	DBLP DOI BibTeX RDF	automated diversity, language randomization, security, emulation, information hiding, obfuscation
9	Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl	Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language.	ICFEM	2003	DBLP DOI BibTeX RDF
9	Ho-Seop Kim, James E. Smith 0001	Dynamic Binary Translation for Accumulator-Oriented Architectures.	CGO	2003	DBLP DOI BibTeX RDF
9	James C. Dehnert, Brian Grant, John P. Banning, Richard Johnson, Thomas Kistler, Alexander Klaiber, Jim Mattson	The Transmeta Code Morphing - Software: Using Speculation, Recovery, and Adaptive Retranslation to Address Real-Life Challenges.	CGO	2003	DBLP DOI BibTeX RDF
9	Asif Iqbal 0004, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh 0001	Visual Modeling and Verification of Distributed Reactive Systems.	SAFECOMP	2003	DBLP DOI BibTeX RDF
9	Rakesh Agrawal 0001, Jerry Kiernan, Ramakrishnan Srikant, Yirong Xu	An SPath-based preference language for P3P.	WWW	2003	DBLP DOI BibTeX RDF	APPEL, XPref, hippocratic databases, privacy-aware data management, XPath, preference, P3P
9	James C. Dehnert	The Transmeta Crusoe: VLIW Embedded in CISC.	SCOPES	2003	DBLP DOI BibTeX RDF
9	Jernej Kovse, Wolfgang Mahnke	Introducing Custom Language Extensions to SQL: 1999.	CAiSE	2003	DBLP DOI BibTeX RDF
9	Jens Lechtenbörger	The impact of the constant complement approach towards view updating.	PODS	2003	DBLP DOI BibTeX RDF
9	Steven Nordstrom, Shweta Shetty, Kumar Gaurav Chhokra, Jonathan Sprinkle, Brandon Eames, Ákos Lédeczi	ANEMIC: Automatic Interface Enabler for Model Integrated Computing.	GPCE	2003	DBLP DOI BibTeX RDF
9	Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe	Case Studies of Model Checking for Embedded System Designs.	ACSD	2003	DBLP DOI BibTeX RDF
9	Farn Wang, Fang Yu 0001	OVL Assertion-Checking of Embedded Software with Dense-Time Semantics.	RTCSA	2003	DBLP DOI BibTeX RDF
9	Haoqiang Jin, Gabriele Jost	Support of Multidimensional Parallelism in the OpenMP Programming Model.	ISHPC	2003	DBLP DOI BibTeX RDF
9	Panagiotis E. Hadjidoukas, Eleftherios D. Polychronopoulos, Theodore S. Papatheodorou	OpenMP for Adaptive Master-Slave Message Passing Applications.	ISHPC	2003	DBLP DOI BibTeX RDF
9	Dejing Dou, Drew V. McDermott, Peishen Qi	Ontology Translation on the Semantic Web.	OTM	2003	DBLP DOI BibTeX RDF
9	Sang Ik Lee, Troy A. Johnson, Rudolf Eigenmann	Cetus - An Extensible Compiler Infrastructure for Source-to-Source Transformation.	LCPC	2003	DBLP DOI BibTeX RDF
9	Omid Banyasad, Philip T. Cox	On translating geometric solids to functional expressions.	PPDP	2003	DBLP DOI BibTeX RDF	visual logic programming, functional programming, translation, geometric programming, design language
9	Frederic Tronel, Frédéric Lang, Hubert Garavel	Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components.	FMOODS	2003	DBLP DOI BibTeX RDF
9	Christoforos D. Kavadias, Bernard Perrin, Vangelis Kollias, Michael Loupis	Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems.	SDL Forum	2003	DBLP DOI BibTeX RDF
9	Koji Hashimoto, Yoshitaka Shibata	Design of a Middleware System for Scalable Multimedia Streaming.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
9	S. Senapathi, B. Chandrasekaran 0001, Don Stredney, Han-Wei Shen, Dhabaleswar K. Panda 0001	QoS-Aware Middleware for Cluster-Based Servers to support Interactive and Resource-Adaptive Applications.	HPDC	2003	DBLP DOI BibTeX RDF
9	Koji Hashimoto, Yoshitaka Shibata	Design of a Middleware System for Flexible Intercommunication Environment.	AINA	2003	DBLP DOI BibTeX RDF
9	Atsutoshi Imai, Shûichi Yukita	RDF Model and Relational Metadata.	AINA	2003	DBLP DOI BibTeX RDF
9	Yang-Suk Kee, Jin-Soo Kim 0001, Soonhoi Ha	ParADE: An OpenMP Programming Environment for SMP Cluster Systems.	SC	2003	DBLP DOI BibTeX RDF	software distributedshared memory, hybrid programming, MPI, programming environment, OpenMP, SMP cluster
9	Heikki Tauriainen, Keijo Heljanko	Testing LTL formula translation into Büchi automata.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Model checking, Verification, Software testing, Temporal logic
9	Hiroki Suguri, Eiichiro Kodama, Masatoshi Miyazaki, Isao Kaji	Assuring Interoperability between Heterogeneous Multi-Agent Systems with a Gateway Agent.	HASE	2002	DBLP DOI BibTeX RDF
9	Yunja Choi, Mats Per Erik Heimdahl	Model Checking RSML-e Requirements.	HASE	2002	DBLP DOI BibTeX RDF