2838 search results - page 137 / 568 » Verifying Controlled Components |
ICCAD
2002
IEEE
14 years 3 months ago
2002
IEEE
Shrinking process geometries and the increasing use of IP components in SoC designs give rise to new problems in routing and buffer insertion. A particular concern is that cross-c...
ATVA
2007
Springer
14 years 2 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
FDL
2007
IEEE
14 years 2 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
COMPSAC
2004
IEEE
14 years 2 months ago
2004
IEEE
Verifying Web Services (WS) in a dynamic Service Oriented Architecture (SOA) is challenging because new services can be composed at runtime using existing WS. Furthermore, in a co...
ICONIP
2007
13 years 11 months ago
2007
− This paper proposes an automatic factorization method of the biological signals measured by Fluorescence Correlation Spectroscopy (FCS). Since the signals are composed from sev...