Search results for "Codesign"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Florian Kriebel, Arun Subramaniyan 0001, Semeen Rehman, Segnon Jean Bruno Ahandagbe, Muhammad Shafique 0001, Jörg Henkel	R2Cache: Reliability-aware reconfigurable last-level cache architecture for multi-cores.	CODES+ISSS	2015	DBLP DOI BibTeX RDF
16	Caio Hoffman, Mario Lúcio Côrtes, Diego F. Aranha, Guido Araujo	Computer security by hardware-intrinsic authentication.	CODES+ISSS	2015	DBLP DOI BibTeX RDF
16	Eunhyeok Park, Dongyoung Kim, Soobeom Kim, Yong-Deok Kim, Gunhee Kim, Sungroh Yoon, Sungjoo Yoo	Big/little deep neural network for ultra low power inference.	CODES+ISSS	2015	DBLP DOI BibTeX RDF
16	Marco D. Santambrogio, José L. Ayala, Simone Campanoni, Riccardo Cattaneo, Gianluca C. Durelli, Matteo Ferroni, Alessandro Antonio Nacci, Josué Pagán, Marina Zapater, Mónica Vallejo	Power-awareness and smart-resource management in embedded computing systems.	CODES+ISSS	2015	DBLP DOI BibTeX RDF
16	Farzad Samie, Lars Bauer, Jörg Henkel	An approximate compressor for wearable biomedical healthcare monitoring systems.	CODES+ISSS	2015	DBLP DOI BibTeX RDF
16	Pirmin Vogel, Andrea Marongiu, Luca Benini	Lightweight virtual memory support for many-core accelerators in heterogeneous embedded SoCs.	CODES+ISSS	2015	DBLP DOI BibTeX RDF
16	Chun-Ta Lin, Yuan-Hao Chang 0001, Tei-Wei Kuo, Hung-Sheng Chang, Hsiang-Pang Li	How to improve the space utilization of dedup-based PCM storage devices?	CODES+ISSS	2015	DBLP DOI BibTeX RDF
16	Alessandro Danese, Luca Piccolboni, Graziano Pravadelli	A parallelizable approach for mining likely invariants.	CODES+ISSS	2015	DBLP DOI BibTeX RDF
16	Santiago Pagani, Muhammad Shafique 0001, Heba Khdr, Jian-Jia Chen, Jörg Henkel	seBoost: Selective boosting for heterogeneous manycores.	CODES+ISSS	2015	DBLP DOI BibTeX RDF
16	Mohammad Salehi, Muhammad Shafique 0001, Florian Kriebel, Semeen Rehman, Mohammad Khavari Tavana, Alireza Ejlali, Jörg Henkel	dsReliM: Power-constrained reliability management in Dark-Silicon many-core chips under process variations.	CODES+ISSS	2015	DBLP DOI BibTeX RDF
16	Tiago Mück, Santanu Sarma, Nikil D. Dutt	Run-DMC: Runtime dynamic heterogeneous multicore performance and power estimation for energy efficiency.	CODES+ISSS	2015	DBLP DOI BibTeX RDF
16	Mohammad Abdullah Al Faruque, Francesco Regazzoni 0001, Miroslav Pajic	Design methodologies for securing cyber-physical systems.	CODES+ISSS	2015	DBLP DOI BibTeX RDF
16	Shih-Hung Weng, Yulei Zhang 0002, James F. Buckwalter, Chung-Kuan Cheng	Energy Efficiency Optimization Through Codesign of the Transmitter and Receiver in High-Speed On-Chip Interconnects.	IEEE Trans. Very Large Scale Integr. Syst.	2014	DBLP DOI BibTeX RDF
16	Ardavan Pedram, Andreas Gerstlauer, Robert A. van de Geijn	Algorithm, Architecture, and Floating-Point Unit Codesign of a Matrix Factorization Accelerator.	IEEE Trans. Computers	2014	DBLP DOI BibTeX RDF
16	Gregory Hackmann, Weijun Guo, Guirong Yan, Zhuoxiong Sun, Chenyang Lu 0001, Shirley Dyke	Cyber-Physical Codesign of Distributed Structural Health Monitoring with Wireless Sensor Networks.	IEEE Trans. Parallel Distributed Syst.	2014	DBLP DOI BibTeX RDF
16	Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jiannong Cao 0001, Xue Liu 0001	From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations.	IEEE Trans. Parallel Distributed Syst.	2014	DBLP DOI BibTeX RDF
16	Grazia Concilio, Alessandro Deserti, Francesca Rizzo 0003	Exploring the interplay between urban governance and smart services codesign.	IxD&A	2014	DBLP BibTeX RDF
16		Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014	MEMOCODE	2014	DBLP BibTeX RDF
16	Magdy A. El-Moursy, Ayman Sheirah, Mona Safar, Ashraf Salem	Efficient embedded SoC hardware/software codesign using virtual platform.	IDT	2014	DBLP DOI BibTeX RDF
16	Edin Zhang, Chiachi Huang	On Achieving Optimal Rate of Digital Precoder by RF-Baseband Codesign for MIMO Systems.	VTC Fall	2014	DBLP DOI BibTeX RDF
16	Matthew Naylor, Simon W. Moore	Rapid codesign of a soft vector processor and its compiler.	FPL	2014	DBLP DOI BibTeX RDF
16	Foad Hamidi, Karla Saenz, Melanie Baljko	Sparkles of brilliance: incorporating cultural and social context in codesign of digital artworks.	IDC	2014	DBLP DOI BibTeX RDF
16	Misbah Mubarak, Christopher D. Carothers, Robert B. Ross, Philip H. Carns	A case study in using massively parallel simulation for extreme-scale torus network codesign.	SIGSIM-PADS	2014	DBLP DOI BibTeX RDF
16	Fábio Pereira Alves, Cristiano Maciel	Codesign de atividades gamificadas: uma abordagem participativa do design instrucional em ambientes virtuais de aprendizagem.	IHC (Companion)	2014	DBLP BibTeX RDF
16	Radu Marculescu, Gabriela Nicolescu (eds.)	2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Yuki Ando, Seiya Shibata, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada	Fast Design-Space Exploration Method for SW/HW Codesign on FPGAs.	FCCM	2014	DBLP DOI BibTeX RDF
16	Jonathan Ruiz de Garibay, Aitor Almeida, Szilard A. Kados, Adolfo Garcia Corcuera, Diego López-de-Ipiña	Codesign-Oriented Platform for Agile Internet of Things Prototype Development.	IMIS	2014	DBLP DOI BibTeX RDF
16	Manu Awasthi	Managing Data Locality in Future Memory Hierarchies Using a Hardware Software Codesign Approach.		2014	RDF
16	Jigar Solanki	Approche générative conjointe logicielle-matérielle au développement du support protocolaire d'applications réseaux. (A generative codesign software-hardware based approach for building efficient network protocol parsers for embedded systems).		2014	RDF
16	Huasha Zhao	High Performance Machine Learning through Codesign and Rooflining.		2014	RDF
16	Ke Sun, Loïc Besnard, Thierry Gautier	Optimized distribution of synchronous programs via a polychronous model.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Stephen A. Edwards, Hiren D. Patel	MEMOCODE 2014 software design contest: Space Invaders emulator.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Sonali Dutta, Moshe Y. Vardi	Assertion-based flow monitoring of SystemC models.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Sam Procter, John Hatcliff	An architecturally-integrated, systems-based hazard analysis for medical applications.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Kevin Townsend, Phillip H. Jones, Joseph Zambreno	A high performance systolic architecture for k-NN classification.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Alexandru Tanase, Michael Witterauf, Jürgen Teich, Frank Hannig	Symbolic inner loop parallelisation for massively parallel processor arrays.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Prakash Chandrasekaran, Kavum Muriyil Balachandran Shibu Kumar, Remish L. Minz, Deepak D'Souza, Lomesh Meshram	A multi-core version of FreeRTOS verified for datarace and deadlock freedom.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Torben Scheffel, Malte Schmitz 0001	Three-valued asynchronous distributed runtime verification.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Iuliana Prodan	TESL: A language for reconciling heterogeneous execution traces.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Pablo González de Aledo Marugán, Luis Díaz Suárez, Álvaro Díaz Suárez, Pablo Sánchez Espeso	Profiling and optimizations for embedded systems.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Peter A. Milder	MEMOCODE 2014 design contest: k-Nearest Neighbors with Mahalanobis distance metric.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem	Building faithful high-level models and performance evaluation of manycore embedded systems.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang 0006	From visual to logical formalisms for SoC validation.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Johannes Kinder	Tutorial I: Efficient symbolic execution for software testing.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Pierluigi Nuzzo 0002, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli	Are interface theories equivalent to contract theories?	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Bertrand Meyer 0001	Keynote talk IIP: Proving (and revisiting) what programs do not.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Robin Larrieu, Natarajan Shankar	A framework for high-assurance quasi-synchronous systems.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Jan Gerrit Bekooij	Unified dataflow model for the analysis of data and pipeline parallelism, and buffer sizing.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Rubén Trillo Flores, Marc Boyer	Performance analysis of the Disrupted Static Priority scheduling for AFDX.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault	Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Ying Qin, ShengYu Shen, Yan Jia 0001	Structure-aware CNF obfuscation for privacy-preserving SAT solving.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos	Formal property verification in a conformance testing framework.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Armin Ahmadzadeh, Reza Mirzaei, Hatef Madani, Mohammad Shobeiri, Mahsa Sadeghi, Mohsen Gavahi, Kianoush Jafari, Mohsen Mahmoudi Aznaveh, Saeid Gorgin 0001	Cost-efficient implementation of k-NN algorithm on multi-core processors.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Thi Thieu Hoa Le, Roberto Passerone	Refinement-based synthesis of correct contract model decompositions.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Wayne P. Burleson	Keynote talk I: Security and privacy in implantable medical devices: An ongoing concern.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Adnan Bouakaz, Thierry Gautier	An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Joseph Sifakis	Keynote talk III: A framework for modeling architectures and their properties.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	David A. Richie, James A. Ross	Cycle-accurate 8080 emulation using an ARM11 processor with dynamic binary translation.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Nariman Eskandari, Hatef Madani, Armin Ahmadzadeh, Mohsen Mahmoudi Aznaveh, Saeid Gorgin 0001	A fast emulator for ARM-based embedded systems.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Michal Karczmarek, Arvind, Muralidaran Vijayaraghavan	A new synthesis procedure for atomic rules containing multi-cycle function blocks.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Yu Bai 0003, Klaus Schneider 0001, Nikita Bhardwaj, Badarinath Katti, Tania Shazadi	From clock-driven to data-driven models.	MEMOCODE	2014	DBLP DOI BibTeX RDF
16	Bin Zhou, Wei Zhang 0012, Thambipillai Srikanthan, J. K. J. Teo	A low cost acceleration method for hardware trojan detection based on fan-out cone analysis.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Daniel Thiele, Philip Axer, Rolf Ernst, Jan R. Seyler	Improving formal timing analysis of switched ethernet by exploiting traffic stream correlations.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Philipp Mundhenk, Florian Sagstetter, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty	Policy-based message scheduling using FlexRay.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Mahboobeh Ghorbani, Yanzhi Wang, Yuankun Xue, Massoud Pedram, Paul Bogdan	Prediction and control of bursty cloud workloads: A fractal framework.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Jürgo-Sören Preden	Generating situation awareness in cyber-physical systems: Creation and exchange of situational information.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Santiago Pagani, Heba Khdr, Waqaas Munawar, Jian-Jia Chen, Muhammad Shafique 0001, Minming Li, Jörg Henkel	TSP: Thermal Safe Power - Efficient power budgeting for many-core systems in dark silicon.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Martin Lukasiewycz, Sebastian Steinhorst, Swaminathan Narayanaswamy	Verification of balancing architectures for modular batteries.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Hrishikesh Jayakumar, Arnab Raha, Vijay Raghunathan	Hypnos: An ultra-low power sleep mode with SRAM data retention for embedded microcontrollers!	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Bing-Jing Chang, Yuan-Hao Chang 0001, Hung-Sheng Chang, Tei-Wei Kuo, Hsiang-Pang Li	A PCM translation layer for integrated memory and storage management.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Christian Pilato, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni	System-level memory optimization for high-level synthesis of component-based SoCs.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	S. T. Choden Konigsmark, Leslie K. Hwang, Deming Chen, Martin D. F. Wong	System-of-PUFs: Multilevel security for embedded systems.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Yi Xiang, Sudeep Pasricha	Fault-aware application scheduling in low-power embedded systems with energy harvesting.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Andreas Weichslgartner, Deepak Gangadharan, Stefan Wildermann, Michael Glaß, Jürgen Teich	DAARM: Design-time application analysis and run-time mapping for predictable execution in many-core systems.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Chen Pan, Mimi Xie, Jingtong Hu, Yiran Chen 0001, Chengmo Yang	3M-PCM: Exploiting multiple write modes MLC phase change main memory in embedded systems.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Chen Liu 0013, Chengmo Yang, Yuanqi Shen	Leveraging microarchitectural side channel information to efficiently enhance program control flow integrity.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Axel Jantsch, Kalle Tammemäe	A framework of awareness for artificial subjects.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Milos Panic, Sebastian Kehr, Eduardo Quiñones, Bert Böddeker, Jaume Abella 0001, Francisco J. Cazorla	RunPar: An allocation algorithm for automotive applications exploiting runnable parallelism in multicores.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Sebastian Graf 0002, Felix Reimann, Michael Glaß, Jürgen Teich	Towards scalable symbolic routing for multi-objective networked embedded system design and optimization.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Oliver Reiche, Moritz Schmid, Frank Hannig, Richard Membarth, Jürgen Teich	Code generation from a domain-specific language for C-based HLS of hardware accelerators.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Hananeh Aliee, Michael Glaß, Faramarz Khosravi, Jürgen Teich	An efficient technique for computing importance measures in automatic design of dependable embedded systems.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Liang Guang, Juha Plosila, Hannu Tenhunen	From self-aware building blocks to self-organizing systems with hierarchical agent-based adaptation.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Muhammad Shafique 0001, Siddharth Garg, Tulika Mitra, Sri Parameswaran, Jörg Henkel	Dark silicon as a challenge for hardware/software co-design.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Arian Maghazeh, Unmesh D. Bordoloi, Adrian Horga, Petru Eles, Zebo Peng	Saving energy without defying deadlines on mobile GPU-based heterogeneous systems.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Liangpeng Guo, Qi Zhu 0002, Pierluigi Nuzzo 0002, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee	Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Di Zhu 0002, Siyu Yue, Sangyoung Park, Yanzhi Wang, Naehyuck Chang, Massoud Pedram	Cost-effective design of a hybrid electrical energy storage system for electric vehicles.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Dean Michael Ancajas, Koushik Chakraborty, Sanghamitra Roy, Jason M. Allred	Tackling QoS-induced aging in exascale systems through agile path selection.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Omid Assare, Rajesh Gupta 0001	Timing analysis of erroneous systems.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Bharathwaj Raghunathan, Siddharth Garg	Job arrival rate aware scheduling for asymmetric multi-core servers in the dark silicon era.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Santanu Sarma, Nikil D. Dutt, Puneet Gupta 0001, Alexandru Nicolau, Nalini Venkatasubramanian	On-chip self-awareness using Cyberphysical-Systems-on-Chip (CPSoC).	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Sebastian Tobuschat, Moritz Neukirchner, Leonardo Ecco, Rolf Ernst	Workload-aware shaping of shared resource accesses in mixed-criticality systems.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Jongeun Lee, Seongseok Seo, Hongsik Lee, Hyeon Uk Sim	Flattening-based mapping of imperfect loop nests for CGRAs?	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Sunha Ahn, Sharad Malik	Automated firmware testing using firmware-hardware interaction patterns.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Chih-Ming Hsieh, Farzad Samie, M. Sammer Srouji, Manyi Wang, Zhonglei Wang, Jörg Henkel	Hardware/software co-design for a wireless sensor network platform.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Yong Zou 0001, Sudeep Pasricha	HEFT: A hybrid system-level framework for enabling energy-efficient fault-tolerance in NoC based MPSoCs.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Jiun-Hung Ding, Wei-Chung Hsu, BaiCheng Jeng, Shih-Hao Hung, Yeh-Ching Chung	HSAemu - A full system emulator for HSA platforms.	CODES+ISSS	2014	DBLP DOI BibTeX RDF
16	Imen Bahri, Lahoucine Idkhajine, Eric Monmasson, Mohamed El Amine Benkhelifa	Hardware/Software Codesign Guidelines for System on Chip FPGA-Based Sensorless AC Drive Applications.	IEEE Trans. Ind. Informatics	2013	DBLP DOI BibTeX RDF
16	Xianghui Cao, Peng Cheng 0001, Jiming Chen 0001, Youxian Sun	An Online Optimization Approach for Control and Communication Codesign in Networked Cyber-Physical Systems.	IEEE Trans. Ind. Informatics	2013	DBLP DOI BibTeX RDF
16	Johny Paul, Andreas Laika, Christopher Claus, Walter Stechele, Adam El Sayed Auf, Erik Maehle	Real-time motion detection based on SW/HW-codesign for walking rescue robots.	J. Real Time Image Process.	2013	DBLP DOI BibTeX RDF
16	Grace Metri, Manuj Sabharwal, Sundar Iyer, Abhishek Agrawal	Hardware/Software Codesign to Optimize SoC Device Battery Life.	Computer	2013	DBLP DOI BibTeX RDF