9842 search results - page 706 / 1969 » Compositional timing analysis |
196
click to vote
ISQED
2009
IEEE
16 years 2 months ago
2009
IEEE
We propose a novel design flow for mismatch and processvariation aware optimization of nanoscale CMOS Active Pixel Sensor (APS) arrays. As a case study, an 8 × 8 APS array is de...
230
click to vote
ICDCSW
2008
IEEE
16 years 1 months ago
2008
IEEE
—In its current art, peer-to-peer streaming solution has been mainly employed in the domain of live event broadcasting. In such a paradigm, users are required to simultaneously p...
191
click to vote
MICRO
2008
IEEE
16 years 1 months ago
2008
IEEE
Higher level of resource integration and the addition of new features in modern multi-processors put a significant pressure on their verification. Although a large amount of res...
216
click to vote
IFL
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
184
click to vote
DRM
2003
Springer
16 years 21 days ago
2003
Springer
Unauthorized copying of movies is a major concern for the motion picture industry. While unauthorized copies of movies have been distributed via portable physical media for some t...