Michael Dossis

Orcid: 0000-0002-0178-2054

Affiliations:
  • University of Western Macedonia, Department of Computer Science, Kastoria, Greece


According to our database1, Michael Dossis authored at least 68 papers between 1994 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
The Advantage of the 5G Network for Enhancing the Internet of Things and the Evolution of the 6G Network.
Sensors, April, 2024

Semantic context modeling and extraction with extended, augmented, or virtual reality, for the digital representation of a historical or archaeological monument.
Proceedings of the 19th International Workshop on Semantic and Social Media Adaptation & Personalization, 2024

Accelerating CNNs for Pneumonia Disease Diagnosis via Heterogeneous FPGA Systems.
Proceedings of the 9th South-East Europe Design Automation, 2024

Fake News Detection Approach Using Hybrid Deep Learning Framework.
Proceedings of the 9th South-East Europe Design Automation, 2024

Social media and archeological museums in Greece: A pre-post COVID-19 study.
Proceedings of the 9th South-East Europe Design Automation, 2024

Current Status of Analytical FPGA Placement.
Proceedings of the 9th South-East Europe Design Automation, 2024

Navigating the Digital Landscape: Cybersecurity and Social Media Communication in Greece.
Proceedings of the 9th South-East Europe Design Automation, 2024

Improving Efficiency in Agricultural UGVs Through Enhanced Pathfinding Techniques.
Proceedings of the 9th South-East Europe Design Automation, 2024

Enhancing Autonomous Navigation Systems in Agriculture Equipment.
Proceedings of the 9th South-East Europe Design Automation, 2024

2023
Accelerate Processing of Image with the Keccak-512 Algorithm on Cryptoprocessor.
Proceedings of the 8th South-East Europe Design Automation, 2023

Acceleration of GANs for Potato Crop Disease Identification via FPGA.
Proceedings of the 8th South-East Europe Design Automation, 2023

An Efficiency CNN Solution for Olive Disease Management Through FPGA.
Proceedings of the 8th South-East Europe Design Automation, 2023

Efficient Categorization of Pneumonia Diagnosis Using Low-Power Embedded Devices.
Proceedings of the 8th South-East Europe Design Automation, 2023

The Role of Social Media before and during a Holiday Travel: Generational and Gender Differences.
Proceedings of the 8th South-East Europe Design Automation, 2023

"Technician of Refrigeration, Ventilation, and Air Conditioning Installations": ANew Approach of the Modern Curricula in the Mechanical Sector of the 3rd Class of the Vocational School.
Proceedings of the 8th South-East Europe Design Automation, 2023

The role of hashtags in Social Networks: The case of social mobilization in Greece.
Proceedings of the 8th South-East Europe Design Automation, 2023

Synthesis-Embedded Verification.
Proceedings of the 8th South-East Europe Design Automation, 2023

Assessing Swapping Policies as a Detailed Placement Approach.
Proceedings of the 8th South-East Europe Design Automation, 2023

2022
Exploiting Net Connectivity in Legalization and Detailed Placement Scenarios.
Inf., 2022

Behavioural synthesis of SGD using the CCC framework: a simple XOR-solving MLP.
Appl. Intell., 2022

High Throughput of Image Processing with Keccak Algorithm using Microprocessor on FPGA.
Proceedings of the 7th South-East Europe Design Automation, 2022

Radiography Images with Transfer Learning on Embedded System.
Proceedings of the 7th South-East Europe Design Automation, 2022

Greek Parliament Members on Instagram: A study on building a political image.
Proceedings of the 7th South-East Europe Design Automation, 2022

Scavenging PyPi for VLSI Packages.
Proceedings of the 7th South-East Europe Design Automation, 2022

Deep Neural Network Applications for Bioinformatics.
Proceedings of the 7th South-East Europe Design Automation, 2022

Social Media and Consumer Behaviour: Exploratory Factor Analysis.
Proceedings of the 7th South-East Europe Design Automation, 2022

A gene visualising database.
Proceedings of the 7th South-East Europe Design Automation, 2022

Brain MRI based diagnosis of autoimmune diseases using deep learning.
Proceedings of the 7th South-East Europe Design Automation, 2022

Near Data Processing Performance Improvement Prediction via Metric-Based Workload Classification.
Proceedings of the 11th International Conference on Modern Circuits and Systems Technologies, 2022

2021
STEAM in VET - An ArcGIS StoryMap Approach.
Proceedings of the 6th South-East Europe Design Automation, 2021

Redesign, Extensibility & Evaluation of a Placement Utilities Toolset.
Proceedings of the 6th South-East Europe Design Automation, 2021

Converging Formal Verification in a High-Level Synthesis Environment.
Proceedings of the 6th South-East Europe Design Automation, 2021

Variations on a Connectivity-based Legalizer for Standard Cell Design.
Proceedings of the 6th South-East Europe Design Automation, 2021

