14360 search results - page 422 / 2872 » Time Modeling in MARTE |
122
click to vote
IWPSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Humans will have to live with software for a long time. As demonstrated by the Y2K problem, computer professionals used a wrong time scale when thinking about software. Large soft...
155
click to vote
SEUS
2005
IEEE
15 years 10 months ago
2005
IEEE
In the last years the number of electronic control systems has increased significantly. In order to stay competitive more and more functionality is integrated into more and more p...
131
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
133
click to vote
STDBM
2004
Springer
15 years 10 months ago
2004
Springer
Application systems often need to react with certain actions whenever some preset conditions are satisfied. In many cases, the evaluation of these conditions takes long time, but...
153
Voted
ISPD
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a new timing driven force directed placement algorithm that meets physical net length constraints as well as constraints on specific pin sets. It is the first ...