Search results for "Code transformation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Bertrand Anckaert, Bjorn De Sutter, Dominique Chanet, Koen De Bosschere	Steganography for Executables and Code Transformation Signatures.	ICISC	2004	DBLP DOI BibTeX RDF	code transformation signature, steganography, executables
2	Clifford Liem, Yuan Xiang Gu, Harold Johnson	A compiler-based infrastructure for software-protection.	PLAS	2008	DBLP DOI BibTeX RDF	compiler-based techniques, software protection, tamper resistance, code transformation
2	Sheayun Lee, Jaejin Lee, Chang Yun Park, Sang Lyul Min	Selective code transformation for dual instruction set processors.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	Dual instruction set processors, mixed-width instruction set architecture, reduced bid-width instruction set architecture
2	Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel	A serialization based approach for strong mobility of shared object.	PPPJ	2007	DBLP DOI BibTeX RDF	Java thread, shared object migration, strong mobility, distributed applications, Java-RMI, serialization, source code transformation
2	Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel	A Serialisation Based Approach for Processes Strong Mobility.	DAIS	2007	DBLP DOI BibTeX RDF	Strong Mobility, Java Thread, Distributed systems, Source code transformation, Serialisation
2	Bin Yao, William Mielke, Steve Kennedy, Rick Buskens	C Macro Handling in Automated Source Code Transformation Systems.	ICSM	2006	DBLP DOI BibTeX RDF
2	Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner	Code Analysis for Temporal Predictability.	Real-Time Systems	2006	DBLP DOI BibTeX RDF	abstract interpretation, compiler optimizations, graph transformation, worst-case execution time analysis, code transformation, real-time languages
2	Jürgen Dingel, Hongzhi Liang	Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	TXL, VeriSoft, past-time linear temporal logic, software model checking, safety analysis, source code transformation, run-time monitoring
2	Erwin A. de Kock	Multiprocessor Mapping of Process Networks: A JPEG Decoding Case Study.	ISSS	2002	DBLP DOI BibTeX RDF	multiprocessor mapping, system design method, data parallelism, code transformation, process network, task-level parallelism
2	Patrick H. Corr, Peter Milligan, Vaughan Purnell	A Neural Network Based Tool for Semi-automatic Code Transformation.	VECPAR	2000	DBLP DOI BibTeX RDF
2	Michael E. Wolf, Monica S. Lam	A Loop Transformation Theory and an Algorithm to Maximize Parallelism.	IEEE Trans. Parallel Distrib. Syst.	1991	DBLP DOI BibTeX RDF	loop transformation theory, general loops, dependence vectors, lexicographically positive, compound transformations, coarsest fully permutable loop nests, fully permutable nests, parallel algorithm, parallel algorithms, parallel programming, heuristics, program compilers, precedence constraints, legality, code transformation, fine-grain parallelism, canonical form, wavefront, coarse grain parallelism, loop iterations, maximum degree
1	Yulong Huang, Zhihao Chen, Jianqing Xi	A New RFID Tag Code Transformation Approach in Internet of Things.	JNW	2012	DBLP DOI BibTeX RDF
1	Brian B. Christensen, Michael Bang Nielsen, Ken Museth	Out-of-Core Computations of High-Resolution Level Sets by Means of Code Transformation.	J. Sci. Comput.	2012	DBLP DOI BibTeX RDF
1	Minhaj Ahmad Khan	Improving performance through deep value profiling and specialization with code transformation.	Computer Languages, Systems & Structures	2011	DBLP DOI BibTeX RDF
1	Pasquale Cantiello, Beniamino Di Martino	Automatic Source Code Transformation for GPUs Based on Program Comprehension.	Euro-Par Workshops	2011	DBLP DOI BibTeX RDF
1	Josef Weidendorfer, Tilman Küstner, Sally A. McKee	Performance optimization by dynamic code transformation.	Conf. Computing Frontiers	2011	DBLP DOI BibTeX RDF
1	Lan S. Bai, Robert P. Dick, Peter A. Dinda, Pai H. Chou	Simplified programming of faulty sensor networks via code transformation and run-time interval computation.	DATE	2011	DBLP DOI BibTeX RDF
1	Chia-Jung Chen, Rong-Guey Chang	Thermal-Aware Code Transformation across Functional Units.	EUC	2011	DBLP DOI BibTeX RDF
1	Bogdan Korel, Shangping Ren, Kevin A. Kwiat, Arnaud Auguste, Alban Vignaux	Improving operation time bounded mission critical systems' attack-survivability through controlled source-code transformation.	SIN	2011	DBLP DOI BibTeX RDF
1	Roland Petrasch	Model-to-Code-Transformation mit der Model to Text Transformation Language.	GI Jahrestagung	2010	DBLP BibTeX RDF
1	Aviral Shrivastava, Jongeun Lee, Reiley Jeyapaul	Cache vulnerability equations for protecting data in embedded processor caches from soft errors.	LCTES	2010	DBLP DOI BibTeX RDF	cache vulnerability, static analysis, embedded processors, soft errors, code transformation, compiler technique
1	Alastair Colin Murray, Richard Vincent Bennett, Björn Franke, Nigel P. Topham	Code transformation and instruction set extension.	ACM Trans. Embedded Comput. Syst.	2009	DBLP DOI BibTeX RDF	source-level transformations, compilers, design space exploration, ASIPs, instruction set extension, Customizable processors
1	Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian S. Collberg, Paolo Tonella	Trading-off security and performance in barrier slicing for remote software entrusting.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Security, Program slicing, Source code transformation
1	Zhiyuan Li, Santosh Pande	Editorial: Languages, compilers, and tools for embedded systems.	ACM Trans. Embedded Comput. Syst.	2009	DBLP DOI BibTeX RDF
1	Alessandro Zovi, Tullio Vardanega	Requirements on the Target Programming Language for High-Integrity MDE.	Ada-Europe	2009	DBLP DOI BibTeX RDF
1	Christian Kerstan, Nico Bannow, Wolfgang Rosenstiel	Enabling Automated Code Transformation and Variable Tracing.	FDL	2008	DBLP DOI BibTeX RDF
1	M. Muztaba Fuad	Code Transformation Techniques and Management Architecture for Self-manageable Distributed Applications.	SEKE	2008	DBLP BibTeX RDF
1	Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau	Control flow optimization in loops using interval analysis.	CASES	2008	DBLP DOI BibTeX RDF	algorithmic code transformation, compiler loop optimization, interval analysis
1	Jongeun Lee, Aviral Shrivastava	Static analysis of processor stall cycle aggregation.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	memory bound loops, processor free time, stall cycle aggregation, embedded systems, low power, code transformation
1	Torsten Hoefler, Peter Gottschling, Andrew Lumsdaine	Leveraging non-blocking collective communication in high-performance applications.	SPAA	2008	DBLP DOI BibTeX RDF	mpi optimization, non-blocking collective operations, parallel code transformation
1	Per Gunnar Kjeldsberg, Francky Catthoor, Sven Verdoolaege, Martin Palkovic, Arnout Vandecappelle, Qubo Hu, Einar J. Aas	Guidance of Loop Ordering for Reduced Memory Usage in Signal Processing Applications.	Signal Processing Systems	2008	DBLP DOI BibTeX RDF	Memory architecture exploration, High level synthesis, Memory optimization, Multi-media, Code transformation
1	Tong Chen, Tao Zhang, Zehra Sura, Marc Gonzáles Tallada	Prefetching irregular references for software cache on cell.	CGO	2008	DBLP DOI BibTeX RDF	prefetch, DMA, software cache
1	Chenjie Yu, Peter Petrov	Latency and bandwidth efficient communication through system customization for embedded multiprocessors.	DAC	2008	DBLP DOI BibTeX RDF	snoop protocol, embedded multiprocessor
1	Steffen Becker	Coupled model transformations.	WOSP	2008	DBLP DOI BibTeX RDF	mda, platform completions, performance prediction, model-driven software development
1	Jean Utke, Uwe Naumann, Michael W. Fagan, Nathan R. Tallent, Michelle Mills Strout, Patrick Heimbach, Chris Hill, Carl Wunsch	OpenAD/F: A Modular Open-Source Tool for Automatic Differentiation of Fortran Codes.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	adjoint compiler, Automatic differentiation, source transformation
1	Gurdip Singh, Valeriy Kolesnikov, Sanghamitra Das	Methodologies for optimization of distributed algorithms and middleware.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Jacques Carette, Spencer Smith, John McCutchan, Christopher Kumar Anand, Alexandre Korobkine	Case Studies in Model Manipulation for Scientific Computing.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
1	Jeffrey L. Overbey, Ralph E. Johnson	Generating Rewritable Abstract Syntax Trees.	SLE	2008	DBLP DOI BibTeX RDF
1	Dan G. Waddington, Bin Yao	High-fidelity C/C++ code transformation.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
1	Jesse McGeachie, Jürgen Dingel	Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Raimund Kirner	SCCP/x: a compilation profile to support testing and verification of optimized code.	CASES	2007	DBLP DOI BibTeX RDF	decision coverage, structural code-coverage preservation, optimization, testing, compiler, code transformation
1	Qubo Hu, Per Gunnar Kjeldsberg, Arnout Vandecappelle, Martin Palkovic, Francky Catthoor	Incremental hierarchical memory size estimation for steering of loop transformations.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Data optimization, memory architecture exploration, memory size estimation, high-level synthesis, code transformation
1	Richard Vincent Bennett, Alastair Colin Murray, Björn Franke, Nigel P. Topham	Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems.	LCTES	2007	DBLP DOI BibTeX RDF	source-level transformations, compilers, design space exploration, ASIPs, instruction set extension, customizable processors
1	Pedro J. Clemente, Juan Hernández, Fernando Sánchez	An MDA approach to develop systems based on components and aspects.	SAC	2007	DBLP DOI BibTeX RDF
1	Hamid Abdul Basit, Stan Jarzabek	Efficient token based clone detection with flexible tokenization.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	token-based clone detection, reverse engineering, software maintenance, clone detection
1	Hamid Abdul Basit, Simon J. Puglisi, William F. Smyth, Andrew Turpin, Stan Jarzabek	Efficient token based clone detection with flexible tokenization.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	token-based clone detection, reverse engineering, software maintenance, clone detection
1	Dae Wan Cho, Hyeon Soo Kim, Seunguk Oh	A new approach to detecting memory access errors in C programs.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF	bitmap coloring, software testing, code instrumentation, memory error
1	Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau	Short-Circuit Compiler Transformation: Optimizing Conditional Blocks.	ASP-DAC	2007	DBLP DOI BibTeX RDF
1	Wilson Padua	Using Model-Driven Development in Time-Constrained Course Projects.	CSEE&T	2007	DBLP DOI BibTeX RDF
1	M. G. J. van den Brand, Magiel Bruntink, G. R. Economopoulos, H. A. de Jong, Paul Klint, A. Taeke Kooiker, Tijs van der Storm, Jurgen J. Vinju	Using The Meta-Environment for Maintenance and Renovation.	CSMR	2007	DBLP DOI BibTeX RDF
1	M. Muztaba Fuad, Michael J. Oudshoorn	Transformation of Existing Programs into Autonomic and Self-healing Entities.	ECBS	2007	DBLP DOI BibTeX RDF
1	Baltasar Trancón-y-Widemann, David Lorge Parnas	Tabular Expressions and Total Functional Programming.	IFL	2007	DBLP DOI BibTeX RDF
1	Kieron Turkington, Konstantinos Masselos, George A. Constantinides, Philip Heng Wai Leong	FPGA Based Acceleration of the Linpack Benchmark: A High Level Code Transformation Approach.	FPL	2006	DBLP DOI BibTeX RDF
1	Paolo Bonzini, Laura Pozzi	Code transformation strategies for extensible embedded processors.	CASES	2006	DBLP DOI BibTeX RDF	compilers, ASIPs, instruction-set extensions, customizable processors
1	Mathieu Verbaere, Ran Ettinger, Oege de Moor	JunGL: a scripting language for refactoring.	ICSE	2006	DBLP DOI BibTeX RDF	refactoring, scripting language, source code transformation, language workbenches
1	Mathieu Verbaere, Arnaud Payement, Oege de Moor	Scripting refactorings with JunGL.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	refactoring, scripting language, source code transformation, language workbenches
1	Claudius Heitz, Peter Thiemann, Thomas Wölfle	Integration of an Action Language Via UML Action Semantics.	TEAA	2006	DBLP DOI BibTeX RDF	UML Action Language, UML Action Semantics, model to code transformation, Model Driven Architecture (MDA), behavioral modeling
1	Walter Binder, Jarle Hulaas	Flexible and efficient measurement of dynamic bytecode metrics.	GPCE	2006	DBLP DOI BibTeX RDF	Java, aspect-oriented programming, program transformations, resource management, profiling, JVM, partial evaluation, component-based software engineering, bytecode instrumentation, dynamic metrics
1	Marat Boshernitsan, Susan L. Graham	Interactive transformation of java programs in eclipse.	ICSE	2006	DBLP DOI BibTeX RDF	transformation, languages, interactive environments
1	Michael D. Wilder	The uniconc optimizing unicon compiler.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	goal-directed, optimization, compiler, object-oriented
1	Yutaka Matsuno, Atsushi Ohori	A type system equivalent to static single assignment.	PPDP	2006	DBLP DOI BibTeX RDF	type system, compiler optimization, static single assignment form
1	M. G. J. van den Brand, A. Taeke Kooiker, Jurgen J. Vinju, Niels P. Veerman	A Language Independent Framework for Context-sensitive Formatting.	CSMR	2006	DBLP DOI BibTeX RDF
1	Jordi Cabot, Ernest Teniente	Constraint Support in MDA Tools: A Survey.	ECMDA-FA	2006	DBLP DOI BibTeX RDF
1	Manoli Albert, Javier Muñoz, Vicente Pelechano, Oscar Pastor	Model to Text Transformation in Practice: Generating Code from Rich Associations Specifications.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
1	Jie Tao, Siegfried Schloissnig, Wolfgang Karl	Analysis of the Spatial and Temporal Locality in Data Accesses.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
1	Shengyue Wang, Antonia Zhai, Pen-Chung Yew	Exploiting Speculative Thread-Level Parallelism in Data Compression Applications.	LCPC	2006	DBLP DOI BibTeX RDF
1	Michael Hafner, Muhammad Alam, Ruth Breu	Towards a MOF/QVT-Based Domain Architecture for Model Driven Security.	MoDELS	2006	DBLP DOI BibTeX RDF
1	Gerhard W. Zumbusch	Data Dependence Analysis for the Parallelization of Numerical Tree Codes.	PARA	2006	DBLP DOI BibTeX RDF
1	Vijay Janapa Reddi, Dan Connors, Robert S. Cohn	Persistence in dynamic code transformation systems.	SIGARCH Computer Architecture News	2005	DBLP DOI BibTeX RDF
1	Dan G. Waddington, Bin Yao	High-Fidelity C/C++ Code Transformation.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Aviral Shrivastava, Eugene Earlie, Nikil D. Dutt, Alexandru Nicolau	Aggregating processor free time for energy reduction.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	processor free time, embedded systems, aggregation, clock gating, code transformation, energy reduction
1	Uwe Naumann, Jan Riehme	A differentiation-enabled fortran 95 compiler.	ACM Trans. Math. Softw.	2005	DBLP DOI BibTeX RDF	preaccumulation, Source transformation
1	Xiaoru Dai, Antonia Zhai, Wei-Chung Hsu, Pen-Chung Yew	A General Compiler Framework for Speculative Optimizations Using Data Speculative Code Motion.	CGO	2005	DBLP DOI BibTeX RDF
1	Seung Woo Son, Mahmut T. Kandemir, Alok N. Choudhary	Software-Directed Disk Power Management for Scientific Applications.	IPDPS	2005	DBLP DOI BibTeX RDF
1	Shannon Xu, Thomas R. Dean	Transforming Embedded Java Code into Custom Tags.	SCAM	2005	DBLP DOI BibTeX RDF
1	Pedro Valderas, Joan Fons, Vicente Pelechano	Transforming Web Requirements into Navigational Models: AN MDA Based Approach.	ER	2005	DBLP DOI BibTeX RDF
1	Youngsun Han, Seon Kim, Chulwoo Kim	Jaguar: A Compiler Infrastructure for Java Reconfigurable Computing.	ICESS	2005	DBLP DOI BibTeX RDF	Java, FPGA, compiler, Reconfigurable computing, Verilog
1	Ákos Kiss, Judit Jász, Tibor Gyimóthy	Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables.	Software Quality Journal	2005	DBLP DOI BibTeX RDF	interprocedural slicing, binary executables, indirect function call, call graph, dynamic information, static slicing
1	Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini	Checking secure information flow in Java bytecode by code transformation and standard bytecode verification.	Softw., Pract. Exper.	2004	DBLP DOI BibTeX RDF
1	Pieter van der Wolf, Erwin A. de Kock, Tomas Henriksson, Wido Kruijtzer, Gerben Essink	Design and programming of embedded multiprocessors: an interface-centric approach.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	multiprocessor mapping, platform interface, system design method, task-level interface, code transformation, media processing
1	Per Gunnar Kjeldsberg, Francky Catthoor, Einar J. Aas	Storage requirement estimation for optimized design of data intensive applications.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	data optimization, memory architecture exploration, high-level synthesis, code transformation, Size estimation
1	Marat Boshernitsan, Susan L. Graham	iXj: interactive source-to-source transformations for java.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	program transformation languages, interactive environments
1	Victor Shnayder, Mark Hempstead, Bor-rong Chen, Geoffrey Werner-Allen, Matt Welsh	Simulating the power consumption of large-scale sensor network applications.	SenSys	2004	DBLP DOI BibTeX RDF	TOSSIM, mica2 energy model, power simulation, sensor networks
1	Wei Xu, Daniel C. DuVarney, R. Sekar	An efficient and backwards-compatible transformation to ensure memory safety of C programs.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	program transformation, C, memory safety
1	Sandro Bartolini, Cosimo Antonio Prete	A proposal for input-sensitivity analysis of profile-driven optimizations on embedded applications.	SIGARCH Computer Architecture News	2004	DBLP DOI BibTeX RDF
1	Chi-Keung Luk, Robert Muth, Harish Patil, Robert S. Cohn, P. Geoffrey Lowney	Ispike: A Post-link Optimizer for the Intel®Itanium®Architecture.	CGO	2004	DBLP DOI BibTeX RDF
1	Carlo Brandolese, William Fornaciari, Fabio Salice, Donatella Sciuto	Analysis and Modeling of Energy Reducing Source Code Transformations.	DATE	2004	DBLP DOI BibTeX RDF
1	Paolo Tonella, Mariano Ceccato	Migrating Interface Implementation to Aspects.	ICSM	2004	DBLP DOI BibTeX RDF
1	Yunsi Fei, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha	Energy-Optimizing Source Code Transformations for OS-driven Embedded Software.	VLSI Design	2004	DBLP DOI BibTeX RDF
1	Peter Petrov, Alex Orailoglu	Transforming Binary Code for Low-Power Embedded Processors.	IEEE Micro	2004	DBLP DOI BibTeX RDF
1	Kleanthis Psarris, Konstantinos Kyriakopoulos	An Experimental Evaluation of Data Dependence Analysis Techniques.	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF	program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization
1	Sheayun Lee, Jaejin Lee, Sang Lyul Min, Jason Hiser, Jack W. Davidson	Code Generation for a Dual Instruction Set Processor Based on Selective Code Transformation.	SCOPES	2003	DBLP DOI BibTeX RDF
1	Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa	Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Raimund Kirner, Peter P. Puschner	Timing Analysis of Optimised Code.	WORDS	2003	DBLP DOI BibTeX RDF	Compiler Op- timisations, Execution Times, Code Transformation, Worst-Case Execution Time Analysis, Real-Time Languages
1	Kleanthis Psarris, Konstantinos Kyriakopoulos	The impact of data dependence analysis on compilation and program parallelization.	ICS	2003	DBLP DOI BibTeX RDF	program analysis, compiler optimization, parallelizing compilers, data dependence, automatic parallelization
1	Ying Zou, Kostas Kontogiannis	Incremental Transformation of Procedural Systems to Object Oriented Platforms.	COMPSAC	2003	DBLP DOI BibTeX RDF
1	Heiko Falk, Peter Marwedel	Control Flow Driven Splitting of Loop Nests at the Source Code Level .	DATE	2003	DBLP DOI BibTeX RDF
1	Adeline Jacquet, Vincent Janot, Clement Leung, Guang R. Gao, Ramaswamy Govindarajan, Thomas L. Sterling	An Executable Analytical Performance Evaluation Approach for Early Performance Prediction.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner	Input-Dependency Analysis for Hard Real-Time Software.	WORDS Fall	2003	DBLP DOI BibTeX RDF
1	Eric Wohlstadter, Premkumar T. Devanbu	DADO: A Novel Programming Model for Distributed, Heterogenous, Late-Bound QoS Implementations.	OTM Workshops	2003	DBLP DOI BibTeX RDF