Sciweavers

3130 search results - page 126 / 626
» Design Correctness of Digital Systems
Sort
View
143
Voted
GI
2004
Springer
15 years 9 months ago
Towards a Framework and a Design Methodology for Autonomic Integrated Systems
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...
Andreas Herkersdorf, Wolfgang Rosenstiel
119
Voted
DATE
2008
IEEE
91views Hardware» more  DATE 2008»
15 years 10 months ago
Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation
Transaction Level Modeling (TLM) is an emerging design practice for overcoming increasing design complexity. It aims at simplifying the design flow of embedded systems ning and v...
Nicola Bombieri, Nicola Deganello, Franco Fummi
115
Voted
ICSE
1997
IEEE-ACM
15 years 7 months ago
Designing Distributed Applications with Mobile Code Paradigms
Large scale distributed systems are becoming of paramount importance, due to the evolution of technology and to the interest of market. Their development, however, is not yet supp...
Antonio Carzaniga, Gian Pietro Picco, Giovanni Vig...
109
Voted
ISCA
2005
IEEE
79views Hardware» more  ISCA 2005»
15 years 9 months ago
Design and Evaluation of Hybrid Fault-Detection Systems
As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Up to now, system designers have prim...
George A. Reis, Jonathan Chang, Neil Vachharajani,...
117
Voted
ECBS
1996
IEEE
93views Hardware» more  ECBS 1996»
15 years 7 months ago
A Methodology for Designing and Dimensioning Critical Complex Computing Systems
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
Gérard Le Lann