Publications

Shows all publications by members of the Institute of Computer Engineering.

Currently giving an overview of all categories - show all...

Journal Papers

T. Polzer, A. Steininger: A Model for the Metastability Delay of Sequential Elements
Journal of Circuits, Systems, and Computers, 26 (2017), p. 174001001 - 174001022
bib details doi

J. Qadir, A. Sathiaseelan, U. Farooq, M. Usama, M. Imran, M. Shafique: Approximate Networking for Universal Internet Access
Future Internet, 9 (2017), p. 1 - 23
bib details doi

S. Mazahir, O. Hasan, R. Hafiz, M. Shafique: Probabilistic Error Analysis of Approximate Recursive Multipliers
IEEE Transactions on Computers, 66 (2017), p. 1982 - 1990
bib details doi

A. Pathania, V. Venkataramani, M. Shafique, T. Mitra, J. Henkel: Optimal Greedy Algorithm for Many-Core Scheduling
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (2017), p. 1054 - 1058
bib details doi

S. Pagani, A. Pathania, M. Shafique, J. Chen, J. Henkel: Energy Efficiency for Clustered Heterogeneous Multicores
IEEE Transactions on Parallel and Distributed Systems, 28 (2017), p. 1315 - 1330
bib details doi

show all...

Conference Papers

B. Fritz, V. S. Veeravalli, A. Steininger, V. Simek: Setup for an Experimental Study of Radiation Effects in 65nm CMOS
20th Euromicro Conference on Digital System Design, Wien; in: Proceedings of the 20th Euromicro Conference on Digital System Design, 2017, p. 329 - 336
bib details doi

M. Andjelkovic, M. Krstic, R. Kraemer, V. S. Veeravalli, A. Steininger: A Critical Charge Model for Estimating the SET and SEU Sensitivity: A Muller C-Element Case Study
The 26th IEEE Asian Test Symposium (ATS´17), Taipei, Taiwan; in: Proceedings of the 26th IEEE Asian Test Symposium (ATS´17), 2017, p. 1 - 6
bib details

M. Shafique (invited): Enabling Extreme Energy-Efficiency through Brain-Inspired Computing Trends: From Approximate to Neural Processing
15th International Conference On Frontiers of Information Technology (FIT'17), Islamabad, Pakistan; in: 15th International Conference On Frontiers of Information Technology (FIT'17), 2017
bib details

M. Shafique (invited): Emerging Brain-Inspired Computing Trends: From Approximate Computing to Neural Processing
International Conference On Latest Trends in Electrical Engineering and Computing Technologies (INTELLECT'17), Karachi, Pakistan; in: International Conference On Latest Trends in Electrical Engineering and Computing Technologies (INTELLECT'17), 2017
bib details

M. Shafique, R. Hafiz, M. Javed, S. Abbas, L. Sekanina, Z. Vasicek, V. Mrazek: Adaptive and Energy-Efficient Architectures for Machine Learning: Challenges, Opportunities, and Research Roadmap
2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'17), 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'17); in: Proceedings of 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'17), IEEE, 2017, ISSN: 2159-3477, p. 617 - 632
bib details doi

show all...

Books

S. Pagani, M. Shafique, J. Henkel: Design Space Exploration and Run-Time Adaptation for Multicore Resource Management Under Performance and Power Constraints
Handbook of Hardware/Software Codesign, Springer Science+Business Media, Dordrecht, 2017, ISBN: 978-94-017-7267-9, p. 301 - 332
bib details doi

S. Pagani, K. Khdr, J. Chen, M. Shafique, M. Li, J. Henkel: Thermal Safe Power : Efficient Thermal-Aware Power Budgeting for Manycore Systems in Dark Silicon
The Dark Side of Silicon - Energy Efficient Computing in the Dark Silicon Era, Springer International Publishing, Switzerland, 2017, ISBN: 978-3-319-31596-6, p. 125 - 158
bib details doi

H. Bokhari, M. Shafique, J. Henkel, S. Parameswaran: Adroit Use of Dark Silicon for Power, Performance and Reliability Optimisation of NoCs
The Dark Side of Silicon - Energy Efficient Computing in the Dark Silicon Era, Springer International Publishing, Switzerland, 2017, ISBN: 978-3-319-31596-6, p. 291 - 325
bib details doi

M. Khan, M. Shafique, J. Henkel: Energy Efficient Embedded Video Processing Systems - A Hardware-Software Collaborative Approach
Springer International Publishing, 2017, ISBN: 978-3-319-61455-7; 238 pages
bib details doi

H. Isakovic, R. Grosu (invited): A Mixed-Criticality Integration in Cyber-Physical Systems: A Heterogeneous Time-Triggered Architecture on a Hybrid SoC Platform
Solutions for Cyber-Physical Systems Ubiquity, IGI Global, Hershey PA, USA 17033, 1 (2018), ISBN: 9781522528456, p. 169 - 194
bib details doi