Juxtaposing Vivado Design Flows in Batch Mode.
Proceedings of the PCI 2021: 25th Pan-Hellenic Conference on Informatics, Volos, Greece, November 26, 2021

Branchless Code Generation for Modern Processor Architectures.
Proceedings of the PCI 2021: 25th Pan-Hellenic Conference on Informatics, Volos, Greece, November 26, 2021

2020
Preliminary results of a proposed CNN framework for use in motorway applicable detection systems.
Proceedings of the 5th South-East Europe Design Automation, 2020

A Novel Genetic Algorithm for I/O Pad Planning Retaining Former Cell Positions.
Proceedings of the 5th South-East Europe Design Automation, 2020

Global and Pointer Variables in High-Level Synthesis.
Proceedings of the 5th South-East Europe Design Automation, 2020

The CCC framework: Training and inference of a simple MLP for the XOR problem.
Proceedings of the 5th South-East Europe Design Automation, 2020

Rapid, Formal Verification with Automated and Executable, Cycle-accurate simulators, and Generated Testbenches.
Proceedings of the PCI 2020: 24th Pan-Hellenic Conference on Informatics, 2020

Adaptive Operation-Based ALU and FPU Clocking.
Proceedings of the 9th International Conference on Modern Circuits and Systems Technologies, 2020

2019
Instruction-Based Timing Analysis in Pipelined Processors.
Proceedings of the 4th South-East Europe Design Automation, 2019

A Convolutional Neural Network for Sentiment Analysis of TripAdvisor reviews.
Proceedings of the 4th South-East Europe Design Automation, 2019

High Level Synthesis of CART.
Proceedings of the 4th South-East Europe Design Automation, 2019

2018
Resolving Loop Pipelining Issues in the CCC High-level Synthesis E-CAD Framework.
Proceedings of the 41st International Conference on Telecommunications and Signal Processing, 2018

Operation Dependencies in Loop Pipelining for High-Level Synthesis.
Proceedings of the 2018 South-Eastern European Design Automation, 2018

Performance evaluation on IoT devices secure data delivery processes.
Proceedings of the 22nd Pan-Hellenic Conference on Informatics, 2018

Proposed open source framework for interactive IoT smart museums.
Proceedings of the 22nd Pan-Hellenic Conference on Informatics, 2018

2017
Optimal Model Parameters of Inverse Kinematics Solution of a 3R Robotic Manipulator Using ANN Models.
Int. J. Manuf. Mater. Mech. Eng., 2017

Loop pipelining in high-level synthesis with CCC.
Proceedings of the 6th International Conference on Modern Circuits and Systems Technologies, 2017

2016
Gamifying e-learning as a Means of Overcoming Its Deficiencies.
Proceedings of the SouthEast European Design Automation, 2016

Source-Level Compiler Optimizations for High-Level Synthesis.
Proceedings of the SouthEast European Design Automation, 2016

2015
Performance and power simulation of a functional-unit-network processor with simplescalar and wattch.
Proceedings of the 19th Panhellenic Conference on Informatics, 2015

Hardware synthesis of high-level C constructs.
Proceedings of the 19th Panhellenic Conference on Informatics, 2015

2014
A Floating-Point Paradigm for High-level Synthesis.
Proceedings of the 18th Panhellenic Conference on Informatics, 2014

2013
Formal Methods in High-Level and System Synthesis.
Proceedings of the Semantic Hyper/Multimedia Adaptation - Schemes and Applications, 2013

Modeling and simulation in a formal design framework.
Proceedings of the Balkan Conference in Informatics, 2013

2012
Formal ESL Synthesis for Control-Intensive Applications.
Adv. Softw. Eng., 2012

2011
Use of Behavioral Synthesis to Implement a Cellular Neural Network for Image Processing Applications.
Proceedings of the 15th Panhellenic Conference on Informatics, 2011

2010
Intermediate Predicate Format for Design Automation Tools.
J. Next Gener. Inf. Technol., 2010

Provably-Correct, Behavioural High-Level Synthesis of Program Accelerators via the Web.
J. Next Gener. Inf. Technol., 2010

Automated Extraction of Hardware Accelerators Via an Intelligent Knowledge-based System.
Int. J. Intell. Inf. Process., 2010

Using an XML schema to validate a formal hardware compiler.
Proceedings of the 5th International Workshop on Semantic Media Adaptation and Personalization, 2010

Automatic Generation of Massively Parallel Hardware from Control-Intensive Sequential Programs.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010

Synthesis of provably-correct hardware with options.
Proceedings of the 17th IEEE International Conference on Electronics, 2010

2009
A Web Service to Generate Program Coprocessors.
Proceedings of the 4th International Workshop on Semantic Media Adaptation and Personalization, 2009

1999
Provably Correct Hardware Compilation using Timing Diagrams.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1994
Synthesis of Customized Hardware from ADA.
Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994


  Loading...