Search results for "compile"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Robert E. Strom	Mechanisms for Compile-Time Enforcement of Security.	POPL	1983	DBLP DOI BibTeX RDF
17	Hamish I. E. Gunn	Compile Time Type Checking of Structure Field Accessing.	Inf. Process. Lett.	1982	DBLP DOI BibTeX RDF
17	F. André, Jean-Pierre Banâtre, Jean-Paul Routeau	A Multiprocessing Approach to Compile-Time Symbol Resolution.	ACM Trans. Program. Lang. Syst.	1981	DBLP DOI BibTeX RDF
17	Jeanne T. Martin	Current topics in fortran development: Macros and Compile-Time Processing.	ACM Annual Conference	1981	DBLP DOI BibTeX RDF
17	Zvi Weiss, Harry J. Saal	Compile time syntax analysis of APL programs.	APL	1981	DBLP DOI BibTeX RDF
17	Juan M. Lafuente	Some Techniques for Compile-Time Analysis of User-Computer Interactions.	IBM J. Res. Dev.	1980	DBLP DOI BibTeX RDF
17	Paul W. Abrahams, Lori A. Clarke	Compile-Time Analysis of Data List-Format List Correspondences.	IEEE Trans. Software Eng.	1979	DBLP DOI BibTeX RDF
17	Gregor von Bochmann	Compile Time Memory Allocation for Parallel Processes.	IEEE Trans. Software Eng.	1978	DBLP DOI BibTeX RDF
17	Jeffrey M. Barth	Shifting Garbage Collection Overhead to Compile Time.	Commun. ACM	1977	DBLP DOI BibTeX RDF
17	Tomás Lang, Eduardo B. Fernández, Rita C. Summers	A system architecture for compile-time actions in databases.	ACM Annual Conference	1977	DBLP DOI BibTeX RDF
17	Peter Henderson 0001	An Approach to Compile-Time Type Checking.	IFIP Congress	1977	DBLP BibTeX RDF
17	Per Brinch Hansen	Disk Scheduling at Compile Time.	Softw. Pract. Exp.	1976	DBLP DOI BibTeX RDF
17	David Lorge Parnas, John E. Shore, W. David Elliott	On the need for fewer restrictions in changing compile-time environments.	ACM SIGPLAN Notices	1975	DBLP DOI BibTeX RDF
17	Michael H. Tindall	An Interactive Compile-Time Diagnostic System		1975	RDF
17	A. Hansal	"Software Devices" for Processing Graphs Using PL/I Compile Time Facilities.	Inf. Process. Lett.	1974	DBLP DOI BibTeX RDF
17	Aaron M. Tenenbaum	Compile time type determination in SETL.	ACM Annual Conference (1)	1974	DBLP DOI BibTeX RDF
17	C. J. Burgess	Compile-time error diagnostics in syntax-directed compilers.	Comput. J.	1972	DBLP DOI BibTeX RDF
17	John Nicholls	PL/I compile time extensibility.	ACM SIGPLAN Notices	1969	DBLP DOI BibTeX RDF
17	Jan B. Hext	Compile-Time Type-Matching.	Comput. J.	1967	DBLP DOI BibTeX RDF
13	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
13	Mirza Omer Beg, Peter van Beek	A graph theoretic approach to cache-conscious placement of data for direct mapped caches.	ISMM	2010	DBLP DOI BibTeX RDF	cache consciousness, data placement in cache, offline algorithms, memory management, cache optimization
13	Mehrdad Reshadi, Prabhat Mishra 0001, Nikil D. Dutt	Hybrid-compiled simulation: An efficient technique for instruction-set architecture simulation.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	interpretive simulation, partial evaluation, instruction set architecture, Compiled simulation
13	Sven Groppe, Jana Neumann, Volker Linnemann	SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types.	SAC	2009	DBLP DOI BibTeX RDF	SPARUL, semantic web, RDF, SPARQL, embedded languages
13	Anne C. Elster, Jan Christian Meyer	A super-efficient adaptable bit-reversal algorithm for multithreaded architectures.	IPDPS	2009	DBLP DOI BibTeX RDF
13	Tao Liu, Haibo Lin, Tong Chen 0001, Kevin O'Brien, Ling Shao 0002	DBDB: optimizing DMATransfer for the cell be architecture.	ICS	2009	DBLP DOI BibTeX RDF	loop blocking, local memory, multi-core system
13	Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada	On transforming Java-like programs into memory-predictable code.	JTRES	2009	DBLP DOI BibTeX RDF
13	Meisam Fathi Salmi, Saeed Parsa	Automatic Detection of Infinite Recursion in AspectJ Programs.	FGIT	2009	DBLP DOI BibTeX RDF	Infinite Recursion, Interprocedural Anlysis, Debugging Aspect-Oriented Programs, Aspect-Oriented Programming
13	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
13	Joseph Gil, Itay Maman	Whiteoak: introducing structural typing into java.	OOPSLA	2008	DBLP DOI BibTeX RDF	structural subtyping, java, abstraction
13	François Bry, Michael Eckert	On static determination of temporal relevance for incremental evaluation of complex event queries.	DEBS	2008	DBLP DOI BibTeX RDF	CERA, event queries, temporal relevance, garbage collection, events, rules, complex event processing
13	Patrice Chalin, Frédéric Rioux	JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity.	FM	2008	DBLP DOI BibTeX RDF
13	Alessio Lomuscio, Hongyang Qu 0001, Monika Solanki	Towards Verifying Contract Regulated Service Composition.	ICWS	2008	DBLP DOI BibTeX RDF
13	Khaled Z. Ibrahim, François Bodin	Implementing Wilson-Dirac operator on the cell broadband engine.	ICS	2008	DBLP DOI BibTeX RDF	SIMD computer architecture, lattice qcd calculations, multi-core, MPSoC, cell broadband engine, data-parallel computing
13	Tong Chen, Haibo Lin, Tao Zhang	Orchestrating data transfer for the cell/B.E. processor.	ICS	2008	DBLP DOI BibTeX RDF	software controlled cache, multi-core system, memory coherence
13	Hyunok Oh	Constant Rate Dataflow Model with Intermediate Ports for Efficient Code Synthesis with Top-Down Design and Dynamic Behavior.	ISQED	2008	DBLP DOI BibTeX RDF	intermediate ports, t op down design, model of computation, synchronous dataflow, dynamic behavior
13	Brian Armstrong, Rudolf Eigenmann	Application of Automatic Parallelization to Modern Challenges of Scientific Computing Industries.	ICPP	2008	DBLP DOI BibTeX RDF
13	Kurt Svensson	Faster XML data validation in a programming language with XML datatypes.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	XML data declarations, XSD schema, XSD schema facets, XML, XML, B2B, data validation, WebServices, format conversion
13	Sukeshini, Kalaiselvan K., Vallinayagam P., Vijaya Nagamani M. S., N. Mangala, B. B. Prahlada Rao, N. Mohanram	Integrated Development Environment for GARUDA Grid (G-IDE).	eScience	2007	DBLP DOI BibTeX RDF
13	Joseph Gil, Keren Lenz	Simple and safe SQL queries with c++ templates.	GPCE	2007	DBLP DOI BibTeX RDF	structural type equivalence, template programming, databases, C++, domain specific languages, relational algebra, embedded languages
13	Lixin Su, Mikko H. Lipasti	Speculative optimization using hardware-monitored guarded regions for java virtual machines.	VEE	2007	DBLP DOI BibTeX RDF	precise exceptions, speculative processors, java, virtual machines, transactional memory
13	Raghavendra Rao Loka	Compilation reuse and hybrid compilation: an experiment.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF
13	Madhavi Gopal Valluri, Lizy Kurian John, Heather Hanson	Hybrid-Scheduling for Reduced Energy Consumption in High-Performance Processors.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
13	Pramod G. Joisha, Prithviraj Banerjee	An algebraic array shape inference system for MATLAB.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Typeless array languages, shape algebras, term rewriting
13	Sanghyun Park, Eugene Earlie, Aviral Shrivastava, Alex Nicolau, Nikil D. Dutt, Yunheung Paek	Automatic generation of operation tables for fast exploration of bypasses in embedded processors.	DATE	2006	DBLP DOI BibTeX RDF
13	Mehrdad Eslami Dehkordi, Stephen Dean Brown, Terry P. Borer	Modular Partitioning for Incremental Compilation.	FPL	2006	DBLP DOI BibTeX RDF
13	Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok	Compiler-assisted software verification using plug-ins.	IPDPS	2006	DBLP DOI BibTeX RDF
13	Sam Kamin, Baris Aktemur, Michael Katelman	Staging static analyses for program generation.	GPCE	2006	DBLP DOI BibTeX RDF	static analysis, program generation, staging, run-time code generation
13		Communication Generation for Irregular Parallel Applications.	PARELEC	2006	DBLP DOI BibTeX RDF
13	Rao Fu, Jiwei Lu, Antonia Zhai, Wei-Chung Hsu	A Study of the Performance Potential for Dynamic Instruction Hints Selection.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF
13	Manuel Carro, José F. Morales 0001, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo	High-level languages for small devices: a case study.	CASES	2006	DBLP DOI BibTeX RDF	program analysis and transformation, wearable computers, optimizing compilation, (constraint) logic programming
13	Anssi Yli-Jyrä, Kimmo Koskenniemi	Compiling Generalized Two-Level Rules and Grammars.	FinTAL	2006	DBLP DOI BibTeX RDF
13	Ilsun You, Chel Park	An Analysis on the Web Technologies for Dynamically Generating Web-Based User Interfaces in Ubiquitous Spaces.	EUC Workshops	2006	DBLP DOI BibTeX RDF
13	Alexandra Silva 0001, Joost Visser 0001	Strong types for relational databases.	Haskell	2006	DBLP DOI BibTeX RDF	functional dependency theory, type-level programming, relational databases, SQL, Haskell
13	Diana Weiss, Isabelle Kramer, Georg Treu, Axel Küpper	Zone Services - An Approach for Location-Based Data Collection.	CEC/EEE	2006	DBLP DOI BibTeX RDF
13	Ming-Yee Iu, Willy Zwaenepoel	Queryll: Java Database Queries Through Bytecode Rewriting.	Middleware	2006	DBLP DOI BibTeX RDF
13	Raghavendra Rao Loka	Hybrid compilation: a case study.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF
13	Olivier Tardieu, Robert de Simone	Loops in esterel.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	static analysis, code generation, Synchronous languages
13	Peng Wu 0001, Alexandre E. Eichenberger, Amy Wang	Efficient SIMD Code Generation for Runtime Alignment and Length Conversion.	CGO	2005	DBLP DOI BibTeX RDF
13	Christian Poellabauer, Tao Zhang 0037, Santosh Pande, Karsten Schwan	An Efficient Frequency Scaling Approach for Energy-Aware Embedded Real-Time Systems.	ARCS	2005	DBLP DOI BibTeX RDF
13	Ryan Culpepper, Scott Owens, Matthew Flatt	Syntactic Abstraction in Component Interfaces.	GPCE	2005	DBLP DOI BibTeX RDF
13	Pengcheng Wu, Karl J. Lieberherr	Shadow Programming: Reasoning About Programs Using Lexical Join Point Information.	GPCE	2005	DBLP DOI BibTeX RDF
13	Steve Carr 0001, Soner Önder	A case for a working-set-based memory hierarchy.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	cache design, loop tiling
13	Michael Rappa, Sarah E. Smith, Alex Yacoub, Laurie A. Williams	OpenSeminar: Web-based Collaboration Tool for Open Educational Resources.	CollaborateCom	2005	DBLP DOI BibTeX RDF
13	Sylvie Coste-Marquis, Pierre Marquis	On Stratified Belief Base Compilation.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	reasoning under inconsistency, stratified belief base, computational complexity, knowledge compilation
13	Ismail Kadayif, Mahmut T. Kandemir	Quasidynamic Layout Optimizations for Improving Data Locality.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	array-intensive computations, dynamic optimization, Optimizing compilers, data locality
13	Fen Xie, Margaret Martonosi, Sharad Malik	Intraprogram dynamic voltage scaling: Bounding opportunities with analytic modeling.	ACM Trans. Archit. Code Optim.	2004	DBLP DOI BibTeX RDF	low power, compiler, Analytical model, dynamic voltage scaling, mixed-integer linear programming
13	Lingli Zhang, Chandra Krintz	Profile-driven code unloading for resource-constrained JVMs.	PPPJ	2004	DBLP DOI BibTeX RDF
13	Zhi Guo, Betul Buyukkurt, Walid A. Najjar	Input data reuse in compiling window operations onto reconfigurable hardware.	LCTES	2004	DBLP DOI BibTeX RDF	reuse analysis, compilation, high-level synthesis, VHDL, reconfigurable computing
13	Dhruva R. Chakrabarti, Luis A. Lozano, Xinliang D. Li, Robert Hundt, Shin-Ming Liu	Scalable High Performance Cross-Module Inlining.	IEEE PACT	2004	DBLP DOI BibTeX RDF
13	Armin Rigo	Representation-based just-in-time specialization and the psyco prototype for python.	PEPM	2004	DBLP DOI BibTeX RDF	just-in-time specialization, unlift, representation, python
13	Kyung-Woo Kang	A Study on Generating an Efficient Bottom-up Tree Rewrite Machine for JBurg.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
13	Ying Hu 0003, Clark W. Barrett, Benjamin Goldberg	Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations.	SEFM	2004	DBLP DOI BibTeX RDF	Compiler validation, speculative loop optimizations, formal methods, translation validation
13	Silvius Vasile Rus, Lawrence Rauchwerger, Jay P. Hoeflinger	Hybrid Analysis: Static & Dynamic Memory Reference Analysis.	Int. J. Parallel Program.	2003	DBLP DOI BibTeX RDF	memory access representation, hybrid analysis, Automatic parallelization
13	Dinesh C. Suresh, Walid A. Najjar, Frank Vahid, Jason R. Villarreal, Greg Stitt	Profiling tools for hardware/software partitioning of embedded applications.	LCTES	2003	DBLP DOI BibTeX RDF	loop analysis, compiler optimization, hardware/software partitioning
13	DeLesley Hutchins	The power of symmetry: unifying inheritance and generative programming.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	covariant specialization, generative components, mixin layers, virtual types, aspect-oriented programming, prototypes, code generation, generative programming, partial evaluation, aspects, meta-programming, parametric polymorphism, multiple inheritance, mixins, transformation systems, virtual classes, generic types, join points
13	Gokhan Memik, Mahmut T. Kandemir, Alok N. Choudhary, Ismail Kadayif	An Integrated Approach for Improving Cache Behavior.	DATE	2003	DBLP DOI BibTeX RDF
13	Kim M. Hazelwood, David Grove	Adaptive Online Context-Sensitive Inlining.	CGO	2003	DBLP DOI BibTeX RDF
13	Mario Latendresse	Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Value.	CSMR	2003	DBLP DOI BibTeX RDF
13	Christopher Dahn, Spiros Mancoridis	Using Program Transformation to Secure C Programs Against Buffer Overflows.	WCRE	2003	DBLP DOI BibTeX RDF
13	Yoshinori Ojima, Mitsuhisa Sato, Hiroshi Harada, Yutaka Ishikawa	Performance of Cluster-enabled OpenMP for the SCASH Software Distributed Shared Memory System.	CCGRID	2003	DBLP DOI BibTeX RDF
13	Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi 0001, Masato Takeichi	An Efficient Staging Algorithm for Binding-Time Analysis.	LOPSTR	2003	DBLP DOI BibTeX RDF
13	Gordon Ping Gu, Dorina C. Petriu	Early evaluation of software performance based on the UML performance profile.	CASCON	2003	DBLP BibTeX RDF	UML
13	Stephen A. Edwards	An Esterel compiler for large control-dominated systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
13	Sanjeev Baskiyar	Efficient Execution of Pure Object-Oriented Programs by Follow-up Compilation.	Computing	2002	DBLP DOI BibTeX RDF	AMS Subject Classifications: 68N20, 68N19, 68N15, 68N25
13	Peter Achten, Artem Alimarine, Marinus J. Plasmeijer	When Generic Functions Use Dynamic Values.	IFL	2002	DBLP DOI BibTeX RDF
13	David Eng	Combining static and dynamic data in code visualization.	PASTE	2002	DBLP DOI BibTeX RDF	combining static and dynamic data, visualization, profiling, software understanding, intermediate languages
13	Craig Chambers	Staged compilation.	PEPM	2002	DBLP DOI BibTeX RDF
13	Fergus Henderson, Zoltan Somogyi	Compiling Mercury to High-Level C Code.	CC	2002	DBLP DOI BibTeX RDF	programming language implementation, GNU C, logic programming, C, compilation techniques, Mercury
13	Mira Balaban, Steffen Jurk	Intentions of Operations - Characterization and Preservation.	ER (Workshops)	2002	DBLP DOI BibTeX RDF
13	Marcelo Arenas, Wenfei Fan, Leonid Libkin	On Verifying Consistency of XML Specifications. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF	XML
13	Matthew Flatt	Composable and compilable macros: : you want it when?	ICFP	2002	DBLP DOI BibTeX RDF	language tower, modules, macros
13	Jason Baker, Wilson C. Hsieh	Maya: Multiple-Dispatch Syntax Extension in Java.	PLDI	2002	DBLP DOI BibTeX RDF	Java, generative programming, macros, metaprogramming
13	Silvius Vasile Rus, Lawrence Rauchwerger, Jay P. Hoeflinger	Hybrid analysis: static & dynamic memory reference analysis.	ICS	2002	DBLP DOI BibTeX RDF	hybrid analysis, inter-procedural analysis, run-time parallelization, run-time analysis
13	Jack Liu, Fred C. Chow	A near-optimal instruction scheduler for a tightly constrained, variable instruction set embedded processor.	CASES	2002	DBLP DOI BibTeX RDF	configurable code generation, variable instruction set, embedded processor, instruction scheduling, dictionary, enumeration, program representation, resource modeling
13	Sunghyun Lee, Kiyoung Choi, Sungjoo Yoo	An intra-task dynamic voltage scaling method for SoC design with hierarchical FSM and synchronous dataflow model.	ISLPED	2002	DBLP DOI BibTeX RDF	variable supply voltage, low power, finite state machine, dynamic voltage scaling, formal model, synchronous dataflow
13	Ismail Kadayif, Mahmut T. Kandemir, Alok N. Choudhary	A Hybrid Strategy Based on Data Distribution and Migration for Optimizing Memory Locality.	LCPC	2002	DBLP DOI BibTeX RDF
13	Yong Liu 0023, Zhiqiang Gao, Xiangqing He	A Flexible Embedded SRAM Compiler.	DELTA	2002	DBLP DOI BibTeX RDF
13	N. E. Crosbie, Mahmut T. Kandemir, Ibrahim Kolcu, J. Ramanujam, Alok N. Choudhary	Strategies for Improving Data Locality in Embedded Applications.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF
13	Rajeev Barua, Walter Lee, Saman P. Amarasinghe, Anant Agarwal	Compiler Support for Scalable and Efficient Memory Systems.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	bank disambiguation, memory parallelism, Raw, Compiler, Maps, memory
13	Jason Maassen, Rob van Nieuwpoort, Ronald Veldema, Henri E. Bal, Thilo Kielmann, Ceriel J. H. Jacobs, Rutger F. H. Hofman	Efficient Java RMI for parallel programming.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	performance, Communication, remote method invocation