5525 search results - page 989 / 1105 » Verification of Model Transformations |
118
click to vote
ISLPED
2006
ACM
15 years 6 months ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...
131
click to vote
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
184
Voted
IUI
2006
ACM
15 years 6 months ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
115
Voted
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Road sign identification in images is an important issue, in particular for vehicle safety applications. It is usually tackled in three stages: detection, recognition and trackin...
123
click to vote
ASWEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...