Search results for "compilers"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Eriko Nurvitadhi, Asit K. Mishra, Debbie Marr	A sparse matrix vector multiply accelerator for support vector machine.	CASES	2015	DBLP DOI BibTeX RDF
14	Maria A. Serrano, Alessandra Melani, Roberto Vargas, Andrea Marongiu, Marko Bertogna, Eduardo Quiñones	Timing characterization of OpenMP4 tasking model.	CASES	2015	DBLP DOI BibTeX RDF
14	Yongpan Liu, Hehe Li, Xueqing Li, Chun Jason Xue, Yuan Xie 0001, Huazhong Yang	Self-powered wearable sensor node: Challenges and opportunities.	CASES	2015	DBLP DOI BibTeX RDF
14	Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik	Optimizing mobile display brightness by leveraging human visual perception.	CASES	2015	DBLP DOI BibTeX RDF
14	B. Davis, Ryan Baird, Peter Gavin, Magnus Själander, Ian Finlayson, F. Rasapour, G. Cook, Gang-Ryung Uh, David B. Whalley, Gary S. Tyson	Scheduling instruction effects for a statically pipelined processor.	CASES	2015	DBLP DOI BibTeX RDF
14	Russ Dill, Aviral Shrivastava, Hyunok Oh	Optimization of multi-channel BCH error decoding for common cases.	CASES	2015	DBLP DOI BibTeX RDF
14	Darshana Jayasinghe, Aleksandar Ignjatovic, Jude Angelo Ambrose, Roshan G. Ragel, Sri Parameswaran	QuadSeal: Quadruple algorithmic symmetrizing countermeasure against power based side-channel attacks.	CASES	2015	DBLP DOI BibTeX RDF
14	Veena Misra, Benton H. Calhoun, Shekhar Bhansali, John C. Lach, Suman Datta, Mehmet Ozturk, Alper Bozkurt, Ömer Oralkan, Jason Strohmaier	Self-powered wearable sensor platforms for wellness.	CASES	2015	DBLP DOI BibTeX RDF
14	Alexei Colin, Alanson P. Sample, Brandon Lucia	Energy-interference-free system and toolchain support for energy-harvesting devices.	CASES	2015	DBLP DOI BibTeX RDF
14	Pooja Roy, Jianxing Wang, Weng-Fai Wong	PAC: Program Analysis for Approximation-aware Compilation.	CASES	2015	DBLP DOI BibTeX RDF
14	Hadi Esmaeilzadeh	Approximate acceleration: A path through the era of dark silicon and big data.	CASES	2015	DBLP DOI BibTeX RDF
14	Ashutosh Ingole, Biswaroop Maiti, John Augustine, Krishna V. Palem	Does customizing inexactness help over simplistic precision (bit-width) reduction? A case study.	CASES	2015	DBLP DOI BibTeX RDF
14	Karthi Duraisamy, Hao Lu 0001, Partha Pratim Pande, Ananth Kalyanaraman	High performance and energy efficient wireless NoC-enabled multicore architectures for graph analytics.	CASES	2015	DBLP DOI BibTeX RDF
14	Kevin M. Irick, Peter A. Zientara, Jack Sampson, Vijaykrishnan Narayanan	Cognitive cameras: Assistive vision systems.	CASES	2015	DBLP DOI BibTeX RDF
14	Thiago Santini, Paolo Rech, Luigi Carro, Flávio Rech Wagner	Exploiting cache conflicts to reduce radiation sensitivity of operating systems on embedded systems.	CASES	2015	DBLP DOI BibTeX RDF
14	Sasa Misailovic	Accuracy-aware optimization of approximate programs.	CASES	2015	DBLP DOI BibTeX RDF
14	Arnab Raha, Hrishikesh Jayakumar, Soubhagya Sutar, Vijay Raghunathan	Quality-aware data allocation in approximate DRAM?	CASES	2015	DBLP DOI BibTeX RDF
14	Liangzhen Lai, Vikas Chandra, Puneet Gupta 0001	Evaluating and exploiting impacts of dynamic power management schemes on system reliability.	CASES	2015	DBLP DOI BibTeX RDF
14	Marco A. Z. Alves, Paulo C. Santos 0001, Francis B. Moreira 0001, Matthias Diener, Luigi Carro	Saving memory movements through vector processing in the DRAM.	CASES	2015	DBLP DOI BibTeX RDF
14	Xuejing He, Robert P. Dick, Russ Joseph	Embedded system and application aware design of deregulated energy delivery systems.	CASES	2015	DBLP DOI BibTeX RDF
14	Ehsan Atoofian	Reducing shift penalty in Domain Wall Memory through register locality.	CASES	2015	DBLP DOI BibTeX RDF
14	Mehmet Can Kurt, Bin Ren, Gagan Agrawal	Low-Overhead Fault-Tolerance Support Using DISC Programming Model.	LCPC	2015	DBLP DOI BibTeX RDF
14	Aleksandar Prokopec, Martin Odersky	Conc-Trees for Functional and Parallel Programming.	LCPC	2015	DBLP DOI BibTeX RDF
14	Sai Charan Koduru, Rajiv Gupta 0001, Iulian Neamtiu	Size Oblivious Programming with InfiniMem.	LCPC	2015	DBLP DOI BibTeX RDF
14	Bin Ren, Nishkam Ravi, Yi Yang 0018, Min Feng 0001, Gagan Agrawal, Srimat T. Chakradhar	Automatic and Efficient Data Host-Device Communication for Many-Core Coprocessors.	LCPC	2015	DBLP DOI BibTeX RDF
14	Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric	Practical Floating-Point Divergence Detection.	LCPC	2015	DBLP DOI BibTeX RDF
14	Dan Umeda, Takahiro Suzuki, Hiroki Mikami, Keiji Kimura, Hironori Kasahara	Multigrain Parallelization for Model-Based Design Applications Using the OSCAR Compiler.	LCPC	2015	DBLP DOI BibTeX RDF
14	Khaled Alnowaiser, Jeremy Singer	Topology-Aware Parallelism for NUMA Copying Collectors.	LCPC	2015	DBLP DOI BibTeX RDF
14	Cunjing Ge, Feifei Ma, Jeff Huang 0001, Jian Zhang 0001	SMT Solving for the Theory of Ordering Constraints.	LCPC	2015	DBLP DOI BibTeX RDF
14	Hadia Ahmed, Anthony Skjellum, Peter Pirkelbauer	Petal Tool for Analyzing and Transforming Legacy MPI Applications.	LCPC	2015	DBLP DOI BibTeX RDF
14	Alina Simion Sbîrlea, Jun Shirako, Louis-Noël Pouchet, Vivek Sarkar	Polyhedral Optimizations for a Data-Flow Graph Language.	LCPC	2015	DBLP DOI BibTeX RDF
14	Konstantinos Sagonas, Kjell Winblad	Efficient Support for Range Queries and Range Updates Using Contention Adapting Search Trees.	LCPC	2015	DBLP DOI BibTeX RDF
14	Ioannis Papadopoulos 0001, Nathan L. Thomas, Adam Fidel, Dielli Hoxha, Nancy M. Amato, Lawrence Rauchwerger	Asynchronous Nested Parallelism for Dynamic Applications in Distributed Memory.	LCPC	2015	DBLP DOI BibTeX RDF
14	Mamoru Shimaoka, Yasutaka Wada, Keiji Kimura, Hironori Kasahara	Coarse Grain Task Parallelization of Earthquake Simulator GMS Using OSCAR Compiler on Various Cc-NUMA Servers.	LCPC	2015	DBLP DOI BibTeX RDF
14	Putt Sakdhnagool, Amit Sabne, Rudolf Eigenmann	HYDRA : Extending Shared Address Programming for Accelerator Clusters.	LCPC	2015	DBLP DOI BibTeX RDF
14	Nilesh Mahajan, Eric Holk, Arun Chauhan 0001, Andrew Lumsdaine	An Embedded DSL for High Performance Declarative Communication with Correctness Guarantees in C++.	LCPC	2015	DBLP DOI BibTeX RDF
14	H. T. Kung 0001, Bradley McDanel, Surat Teerapittayanon	PNNU: Parallel Nearest-Neighbor Units for Learned Dictionaries.	LCPC	2015	DBLP DOI BibTeX RDF
14	Christopher S. Zakian, Timothy A. K. Zakian, Abhishek Kulkarni, Buddhika Chamith, Ryan R. Newton	Concurrent Cilk: Lazy Promotion from Tasks to Threads in C/C++.	LCPC	2015	DBLP DOI BibTeX RDF
14	Brandon Nesterenko, Wenwen Wang 0001, Qing Yi	Interactive Composition of Compiler Optimizations.	LCPC	2015	DBLP DOI BibTeX RDF
14	Adrien Cassagne, Bertrand Le Gal, Camille Leroux, Olivier Aumage, Denis Barthou	An Efficient, Portable and Generic Library for Successive Cancellation Decoding of Polar Codes.	LCPC	2015	DBLP DOI BibTeX RDF
14	Eriko Nagai, Atsushi Hashimoto 0005, Nagisa Ishiura	Reinforcing Random Testing of Arithmetic Optimization of C Compilers by Scaling up Size and Number of Expressions.	IPSJ Trans. Syst. LSI Des. Methodol.	2014	DBLP DOI BibTeX RDF
14	John H. E. Lasseter	The Interpreter In An Undergraduate Compilers Course.	CoRR	2014	DBLP BibTeX RDF
14	Yulei Sui, Sen Ye, Jingling Xue, Jie Zhang	Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation.	Softw. Pract. Exp.	2014	DBLP DOI BibTeX RDF
14	Andrew W. Appel	Program Logics - for Certified Compilers.		2014	RDF
14	Kenneth C. Louden, Ronald Mak	Compilers and Interpreters.	Computing Handbook, 3rd ed. (1)	2014	DBLP BibTeX RDF
14	Youtao Zhang, Prasad Kulkarni (eds.)	SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014, LCTES '14, Edinburgh, United Kingdom - June 12 - 13, 2014	LCTES	2014	DBLP DOI BibTeX RDF
14	Lucas Grillo, Ruymán Reyes, Francisco de Sande	Performance Evaluation of OpenACC Compilers.	PDP	2014	DBLP DOI BibTeX RDF
14	Peter Sestoft	Early Nordic Compilers and Autocodes.	History of Nordic Computing	2014	DBLP DOI BibTeX RDF
14	Uwe Aßmann, Jens Knoop, Wolf Zimmermann	Model-Based Code-Generators and Compilers - Track Introduction.	ISoLA (1)	2014	DBLP DOI BibTeX RDF
14	Henk Corporaal, Sander Stuijk (eds.)	17th International Workshop on Software and Compilers for Embedded Systems, SCOPES '14, Sankt Goar, Germany, June 10-11, 2014	SCOPES	2014	DBLP BibTeX RDF
14	Yong Li 0021, Sven Schäge, Zheng Yang 0005, Christoph Bader, Jörg Schwenk	New Modular Compilers for Authenticated Key Exchange.	ACNS	2014	DBLP DOI BibTeX RDF
14	Alessandro Fanfarillo, Tobias Burnus, Valeria Cardellini, Salvatore Filippone, Dan Nagle, Damian W. I. Rouson	OpenCoarrays: Open-source Transport Layers Supporting Coarray Fortran Compilers.	PGAS	2014	DBLP DOI BibTeX RDF
14	Eric Sedlar	How i learned to stop worrying and love compilers.	SIGMOD Conference	2014	DBLP DOI BibTeX RDF
14	Vesna Kirandziska, Mile Jovanov, Marija Mihova, Marjan Gusev	Lab assessments in undergraduate course in Compilers for students with no prior knowledge in assembly.	MIPRO	2014	DBLP DOI BibTeX RDF
14	Laurie J. Hendren, Alex Rubinsteyn, Mary Sheeran, Jan Vitek (eds.)	ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, Edinburgh, United Kingdom, June 12-13, 2014	ARRAY@PLDI	2014	DBLP DOI BibTeX RDF
14	Tiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun	Surgical precision JIT compilers.	PLDI	2014	DBLP DOI BibTeX RDF
14	Patrick Bahr	Proving Correctness of Compilers Using Structured Graphs.	FLOPS	2014	DBLP DOI BibTeX RDF
14	Karam S. Chatha, Rolf Ernst, Anand Raghunathan, Ravishankar R. Iyer 0001 (eds.)	2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES 2014, Uttar Pradesh, India, October 12-17, 2014	CASES	2014	DBLP DOI BibTeX RDF
14	Calin Cascaval, Pablo Montesinos (eds.)	Languages and Compilers for Parallel Computing - 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25-27, 2013. Revised Selected Papers	LCPC	2014	DBLP DOI BibTeX RDF
14	Matthew Thomas Ian Milford	Memory centric compilers for embedded streaming systems.		2014	RDF
14	Tobias Grosser	A decoupled approach to high-level loop optimization : tile shapes, polyhedral building blocks and low-level compilers. (Une approche découplée pour l'optimization de boucle à haut niveau).		2014	RDF
14	Luiz G. A. Martins, Ricardo Nobre, Alexandre C. B. Delbem, Eduardo Marques, João M. P. Cardoso	Exploration of compiler optimization sequences using clustering-based selection.	LCTES	2014	DBLP DOI BibTeX RDF
14	Pooja Roy, Rajarshi Ray 0001, Chundong Wang 0001, Weng-Fai Wong	ASAC: automatic sensitivity analysis for approximate computing.	LCTES	2014	DBLP DOI BibTeX RDF
14	Minyi Guo	Energy efficient data access and storage through HW/SW co-design.	LCTES	2014	DBLP DOI BibTeX RDF
14	David B. Whalley	Energy efficient data access techniques.	LCTES	2014	DBLP DOI BibTeX RDF
14	Tobias J. K. Edler von Koch, Björn Franke, Pranav Bhandarkar, Anshuman Dasgupta	Exploiting function similarity for code size reduction.	LCTES	2014	DBLP DOI BibTeX RDF
14	Kiran Chandramohan, Michael F. P. O'Boyle	Partitioning data-parallel programs for heterogeneous MPSoCs: time and energy design space exploration.	LCTES	2014	DBLP DOI BibTeX RDF
14	Roland Lezuo, Philipp Paulweber, Andreas Krall	CASM: optimized compilation of abstract state machines.	LCTES	2014	DBLP DOI BibTeX RDF
14	Hongjune Kim, Seonmyeong Bak, Jaejin Lee	Lightweight and block-level concurrent sweeping for javascript garbage collection.	LCTES	2014	DBLP DOI BibTeX RDF
14	Tom Spink, Harry Wagstaff, Björn Franke, Nigel P. Topham	Efficient code generation in a region-based dynamic binary translator.	LCTES	2014	DBLP DOI BibTeX RDF
14	Sandeep Chaudhary, Sebastian Fischmeister, Lin Tan 0001	em-SPADE: a compiler extension for checking rules extracted from processor specifications.	LCTES	2014	DBLP DOI BibTeX RDF
14	Julien Henry, Mihail Asavoae, David Monniaux, Claire Maiza	How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics.	LCTES	2014	DBLP DOI BibTeX RDF
14	Clément Ballabriga, Lee Kee Chong, Abhik Roychoudhury	Cache-related preemption delay analysis for FIFO caches.	LCTES	2014	DBLP DOI BibTeX RDF
14	Vagelis Bebelis, Pascal Fradet, Alain Girault	A framework to schedule parametric dataflow applications on many-core platforms.	LCTES	2014	DBLP DOI BibTeX RDF
14	Jinyong Lee, Jongwon Lee, Jongeun Lee, Yunheung Paek	Improving performance of loops on DIAM-based VLIW architectures.	LCTES	2014	DBLP DOI BibTeX RDF
14	Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte 0001	Combinatorial spill code optimization and ultimate coalescing.	LCTES	2014	DBLP DOI BibTeX RDF
14	Wenguang Zheng, Hui Wu 0001	WCET: aware dynamic instruction cache locking.	LCTES	2014	DBLP DOI BibTeX RDF
14	Ulysse Beaugnon, Alexey Kravets, Sven van Haastregt, Riyadh Baghdadi, David Tweed, Javed Absar, Anton Lokhmotov	VOBLA: a vehicle for optimized basic linear algebra.	LCTES	2014	DBLP DOI BibTeX RDF
14	Joseph G. Wingbermuehle, Ron K. Cytron, Roger D. Chamberlain	Superoptimization of memory subsystems.	LCTES	2014	DBLP DOI BibTeX RDF
14	José M. Andión, Manuel Arenaz, Gabriel Rodríguez 0001, Juan Touriño	A parallelizing compiler for multicore systems.	SCOPES	2014	DBLP DOI BibTeX RDF
14	Ivan Llopard, Albert Cohen 0001, Christian Fabre, Nicolas Hili	A parallel action language for embedded applications and its compilation flow.	SCOPES	2014	DBLP DOI BibTeX RDF
14	Sven Mallach, Roberto Castañeda Lozano	Optimal general offset assignment.	SCOPES	2014	DBLP DOI BibTeX RDF
14	K. Ananda Vardhan, Y. N. Srikant	Exploiting critical data regions to reduce data cache energy consumption.	SCOPES	2014	DBLP DOI BibTeX RDF
14	Stefan Schürmans, Diandian Zhang, Rainer Leupers, Gerd Ascheid, Xiaotao Chen	Improving ESL power models using switching activity information from timed functional models.	SCOPES	2014	DBLP DOI BibTeX RDF
14	Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Bekooij	Temporal analysis flow based on an enabling rate characterization for multi-rate applications executed on mpsocs with non-starvation-free schedulers.	SCOPES	2014	DBLP DOI BibTeX RDF
14	Haluk Ozaktas, Christine Rochange, Pascal Sainrat	Minimizing the cost of synchronisations in the WCET of real-time parallel programs.	SCOPES	2014	DBLP DOI BibTeX RDF
14	Mihai T. Lazarescu, Albert Cohen 0001, Adrien Guatto, Nhat Minh Lê, Luciano Lavagno, Antoniu Pop, Manuel Prieto, Andrei Sergeevich Terechko, Alexandru Sutii	Energy-aware parallelization flow and toolset for C code.	SCOPES	2014	DBLP DOI BibTeX RDF
14	Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu 0004, Dianfu Ma	A verified transformation: from polychronous programs to a variant of clocked guarded actions.	SCOPES	2014	DBLP DOI BibTeX RDF
14	Bruno Bodin, Youen Lesparre, Jean-Marc Delosme, Alix Munier Kordon	Fast and efficient dataflow graph generation.	SCOPES	2014	DBLP DOI BibTeX RDF
14	Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit	Single-rate approximations of cyclo-static synchronous dataflow graphs.	SCOPES	2014	DBLP DOI BibTeX RDF
14	Stefan J. Geuns, Joost P. H. M. Hausmans, Marco Bekooij	Temporal analysis model extraction for optimizing modal multi-rate stream processing applications.	SCOPES	2014	DBLP DOI BibTeX RDF
14	Gustav Cedersjö, Jörn W. Janneck	Software code generation for dynamic dataflow programs.	SCOPES	2014	DBLP DOI BibTeX RDF
14	Jeremy Fowers, Jianye Liu, Greg Stitt	A framework for dynamic parallelization of FPGA-accelerated applications.	SCOPES	2014	DBLP DOI BibTeX RDF
14	Sara Elshobaky, Ahmed El-Mahdy 0002, Erven Rohou, Layla A. A. El-Sayed, Mohamed Nazih ElDerini	A lightweight incremental analysis and profiling framework for embedded devices.	SCOPES	2014	DBLP DOI BibTeX RDF
14	Merijn Verstraaten, Sven-Bodo Scholz	On Predicting the Impact of Resource Redistributions in Streaming Applications.	ARRAY@PLDI	2014	DBLP DOI BibTeX RDF
14	Andreas Klöckner	Loo.py: transformation-based code generation for GPUs and CPUs.	ARRAY@PLDI	2014	DBLP DOI BibTeX RDF
14	Alexander Collins, Dominik Grewe, Vinod Grover, Sean Lee, Adriana Susnea	NOVA: A Functional Language for Data Parallelism.	ARRAY@PLDI	2014	DBLP DOI BibTeX RDF
14	Troels Henriksen, Cosmin E. Oancea	Bounds Checking: An Instance of Hybrid Analysis.	ARRAY@PLDI	2014	DBLP DOI BibTeX RDF
14	Alen Stojanov, Georg Ofenbeck, Tiark Rompf, Markus Püschel	Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters.	ARRAY@PLDI	2014	DBLP DOI BibTeX RDF
14	Justin Talbot, Zachary DeVito, Pat Hanrahan	Just-in-time Length Specialization of Dynamic Vector Code.	ARRAY@PLDI	2014	DBLP DOI BibTeX RDF