1288 search results - page 246 / 258 » On Analysis of Design Component Contracts: A Case Study |
88
Voted
GLVLSI
2007
IEEE
15 years 3 months ago
2007
IEEE
Reliability modeling and evaluation is expected to be one of the major issues in emerging nano-devices and beyond 22nm CMOS. Such devices would have inherent propensity for gate f...
101
Voted
CCS
2006
ACM
15 years 3 months ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
96
Voted
MMS
2006
14 years 11 months ago
2006
Motion trajectories provide rich spatio-temporal information about an object's activity. The trajectory information can be obtained using a tracking algorithm on data streams ...
108
click to vote
JCIT
2007
14 years 11 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
RECOMB
2002
Springer
15 years 12 months ago
2002
Springer
There has been considerable recent interest in the use of haplotype structure to aid in the design and analysis of case-control association studies searching for genetic predictors...