Search results for "compile-time"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Allen Leung, Krishna V. Palem, Amir Pnueli	A Fast Algorithm for Scheduling Time-Constrained Instructions on Processors with ILP.	IEEE PACT	1998	DBLP DOI BibTeX RDF	Compiler-optimizations, instruction level parallelism, instruction scheduling, embedded applications
9	Cristina Ruggieri, Thomas P. Murtagh	Lifetime Analysis of Dynamically Allocated Objects.	POPL	1988	DBLP DOI BibTeX RDF
9	Dushan Z. Badal, Gerald J. Popek	Cost and Performance Analysis of Semantic Integrity Validation Methods.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF	integrity assertions, performance analysis, database management, semantic integrity, cost analysis
8	Edwin J. Y. Wei, Alvin T. S. Chan	Towards semantic-based adaptation decisions for context-aware mobile computing.	SAC	2010	DBLP DOI BibTeX RDF	ontology, middleware, context-awareness, dynamic adaptation
8	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
8	Damien Hardy, Isabelle Puaut	Predictable Code and Data Paging for Real Time Systems.	ECRTS	2008	DBLP DOI BibTeX RDF
8	Ross McIlroy, Peter Dickman, Joe Sventek	Efficient dynamic heap allocation of scratch-pad memory.	ISMM	2008	DBLP DOI BibTeX RDF	on-core memory, concurrency, memory management
8	Edwin J. Y. Wei, Alvin T. S. Chan	Semantic Approach to Middleware-Driven Run-Time Context-Aware Adaptation Decision.	ICSC	2008	DBLP DOI BibTeX RDF	CAMPO, Context-aware adaptation decision, OWL
8	Ahmed Zeeshan, Anwar M. Masood, Zafar M. Faisal, Azam Kalim, Naheed Farzana	PrISM: Automatic Detection and Prevention from Cyber Attacks.	IMTIC	2008	DBLP DOI BibTeX RDF	Information Security Management System, Intrusion Detection, Network security, Computer Security, Intrusion Prevention
8	Vassos Soteriou, Noel Eisley, Li-Shiuan Peh	Software-directed power-aware interconnection networks.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	Software-directed power reduction, simulation, interconnection networks, dynamic voltage scaling, on-chip networks, communication links
8	Jean-François Deverge, Isabelle Puaut	WCET-Directed Dynamic Scratchpad Memory Allocation of Data.	ECRTS	2007	DBLP DOI BibTeX RDF
8	Karel Bruneel, Peter Bertels, Dirk Stroobandt	A Method for Fast Hardware Specialization at run-time.	FPL	2007	DBLP DOI BibTeX RDF
8	Sangho Yi, Seungwoo Lee, Yookun Cho, Jiman Hong	OTL: On-Demand Thread Stack Allocation Scheme for Real-Time Sensor Operating Systems.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF
8	Praveen Raghavan, José L. Ayala, David Atienza, Francky Catthoor, Giovanni De Micheli, Marisa López-Vallejo	Reduction of Register File Delay Due to Process Variability in VLIW Embedded Processors.	ISCAS	2007	DBLP DOI BibTeX RDF
8	Kaj Hänninen, Jukka Mäki-Turja, Markus Bohlin, Jan Carlson, Mikael Nolin	Determining Maximum Stack Usage in Preemptive Shared Stack Systems.	RTSS	2006	DBLP DOI BibTeX RDF
8	Matthew S. Simpson, Bhuvan Middha, Rajeev Barua	Segment protection for embedded systems using run-time checks.	CASES	2005	DBLP DOI BibTeX RDF	MMU, MPU, ewmbedded systems, safe languages, segment protection, segmentation violations, reliability, compilers, virtual memory, memory safety, run-time checks
8	Chris Lattner, Vikram S. Adve	LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation.	CGO	2004	DBLP DOI BibTeX RDF
8	Vasanth Asokan, Alexander G. Dean	Providing time- and space- efficient procedure calls for asynchronous software thread integration.	CASES	2004	DBLP DOI BibTeX RDF	asynchronous software thread integration, software-implemented communication protocol controllers, hardware to software migration, fine-grain concurrency
8	Wei Du, Gagan Agrawal	Language and Compiler Support for Adaptive Applications.	SC	2004	DBLP DOI BibTeX RDF
8	I. M. Forsythe, Peter Milligan, Paul Sage	Probabilistic Program Analysis for Parallelizing Compilers.	VECPAR	2004	DBLP DOI BibTeX RDF
8	Francesco Spadini, Brian Fahs, Sanjay J. Patel, Steven S. Lumetta	Improving Quasi-Dynamic Schedules through Region Slip.	CGO	2003	DBLP DOI BibTeX RDF
8	Cristina Boeres, Alexandre Lima, Vinod E. F. Rebello	Hybrid Task Scheduling: Integrating Static and Dynamic Heuristics.	SBAC-PAD	2003	DBLP DOI BibTeX RDF
8	Robert Watson, Brian Feldman, Adam Migus, Chris Vance	Design and Implementation of the TrustedBSD MAC Framework.	DISCEX (1)	2003	DBLP DOI BibTeX RDF
8	Mehrdad Reshadi, Prabhat Mishra 0001, Nikil D. Dutt	Instruction set compiled simulation: a technique for fast and flexible instruction set simulation.	DAC	2003	DBLP DOI BibTeX RDF	instruction abstraction, interpretive simulation, instruction set architectures, compiled simulation
8	J. Russell Noseworthy	IKE 2-Implementing the Stateful Distributed Object Paradigm.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	Distributed Object Middleware, Publish-Subscribe Middleware, SDO, Stateful Distributed Object, Middleware, CORBA, Distributed Object, Event Service
8	Brendon Cahoon, Kathryn S. McKinley	Simple and effective array prefetching in Java.	Java Grande	2002	DBLP DOI BibTeX RDF	array prefetching, Java, static analysis, memory optimization
8	G. Arrigoni, L. Duchini, Claudio Passerone, Luciano Lavagno, Yosinori Watanabe	False Path Elimination in Quasi-Static Scheduling.	DATE	2002	DBLP DOI BibTeX RDF
8	Yajun Ha, Radovan Hipik, Serge Vernalde, Diederik Verkest, Marc Engels, Rudy Lauwereins, Hugo De Man	Adding Hardware Support to the HotSpot Virtual Machine for Domain Specific Applications.	FPL	2002	DBLP DOI BibTeX RDF
8	James Huw Evans	Dynamic On-line Object Update in the Grumps System.	COMPSAC	2002	DBLP DOI BibTeX RDF
8	Jianwen Zhu	Symbolic pointer analysis.	ICCAD	2002	DBLP DOI BibTeX RDF
8	Umit Rencuzogullari, Sandhya Dwarkadas	Dynamic adaptation to available resources for parallel computing in an autonomous network of workstations.	PPoPP	2001	DBLP DOI BibTeX RDF
8	David R. Surma, Edwin Hsing-Mean Sha	Communication Reduction in Multiple Multicasts Based on Hybrid Static-Dynamic Scheduling.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	routing, Multicasting, parallel systems, graph modeling, communication scheduling
8	Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers	The benefits and costs of DyC's run-time optimizations.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	specialization, dynamic compilation
8	Hirotaka Ogawa, Kouya Shimura, Satoshi Matsuoka, Fuyuhiko Maruyama, Yukihiko Sohda, Yasunori Kimura	OpenJIT: An Open-Ended, Reflective JIT Compiler Framework for Java.	ECOOP	2000	DBLP DOI BibTeX RDF
8	Kent D. Wilken, Jack Liu, Mark Heffernan	Optimal instruction scheduling using integer programming.	PLDI	2000	DBLP DOI BibTeX RDF
8	Massimiliano Poletto, Vivek Sarkar	Linear scan register allocation.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	compilers, register allocation, code optimization
8	Bill Lin 0001	Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling.	DATE	1998	DBLP DOI BibTeX RDF	Embedded systems, Software synthesis, Hardware-software co-design
8	Nabeel Shirazi, Wayne Luk, Peter Y. K. Cheung	Run-Time Management of Dynamically Recongigurable Designs.	FPL	1998	DBLP DOI BibTeX RDF
8	Lorenz Huelsbergen, James R. Larus, Alexander Aiken	Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	Standard ML
8	Rajiv Gupta 0001	Optimizing Array Bound Checks Using Flow Analysis.	LOPLAS	1993	DBLP DOI BibTeX RDF	available checks, check hoisting, very busy checks, dataflow analysis
8	David C. Ku, Giovanni De Micheli	Relative scheduling under timing constraints: algorithms for high-level synthesis of digital circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
8	Lorenz Huelsbergen, James R. Larus	Dynamic Program Parallelization.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	ML
8	Peiyi Tang, Pen-Chung Yew, Chuan-Qi Zhu	Compiler techniques for data synchronization in nested parallel loops.	ICS	1990	DBLP DOI BibTeX RDF
8	David A. Scanlan	A research tool for software design and documentation.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
8	Haim Kilov	Guidelines for writing PL/I programs.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
8	Herbert Kanner, P. Kosinski, Charles L. Robinson	The structure of yet another ALGOL compiler.	Commun. ACM	1965	DBLP DOI BibTeX RDF	ALGOL
8	Johannes Rudolph, Peter Thiemann 0001	Mnemonics: type-safe bytecode generation at run time.	PEPM	2010	DBLP DOI BibTeX RDF	embedded domain specific language, program generation, metaprogramming
8	Xiangrong Zhou, Peter Petrov	Cross-layer customization for rapid and low-cost task preemption in multitasked embedded systems.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF
8	Gary Grider, James Nunez, John Bent, Steve Poole 0001, Robert B. Ross, Evan Felix	Coordinating government funding of file system and I/O research through the high end computing university research activity.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
8	Vlad Mihai Sima, Koen Bertels	Runtime decision of hardware or software execution on a heterogeneous reconfigurable platform.	IPDPS	2009	DBLP DOI BibTeX RDF
8	Eugen Leontie, Gedare Bloom, Bhagirath Narahari, Rahul Simha, Joseph Zambreno	Hardware Containers for Software Components: A Trusted Platform for COTS-Based Systems.	CSE (2)	2009	DBLP DOI BibTeX RDF
8	Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen	Tight WCRT analysis of synchronous C programs.	CASES	2009	DBLP DOI BibTeX RDF	precision timed machines, model checking, synchronous languages, static timing analysis
8	Garo Bournoutian, Alex Orailoglu	Reducing impact of cache miss stalls in embedded systems by extracting guaranteed independent instructions.	CASES	2009	DBLP DOI BibTeX RDF	compiler assisted hardware, pipeline stalls, embedded processors, data cache
8	Avik Chaudhuri, Deepak Garg 0001	PCAL: Language Support for Proof-Carrying Authorization Systems.	ESORICS	2009	DBLP DOI BibTeX RDF
8	Jiahong Liu, Quanyuan Wu, Wei Liu	Temporal Restriction Query Optimization for Event Stream Processing.	APWeb/WAIM Workshops	2009	DBLP DOI BibTeX RDF
8	Lars Bauer, Muhammad Shafique 0001, Jörg Henkel	Efficient Resource Utilization for an Extensible Processor Through Dynamic Instruction Set Adaptation.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
8	Glenn S. Wasson, Norm Beekwilder, David Del Vecchio, Mark M. Morgan, Marty Humphrey	Resource-oriented Computing: Design, Implementation, and Evaluation of WSRF.NET.	J. Grid Comput.	2008	DBLP DOI BibTeX RDF	stateful services, web services, Grid computing, middleware, WSRF
8	Hiroshige Hayashizaki, Yutaka Sugawara, Mary Inaba, Kei Hiraki	MCAMP: communication optimization on massively parallel machines with hierarchical scratch-pad memory.	PACT	2008	DBLP DOI BibTeX RDF	GRAPE-DR, copy candidates, scratch-pad memory management, memory hierarchy, massively parallel architecture
8	Kurt Stenzel, Holger Grandy, Wolfgang Reif	Verification of Java Programs with Generics.	AMAST	2008	DBLP DOI BibTeX RDF
8	Ritu Arora, Yu Sun 0002, Zekai Demirezen, Jeff Gray 0001	Profiler instrumentation using metaprogramming techniques.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF
8	Marco D. Santambrogio, Donatella Sciuto	Design methodology for partial dynamic reconfiguration: a new degree of freedom in the HW/SW codesign.	IPDPS	2008	DBLP DOI BibTeX RDF
8	Edison Mera, Pedro López-García 0001, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo	Combining Static Analysis and Profiling for Estimating Execution Times.	PADL	2007	DBLP DOI BibTeX RDF	Mobile Computing, Profiling, Cost Models, Cost Analysis, Resource Awareness, Execution Time Estimation
8	Nainesh Agarwal, Nikitas J. Dimopoulos	Automated Power Gating of Registers Using CoDeL and FSM Branch Prediction.	SAMOS	2007	DBLP DOI BibTeX RDF
8	Isabelle Puaut, Damien Hardy	Predictable Paging in Real-Time Systems: A Compiler Approach.	ECRTS	2007	DBLP DOI BibTeX RDF
8	Stéphane Ducasse, Roel Wuyts, Alexandre Bergel, Oscar Nierstrasz	User-changeable visibility: resolving unanticipated name clashes in traits.	OOPSLA	2007	DBLP DOI BibTeX RDF	composition, information hiding, encapsulation, traits, dynamic typing
8	Alex Aletà, Josep M. Codina, Antonio González 0001, David R. Kaeli	Heterogeneous Clustered VLIW Microarchitectures.	CGO	2007	DBLP DOI BibTeX RDF
8	Hailiang Mei	Smart Distribution of Bio-signal Processing Tasks in M-Health.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF
8	Peter M. Athanas, John W. Bowen, T. Dunham, Cameron D. Patterson, J. Rice, Matthew Shelburne, Jorge Surís, Mark B. Bucciero, Jonathan Graf	Wires On Demand: Run-Time Communication Synthesis for Reconfigurable Computing.	FPL	2007	DBLP DOI BibTeX RDF
8	Orlando Moreira, Frederico Valente, Marco Bekooij	Scheduling multiple independent hard-real-time jobs on a heterogeneous multiprocessor.	EMSOFT	2007	DBLP DOI BibTeX RDF	scheduling, real-time, dataflow, multi-processor
8	Jike Chong, Nadathur Satish, Bryan Catanzaro, Kaushik Ravindran, Kurt Keutzer	Efficient Parallelization of H.264 Decoding with Macro Block Level Scheduling.	ICME	2007	DBLP DOI BibTeX RDF
8	Walid A. Najjar	Compiling code accelerators for FPGAs.	CASES	2007	DBLP DOI BibTeX RDF	FPGA code acceleration
8	Jeff Gray 0001, Raymond Klefstad, Yvonne Coady	Adaptive and Evolvable Software Systems: Techniques, Tools and Applications.	HICSS	2007	DBLP DOI BibTeX RDF
8	Joshua J. Bloch	How to design a good API and why it matters.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF
8	Zhelong Pan, Rudolf Eigenmann	Fast and Effective Orchestration of Compiler Optimizations for Automatic Performance Tuning.	CGO	2006	DBLP DOI BibTeX RDF
8	Dhruva R. Chakrabarti, Shin-Ming Liu	Inline Analysis: Beyond Selection Heuristics.	CGO	2006	DBLP DOI BibTeX RDF
8	Keith D. Cooper, Anshuman Dasgupta	Tailoring Graph-coloring Register Allocation For Runtime Compilation.	CGO	2006	DBLP DOI BibTeX RDF
8	Manuel Fähndrich, Michael Carbin, James R. Larus	Reflective program generation with patterns.	GPCE	2006	DBLP DOI BibTeX RDF	patterns, reflection, generative programming, templates
8	Ahmed Abukmail, Abdelsalam Helal	A Pervasive Internet Approach to Fine-Grain Power-Aware Computing.	SAINT	2006	DBLP DOI BibTeX RDF	Computation Outsourcing, Pervasive Computing, Power Management, Smart Spaces
8	Ilya Issenin, Nikil D. Dutt	Data reuse driven energy-aware MPSoC co-synthesis of memory and communication architecture for streaming applications.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	customized memory hierarchy, hierarchical TDMA buses, data reuse, multiprocessor system-on-chip, communication synthesis
8	M. Anton Ertl, Kevin Casey, David Gregg	Fast and flexible instruction selection with on-demand tree-parsing automata.	PLDI	2006	DBLP DOI BibTeX RDF	tree parsing, dynamic programming, automaton, lazy, instruction selection
8	Ramtilak Vemu, Jacob A. Abraham	CEDA: Control-flow Error Detection through Assertions.	IOLTS	2006	DBLP DOI BibTeX RDF
8	Jianwen Zhu, Silvian Calman	Context sensitive symbolic pointer analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
8	George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer	CCured: type-safe retrofitting of legacy software.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	pointer qualifier, libraries, subtyping, Memory safety
8	Thilo Streichert, Christian Haubelt, Jürgen Teich	Online hardware/software partitioning in networked embedded systems.	ASP-DAC	2005	DBLP DOI BibTeX RDF
8	Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002	History-Based Access Control with Local Policies.	FoSSaCS	2005	DBLP DOI BibTeX RDF
8	Xiangrong Zhou, Peter Petrov	Energy-efficient address translation for virtual memory support in low-power and real-time embedded processors.	CODES+ISSS	2005	DBLP DOI BibTeX RDF
8	Vassos Soteriou, Noel Eisley, Li-Shiuan Peh	Software-directed power-aware interconnection networks.	CASES	2005	DBLP DOI BibTeX RDF	dynamic voltage, networks on-a-chip (NoC), software-directed power reduction, simulation, interconnection networks, scaling, communication links
8	Soung Won Kim, Myoung Soo Kim, Haeng-Kon Kim	Frameworks for Model-Driven Software Architecture.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
8	Alain Darte, Robert Schreiber	A linear-time algorithm for optimal barrier placement.	PPoPP	2005	DBLP DOI BibTeX RDF	SPMD code, nested circular interval graph, nested loops, barrier synchronization, circular arc graph
8	Nikolai Joukov, Aditya Kashyap, Gopalan Sivathanu, Erez Zadok	An electric fence for kernel buffers.	StorageSS	2005	DBLP DOI BibTeX RDF	security, file systems, buffer overflow
8	Dongkeun Kim, Donald Yeung	A study of source-level compiler algorithms for automatic construction of pre-execution code.	ACM Trans. Comput. Syst.	2004	DBLP DOI BibTeX RDF	pre-execution, prefetch conversion, speculative loop parallelization, multithreading, program slicing, Data prefetching, memory-level parallelism
8	Hiren D. Patel, Sandeep K. Shukla	Towards a Heterogeneous Simulation Kernel for System Level Models: A SystemC Kernel for Synchronous Data Flow Models.	ISVLSI	2004	DBLP DOI BibTeX RDF
8	Hongfei Guo, Per-Åke Larson, Raghu Ramakrishnan 0001, Jonathan Goldstein	Relaxed Currency and Consistency: How to Say "Good Enough" in SQL. (PDF / PS)	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
8	Ming Zhu, Harsha Narravula, Constantine Katsinis, Diana Hecht	Priority-Driven Active Data Prefetching.	IPDPS	2004	DBLP DOI BibTeX RDF
8	Xiaobin Li, Jean-Luc Gaudiot	A Compiler-Assisted On-Chip Assigned-Signature Control Flow Checking.	Asia-Pacific Computer Systems Architecture Conference	2004	DBLP DOI BibTeX RDF
8	Klaus Schneider 0001, Jens Brandt 0001, Tobias Schüle	Causality analysis of synchronous programs with delayed actions.	CASES	2004	DBLP DOI BibTeX RDF	causality, synchronous languages, ternary logic, fixpoints
8	Hiren D. Patel, Sandeep K. Shukla	Towards a heterogeneous simulation kernel for system level models: a SystemC kernel for synchronous data flow models.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	simulation efficiency, synchronous data flow, heterogeneous, SystemC, models of computation, embedded system design
8	Kiran Puttegowda, David I. Lehn, Jae H. Park, Peter M. Athanas, Mark T. Jones	Context Switching in a Run-Time Reconfigurable System.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	virtual hardware, FPGA, run-time reconfiguration, configurable computing, context switching, multi-context
8	Pramod Ramarao, Akhilesh Tyagi	An Adiabatic Framework for a Low Energy µ-Architecture & Compiler.	Interaction between Compilers and Computer Architectures	2003	DBLP DOI BibTeX RDF
8	Kim Marriott, Peter J. Stuckey, Martin Sulzmann	Resource Usage Verification.	APLAS	2003	DBLP DOI BibTeX RDF