3198 search results - page 528 / 640 » Evolutionary Computation in Structural Design |
VLSID
2002
IEEE
14 years 9 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
POPL
2005
ACM
14 years 9 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
EDBT
2008
ACM
14 years 9 months ago
2008
ACM
Music information retrieval is becoming very important with the ever-increasing growth of music content in digital libraries, peer-to-peer systems and the internet. While it is ea...
PERCOM
2004
ACM
14 years 8 months ago
2004
ACM
People are an important part of many business processes. Current workflow-based implementations of business processes constrain users to the desktop environment; require them to p...
ICCAD
2003
IEEE
14 years 5 months ago
2003
IEEE
The application of general clock skew scheduling is practically limited due to the difficulties in implementing a wide spectrum of dedicated clock delays in a reliable manner. Th...