10870 search results - page 1993 / 2174 » Model Checking Programs |
114
click to vote
RTCSA
2005
IEEE
15 years 7 months ago
2005
IEEE
We propose a new architecture for a content protection system that conceals confidential data and algorithms in an FPGA as electrical circuits. This architecture is designed for a...
112
Voted
WORDS
2005
IEEE
15 years 7 months ago
2005
IEEE
The increasing complexity of embedded systems calls for software design and implementation techniques that support specialization without abandonment of reusability. This brings u...
118
click to vote
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
113
click to vote
ASPDAC
2005
ACM
15 years 7 months ago
2005
ACM
－In high performance systems, process variations and fluctuations of operating environments have significant impact on the clock skew. Recently, hybrid structures of H-tree and m...
105
click to vote
MM
2005
ACM
15 years 7 months ago
2005
ACM
Identifying short repeated video clips, such as news program logo, station logo, TV commercials, etc., from broadcasting video databases or streams is important for video content ...