9110 search results - page 317 / 1822 » Formally-Based Design Evaluation |
188
click to vote
MTV
2006
IEEE
16 years 18 days ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
163
click to vote
MSE
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a custom design approach as applied to power management in an innovative course on rapid prototyping of computer systems at Carnegie Mellon. We emphasize the ...
150
click to vote
CIC
2006
15 years 8 months ago
2006
In the present paper, we outline few characteristics that every viable congestion control protocol for elastic traffic should satisfy. We provide and outline ways by which these c...
188
click to vote
CASON
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper describes the functions of a system proposed for the music tube recommendation from social network data base. Such a system enables the automatic collection, evaluation...
166
click to vote
MLDM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In the biometric field, different experts are combined to improve the system reliability, as in many application the performance attained by individual experts (i.e., d...