|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2121 occurrences of 943 keywords
|
|
|
Results
Found 2174 publication records. Showing 2174 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 1-10, 2015, IEEE, 978-1-4673-8321-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Caio Hoffman, Mario Lúcio Côrtes, Diego F. Aranha, Guido Araujo |
Computer security by hardware-intrinsic authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 143-152, 2015, IEEE, 978-1-4673-8321-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 124-132, 2015, IEEE, 978-1-4673-8321-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 94-103, 2015, IEEE, 978-1-4673-8321-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Farzad Samie, Lars Bauer, Jörg Henkel |
An approximate compressor for wearable biomedical healthcare monitoring systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 133-142, 2015, IEEE, 978-1-4673-8321-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Pirmin Vogel, Andrea Marongiu, Luca Benini |
Lightweight virtual memory support for many-core accelerators in heterogeneous embedded SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 45-54, 2015, IEEE, 978-1-4673-8321-9. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 11-20, 2015, IEEE, 978-1-4673-8321-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Danese, Luca Piccolboni, Graziano Pravadelli |
A parallelizable approach for mining likely invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 193-201, 2015, IEEE, 978-1-4673-8321-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 104-113, 2015, IEEE, 978-1-4673-8321-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 75-82, 2015, IEEE, 978-1-4673-8321-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 173-182, 2015, IEEE, 978-1-4673-8321-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Abdullah Al Faruque, Francesco Regazzoni 0001, Miroslav Pajic |
Design methodologies for securing cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015, Amsterdam, Netherlands, October 4-9, 2015, pp. 30-36, 2015, IEEE, 978-1-4673-8321-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 22(4), pp. 938-942, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 63(8), pp. 1854-1867, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 25(1), pp. 63-72, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 25(3), pp. 642-652, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Grazia Concilio, Alessandro Deserti, Francesca Rizzo 0003 |
Exploring the interplay between urban governance and smart services codesign. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IxD&A ![In: IxD&A 20, pp. 33-47, 2014. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![IEEE The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
16 | Magdy A. El-Moursy, Ayman Sheirah, Mona Safar, Ashraf Salem |
Efficient embedded SoC hardware/software codesign using virtual platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDT ![In: 9th International Design and Test Symposium, IDT 2014, Algeries, Algeria, December 16-18, 2014, pp. 36-38, 2014, IEEE, 978-1-4799-8200-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Edin Zhang, Chiachi Huang |
On Achieving Optimal Rate of Digital Precoder by RF-Baseband Codesign for MIMO Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall ![In: IEEE 80th Vehicular Technology Conference, VTC Fall 2014, Vancouver, BC, Canada, September 14-17, 2014, pp. 1-5, 2014, IEEE, 978-1-4799-4449-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Naylor, Simon W. Moore |
Rapid codesign of a soft vector processor and its compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: 24th International Conference on Field Programmable Logic and Applications, FPL 2014, Munich, Germany, 2-4 September, 2014, pp. 1-4, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDC ![In: IDC '14, Proceedings of the 2014 Conference on Interaction Design and Children, June 17-20, 2014, Aarhus, Denmark, pp. 77-84, 2014, ACM, 9781450322720. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSIM-PADS ![In: SIGSIM Principles of Advanced Discrete Simulation, SIGSIM-PADS '14, Denver, CO, USA, May 18-21, 2014, pp. 27-38, 2014, ACM, 978-1-4503-2794-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHC (Companion) ![In: Companion Proceedings of the 13th Brazilian Symposium on Human Factors in Computing Systems, IHC 2014, Foz do Iguaçu, Brazil, October 27-31, 2014, pp. 13-16, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![ACM The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 22nd IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2014, Boston, MA, USA, May 11-13, 2014, pp. 235, 2014, IEEE Computer Society, 978-1-4799-5110-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMIS ![In: Eighth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2014, Birmingham, United Kingdom, 2-4 July, 2014, pp. 387-392, 2014, IEEE Computer Society, 978-1-4799-4333-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Manu Awasthi |
Managing Data Locality in Future Memory Hierarchies Using a Hardware Software Codesign Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
16 | Huasha Zhao |
High Performance Machine Learning through Codesign and Rooflining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
16 | Ke Sun, Loïc Besnard, Thierry Gautier |
Optimized distribution of synchronous programs via a polychronous model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 42-51, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Stephen A. Edwards, Hiren D. Patel |
MEMOCODE 2014 software design contest: Space Invaders emulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 185, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Sonali Dutta, Moshe Y. Vardi |
Assertion-based flow monitoring of SystemC models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 145-154, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Sam Procter, John Hatcliff |
An architecturally-integrated, systems-based hazard analysis for medical applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 124-133, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Townsend, Phillip H. Jones, Joseph Zambreno |
A high performance systolic architecture for k-NN classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 201-204, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Alexandru Tanase, Michael Witterauf, Jürgen Teich, Frank Hannig |
Symbolic inner loop parallelisation for massively parallel processor arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 219-228, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 62-71, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Torben Scheffel, Malte Schmitz 0001 |
Three-valued asynchronous distributed runtime verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 52-61, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 114-123, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 194-197, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Peter A. Milder |
MEMOCODE 2014 design contest: k-Nearest Neighbors with Mahalanobis distance metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 198-200, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 209-218, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 165-174, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Johannes Kinder |
Tutorial I: Efficient symbolic execution for software testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 231, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Pierluigi Nuzzo 0002, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
Are interface theories equivalent to contract theories? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 104-113, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Bertrand Meyer 0001 |
Keynote talk IIP: Proving (and revisiting) what programs do not. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 144, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Robin Larrieu, Natarajan Shankar |
A framework for high-assurance quasi-synchronous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 72-83, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 12-21, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Rubén Trillo Flores, Marc Boyer |
Performance analysis of the Disrupted Static Priority scheduling for AFDX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 94-103, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 175-184, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Ying Qin, ShengYu Shen, Yan Jia 0001 |
Structure-aware CNF obfuscation for privacy-preserving SAT solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 84-93, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos |
Formal property verification in a conformance testing framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 155-164, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 205-208, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Thi Thieu Hoa Le, Roberto Passerone |
Refinement-based synthesis of correct contract model decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 134-143, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Wayne P. Burleson |
Keynote talk I: Security and privacy in implantable medical devices: An ongoing concern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 1, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Adnan Bouakaz, Thierry Gautier |
An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 2-11, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Joseph Sifakis |
Keynote talk III: A framework for modeling architectures and their properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 229-230, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | David A. Richie, James A. Ross |
Cycle-accurate 8080 emulation using an ARM11 processor with dynamic binary translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 186-189, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 190-193, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Michal Karczmarek, Arvind, Muralidaran Vijayaraghavan |
A new synthesis procedure for atomic rules containing multi-cycle function blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 22-31, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 32-41, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 28:1-28:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 15:1-15:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Philipp Mundhenk, Florian Sagstetter, Sebastian Steinhorst, Martin Lukasiewycz, Samarjit Chakraborty |
Policy-based message scheduling using FlexRay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 19:1-19:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 12:1-12:9, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jürgo-Sören Preden |
Generating situation awareness in cyber-physical systems: Creation and exchange of situational information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 21:1-21:3, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 10:1-10:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Martin Lukasiewycz, Sebastian Steinhorst, Swaminathan Narayanaswamy |
Verification of balancing architectures for modular batteries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 30:1-30:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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! ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 11:1-11:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 6:1-6:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 18:1-18:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 27:1-27:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Yi Xiang, Sudeep Pasricha |
Fault-aware application scheduling in low-power embedded systems with energy harvesting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 32:1-32:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 34:1-34:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 33:1-33:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 5:1-5:9, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Axel Jantsch, Kalle Tammemäe |
A framework of awareness for artificial subjects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 20:1-20:3, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 29:1-29:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 2:1-2:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 17:1-17:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 3:1-3:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 23:1-23:3, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 13:1-13:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 8:1-8:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 24:1-24:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 31:1-31:8, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 16:1-16:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Omid Assare, Rajesh Gupta 0001 |
Timing analysis of erroneous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 7:1-7:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 14:1-14:9, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 22:1-22:3, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 35:1-35:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Jongeun Lee, Seongseok Seo, Hongsik Lee, Hyeon Uk Sim |
Flattening-based mapping of imperfect loop nests for CGRAs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 9:1-9:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Sunha Ahn, Sharad Malik |
Automated firmware testing using firmware-hardware interaction patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 25:1-25:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 1:1-1:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 4:1-4:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 26:1-26:10, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 9(4), pp. 2165-2176, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 9(1), pp. 439-450, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Real Time Image Process. ![In: J. Real Time Image Process. 8(4), pp. 353-368, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
16 | Grace Metri, Manuj Sabharwal, Sundar Iyer, Abhishek Agrawal |
Hardware/Software Codesign to Optimize SoC Device Battery Life. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 46(10), pp. 89-92, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
|
|