Sciweavers

2025 search results - page 227 / 405
» A Reliable Software Architecture for Complex Embedded System...
Sort
View
ICCD
2007
IEEE
105views Hardware» more  ICCD 2007»
15 years 10 months ago
Power-aware mapping for reconfigurable NoC architectures
A core mapping method for reconfigurable network-on-chip (NoC) architectures is presented in this paper. In most of the existing methods, mapping is carried out based on the traff...
Mehdi Modarressi, Hamid Sarbazi-Azad
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
16 years 29 days ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
CASES
2011
ACM
14 years 6 months ago
Architecting processors to allow voltage/reliability tradeoffs
Escalating variations in modern CMOS designs have become a threat to Moore’s law. While previous works have proposed techniques for tolerating variations by trading reliability ...
John Sartori, Rakesh Kumar
SAMOS
2005
Springer
15 years 12 months ago
Modeling NoC Architectures by Means of Deterministic and Stochastic Petri Nets
The design of appropriate communication architectures for complex Systems-on-Chip (SoC) is a challenging task. One promising alternative to solve these problems are Networks-on-Chi...
Holger Blume, Thorsten von Sydow, Daniel Becker, T...
WOA
2010
15 years 4 months ago
DomoBuilder: A MultiAgent Architecture for Home Automation
Current technologies permit people to make use of various systems able to fulfill most of their needs while being at home. However, their use is often not intuitive and they are al...
Andrea Addis, Giuliano Armano