531 search results - page 26 / 107 » Formal Methods for Networks on Chips |
62
Voted
COSIT
2007
Springer
15 years 3 months ago
2007
Springer
In order to apply advanced high-level concepts for transportation networks, like hypergraphs, multi-level wayfinding and traffic forecasting, to commercially available street netwo...
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
ISQED
2003
IEEE
15 years 3 months ago
2003
IEEE
—As the operating frequency of digital systems increases and voltage swing decreases, it becomes very important to characterize and analyze power distribution networks (PDNs) acc...
ICDIM
2007
IEEE
15 years 4 months ago
2007
IEEE
A huge diversity of approaches is in use to deal with network security and spam in particular. In this paper, we focus on a relatively new approach whose foundations rely on the w...
66
Voted
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...