Fraunhofer-Publica

The Fraunhofer-Publica has been successfully documenting the research results of the Fraunhofer-Gesellschaft for over 30 years. The platform enables the collaborative linking of research-relevant objects and disseminates within the international scientific community.

The Fraunhofer-Publica thus fulfils its responsibility to promote the transfer of knowledge and know-how to industry and society.

Research outputs

As an application-oriented research organisation, Fraunhofer aims to conduct highly innovative and solution-oriented research - for the benefit of society and to strengthen the German and European economy.

13935

Projects

Fraunhofer is tackling the current challenges facing industry head on. By pooling their expertise and involving industrial partners at an early stage, the Fraunhofer Institutes involved in the projects aim to turn original scientific ideas into marketable products as quickly as possible.

7701

Researchers

Scientific achievement and practical relevance are not opposites - at Fraunhofer they are mutually dependent. Thanks to the close organisational links between Fraunhofer Institutes and universities, science at Fraunhofer is conducted at an internationally first-class level.

77

Institutes

The Fraunhofer-Gesellschaft is the leading organisation for applied research in Europe. Institutes and research facilities work under its umbrella at various locations throughout Germany.

Recent Additions

In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures

( 2024)
Shirinzadeh, Fatemeh
;
Deb, Arighna
;
Shirinzadeh, Saeideh
;
Kole, Abhoy
;
Datta, Kamalika
;
Drechsler, Rolf

Formal verification of programmable memristive architectures utilizing emerging nonvolatile memory technologies such as Resistive Random-Access Memory (RRAM) has only been recently addressed by a few works at the software level. In this paper we propose an in-memory SAT solver utilizing inherent analog features of RRAM that enables formal verification of arbitrary designs within resistive crossbars. More importantly, this allows self-verification of in-memory implementations as the correctness of designs can be dynamically checked. Additionally, the required architecture is presented, along with a complexity analysis for latency and hardware overheads
37th International Conference on VLSI Design, VLSID 2024. Proceedings

(IEEE Computer Society Conference Publishing Services (CPS), 2024)
International Conference on Embedded Systems 2024
International Conference on VLSI Design 2024

Most viewed

Chip array electrodes for simultaneous stripping analysis of trace metals

( 1995)
Uhlig, A.
;
Paeschke, M.
;
Schnakenberg, U.
;
Lisec, T.
;
Hintsche, R.
01IN509B/5
Latentwärmespeicher in zentralen Lüftungsanlagen

( 2014)
Haussmann, Thomas
;
Heuer, Adrian
;
Bauer, S.
;
Mertes, F.
Production Planning and Control within Supply Chains

( 1996)
Arnold, J.
;
Dudenhausen, H.-M.
;
Halmosi, H.

A high degree of both complexity and uncertainty within supply chains make production planning and control difficult. Nowadays, several Production Planning and Control Systems try to optimise the supply chain's individual links, called manufacturing sites. Independent systems, i.e. systems which are not connected via networks, are not capable of planning and controlling the complete supply chain efficiently and effectively. The entities of a supply chain vary in market power, purchasing strategies, etc., and this leads to different relationships between them. In order to plan and control the entire supply chain a distributed, networked system is needed which is configurable for all structures within the chain. In this paper a generic and configurable planning and control component is presented with which a system for supply chains can be built modularly. Three case studies accompany the different planning approaches.