Search results for "compile-time"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada	XML access control using static analysis.	ACM Trans. Inf. Syst. Secur.	2006	DBLP DOI BibTeX RDF	value-based access control, view schema, XML, Access control, static analysis, query optimization, XPath, XQuery, schema, automaton
7	Gajinder Panesar, Daniel Towner, Andrew Duller, Alan Gray, Will Robbins	Deterministic Parallel Processing.	Int. J. Parallel Program.	2006	DBLP DOI BibTeX RDF	hetrogeneous, wireless, interconnect, Deterministic
7	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
7	Danil Shopyrin	Multimethods in C++ using recursive deferred dispatching.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	template metaprogramming, C++, polymorphism, multimethods, multiple dispatch, reusable libraries
7	Manjunath Gorentla Venkata, Patrick G. Bridges	MPI/CTP: A Reconfigurable MPI for HPC Applications.	PVM/MPI	2006	DBLP DOI BibTeX RDF
7	Ben L. Titzer	Virgil: objects on the head of a pin.	OOPSLA	2006	DBLP DOI BibTeX RDF	data-sensitive optimization, heap compression, multi-stage computation, standalone programs, whole-program compilation, sensor networks, embedded systems, static analysis, microcontrollers, systems software, dead code elimination
7	Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble	Aspects and Data Refinement.	MPC	2006	DBLP DOI BibTeX RDF
7	John Cavazos, J. Eliot B. Moss, Michael F. P. O'Boyle	Hybrid Optimizations: Which Optimization Algorithm to Use?.	CC	2006	DBLP DOI BibTeX RDF
7	Zoltán Porkoláb, József Mihalicza, Ádám Sipos	Debugging C++ template metaprograms.	GPCE	2006	DBLP DOI BibTeX RDF	template metaprogramming, C++, debugging
7	Pierre-Malo Deniélou, James J. Leifer	Abstraction preservation and subtyping in distributed languages.	ICFP	2006	DBLP DOI BibTeX RDF	serialisation and distributed computation, subtyping, type theory, programming language semantics, module systems
7	Jun-Cheol Jeon, Kee-Young Yoo	Conflict Detection in Role-Based Access Control Using Multiple-Attractor Cellular Automata.	ICIC (1)	2006	DBLP DOI BibTeX RDF
7	Su-Shin Ang, George A. Constantinides, Peter Y. K. Cheung, Wayne Luk	A Flexible Multi-port Caching Scheme for Reconfigurable Platforms.	ARC	2006	DBLP DOI BibTeX RDF
7	Alex Ngouanga, Gilles Sassatelli, Lionel Torres, Thierry Gil, André Borin Suarez, Altamiro Amadeu Susin	Run-Time Resources Management on Coarse Grained, Packet-Switching Reconfigurable Architecture: A Case Study Through the APACHES' Platform.	ARC	2006	DBLP DOI BibTeX RDF
7	Spyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August	A framework for unrestricted whole-program optimization.	PLDI	2006	DBLP DOI BibTeX RDF	interprocedural optimization, procedure unification, region encapsulation, region formation, whole-program analysis, whole-program optimization, specialization, interprocedural analysis, inlining, path-sensitive analysis, superblock, region-based compilation
7	Pierre Amiranoff, Albert Cohen 0001, Paul Feautrier	Beyond Iteration Vectors: Instancewise Relational Abstract Domains.	SAS	2006	DBLP DOI BibTeX RDF
7	Wu-An Kuo, Yi-Ling Chiang, TingTing Hwang, Allen C.-H. Wu	Performance-driven crosstalk elimination at post-compiler level.	ISCAS	2006	DBLP DOI BibTeX RDF
7	Yasser Sedaghat, Seyed Ghassem Miremadi, Mahdi Fazeli	A Software-Based Error Detection Technique Using Encoded Signatures.	DFT	2006	DBLP DOI BibTeX RDF
7	Carlos Nahas, Ricardo Villalobos Guevara, Voicu Groza	Temporal Placement for Run-Time Reconfiguration.	CCECE	2006	DBLP DOI BibTeX RDF
7	Eric Petit 0003, François Bodin, Guillaume Papaure, Florence Dru	Poster reception - ASTEX: a hot path based thread extractor for distributed memory system on a chip.	SC	2006	DBLP DOI BibTeX RDF
7	Frederik Eaton	Statically typed linear algebra in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	higher-rank polymorphism, template Haskell, linear algebra, staging, existential types
7	Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, Steven Levi	Language support for fast and reliable message-based communication in singularity OS.	EuroSys	2006	DBLP DOI BibTeX RDF	data ownership, protocols, asynchronous communication, channels, static checking
7	Paul Royal, Mitch Halpin, David Dagon, Robert Edmonds, Wenke Lee	PolyUnpack: Automating the Hidden-Code Extraction of Unpack-Executing Malware.	ACSAC	2006	DBLP DOI BibTeX RDF
7	Xin Li 0020, Marian Boldt, Reinhard von Hanxleden	Mapping esterel onto a multi-threaded embedded processor.	ASPLOS	2006	DBLP DOI BibTeX RDF	low-power processing, concurrency, reactive systems, multi-threading, esterel
7	Jun-Cheol Jeon, Kee-Young Yoo	Cellular Automata Based Role-Delegation in RBAC.	ACRI	2006	DBLP DOI BibTeX RDF	Multiple-Attractor Cellular Automata, Role-Delegation, Role-based Access Control, Separation of Duty
7	Oussama Kassem Zein, Yvon Kermarrec	Static/Semi-Dynamic and Dynamic Composition of Services in Distributed Systems.	AICT/ICIW	2006	DBLP DOI BibTeX RDF	composition of services, metadata for service description, trader, ontology
7	Saso Greiner, Damijan Rebernak, Janez Brest, Viljem Zumer	Z0 - a tiny experimental language.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	Java, object-orientation, language design
7	Marcelo H. Cintra, Diego R. Llanos Ferraris	Design Space Exploration of a Software Speculative Parallelization Scheme.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	parallel architectures, thread-level speculation, Speculative parallelization
7	Ismail Kadayif, Mahmut T. Kandemir, Guilin Chen, Ozcan Ozturk 0001, Mustafa Karaköy, Ugur Sezer	Optimizing Array-Intensive Applications for On-Chip Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	On-chip multiprocessor, adaptive loop parallelization, embedded systems, energy consumption, integer linear programming, constrained optimization
7	Thi Viet Nga Nguyen, François Irigoin	Efficient and effective array bound checking.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	interprocedural analysis, Array bound checking
7	Pawel Garbacki, Bartosz Biskupski, Henri E. Bal	Transparent Fault Tolerance for Grid Applications.	EGC	2005	DBLP DOI BibTeX RDF
7	Eric Vecchié, Robert de Simone	Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs.	CAV	2005	DBLP DOI BibTeX RDF
7	Marko van Dooren, Eric Steegmans	Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations.	OOPSLA	2005	DBLP DOI BibTeX RDF	Cappuccino, anchored exception declaration, exception handling
7	Chang-Hyun Jo, Marjan Mernik, Barrett R. Bryant	Editorial: programming languages track.	SAC	2005	DBLP DOI BibTeX RDF
7	James C. Browne	Productivity in High Performance Computing.	HiPC	2005	DBLP DOI BibTeX RDF
7	Horacio González-Vélez	An Adaptive Skeletal Task Farm for Grids.	Euro-Par	2005	DBLP DOI BibTeX RDF
7	Bernd Braßel, Michael Hanus	Nondeterminism Analysis of Functional Logic Programs.	ICLP	2005	DBLP DOI BibTeX RDF
7	Mourad Hakem, Franck Butelle	Dynamic Critical Path Scheduling Parallel Programs onto Multiprocessors.	IPDPS	2005	DBLP DOI BibTeX RDF
7	Yi Lu 0003, John Potter	A Type System for Reachability and Acyclicity.	ECOOP	2005	DBLP DOI BibTeX RDF
7	Madhavi Gopal Valluri, Lizy Kurian John, Kathryn S. McKinley	Low-power, low-complexity instruction issue using compiler assistance.	ICS	2005	DBLP DOI BibTeX RDF
7	Xiaoyang Gao, Sriram Krishnamoorthy, Swarup Kumar Sahoo, Chi-Chung Lam, Gerald Baumgartner, J. Ramanujam, P. Sadayappan	Efficient Search-Space Pruning for Integrated Fusion and Tiling Transformations.	LCPC	2005	DBLP DOI BibTeX RDF
7	Christopher League, Stefan Monnier	Typed Compilation Against Non-manifest Base Classes.	CASSIS	2005	DBLP DOI BibTeX RDF
7	Pradeep Varma	Stub Libraries for Software Migration and Development.	STEP	2005	DBLP DOI BibTeX RDF
7	Chitra Babu, D. Janaki Ram	Method driven model: a unified model for an object composition language.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	Object Schizophrenia Problem, aspect, object identity
7	Jingling Xue, Xavier Vera	Efficient and Accurate Analytical Modeling of Whole-Program Data Cache Behavior.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	performance evaluation, analytical modeling, cache memories, data locality, Modeling techniques
7	Xavier Vera, Nerina Bermudo, Josep Llosa, Antonio González 0001	A fast and accurate framework to analyze and optimize cache memory behavior.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	optimization, sampling, Cache memories
7	Carsten Albrecht, Rainer Hagenau, Andreas C. Döring	Cooperative Software Multithreading to Enhance Utilization of Embedded Processors for Network Applications.	PDP	2004	DBLP DOI BibTeX RDF
7	Maria Athanasaki, Evangelos Koukis, Nectarios Koziris	Scheduling of Tiled Nested Loops onto a Cluster with a Fixed Number of SMP Nodes.	PDP	2004	DBLP DOI BibTeX RDF
7	Yannis Smaragdakis, Shan Shan Huang, David Zook	Program generators and the tools to make them.	PEPM	2004	DBLP DOI BibTeX RDF	safety guarantees, meta-programming, program generators
7	Scott B. Baden	Trends in Large Scale Computing: An Introduction.	PARA	2004	DBLP DOI BibTeX RDF
7	Ulf Norell, Patrik Jansson	Prototyping Generic Programming in Template Haskell.	MPC	2004	DBLP DOI BibTeX RDF
7	Lars Wehmeyer, Urs Helmig, Peter Marwedel	Compiler-optimized usage of partitioned memories.	WMPI	2004	DBLP DOI BibTeX RDF
7	Patrick Schaumont, Ingrid Verbauwhede	Interactive Cosimulation with Partial Evaluation.	DATE	2004	DBLP DOI BibTeX RDF
7	Soyeb Alli, Chris Bailey 0002	Compiler-Directed Dynamic Memory Disambiguation for Loop Structures.	DSD	2004	DBLP DOI BibTeX RDF
7	Sungdo Moon, Xinliang D. Li, Robert Hundt, Dhruva R. Chakrabarti, Luis A. Lozano, Uma Srinivasan 0004, Shin-Ming Liu	SYZYGY - A Framework for Scalable Cross-Module IPO.	CGO	2004	DBLP DOI BibTeX RDF
7	Vlad-Mihai Panait, Amit Sasturkar, Weng-Fai Wong	Static Identification of Delinquent Loads.	CGO	2004	DBLP DOI BibTeX RDF
7	Natasha Drukh, Neoklis Polyzotis, Minos N. Garofalakis, Yossi Matias	Fractional XSketch Synopses for XML Databases.	XSym	2004	DBLP DOI BibTeX RDF
7	Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla	Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System.	Euro-Par	2004	DBLP DOI BibTeX RDF	granularity control, mobile code certification, GRIDs, resource awareness, distributed execution
7	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Abstract Interpretation-Based Mobile Code Certification.	ICLP	2004	DBLP DOI BibTeX RDF
7	Jeremy J. Carroll	Streaming OWL DL.	ESWS	2004	DBLP DOI BibTeX RDF
7	Feihui Li, Pyush Agrawal, Grace Eberhardt, Eren Manavoglu, Secil Ugurel, Mahmut T. Kandemir	Improving Memory Performance of Embedded Java Applications by Dynamic Layout Modifications.	IPDPS	2004	DBLP DOI BibTeX RDF
7	Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng, R. E. Kurt Stirewalt	TRAP/J: Transparent Generation of Adaptable Java Programs.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF	behavioral reflection, quality-of-service, mobile computing, middleware, aspect-oriented programming, dynamic reconfiguration, generator framework, transparent adaptation
7	Paul A. Buhler, Christopher W. Starr, William H. Schroder, José M. Vidal	Preparing for Service-Oriented Computing: A Composite Design Pattern for Stubless Web Service Invocation.	ICWE	2004	DBLP DOI BibTeX RDF
7	Paolo D'Alberto, Alexandru Nicolau	JuliusC: A Practical Approach for the Analysis of Divide-and-Conquer Algorithms.	LCPC	2004	DBLP DOI BibTeX RDF
7	Erik Hilsdale, Jim Hugunin	Advice weaving in AspectJ.	AOSD	2004	DBLP DOI BibTeX RDF	compilers, AspectJ, aspect-orientation, bytecode, weaving
7	Christian Siemers, Volker Winterstein	The Universal Configurable Block/Machine-- An Approach for a Configurable SoC-Architecture.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	block-based architecture, reconfigurable computing, space-time mapping
7	Mau-Tsuen Yang, Rangachar Kasturi, Anand Sivasubramaniam	A Pipeline-Based Approach for Scheduling Video Processing Algorithms on NOW.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	network of workstations, throughput optimization, resource optimization, Pipelined scheduling
7	Charles Zhang, Hans-Arno Jacobsen	Refactoring Middleware with Aspects.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	aspect analysis, middleware, Aspect-oriented programming, refactoring, aspects
7	Alastair Dunsmore, Marc Roper, Murray Wood	Practical Code Inspection Techniques for Object-Oriented Systems: An Experimental Comparison.	IEEE Softw.	2003	DBLP DOI BibTeX RDF	delocalization, object oriented, empirical study, code inspection
7	Christophe Deleray, Nicolas Bedon, Gilles Roussel 0001	MyJVM: a 100% pure Java customizable Java Virtual Machine.	PPPJ	2003	DBLP BibTeX RDF
7	Andrzej Wasowski	On efficient program synthesis from statecharts.	LCTES	2003	DBLP DOI BibTeX RDF	embedded systems, statecharts, program synthesis, automatic code generation
7	Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada	XML access control using static analysis.	CCS	2003	DBLP DOI BibTeX RDF	XML, access control, static analysis, query optimization, XPath, XQuery, schema, automaton
7	Erik Eckstein, Bernhard Scholz	Addressing Mode Selection.	CGO	2003	DBLP DOI BibTeX RDF
7	Hai Jiang 0003, Vipin Chaudhary	Thread Migration/Checkpointing for Type-Unsafe C Programs.	HiPC	2003	DBLP DOI BibTeX RDF
7	Won So, Alexander G. Dean	Procedure Cloning and Integration for Converting Parallelism from Coarse to Fine Grain.	Interaction between Compilers and Computer Architectures	2003	DBLP DOI BibTeX RDF
7	Edward G. Benowitz, Albert F. Niessner	Experiences in Adopting Real-Time Java for Flight-Like Software.	OTM Workshops	2003	DBLP DOI BibTeX RDF
7	Ranjit Noronha, Dhabaleswar K. Panda 0001	Implementing TreadMarks over GM on Myrinet: Challenges, Design Experience, and Performance Evaluation.	IPDPS	2003	DBLP DOI BibTeX RDF
7	James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough	Global abstraction-safe marshalling with hash types.	ICFP	2003	DBLP DOI BibTeX RDF	singleton kinds, programming languages, ML, distributed programming, modules, hashing, lambda calculus, type theory, abstract types, serialisation, marshalling
7	Lilian Harada	An Efficient Sliding Window Algorithm for Detection of Sequential Pattern.	DASFAA	2003	DBLP DOI BibTeX RDF
7	Mihai Burcea, Michael Voss	A Runtime Optimization System for OpenMP.	WOMPAT	2003	DBLP DOI BibTeX RDF
7	Nicole Dunlop, Jadwiga Indulska, Kerry Raymond	Methods for Conflict Resolution in Policy-Based Management Systems.	EDOC	2003	DBLP DOI BibTeX RDF
7	John Thangarajah, Lin Padgham, Michael Winikoff	Detecting & exploiting positive goal interaction in intelligent agents.	AAMAS	2003	DBLP DOI BibTeX RDF	co-ordinating plans, goal interactions, rational agents
7	Christoph Grein, Dmitry A. Kazakov, Fraser Wilson	A Survey of Physical Unit Handling Techniques in Ada.	Ada-Europe	2003	DBLP DOI BibTeX RDF
7	Russell Tessier, Snigdha Jana	Incremental compilation for parallel logic verification systems.	IEEE Trans. Very Large Scale Integr. Syst.	2002	DBLP DOI BibTeX RDF
7	Ramaswamy Govindarajan, Guang R. Gao, Palash Desai	Minimizing Buffer Requirements under Rate-Optimal Schedule in Regular Dataflow Networks.	J. VLSI Signal Process.	2002	DBLP DOI BibTeX RDF	buffer minimization, Digital Signal Processing (DSP) computation, Multi-Rate Software Pipelining, Regular Stream Flow Graphs, software pipelining, dataflow graphs
7	Carlo Sartiani, Antonio Albano	Yet Another Query Algebra For XML Data.	IDEAS	2002	DBLP DOI BibTeX RDF
7	Kirilka Nikolova, Sou Pei You, Masahiro Sowa	Compiler-Controlled Parallelism-Independent Scheduling for Parallel and Distributed Systems.	PARA	2002	DBLP DOI BibTeX RDF
7	Dawid Kurzyniec, Tomasz Wrzosek, Vaidy S. Sunderam, Aleksander Slominski	Experiments with multi-protocol RMI in Java.	Java Grande	2002	DBLP DOI BibTeX RDF	Java, communication protocols, RMI, RPC
7	Peter Petrov, Alex Orailoglu	Power Efficient Embedded Processor Ip's through Application-Specific Tag Compression in Data Caches.	DATE	2002	DBLP DOI BibTeX RDF
7	Manuel Arenaz, Juan Touriño, Ramon Doallo	Towards Detection of Coarse-Grain Loop-Level Parallelism in Irregular Computations.	Euro-Par	2002	DBLP DOI BibTeX RDF
7	Bart Demoen	A Different Look at Garbage Collection for the WAM.	ICLP	2002	DBLP DOI BibTeX RDF
7	Henning Makholm, Konstantinos Sagonas	On Enabling the WAM with Region Support.	ICLP	2002	DBLP DOI BibTeX RDF
7	Hai Jiang 0003, Vipin Chaudhary	Compile/Run-Time Support for Thread Migration.	IPDPS	2002	DBLP DOI BibTeX RDF
7	Dhananjay Kulkarni, Walid A. Najjar, Robert Rinker, Fadi J. Kurdahi	Fast Area Estimation to Support Compiler Optimizations in FPGA-Based Reconfigurable Systems.	FCCM	2002	DBLP DOI BibTeX RDF
7	Martin Burtscher, Amer Diwan, Matthias Hauswirth	Static Load Classification for Improving the Value Predictability of Data-Cache Misses.	PLDI	2002	DBLP DOI BibTeX RDF	load-value prediction, type-based analysis
7	Priya Unnikrishnan, Guangyu Chen, Mahmut T. Kandemir, D. R. Mudgett	Dynamic compilation for energy adaptation.	ICCAD	2002	DBLP DOI BibTeX RDF
7	Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey	To the Gates of HAL: A HAL Tutorial.	FLOPS	2002	DBLP DOI BibTeX RDF
7	Oscar Nierstrasz, Franz Achermann	A Calculus for Modeling Software Components.	FMCO	2002	DBLP DOI BibTeX RDF
7	Jaejin Lee, H. D. K. Moonesinghe	Adaptively Increasing Performance and Scalability of Automatically Parallelized Programs.	LCPC	2002	DBLP DOI BibTeX RDF
7	Lilian Harada	Complex Temporal Patterns Detection over Continuous Data Streams.	ADBIS	2002	DBLP DOI BibTeX RDF
7	Ismail Kadayif, Mahmut T. Kandemir, Mustafa Karaköy	An energy saving strategy based on adaptive loop parallelization.	DAC	2002	DBLP DOI BibTeX RDF	energy consumption, multiprocessing, adaptive parallelization