521 search results - page 46 / 105 » Timing Verification Using HDTV |
131
click to vote
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
98
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
While performance specifications are verified before sign-off for a modern nanometer scale design, extensive application of optical proximity correction substantially alters the l...
136
click to vote
CL
2008
Springer
15 years 17 days ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
127
click to vote
PAMI
2006
15 years 12 days ago
2006
This paper is concerned with the performance evaluation of fingerprint verification systems. After an initial classification of biometric testing initiatives, we explore both the t...
92
Voted
ICDE
2010
IEEE
16 years 7 days ago
2010
IEEE
Shortest path search in transportation networks is unarguably one of the most important online search services nowadays (e.g., Google Maps, MapQuest, etc), with applications spanni...