10870 search results - page 2020 / 2174 » Model Checking Programs |
106
click to vote
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
Parallel prefix adder is the most flexible and widely-used binary adder for ASIC designs. Many high-level synthesis techniques have been developed to find optimal prefix structures...
121
click to vote
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
Service-oriented architecture (SOA) is becoming a major software framework for building complex distributed systems. Reliability of the service-oriented systems heavily depends on...
159
Voted
CASES
2007
ACM
15 years 5 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
100
click to vote
WWIC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper proposes new cognitive algorithms and mechanisms for detecting 0day attacks targeting the Internet and its communication performances and behavior. For this pu...
104
click to vote
CSE
2009
IEEE
15 years 5 months ago
2009
IEEE
Duplicating the full dynamic capabilities of the human eye-brain combination is a difficult task but an important goal because of the wide application that a system which can acqu...