Search results for "code"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Stan Y. Liao, Kurt Keutzer, Steven W. K. Tjiang, Srinivas Devadas	A new viewpoint on code generation for directed acyclic graphs.	ACM Trans. Design Autom. Electr. Syst.	1998	DBLP DOI BibTeX RDF	binate covering, code generation, directed acyclic graphs
23	Xiaoping Zeng, Yongqiang Sun, Rong Shi	The Code Migration of Mobile Agents System.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	CodeBroker, Distributed Computing, Mobile Agents, Code Migration
23	Hiroyuki Tomiyama, Hiroto Yasuura	Code placement techniques for cache miss rate reduction.	ACM Trans. Design Autom. Electr. Syst.	1997	DBLP DOI BibTeX RDF	integer linear programming, instruction cache, code placement
23	Deborah Whitfield, Mary Lou Soffa	An Approach for Exploring Code-Improving Transformations.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	automatic generation of optimizers, code-improving transformations, enabling and disabling of optimizations, parallelizing transformations, specification of program optimizations
23	Richard Johnson, Michael S. Schlansker	Analysis Techniques for Predicated Code.	MICRO	1996	DBLP DOI BibTeX RDF	boolean operand, graph-based data structure, predicated code, program analysis tools, run-time value, compiler optimization, instruction-level parallelism, data flow analysis, compiler analysis
23	Wolfram Amme, Jeffery von Ronne, Michael Franz	SSA-based mobile code: Implementation and empirical evaluation.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	SafeTSA, Virtual machines, static single-assignment form
23	Nour Kadi, Khaldoun Al Agha	Distributed switched code (DiSC): a distributed rateless code for broadcast in ad-hoc wireless networks.	IWCMC	2010	DBLP DOI BibTeX RDF	ad-hoc networks, broadcast, network coding, flooding, fountain code
23	Witawas Srisa-an, Myra B. Cohen, Yu Shang, Mithuna Soundararaj	A self-adjusting code cache manager to balance start-up time and memory usage.	CGO	2010	DBLP DOI BibTeX RDF	code cache, embedded systems, JIT
23	Dingchao Li, Yuji Iwahori, Tatsuya Hayashi, Naohiro Ishii	A Spill Code Placement Framework for Code Scheduling.	LCPC	1998	DBLP DOI BibTeX RDF	Fine grain parallel architectures, program behavior analysis, compiler optimization, register spilling, code scheduling
22	Koji Nuida, Manabu Hagiwara, Hajime Watanabe, Hideki Imai	Optimization of Tardos's Fingerprinting Codes in a Viewpoint of Memory Amount.	Information Hiding	2007	DBLP DOI BibTeX RDF	Tardos code, optimization, watermarking, digital rights management, fingerprinting code
22	Israel Waldman, Shlomit S. Pinter	Profile-driven compression scheme for embedded systems.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	run-time decompression, code compression, code size reduction
22	Fuhao Zou, Zhengding Lu, Hefei Ling	A multiple watermarking algorithm based on CDMA technique.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	address code, code division multiple access, correlation coefficient, multiple watermarking
22	Chunyan Bai, Gui Liang Feng	Improved Algebraic Traitor Tracing Scheme.	ACNS	2003	DBLP DOI BibTeX RDF	broadcast, Reed-Solomon code, traitor tracing, algebraic-geometric code
22	Gérard D. Cohen, Simon Litsyn, Gilles Zémor	Binary Codes for Collusion-Secure Fingerprinting.	ICISC	2001	DBLP DOI BibTeX RDF	Collusion-resistant code, intersecting code, B2-sequence, watermarking, Fingerprinting
22	Reihaneh Safavi-Naini, Huaxiong Wang	New Results on Multi-Receiver Authentication Codes.	EUROCRYPT	1998	DBLP DOI BibTeX RDF	Multi-receiver authentication code, Authentication code
22	Augustus K. Uht	Requirements for Optimal Execution of Loops with Tests.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	loops with tests, branch intensive code, dynamic branches, Booleanrecurrence, order one, dependence cycle, time cycle, imperative code, parallelprogramming, loop iterations
22	Apala Guha, Kim M. Hazelwood, Mary Lou Soffa	DBT path selection for holistic memory efficiency and performance.	VEE	2010	DBLP DOI BibTeX RDF	embedded systems, virtual machines, memory management, path selection, dynamic binary translation
22	Dino Konstantopoulos, John Marien, Mike Pinkerton, Eric Braude	Best Principles in the Design of Shared Software.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
22	Mahmut T. Kandemir, Yuanrui Zhang, Sai Prashanth Muralidhara, Ozcan Ozturk 0001, Sri Hari Krishna Narayanan	Slicing based code parallelization for minimizing inter-processor communication.	CASES	2009	DBLP DOI BibTeX RDF	automatic code parallelization, code analysis and optimization, iteration space slicing, parallelizing compilers
22	Tomofumi Yamanari, Kunio Sakamoto	Invisible Two-Dimensional Code Display for Additional Information.	ICEC	2009	DBLP DOI BibTeX RDF	2D code, polarized invisible code, polarized light control, table-top display, group work
22	Eun Cheol Kim, Jin Young Kim 0001	Performance of STBC PPM-TH UWB Systems with Double Binary Turbo Code in Multi-user Environments.	ICCSA (2)	2009	DBLP DOI BibTeX RDF	Double binary turbo code, modified Saleh and Valenzuela (SV) channel model, multi-user interference, pulse position modulation-time hopping (PPM-TH), space time block code (STBC), ultra-wide band (UWB)
22	Lamia Djoudi, Leïla Kloul	Assembly Code Analysis Using Stochastic Process Algebra.	EPEW	2008	DBLP DOI BibTeX RDF	Performance analysis, Stochastic process algebra, Assembly code, Data dependencies graph, Code optimisation
22	Adam Edelman, William B. Frakes, Charles W. Lillie	SAM: Simple API for Object-Oriented Code Metrics.	ICSR	2008	DBLP DOI BibTeX RDF	source analysis, static analysis, Software metrics, generators, parsing, object-oriented metrics, code inspection, code metrics
22	Jaydeb Bhaumik, Dipanwita Roy Chowdhury, Indrajit Chakrabarti	An Improved Double Byte Error Correcting Code Using Cellular Automata.	ACRI	2008	DBLP DOI BibTeX RDF	Byte Error Correcting Code, RS Code and VLSI, Cellular Automata
22	Mathieu Verbaere, Elnar Hajiyev, Oege de Moor	Improve software quality with SemmleCode: an eclipse plugin for semantic code search.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	code queries, coding conventions, style rules, metrics, object-oriented query language, code search
22	Otávio Augusto Lazzarini Lemos, Sushil Krishna Bajracharya, Joel Ossher, Ricardo Santos Morla, Paulo César Masiero, Pierre Baldi, Cristina Videira Lopes	CodeGenie: using test-cases to search and reuse source code.	ASE	2007	DBLP DOI BibTeX RDF	source code reuse, test-first, test-driven development, source code search
22	Sushil Krishna Bajracharya, Trung Chi Ngo, Erik Linstead, Yimeng Dou, Paul Rigor, Pierre Baldi, Cristina Videira Lopes	Sourcerer: a search engine for open source code supporting structure-based search.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	code rank, source code search
22	Zhaozhong Ni, Zhong Shao	Certified assembly programming with embedded code pointers.	POPL	2006	DBLP DOI BibTeX RDF	embedded code pointers, hoare logic, proof-carrying code, higher-order functions
22	Corey Goldfeder	Frequency-based code placement for embedded multiprocessors.	DAC	2005	DBLP DOI BibTeX RDF	frequent code, embedded systems, caching, multiprocessors, memory, code placement
22	Jesse C. Rabek, Roger I. Khazan, Scott M. Lewandowski, Robert K. Cunningham	Detection of injected, dynamically generated, and obfuscated malicious code.	WORM	2003	DBLP DOI BibTeX RDF	intrusion detection, static analysis, anomaly detection, dynamic analysis, system calls, code analysis, execution monitoring, malicious code detection
22	Maya Madhavan, Priti Shankar, Siddhartha Rai, U. Ramakrishna 0001	Extending Graham-Glanville techniques for optimal code generation.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	code-generator generator, optimal code generation, tree pattern matching
22	Vangalur S. Alagar, L. Zhang	Automatic code generation for real-time reactive systems in TROMLAB environment.	RTCSA	2000	DBLP DOI BibTeX RDF	TROMLAB environment, rigorous framework, railroad crossing problem, benchmark example, generic real time Java libraries, Java code, Java, real-time systems, program compilers, automatic programming, software libraries, automatic code generation, real time reactive systems, implementation model
22	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
22	Tôru Egashira, Yoshiaki Kiriha	Accelerating Code Deployment on Active Networks.	DSOM	1999	DBLP DOI BibTeX RDF	Management of active networks, Demand loading, Code server, Prefetching, Mobile code
22	Tai M. Chung, Henry G. Dietz	Static scheduling of hard real-time code with instruction-level timing accuracy.	RTCSA	1996	DBLP DOI BibTeX RDF	timing fault, instruction-level timing accuracy, high-level language code, instruction-level, compiler code scheduling, genetic search algorithm, real-time systems, timing analysis, processor scheduling, search space
22	C. T. H. Everaars, Farhad Arbab, F. J. Burger	Restructuring sequential Fortran code into a parallel/distributed application.	ICSM	1996	DBLP DOI BibTeX RDF	sequential Fortran code restructuring, parallel/distributed application, coarse grain restructuring, renovated software, parallel/distributed computing environments, coordination language MANIFOLD, sequential numerical application, FORTRAN, Fortran 77, subroutines, legacy code
22	Richard Gerber 0001, Seongsoo Hong	Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	gated single assignment, Real-time, programming languages, compiler optimization, timing analysis, code motion, static single assignment, trace scheduling, code scheduling
22	Serge N. Demidenko, Alexander Ivanyukovich, Leonid Makhnist, Vincenzo Piuri	Error masking in compact testing based on the Hamming code and its modifications.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	error masking, compact testing, invalid sequence, code words, arbitrary weight, masking probability, logic testing, probability, probability distribution, signature analysis, binary sequences, Hamming codes, Hamming code
22	Patrice Quinton, Sanjay V. Rajopadhye, Doran Wilde	On deriving data parallel code from a functional program.	IPPS	1995	DBLP DOI BibTeX RDF	data parallel code, translation methodology, high level algorithmic specification, imperative data parallel language, applicative caching, compilation method, incremental transformations, compilation steps, loop nest generation, scheduling, formal specification, parallel programming, static analysis, partitioning, code generation, functional programming, functional program, program compilers, alignment, parallel languages, functional languages, program interpreters, abstract syntax tree, ALPHA
22	H. Jack Barnard, Arthur L. Price	Managing Code Inspection Information.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	code inspection information, AT&T Bell Laboratories, inspection process, total noncomment lines, preparation rate, inspection rate, effort per fault, reinspections, defect-removal efficiency, metrics, project management, software metrics, software reliability, inspection, source code, software inspection, software project managers
22	Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan	Closing the stage: from staged code to typed closures.	PEPM	2008	DBLP DOI BibTeX RDF	multistage programming, mutable state and control effects, type abstraction, closures, parametric polymorphism
22	Cheng Wang 0013, Victor Ying, Youfeng Wu	Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization.	CC	2008	DBLP DOI BibTeX RDF
22	Marius Nita, Dan Grossman	Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts.	CC	2008	DBLP DOI BibTeX RDF
22	Zhaozhong Ni, Dachuan Yu, Zhong Shao	Using XCAP to Certify Realistic Systems Code: Machine Context Management.	TPHOLs	2007	DBLP DOI BibTeX RDF
22	Felipe A. Cruz-Pérez, José Luis Vázquez-Avila, Arturo Seguin-Jimenez, Lauro Ortigoza-Guerrero	Call admission and code allocation strategies for WCDMA systems with multirate traffic.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
22	Bin Yao, William Mielke, Steve Kennedy, Rick Buskens	C Macro Handling in Automated Source Code Transformation Systems.	ICSM	2006	DBLP DOI BibTeX RDF
22	Anh Duy Nguyen, Deniz Gurkan	Optical CDMA Code Collision and Translation Performance Analysis.	LCN	2006	DBLP DOI BibTeX RDF
22	Steven Alexander Spoon, Olin Shivers	Semantic Navigation of Large Code Bases in Higher-Order, Dynamically Typed Languages.	WCRE	2005	DBLP DOI BibTeX RDF
22	Mayur Naik, Jens Palsberg	Compiling with code-size constraints.	ACM Trans. Embed. Comput. Syst.	2004	DBLP DOI BibTeX RDF	Banked architecture, register allocation, integer linear programming, space optimization
22	Athanasios Milidonis, Grigoris Dimitroulakos, Michalis D. Galanis, George Theodoridis, Constantinos E. Goutis, Francky Catthoor	An Automated C++ Code and Data Partitioning Framework for Data Management of Data-Intensive Applications.	SCOPES	2004	DBLP DOI BibTeX RDF
22	Long Qin, Si Duanfeng, Han Xinhui, Zou Wei	A Hybrid Security Framework of Mobile Code.	COMPSAC	2004	DBLP DOI BibTeX RDF
22	Martín Nordio, Ricardo H. Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum	A Framework for Execution of Secure Mobile Code based on Static Analysis.	SCCC	2004	DBLP DOI BibTeX RDF
22	Friso Penninga, Edward Verbree, Wilko Quak, Peter van Oosterom	Construction of the planar partition postal code map based on cadastral reGIStration.	GIS	2003	DBLP DOI BibTeX RDF	GIS, skeletonization, triangulation
22	Peter Lee 0001	What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code.	TACAS	2003	DBLP DOI BibTeX RDF
22	Mayur Naik, Jens Palsberg	Compiling with code-size constraints.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	banked architecture, register allocation, integer linear programming, space optimization
22	Akito Monden, Daikai Nakae, Toshihiro Kamiya, Shin-ichi Sato, Ken-ichi Matsumoto	Software Quality Analysis by Code Clones in Industrial Legacy Software.	IEEE METRICS	2002	DBLP DOI BibTeX RDF
22	Qingfeng Zhuge, Zili Shao, Edwin Hsing-Mean Sha	Optimal Code Size Reduction for Software-Pipelined Loops on DSP Applications.	ICPP	2002	DBLP DOI BibTeX RDF	Scheduling, Software pipelining, Retiming, DSP processors
22	Dong Hyuk Park, Soo Dong Kim	XML Rule Based Source Code Generator for UML CASE Tool.	APSEC	2001	DBLP DOI BibTeX RDF
22	Keith D. Cooper, Nathaniel McIntosh	Enhanced Code Compression for Embedded RISC Processors.	PLDI	1999	DBLP DOI BibTeX RDF
22	Silvina Hanono, Srinivas Devadas	Instruction Selection, Resource Allocation, and Scheduling in the AVIV Retargetable Code Generator.	DAC	1998	DBLP DOI BibTeX RDF	low power, synthesis, placement, flip-flops, voltage scaling, codec, MPEG4, level converters, design automatian
22	Koen Langendoen, Pieter H. Hartel	FCG: A Code Generator for Lazy Functional Languages.	CC	1992	DBLP DOI BibTeX RDF
22	Saul Gorn	Code extension in ASCII.	Commun. ACM	1966	DBLP DOI BibTeX RDF
22	George V. Neville-Neil	Code Spelunking: Exploring Cavernous Code Bases.	ACM Queue	2003	DBLP DOI BibTeX RDF
22	Vipin Jain, Siddharth Rele, Santosh Pande, J. Ramanujam	Code Restructuring for Improving Real Time Response through Code Speed, Size Trade-offs on Limited Memory Embedded DSPs.	LCPC	1999	DBLP DOI BibTeX RDF
22	Catherine H. Gebotys	An Efficient Model for DSP Code Generation: Performance, Code Size, Estimated Energy.	ISSS	1997	DBLP DOI BibTeX RDF
22	Luca Breveglieri, Israel Koren, Paolo Maistri	An Operation-Centered Approach to Fault Detection in Symmetric Cryptography Ciphers.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	parity code, Cryptography, fault detection, error-detecting code, fault attacks, residue code, symmetric cipher
22	Feng Hao 0001, Ross J. Anderson, John Daugman	Combining Crypto with Biometrics Effectively.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	iris code, Hadamard code, Biometrics, Reed-Solomon code
22	Gerzson Kéri, Patric R. J. Östergård	Bounds for Covering Codes over Large Alphabets.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	covering code, q-ary code, surjective code, covering radius
22	Dhananjay M. Dhamdhere, K. V. Sankaranarayanan	Dynamic Currency Determination in Optimized Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	debugging optimized code, dynamic currency determination, minimal unrolled graph, compiler, code optimization, dynamic slicing, code instrumentation, source-level debugging
21	Huiqing Li, Simon J. Thompson	Clone detection and removal for Erlang/OTP within a refactoring environment.	PEPM	2009	DBLP DOI BibTeX RDF	wrangler, program transformation, program analysis, refactoring, erlang, duplicated code
21	Nataliia Bielova, Marco Dalla Torre, Nicola Dragoni, Ida Sri Rejeki Siahaan	Matching Policies with Security Claims of Mobile Applications.	ARES	2008	DBLP DOI BibTeX RDF	security-by-contract, security for mobile code, automata modulo theory, contract-policy matching
21	Barry C. L. Leung, Peter P. K. Chiu	Behaviour Equation as Solution of Inheritance Anomaly in Concurrent Object-Oriented Programming Languages.	PDP	1996	DBLP DOI BibTeX RDF	behaviour equation, concurrent object-oriented programming languages, synchronisation code reuse, super class, object-based concurrency, parallel programming, object-oriented programming, inheritance, inheritance anomaly, concurrent object
21	Mojtaba Mehrara, Todd M. Austin	Exploiting selective placement for low-cost memory protection.	ACM Trans. Archit. Code Optim.	2008	DBLP DOI BibTeX RDF	Partial memory protection, selective placement, transient faults, fault-tolerant design, memory system design
21	Jingling Xue, Qiong Cai	A lifetime optimal algorithm for speculative PRE.	ACM Trans. Archit. Code Optim.	2006	DBLP DOI BibTeX RDF	classic PRE, speculative PRE, data-flow analysis, Partial redundancy elimination, lifetime optimality, computational optimality
21	Muthu Manikandan Baskaran, Albert Hartono, Sanket Tavarageri, Thomas Henretty, J. Ramanujam, P. Sadayappan	Parameterized tiling revisited.	CGO	2010	DBLP DOI BibTeX RDF	compile-time optimization, code generation, tiling
21	Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer	Unifying type checking and property checking for low-level code.	POPL	2009	DBLP DOI BibTeX RDF	assertion checking, low-level code, decision procedure, type checking, smt solver, property checking
21	Zhe Fang, Minglu Li 0001, Chuliang Weng, Yuan Luo 0003	Dynamic Malicious Code Detection Based on Binary Translator.	CloudCom	2009	DBLP DOI BibTeX RDF	dynamic detection, binary translator, malicious code
21	Norbert Podhorszki, Scott Klasky, Qing Liu 0002, Ciprian Docan, Manish Parashar, Hasan Abbasi, Jay F. Lofstead, Karsten Schwan, Matthew Wolf, Fang Zheng, Julian Cummings	Plasma fusion code coupling using scalable I/O services and scientific workflows.	SC-WORKS	2009	DBLP DOI BibTeX RDF	plasma simulation, parallel I/O, workflow design, code coupling, workflow execution
21	Sheayun Lee, Insik Shin, Woonseok Kim, Insup Lee 0001, Sang Lyul Min	A design framework for real-time embedded systems with code size and energy constraints.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	scheduling, real-time, Embedded, energy, code size
21	Nurlida Basir, Ewen Denney, Bernd Fischer 0002	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Goal Structuring Notation, Hoare logic, fault tree analysis, Automated code generation, safety case, formal program verification
21	Seongje Cho, Hyeyoung Chang, Yookun Cho	Implementation of an Obfuscation Tool for C/C++ Source Code Protection on the XScale Architecture.	SEUS	2008	DBLP DOI BibTeX RDF	Source Code Protection, Reverse Engineering, Obfuscation
21	Pawel Mackiewicz, Przemyslaw Biecek, Dorota Mackiewicz, Joanna Kiraga, Krystian Baczkowski, Maciej Sobczynski, Stanislaw Cebrat	Optimisation of Asymmetric Mutational Pressure and Selection Pressure Around the Universal Genetic Code.	ICCS (3)	2008	DBLP DOI BibTeX RDF	error minimization, asymmetric mutational pressure, amino acid usage, leading strand, lagging strand, adaptation, genetic code
21	Dominik Gessenharter	Mapping the UML2 Semantics of Associations to a Java Code Generation Model.	MoDELS	2008	DBLP DOI BibTeX RDF	Java, UML, Code Generation, Associations
21	Medha Umarji, Susan Elliott Sim, Cristina Videira Lopes	Archetypal Internet-Scale Source Code Searching. (PDF / PS)	OSS	2008	DBLP DOI BibTeX RDF	empirical study, search engine, Open Source, Source code
21	Ryan D. Riley, Xuxian Jiang, Dongyan Xu	An Architectural Approach to Preventing Code Injection Attacks.	DSN	2007	DBLP DOI BibTeX RDF	Secure Memory Architecture, Code Injection
21	Wan-Hui Tseng, Chin-Feng Fan	Handling Malicious Code on Control Systems.	SAFECOMP	2007	DBLP DOI BibTeX RDF	control systems security, malicious code classification, undecidability
21	Yuval Elovici, Asaf Shabtai, Robert Moskovitch, Gil Tahan, Chanan Glezer	Applying Machine Learning Techniques for Detection of Malicious Code in Network Traffic.	KI	2007	DBLP DOI BibTeX RDF	Network Service Provider (NSP), Machine Learning, Feature Selection, Malicious Code
21	Madhusudhan Govindaraju	XML Schemas Based Flexible Distributed Code Generation Framework.	ICWS	2007	DBLP DOI BibTeX RDF	Distributed Systems, Code Generation, XML Schemas
21	Martin Grabmüller, Dirk Kleeblatt	Harpy: run-time code generation in haskell.	Haskell	2007	DBLP DOI BibTeX RDF	haskell, dynamic code generation
21	Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner	Code Analysis for Temporal Predictability.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	abstract interpretation, compiler optimizations, graph transformation, worst-case execution time analysis, code transformation, real-time languages
21	Blazej Pietrzak, Bartosz Walter	Leveraging Code Smell Detection with Inter-smell Relations.	XP	2006	DBLP DOI BibTeX RDF	bad code smells, inter-smell relations, Refactoring
21	Sonia Fagorzi, Elena Zucca	A Framework for Type Safe Exchange of Mobile Code.	TGC	2006	DBLP DOI BibTeX RDF	parametric calculus, static and dynamic typechecking, subtyping, mobile code
21	Stephen A. Edwards, Olivier Tardieu	Efficient code generation from SHIM models.	LCTES	2006	DBLP DOI BibTeX RDF	computed gotos, the shim model, embedded systems, concurrency, code synthesis
21	Dau-Cheng Lyu, Ren-Yuan Lyu, Yuang-Chin Chiang, Chun-Nan Hsu	Language Identification by Using Syllable-Based Duration Classification on Code-Switching Speech.	ISCSLP	2006	DBLP DOI BibTeX RDF	code-switching speech, language identification
21	Greg Stitt, Frank Vahid, Walid A. Najjar	A code refinement methodology for performance-improved synthesis from C.	ICCAD	2006	DBLP DOI BibTeX RDF	code refinement, coding guidelines, FPGA, embedded systems, compilation, synthesis, hardware/software partitioning
21	Xue Zhong, Terence Soule	Growth of self-canceling code in evolutionary systems.	GECCO	2006	DBLP DOI BibTeX RDF	exons, genetic robustness, robustness, bloat, code bloat, introns
21	Yasuyuki Tsukada	Interactive and Probabilistic Proof of Mobile Code Safety.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	software verification, proof-carrying code, interactive proof system
21	Ingo Stürmer, Daniela Weinberg, Mirko Conrad	Overview of existing safeguarding techniques for automatically generated code.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	modelling guidelines, testing, automatic code generation, model-based development
21	Sreejith K. Menon, Priti Shankar	A code compression advisory tool for embedded processors.	SAC	2005	DBLP DOI BibTeX RDF	embedded system tool, run time decompression, code compression
21	Xinyu Feng 0001, Zhong Shao	Modular verification of concurrent assembly code with dynamic thread creation and termination.	ICFP	2005	DBLP DOI BibTeX RDF	concurrency verification, dynamic thread creation, proof-carrying code, rely-guarantee