Sciweavers

2695 search results - page 20 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
14 years 3 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko
CODES
2010
IEEE
13 years 6 months ago
Statistical approach in a system level methodology to deal with process variation
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
Concepción Sanz Pineda, Manuel Prieto, Jos&...
DATE
2004
IEEE
117views Hardware» more  DATE 2004»
14 years 17 days ago
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierr...
VL
1993
IEEE
147views Visual Languages» more  VL 1993»
14 years 29 days ago
Fractal Approaches for Visualizing Huge Hierarchies
This paper describes fractal approaches to the problems which associate with visualizing huge hierarchies. The geometrical characteristic of a fractal, selfsimilarity, allows user...
Hideki Koike, Hirotaka Yoshihara