Search results for "compiling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Gerhard Goos	Some Problems in Compiling Algol 68.	ALGOL 68 Implementation	1970	DBLP BibTeX RDF
14	Jay Earley	R68-46 Use of Transition Matrices in Compiling.	IEEE Trans. Computers	1968	DBLP DOI BibTeX RDF
14	David Gries	Use of transition matrices in compiling.	Commun. ACM	1968	DBLP DOI BibTeX RDF	transition matrices, compilation, translation, formal language, parsing, grammar, context-free language
14	Neil E. Wiseman	A Note on Compiling Display File from a Data Structure.	Comput. J.	1968	DBLP DOI BibTeX RDF
14	Ikuo Nakata	On compiling algorithms for arithmetic expressions.	Commun. ACM	1967	DBLP DOI BibTeX RDF
14	Thomas E. Cheatham	Compiling techniques.	Commun. ACM	1966	DBLP DOI BibTeX RDF
14	Thomas E. Cheatham Jr., Kirk Sattley	Syntax-directed compiling.	AFIPS Spring Joint Computing Conference	1964	DBLP DOI BibTeX RDF
14	James J. Peterka	A Method for Obtaining Specific Values of Compiling-Parameter Functions.	J. ACM	1962	DBLP DOI BibTeX RDF
14	Bernard A. Galler, Alan J. Perlis	Compiling matrix operations.	Commun. ACM	1962	DBLP DOI BibTeX RDF
14	Harry D. Huskey, Willard H. Wattenburg	Compiling techniques for Boolean expressions and conditional statements in ALGOL 60.	Commun. ACM	1961	DBLP DOI BibTeX RDF	ALGOL
14	Peter Zilahy Ingerman	Thunks: a way of compiling procedure statements with some comments on procedure declarations.	Commun. ACM	1961	DBLP DOI BibTeX RDF
14	Gilbert A. Bachelor	Letters to the editor: on Grau's recursive processes and on compiling expressions in ALGOL.	Commun. ACM	1961	DBLP DOI BibTeX RDF
14	Harry D. Huskey	Compiling Techniques for Algebraic Expressions.	Comput. J.	1961	DBLP DOI BibTeX RDF
14	Charles J. Swift	Compiling connectives.	Commun. ACM	1960	DBLP DOI BibTeX RDF
14	Richard K. Ridgway	Compiling routines.	ACM National Meeting (Toronto)	1952	DBLP DOI BibTeX RDF
9	Gwenaël Delaval, Hervé Marchand, Éric Rutten	Contracts for modular discrete controller synthesis.	LCTES	2010	DBLP DOI BibTeX RDF	adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming
9	Adam J. Lee, Ting Yu 0001, Yann Le Gall	Effective trust management through a hybrid logical and relational approach.	AsiaCCS	2010	DBLP DOI BibTeX RDF	databases, trust, policy, reputation, credentials
9	John A. Stratton, Vinod Grover, Jaydeep Marathe, Bastiaan Aarts, Mike Murphy, Ziang Hu, Wen-mei W. Hwu	Efficient compilation of fine-grained SPMD-threaded programs for multicore CPUs.	CGO	2010	DBLP DOI BibTeX RDF	multicore, CUDA, CPU, SPMD
9	Andrew Casey, Jun Li, Jesse Doherty, Maxime Chevalier-Boisvert, Toheed Aslam, Anton Dubrau, Nurudeen Lameed, Amina Aslam, Rahul Garg 0003, Soroush Radpour, Olivier Savary Bélanger, Laurie J. Hendren, Clark Verbrugge	McLab: an extensible compiler toolkit for MATLAB and related languages.	C3S2E	2010	DBLP DOI BibTeX RDF	compiler, programming languages, scientific computing, Matlab, JIT compilation
9	Cupertino Miranda, Philippe Dumont, Albert Cohen 0001, Marc Duranton, Antoniu Pop	ERBIUM: a deterministic, concurrent intermediate representation for portable and scalable performance.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	kpn, parallelism, synchronization, streaming, intermediate representation
9	Lu Zhang 0023, Shan-Shan Hou, Jun-Jue Hu, Tao Xie 0001, Hong Mei 0001	Is operator-based mutant selection superior to random mutant selection?	ICSE (1)	2010	DBLP DOI BibTeX RDF	test-adequacy criterion, mutation testing
9	Marius Nita, David Notkin	Using twinning to adapt programs to alternative APIs.	ICSE (1)	2010	DBLP DOI BibTeX RDF	API mapping, source-to-source translation, twinning
9	Albert Cohen 0001, Erven Rohou	Processor virtualization and split compilation for heterogeneous multicore embedded systems.	DAC	2010	DBLP DOI BibTeX RDF	back-end optimization, bytecode language, heterogeneous multicore, portable performance, split compilation, virtualization, annotations, vectorization, specialization
9	Torsten Grust, Manuel Mayr, Jan Rittinger	Let SQL drive the XQuery workhorse (XQuery join graph isolation).	EDBT	2010	DBLP DOI BibTeX RDF
9	Shuyi Shao, Alex K. Jones, Rami G. Melhem	Compiler Techniques for Efficient Communications in Circuit Switched Networks for Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
9	Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber	Automated implementation of complex distributed algorithms specified in the IOA language.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF	Input/Output automata, Verifiable distributed code, IOA Toolkit, Formal methods, Automated code generator
9	Avinash Malik, Zoran A. Salcic, Partha S. Roop	SystemJ compilation using the tandem virtual machine approach.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	SystemJ, compilation, virtual machines, System-level design, esterel
9	Xuejun Yang, Nathan Cooprider, John Regehr	Eliminating the call stack to save RAM.	LCTES	2009	DBLP DOI BibTeX RDF	stack liveness, sensor networks, compiler optimization, embedded software, memory allocation, memory optimizations
9	Bugra Gedik, Henrique Andrade, Kun-Lung Wu	A code generation approach to optimizing high-performance distributed data stream processing.	CIKM	2009	DBLP DOI BibTeX RDF	profile driven optimization, streaming systems
9	Cédric Fournet, Gurvan Le Guernic, Tamara Rezk	A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms.	CCS	2009	DBLP DOI BibTeX RDF	cryptography, compilers, computational model
9	Torsten Grust, Manuel Mayr, Jan Rittinger	XQuery Join Graph Isolation: Celebrating 30+ Years of XQuery Processing Technology.	ICDE	2009	DBLP DOI BibTeX RDF
9	Marco Canini, Wei Li 0009, Andrew W. Moore 0002, Raffaele Bolla	GTVS: Boosting the Collection of Application Traffic Ground Truth.	TMA	2009	DBLP DOI BibTeX RDF
9	Mustafa Sanver, Li Yang 0008	A Linking Mechanism to Integrate Components of a Visualization Framework.	IV	2009	DBLP DOI BibTeX RDF
9	Emilio Wuerges, Luiz C. V. dos Santos, Olinto J. V. Furtado, Sandro Rigo	An early real-time checker for retargetable compile-time analysis.	SBCCI	2009	DBLP DOI BibTeX RDF	compile-time WCET analysis, time-constraint feasibility analysis
9	Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.	ICLP	2009	DBLP DOI BibTeX RDF	static/dynamic debugging, program verification, unit testing, assertions, run-time verification
9	Yosi Ben-Asher, Nadav Rotem	The effect of unrolling and inlining for Python bytecode optimizations.	SYSTOR	2009	DBLP DOI BibTeX RDF	optimizations, Python, bytecode, dynamic languages
9	Praveen Raghavan, Francky Catthoor	SARA: StreAm register allocation.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	stream register, low power, register allocation, spatial locality
9	Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz	Trace-based just-in-time type specialization for dynamic languages.	PLDI	2009	DBLP DOI BibTeX RDF	trace-based compilation, dynamically typed languages
9	Edmund B. Nightingale, Orion Hodson, Ross McIlroy, Chris Hawblitzel, Galen C. Hunt	Helios: heterogeneous multiprocessing with satellite kernels.	SOSP	2009	DBLP DOI BibTeX RDF	operating systems, heterogeneous computing
9	Junchang Wang, Haipeng Cheng, Bei Hua, Xinan Tang	Practice of parallelizing network applications on multi-core architectures.	ICS	2009	DBLP DOI BibTeX RDF	application-level protocol processing, deep content inspection, lock-free data structures, multi-core parallelization, pipelining implementation, tcp/ip protocol processing
9	Lars E. Olson 0001, Carl A. Gunter, William R. Cook, Marianne Winslett	Implementing Reflective Access Control in SQL. (PDF / PS)	DBSec	2009	DBLP DOI BibTeX RDF
9	Yandu Oppacher, Franz Oppacher, Dwight Deugo	Evolving java objects using a grammar-based approach.	GECCO	2009	DBLP DOI BibTeX RDF	grammar-based genetic programming, genetic programming, object oriented programming
9	Jamie Cullen	Evolutionary meta programming.	GEC Summit	2009	DBLP DOI BibTeX RDF	evolutionary meta compilation, evolutionary meta programming, genetic programming, evolutionary computation, grammatical evolution
9	Byron Cook	Taming the Unbounded for Hardware Synthesis.	IFM	2009	DBLP DOI BibTeX RDF
9	Ioannis E. Venetis, Guang R. Gao	Mapping the LU decomposition on a many-core architecture: challenges and solutions.	Conf. Computing Frontiers	2009	DBLP DOI BibTeX RDF	register tiling, load balancing, multi-core, local memory, LU decomposition
9	Tarik Hadzic, Alan Holland, Barry O'Sullivan	Reasoning about Optimal Collections of Solutions.	CP	2009	DBLP DOI BibTeX RDF
9	Geoffrey Belter, Elizabeth R. Jessup, Ian Karlin, Jeremy G. Siek	Automating the generation of composed linear algebra kernels.	SC	2009	DBLP DOI BibTeX RDF
9	Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz	Stream-Based Dynamic Compilation for Object-Oriented Languages.	TOOLS (47)	2009	DBLP DOI BibTeX RDF
9	William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein	Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software.	DSL	2009	DBLP DOI BibTeX RDF
9	Stephen Howell, Tony Veale	Designing serious games with linguistic resources.	FDG	2009	DBLP DOI BibTeX RDF	intelligent tutoring systems, serious games, WordNet, casual games
9	Mason Chang, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Andreas Gal, Christian Wimmer, Brendan Eich, Michael Franz	Tracing for web 3.0: trace compilation for the next generation web applications.	VEE	2009	DBLP DOI BibTeX RDF	tamarin, trace trees, tracing, javascript, forth, dynamic compilation, type specialization, dynamically typed languages
9	Luc Bouganim, François Dang Ngoc, Philippe Pucheral	Dynamic access-control policies on XML encrypted data.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	ubiquitous data management, Access-control, smartcard, data confidentiality
9	Eugen-Nicolae Volanschi	A portable compiler-integrated approach to permanent checking.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	User-defined checks, Extensible compilers
9	Emre Özer 0001, Andy Nisbet, David Gregg	A stochastic bitwidth estimation technique for compact and low-power custom processors.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	Bit-width analysis, custom hardware, FPGA, statistical estimation, extreme value theory
9	Camilo H. Viecco, L. Jean Camp	A Life or Death InfoSec Subversion.	IEEE Secur. Priv.	2008	DBLP DOI BibTeX RDF
9	Vincent Cheung, Brendan J. Frey, Nebojsa Jojic	Video Epitomes.	Int. J. Comput. Vis.	2008	DBLP DOI BibTeX RDF	epitome, image restoration, video summarization, super-resolution, missing data, inpainting, em algorithm, variational technique, object removal
9	Ruth Ablett, Frank Maurer, Ehud Sharlin, Jörg Denzinger, Craig Schock	Build Notifications in Agile Environments.	XP	2008	DBLP DOI BibTeX RDF
9	Seong-Won Lee, Soo-Mook Moon, Seong-Moo Kim	Enhanced hot spot detection heuristics for embedded java just-in-time compilers.	LCTES	2008	DBLP DOI BibTeX RDF	hot spot detection, j2me cdc, java just-in-time compilation, sun's hotspot heuristic, java virtual machine
9	Zemao Chen, Xiaoping Wu, Weimin Tang	An Executable Code Authorization Model for Secure Operating System.	ISECS	2008	DBLP DOI BibTeX RDF
9	Michael H. Dawson	Challenges in Implementing the Real-Time Specification for Java (RTSJ) in a Commercial Real-Time Java Virtual Machine.	ISORC	2008	DBLP DOI BibTeX RDF	Java, Real-time, Implementation
9	Adam J. Lee, Marianne Winslett	Towards an efficient and language-agnostic compliance checker for trust negotiation systems.	AsiaCCS	2008	DBLP DOI BibTeX RDF	compliance checker, satisfying sets, policy, trust negotiation
9	Dennis Mancl, Steven Fraser 0001, William F. Opdyke	Escaped from the lab: crossing the gap from invention to practice.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	complexity, reuse
9	Leonardo Rigutini, Michelangelo Diligenti, Marco Maggini, Marco Gori	A Fully Automatic Crossword Generator.	ICMLA	2008	DBLP DOI BibTeX RDF
9	Markus Bauer, Christoph Herzog, Hannes Werthner, Birgit Dippelreiter, Kathrin Prantner	A Case Study on Automating Information Aggregation Processes in Information Centres.	ENTER	2008	DBLP DOI BibTeX RDF	semantic annotation, information aggregation, applied research, web extraction
9	Chang-Hyun Jo, Marjan Mernik, Barrett R. Bryant	Special track on Programming Languages: editorial message.	SAC	2008	DBLP DOI BibTeX RDF
9	Yung-Pin Cheng, Han-Shu Chen	SoftMon: programmable software monitoring with minimum overhead by helper-threading.	SAC	2008	DBLP DOI BibTeX RDF	multi-core CPU, monitoring, SMP, dynamic program analysis, helper threading
9	Wen Fu, Rongcai Zhao, Jianmin Pang, Jingbo Zhang	Recovering Variable-Argument Functions from Binary Executables.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	variable-argument function, reverse compilation, calling convention, instruction pattern, IA-64
9	Anna Zaks, Rajeev Joshi	Verifying Multi-threaded C Programs with SPIN.	SPIN	2008	DBLP DOI BibTeX RDF
9	Robert Mateescu, Rina Dechter	AND/OR Multi-valued Decision Diagrams for Constraint Networks.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
9	Hongqi Gong, Lihua Li, Hongyu Zhao	Automatic Labeling System of Words in Text Materials for College English Tests.	ISIP	2008	DBLP DOI BibTeX RDF	automatic word labeling, college English, test, readability
9	Hagen Gädke, Florian Stock, Andreas Koch 0001	Memory access parallelisation in high-level language compilation for reconfigurable adaptive computers.	FPL	2008	DBLP DOI BibTeX RDF
9	Linh Hoang, Jung-Tae Lee, Young-In Song, Hae-Chang Rim	Combining Local and Global Resources for Constructing an Error-Minimized Opinion Word Dictionary.	PRICAI	2008	DBLP DOI BibTeX RDF
9	Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey	Cadmium: An Implementation of ACD Term Rewriting.	ICLP	2008	DBLP DOI BibTeX RDF
9	Gergely Lukácsy, Péter Szeredi, Balázs Kádár	Prolog Based Description Logic Reasoning.	ICLP	2008	DBLP DOI BibTeX RDF	logic programming, description logic, resolution, large data sets
9	Hani Bani-Salameh, Clinton L. Jeffery, Ziad Al-Sharif, Iyad Abu Doush	Integrating Collaborative Program Development and Debugging within a Virtual Environment.	CRIWG	2008	DBLP DOI BibTeX RDF	run-time debugging, Integrated Development Environment (IDE), collaborative environment, debugger
9	Barry Lawson 0001, Lawrence Leemis	Monte Carlo and discrete-event simulations in C and R.	WSC	2008	DBLP DOI BibTeX RDF
9	Oege de Moor, Damien Sereni, Pavel Avgustinov, Mathieu Verbaere	Type inference for datalog and its application to query optimisation.	PODS	2008	DBLP DOI BibTeX RDF	query optimization, datalog, type inference
9	Youtao Zhang, Jun Yang 0002, Weijia Li	Towards energy-efficient code dissemination in wireless sensor networks.	IPDPS	2008	DBLP DOI BibTeX RDF
9	Daniel Quest, Kathryn Dempsey, Mohammad Shafiullah, Dhundy Bastola, Hesham H. Ali	A parallel architecture for regulatory motif algorithm assessment.	IPDPS	2008	DBLP DOI BibTeX RDF
9	Marcílio Mendonça, Andrzej Wasowski, Krzysztof Czarnecki 0001, Donald D. Cowan	Efficient compilation techniques for large scale feature models.	GPCE	2008	DBLP DOI BibTeX RDF	formal verification, model-driven development, software-product lines, configuration, feature modeling
9	Mark P. Jones	Polymorphism and page tables: systems programming from a functional programmer's perspective.	ICFP	2008	DBLP DOI BibTeX RDF	memory manipulation, functional programming, type systems, data representation, systems programming
9	David J. Greaves, Satnam Singh	Kiwi: Synthesis of FPGA Circuits from Parallel Programs.	FCCM	2008	DBLP DOI BibTeX RDF
9	Satnam Singh, David J. Greaves	Synthesizing FPGA Circuits from Parallel Programs.	ARC	2008	DBLP DOI BibTeX RDF
9	Iason Demiros, George Carayannis, Vassilios Antonopoulos, Georgios Kambourakis, Vassilios Katsouros, Panayotis Kolevris, Marios Nottas, Harris Papageorgiou, Vassilis Papavassiliou, Spyros Raptis, Fotini Simistira, Themos Stafylakis	PANOPTIS: A System for Intelligent Monitoring of the Hellenic Broadcast Sector.	DEXA Workshops	2008	DBLP DOI BibTeX RDF
9	Apostolos Vontas, Androklis Mavridis, Adamantios Koumpis, Vasiliki Moumtzi	Measuring government innovation in EU.	ICEGOV	2008	DBLP DOI BibTeX RDF	measurement, innovation, government
9	Isidro Manzano-Torres, María-Trinidad Serna-Encinas, Jesús Horacio Pacheco-Ramirez	A Java's Syntactic Help Multiagent System.	ENC	2008	DBLP DOI BibTeX RDF
9	Christian Safran, Bilal Zaka	A Geospatial Wiki for m-Learning.	CSSE (5)	2008	DBLP DOI BibTeX RDF
9	Jason Cong	A new generation of C-base synthesis tool and domain-specific computing.	SoCC	2008	DBLP DOI BibTeX RDF
9	Xuening Li, Ruzhan Lu, Yi Hu	A Conceptual Model of Adjectival Modification in Chinese and Its Automatic Construction from a Machine Readable Dictionary.	MUE	2008	DBLP DOI BibTeX RDF
9	Koun-Tem Sun, Chun-Huang Wang, Yi-Chun Lin, Yueh-Min Huang	Develop a novel technique for a virtual reality environment.	IJCNN	2008	DBLP DOI BibTeX RDF
9	Neil D. Jones, René Rydhof Hansen	CTL as an Intermediate Language.	VMCAI	2008	DBLP DOI BibTeX RDF
9	Sharifah Mumtazah Syed Ahmad, Asma Shakil, Abdul Rahim Ahmad, Mustafa Agil Muhamad Balbed, Rina Bt. Md. Anwar	SIGMA - A Malaysian signatures' database.	AICCSA	2008	DBLP DOI BibTeX RDF
9	Todd T. Hahn, Eric Stotzer, Dineel Sule, Mike Asal	Compilation Strategies for Reducing Code Size on a VLIW Processor with Variable Length Instructions.	HiPEAC	2008	DBLP DOI BibTeX RDF
9	Jianfeng Du, Guilin Qi, Yi-Dong Shen	Lexicographical Inference over Inconsistent DL-Based Ontologies.	RR	2008	DBLP DOI BibTeX RDF
9	Chunhui Zhang, Fadi J. Kurdahi	Reducing Off-Chip Memory Access via Stream-Conscious Tiling on Multimedia Applications.	Int. J. Parallel Program.	2007	DBLP DOI BibTeX RDF	low power, DSP, memory hierarchy, tiling, data locality, iteration space
9	Diomidis Spinellis	The Tools We Use.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	build-process, abstraction, programming language, domain-specific language, declarative language, executable UML
9	Keqing He, Peng Liang 0001, Rong Peng, Bing Li 0010, Jing Liu 0033	Requirement emergence computation of networked software.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	requirement emergence computation, networked software, URF
9	Stephen M. Blackburn, Matthew Hertz, Kathryn S. McKinley, J. Eliot B. Moss, Ting Yang	Profile-based pretenuring.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	lifetime prediction, pretenuring, profiling, Garbage collection
9	Cédric Fournet, Andrew D. Gordon 0001, Sergio Maffeis	A type discipline for authorization policies.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Authorization, type systems, process calculus, spi calculus
9	Antonio Fernández-Caballero 0001, Francisco Javier Gómez, Juan López-López	Knowledge-Based Road Traffic Monitoring.	IWINAC (2)	2007	DBLP DOI BibTeX RDF