1613 search results - page 266 / 323 » Model-Driven Constraint Engineering |
116
click to vote
ISORC
2003
IEEE
15 years 8 months ago
2003
IEEE
Time triggered methods provide deterministic behaviour suitable for critical real-time systems. They perform less favourably, however, if the arrival times of some activities are ...
162
click to vote
ISSRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Component based software development is prone to unexpected interaction faults. The goal is to test as many potential interactions as is feasible within time and budget constraint...
120
click to vote
ISPD
2003
ACM
15 years 8 months ago
2003
ACM
The thermal problem has been emerged as one of the key issues for next-generation IC design. In this paper, we propose a scheme to achieve better thermal distribution for partitio...
120
click to vote
UIST
2003
ACM
15 years 8 months ago
2003
ACM
Recent work is beginning to reveal the potential of numerical optimization as an approach to generating interfaces and displays. Optimization-based approaches can often allow a mi...
134
click to vote
ICFEM
2003
Springer
15 years 8 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...