scispace - formally typeset
Search or ask a question
Institution

Technological Educational Institute of Western Macedonia

About: Technological Educational Institute of Western Macedonia is a based out in . It is known for research contribution in the topics: Symplectic geometry & Numerical integration. The organization has 291 authors who have published 522 publications receiving 7682 citations. The organization is also known as: TEI of West Macedonia & TEI of Western Macedonia.


Papers
More filters
Journal ArticleDOI
01 Jan 2013
TL;DR: Formal and intelligent HLS techniques are presented in this contribution, thus the generated implementation is correct-by-construction and the whole transformation from source code to implementation, formal.
Abstract: The advancing complexity of contemporary microelectronics has motivated research in high-level and system synthesis (HLS). Formal and intelligent HLS techniques are presented in this contribution, thus the generated implementation is correct-by-construction. These intelligent techniques include RDF (Resource Description Framework) and logic relations, along with automatic implementation options and they are employed for the transformations of a hardware compiler. The proposed toolset utilizes compiler-generators, RDF rules and logic programming in combination with XML validation of the internal state of the compiler. These intelligent and formal techniques make the whole transformation from source code to implementation, formal. The HLS tool is enhanced with the Parallel, Abstract Resource – Constrained Scheduler, which aggressively optimizes the initial state schedules, into maximally parallelized ones. A number of custom options are applied by the user of this toolset, in order to automatically compile selected testcases from real-world applications which prove the usability of the embedded scheduler and the formal compilation of the intelligent HLS compiler.
Journal ArticleDOI
01 Nov 2016
TL;DR: In this paper, the authors investigated the electric and magnetic fields of extremely low frequencies in substations which step down voltage in Kozani, which is a city of about 65.000 inhabitants.
Abstract: The present paper investigates the electric and magnetic fields of extremely low frequencies in substations which step down voltage in Kozani, which is a city of about 65.000 inhabitants. In the substation, apart from the presence of voltage distribution transformers there are also power cables of 150 kV generated in pillars as well as power cables of 20 kV and 380V for the power supply of the city. Pillars with high, medium and low voltage power cables cross the parking space of heavy vehicles.

Network Information
Related Institutions (5)
National Technical University of Athens
31.2K papers, 723.5K citations

77% related

Aristotle University of Thessaloniki
58.2K papers, 1.4M citations

76% related

Polytechnic University of Valencia
40.1K papers, 850.2K citations

75% related

University of Patras
31.2K papers, 677.1K citations

74% related

University of Aveiro
34.8K papers, 738.1K citations

74% related

Performance
Metrics
No. of papers from the Institution in previous years
YearPapers
20221
202013
201955
201876
201794
201656