![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Michael F. Dossis
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c43]Konstantinos Korakis, Michael F. Dossis:
"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. SEEDA-CECNSM 2023: 1-6 - 2022
- [j7]Dimitrios Amanatidis
, Michael F. Dossis
:
Behavioural synthesis of SGD using the CCC framework: a simple XOR-solving MLP. Appl. Intell. 52(13): 15226-15236 (2022) - [j6]Antonios N. Dadaliaris
, George K. Kranas
, Panagiotis Oikonomou
, George Floros
, Michael F. Dossis:
Exploiting Net Connectivity in Legalization and Detailed Placement Scenarios. Inf. 13(5): 212 (2022) - [c42]Dimitrios Papalekas, Athanasios Tziouvaras
, George Floros
, Georgios Dimitriou, Michael F. Dossis, Georgios I. Stamoulis:
Near Data Processing Performance Improvement Prediction via Metric-Based Workload Classification. MOCAST 2022: 1-4 - [c41]Dimitrios Amanatidis
, Georgios Chatzisavvas, Michael F. Dossis:
Brain MRI based diagnosis of autoimmune diseases using deep learning. SEEDA-CECNSM 2022: 1-5 - [c40]Dimitrios Amanatidis
, Kyriakos Kydoniefs, Michael F. Dossis:
A gene visualising database. SEEDA-CECNSM 2022: 1-5 - [c39]Dimitrios Amanatidis
, Ifigeneia Mylona, Michael F. Dossis:
Social Media and Consumer Behaviour: Exploratory Factor Analysis. SEEDA-CECNSM 2022: 1-5 - [c38]Dimitrios Amanatidis
, Konstantina Vaitsi, Michael F. Dossis:
Deep Neural Network Applications for Bioinformatics. SEEDA-CECNSM 2022: 1-9 - [c37]George K. Kranas
, Antonios N. Dadaliaris
, Panagiotis Oikonomou, Michael F. Dossis:
Scavenging PyPi for VLSI Packages. SEEDA-CECNSM 2022: 1-6 - [c36]Ifigeneia Mylona, Dimitrios Amanatidis
, Michael F. Dossis:
Greek Parliament Members on Instagram: A study on building a political image. SEEDA-CECNSM 2022: 1-7 - [c35]Theodora Sanida, Argyrios Sideris, Antonios Chatzisavvas
, Michael F. Dossis, Minas Dasygenis:
Radiography Images with Transfer Learning on Embedded System. SEEDA-CECNSM 2022: 1-4 - [c34]Argyrios Sideris, Theodora Sanida, Antonios Chatzisavvas
, Michael F. Dossis, Minas Dasygenis:
High Throughput of Image Processing with Keccak Algorithm using Microprocessor on FPGA. SEEDA-CECNSM 2022: 1-4 - 2021
- [c33]Antonios N. Dadaliaris
, Antonios Tragoudaras, George K. Kranas
, Michael F. Dossis, Georgios Dimitriou:
Juxtaposing Vivado Design Flows in Batch Mode. PCI 2021: 134-137 - [c32]Alexandros Angelou, Antonios N. Dadaliaris
, Michael F. Dossis, Georgios Dimitriou:
Branchless Code Generation for Modern Processor Architectures. PCI 2021: 300-305 - [c31]Antonios N. Dadaliaris
, George K. Kranas
, Panagiotis Oikonomou, Michael F. Dossis:
Variations on a Connectivity-based Legalizer for Standard Cell Design. SEEDA-CECNSM 2021: 1-5 - [c30]Michael F. Dossis:
Converging Formal Verification in a High-Level Synthesis Environment. SEEDA-CECNSM 2021: 1-5 - [c29]George K. Kranas
, Antonios N. Dadaliaris
, Panagiotis Oikonomou, George Floros
, Michael F. Dossis:
Redesign, Extensibility & Evaluation of a Placement Utilities Toolset. SEEDA-CECNSM 2021: 1-5 - [c28]Nikol Vrysouli, Dimitrios Kotsifakos, Michael F. Dossis, Christos Douligeris:
STEAM in VET - An ArcGIS StoryMap Approach. SEEDA-CECNSM 2021: 1-8 - 2020
- [c27]Athanassios Tziouvaras
, Georgios Dimitriou, Michael F. Dossis, Georgios I. Stamoulis:
Adaptive Operation-Based ALU and FPU Clocking. MOCAST 2020: 1-4 - [c26]Michael F. Dossis:
Rapid, Formal Verification with Automated and Executable, Cycle-accurate simulators, and Generated Testbenches. PCI 2020: 144-147 - [c25]Dimitrios Amanatidis
, Michael F. Dossis:
The CCC framework: Training and inference of a simple MLP for the XOR problem. SEEDA-CECNSM 2020: 1-5 - [c24]Georgios Dimitriou, Michael F. Dossis, Georgios I. Stamoulis:
Global and Pointer Variables in High-Level Synthesis. SEEDA-CECNSM 2020: 1-6 - [c23]George K. Kranas
, Taxiarchis G. Kouskouras, Vasileios Dimitriadis, Michael F. Dossis, Panagiotis Oikonomou
, Antonios N. Dadaliaris
:
A Novel Genetic Algorithm for I/O Pad Planning Retaining Former Cell Positions. SEEDA-CECNSM 2020: 1-5 - [c22]George Sisias, Sotirios Kontogiannis
, Myrto Konstantinidou, Michael F. Dossis:
Preliminary results of a proposed CNN framework for use in motorway applicable detection systems. SEEDA-CECNSM 2020: 1-7
2010 – 2019
- 2019
- [c21]Dimitrios Amanatidis
, Michael F. Dossis:
High Level Synthesis of CART. SEEDA-CECNSM 2019: 1-5 - [c20]Dimitrios Amanatidis
, Michael F. Dossis, Ifigeneia Mylona:
A Convolutional Neural Network for Sentiment Analysis of TripAdvisor reviews. SEEDA-CECNSM 2019: 1-6 - [c19]Athanassios Tziouvaras
, Georgios Dimitriou, Michael F. Dossis, Georgios I. Stamoulis:
Instruction-Based Timing Analysis in Pipelined Processors. SEEDA-CECNSM 2019: 1-6 - 2018
- [c18]Michael F. Dossis, Ioannis Kazanidis, Stavros Valsamidis, George Kokkonis
, Sotirios Kontogiannis
:
Proposed open source framework for interactive IoT smart museums. PCI 2018: 294-299 - [c17]Ioannis Georgiadis, Michael F. Dossis, Sotirios Kontogiannis
:
Performance evaluation on IoT devices secure data delivery processes. PCI 2018: 306-311 - [c16]Georgios Dimitriou, Michael F. Dossis, Georgios I. Stamoulis:
Operation Dependencies in Loop Pipelining for High-Level Synthesis. SEEDA-CECNSM 2018: 1-6 - [c15]Michael F. Dossis, Georgios Dimitriou:
Resolving Loop Pipelining Issues in the CCC High-level Synthesis E-CAD Framework. TSP 2018: 1-4 - 2017
- [j5]Nikolaos E. Karkalos
, Angelos P. Markopoulos
, Michael F. Dossis:
Optimal Model Parameters of Inverse Kinematics Solution of a 3R Robotic Manipulator Using ANN Models. Int. J. Manuf. Mater. Mech. Eng. 7(3): 20-40 (2017) - [c14]Georgios Dimitriou, Michael F. Dossis, Georgios I. Stamoulis:
Loop pipelining in high-level synthesis with CCC. MOCAST 2017: 1-4 - 2016
- [c13]Georgios Dimitriou, Georgios Chatzianastasiou, Apostolos Tsakyridis, Georgios I. Stamoulis, Michael F. Dossis:
Source-Level Compiler Optimizations for High-Level Synthesis. SEEDA-CECNSM 2016: 11-18 - [c12]Angelos P. Markopoulos
, Michael F. Dossis, Anastasios Fragkou, Petros D. Kasidiaris:
Gamifying e-learning as a Means of Overcoming Its Deficiencies. SEEDA-CECNSM 2016: 86-91 - 2015
- [c11]Kleovoulos Kalaitzidis, Georgios Dimitriou, Georgios I. Stamoulis, Michael F. Dossis:
Performance and power simulation of a functional-unit-network processor with simplescalar and wattch. Panhellenic Conference on Informatics 2015: 71-76 - [c10]Michael F. Dossis, Georgios Dimitriou:
Hardware synthesis of high-level C constructs. Panhellenic Conference on Informatics 2015: 83-85 - 2014
- [c9]Michael F. Dossis:
A Floating-Point Paradigm for High-level Synthesis. Panhellenic Conference on Informatics 2014: 22:1-22:6 - 2013
- [c8]Michael F. Dossis:
Modeling and simulation in a formal design framework. BCI 2013: 31-38 - [p1]Michael F. Dossis:
Formal Methods in High-Level and System Synthesis. Semantic Hyper/Multimedia Adaptation 2013: 23-81 - 2012
- [j4]Michael F. Dossis
:
Formal ESL Synthesis for Control-Intensive Applications. Adv. Softw. Eng. 2012: 156907:1-156907:30 (2012) - 2011
- [c7]Dimitrios Amanatidis
, Michael F. Dossis:
Use of Behavioral Synthesis to Implement a Cellular Neural Network for Image Processing Applications. Panhellenic Conference on Informatics 2011: 183-187 - 2010
- [j3]Michael F. Dossis:
Automated Extraction of Hardware Accelerators Via an Intelligent Knowledge-based System. Int. J. Intell. Inf. Process. 1(2): 14-31 (2010) - [j2]Michael F. Dossis:
Provably-Correct, Behavioural High-Level Synthesis of Program Accelerators via the Web. J. Next Gener. Inf. Technol. 1(1): 47-60 (2010) - [j1]Michael F. Dossis:
Intermediate Predicate Format for Design Automation Tools. J. Next Gener. Inf. Technol. 1(1): 100-117 (2010) - [c6]Michael F. Dossis:
Synthesis of provably-correct hardware with options. ICECS 2010: 631-634 - [c5]Michael F. Dossis:
Automatic Generation of Massively Parallel Hardware from Control-Intensive Sequential Programs. ISVLSI 2010: 98-103 - [c4]Michael F. Dossis:
Using an XML schema to validate a formal hardware compiler. SMAP 2010: 90-97
2000 – 2009
- 2009
- [c3]Michael F. Dossis, T. Themelis, L. Markopoulos:
A Web Service to Generate Program Coprocessors. SMAP 2009: 121-128
1990 – 1999
- 1999
- [c2]Michael Schenke, Michael F. Dossis:
Provably Correct Hardware Compilation using Timing Diagrams. FORTE 1999: 313-331 - 1994
- [c1]Michael F. Dossis, James M. Noras, Gary J. Porter:
Synthesis of Customized Hardware from ADA. ISCAS 1994: 229-232
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint