Sciweavers

1151 search results - page 30 / 231
» Automatic Generation of Complex Properties for Hardware Desi...
Sort
View
138
Voted
ATAL
2007
Springer
15 years 10 months ago
Emergence of global network property based on multi-agent voting model
Recent studies have shown that various models can explain the emergence of complex networks, such as scale-free and small-world networks. This paper presents a different model to...
Kousuke Shinoda, Yutaka Matsuo, Hideyuki Nakashima
226
Voted
ICCSA
2009
Springer
15 years 10 months ago
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT
Abstract. The design and management of firewall ACLs is a very hard and error-prone task. Part of this complexity comes from the fact that each firewall platform has its own low-le...
Sergio Pozo, A. J. Varela-Vaca, Rafael M. Gasca
118
Voted
ICCD
2007
IEEE
124views Hardware» more  ICCD 2007»
16 years 19 days ago
Placement and routing of RF embedded passive designs in LCP substrate
Physical layout generation of RF embedded passive design is not an easy task since the response of a given layout is tightly coupled with the response of the individual components...
Mohit Pathak, Souvik Mukherjee, Madhavan Swaminath...
123
Voted
ASPDAC
2006
ACM
141views Hardware» more  ASPDAC 2006»
15 years 7 months ago
Depth-driven verification of simultaneous interfaces
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
Ilya Wagner, Valeria Bertacco, Todd M. Austin
137
Voted
GECCO
2000
Springer
182views Optimization» more  GECCO 2000»
15 years 7 months ago
A Novel Evolvable Hardware Framework for the Evolution of High Performance Digital Circuits
This paper presents a novel evolvable hardware framework for the automated design of digital circuits for high performance applications. The technique evolves circuits correspondi...
Ben I. Hounsell, Tughrul Arslan