9110 search results - page 1614 / 1822 » Formally-Based Design Evaluation |
161
Voted
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
The high transistor density afforded by modern VLSI processes have enabled the design of embedded processors that use clustered execution units to deliver high levels of performan...
137
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
We introduce the notion of resiliency policies in the context of access control systems. Such policies require an access control system to be resilient to the absence of users. An...
140
click to vote
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
Advanced molecular nanotechnology devices are expected to have exceedingly high transient fault rates and large numbers of inherent device defects compared to conventional CMOS de...
132
click to vote
CF
2006
ACM
15 years 7 months ago
2006
ACM
The slowing pace of commodity microprocessor performance improvements combined with ever-increasing chip power demands has become of utmost concern to computational scientists. As...
139
click to vote
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
Web page classification is important to many tasks in information retrieval and web mining. However, applying traditional textual classifiers on web data often produces unsatisfyi...