show all...

Editorials

A. Bondavalli, S. Bouchenak, H. Kopetz: Cyber-Physical Systems of Systems, Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
Lecture Notes in Computer Science, series editors: D. Hutchison, T. Kanade, J. Kittler, J. Kleinberg, F. Mattern, J. Mitchell, M. Naor, C. Pandu Rangan, B. Steffen, D. Terzopoulos, D. Tygar, G. Weikum et al., Springer International Publishing, 2016, ISBN: 978-3-319-47589-9; 257 pages
bib details doi

E. Bartocci, P. Lio, N. Paoletti: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Springer International Publishing, Switzerland, 2016, ISBN: 978-3-319-45176-3; 356 pages
bib details doi

E. Bartocci, R. Majumdar: Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015. Proceedings
Springer International Publishing, Switzerland, 2015, ISBN: 978-3-319-23819-7; 432 pages
bib details doi

E. Bartocci, L. Bortolussi: Proceedings First International Workshop on Hybrid Systems and Biology
Electronic Proceedings in Theoretical Computer Science, 2012, ISSN: 2075-2180
bib details doi

E. Bartocci, C. Ramakrishnan: Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Springer-Verlag Berlin Heidelberg, Berlin Heidelberg, 2013, ISBN: 978-3-642-39175-0; 377 pages
bib details doi

show all...

Theses

F. Huemer: Protecting 4-Phase Delay-Insensitive Communication Against Transient Faults (Master's Thesis)
reviewer: A. Steininger; Technische Informatik, 2017; oral examination: 2017-02-20
bib details

S. Varadan: Design of Custom ASIC for Radiation Experiments to Study Single Event Effects (PhD Thesis)
reviewers: C. Metra, M. Krstic; Technische Informatik, 2017; oral examination: 2017-11-24
bib details

E. Ibrahimovic: Life cycle assessment of vehicles with alternative powertrains (Master's Thesis)
reviewers: B. Geringer, C. Six; Institut für Fahrzeugantriebe und Automobiltechnik, 2017
bib details

C. Hermann: ASCARTS Design of an Asynchronous Processor using a High-Level Specification Language (Master's Thesis)
reviewers: A. Steininger, J. Lechner; Institut für Technische Informatik, 2016
bib details

O. Balún: Towards Distributed Controllers Based on Caenorhabditis elegans Locomotory Neural Network (Master's Thesis)
reviewers: R. Grosu, R. M. Hasani; Institut für Technische Informatik, 2016; oral examination: 2016-12-22
bib details

show all...

Presentations

M. Shafique (invited): Approximate Computing across the Hardware and Software Stacks
Invited Talks at TU Eindhoven, TU Eindhoven, Netherlands
bib details

M. Shafique (invited): Cross-Layer Approximate Computing: From Circuits to Applications
Invited Talks at University of Twente, University of Twente, Netherlands
bib details

B. Fritz, V. S. Veeravalli, A. Steininger, V. Simek: Setup for an Experimental Study of Radiation Effects in 65nm CMOS
20th Euromicro Conference on Digital System Design, Wien; in: Proceedings of the 20th Euromicro Conference on Digital System Design, 2017, p. 329 - 336
bib details doi

M. Andjelkovic, M. Krstic, R. Kraemer, V. S. Veeravalli, A. Steininger: A Critical Charge Model for Estimating the SET and SEU Sensitivity: A Muller C-Element Case Study
The 26th IEEE Asian Test Symposium (ATS´17), Taipei, Taiwan; in: Proceedings of the 26th IEEE Asian Test Symposium (ATS´17), 2017, p. 1 - 6
bib details

M. Shafique: Low-Power Computing and Emerging Trends
CPS Summer School 2017, Porto Conte Ricerche, Alghero, Italy
bib details

show all...

Reports, Miscellaneous

M. Shafique, S. Garg, V. Chandra: Guest Editors´ Introduction: Computing in the Dark Silicon Era
Ieee Design & Test, 34 (2017); 3 pages
bib details doi

A. Steininger, A. Pawlak, V. Stopjakova: Novel Trends in Design & Test
Journal of Circuits, Systems, and Computers, 26 (2017); 80 pages
bib details doi

R. Kuznets, L. Strassburger: Maehara-style Modal Nested Calculi
HAL, RR-9123, 2017; 21 pages
bib details pdf

J. Maier: Modeling the CMOS Inverter using Hybrid Systems
TUW-259633, 2017
bib details pdf

M. Biely, P. Robinson, U. Schmid, M. Schwarz, K. Winkler: Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic Networks
TUW-258404, 2016
bib details pdf

show all...

Older and additional publications may be found on an external server at http://www.vmars.tuwien.ac.at/papers/papers.html.